publications


Research Documentation Database


Publikationen 2017

Selbstständige Veröffentlichungen

Monographie, wissenschaftliche
  • Polymerou, Iliana (2017): Untersuchung großer Verformungen in der Vertushka. Berlin: Logos (= Advances in Geotechnical Engineering and Tunnelling, 22). ISBN 978-3-8325-4396-9. (Weblink)

Lehrbuch, wissenschaftliches
  • Ostermann, Alexander; Wanner, Gerhard (2017): Geometry by Its History, Part 1. Maruzen Publishing. ISBN 978-4-621-30131-9. Japanische Auflage.

Buch, transferorientiertes
  • Tautschnig, Arnold; Fröch, Georg; Gächter, Werner (2017): Östereichischer BIM-Bericht 2017. Repräsentative Umfrage in österreichischen Unternehmen zu Nutzen, Chancen und Risiken von BIM. Innsbruck: Studia Universitätsverlag. ISBN 978-3-903030-55-8. (Weblink)

Herausgeberschaften

Sammelband / Sammelwerk, wissenschaftlich (Herausgeberschaft)
  • Oberguggenberger, Michael; Toft, Joachim; Vindas, Jasson; Wahlberg, Patrik (2017): Generalized Functions and Fourier Analysis. Dedicated to Stevan Pilipović on the Occasion of his 65th Birthday. Basel - Boston - Berlin: Birkhäuser (= Operator Theory: Advances and Applications, 260). ISBN 978-3-319-51910-4. (DOI) (Weblink)

Proceedings (Herausgeberschaft)
  • Accattoli, Beniamino; Felgenhauer, Bertram (2017): Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford. (Weblink)

  • Bonfante, Guillaume; Moser, Goerg (2017): Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. USA: Arxiv.org. (DOI) (Weblink)

  • Ciuciu, Ioana; Debruyne, Christophe; Panetto, Hervé; Weichhart, Georg; Bollen, Peter; Fensel, Anna; Vidal, Maria-Esther (2017): On the Move to Meaningful Internet Systems: OTM 2016 Workshops. Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= LNCS, 10034). ISBN 978-3-319-55960-5. (DOI) (Weblink)

  • Felderer, Michael; Fernandez, Daniel; Turhan, Burak; Kalinowski, Marcos; Sarro, Federica; Winkler, Dietmar (2017): Product-Focused Software Process Improvement. 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science (LNCS), 10611). ISBN 978-3-319-69925-7. (DOI) (Weblink)

  • Fensel, A.; Daniele, L.; Aroyo, L.; de Boer, V.; Darányi, S.; Elloumi, O.; García-Castro, R.; Hollink, L.; Inel, O.; Kuys, G.; Maleshkova, M.; Merdan, M.; Meroño-Peñuela, A.; Moser, M.; Keppmann, F.L.; Kontopoulos, E.; Petram, L.; Scarrone, E.; Verborgh, R. (2017): Joint Proceedings of SEMANTiCS 2017 Workshops, co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017). Aachen: CEUR-WS.org (= CEUR Workshop Proceedings, 2063). (Weblink)

  • Großmann, Jürgen; Felderer, Michael; Seehusen, Frederik (2017): Risk Assessment and Risk-Driven Quality Assurance. 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10224). ISBN 978-3-319-57857-6. (DOI) (Weblink)

  • Hales, Thomas; Kaliszyk, Cezary; Schulz, Stephan; Urban, Josef (2017): Second Conference on Artificial Intelligence and Theorem Proving (AITP 2017). Abstracts of the talks. March 26-30, 2017, Obergurgl, Austria. Innsbruck: Eigenverlag - Universität Innsbruck. (Weblink)

  • Haltmeier, Markus (2017): Computational Imaging and Tomography, Book of Abstracts. Innsbruck. Innsbruck: Eigenverlag - Universität Innsbruck.

  • Hofstetter, Günter; Bergmeister, Konrad; Eberhardsteiner, Josef; Meschke, Günther; Schweiger, Helmut F. (2017): EURO:TUN 2017 - Proceedings of the IV International Conference on Computational Methods in Tunneling and Subsurface Engineering. Innsbruck: Studia Universitätsverlag. ISBN 978-3-903030-35-0. (Weblink)

(Mit-)Herausgeberschaft von Periodika / Buchreihen

Herausgeberschaft von Periodikum / Buchreihe
  • Adam, Christoph: Member of the International Advisory Board - International Journal of Earthquake and Impact Engineering, 01.03.2016 lfd. (Weblink)

  • Adam, Christoph: Associate Editor - Journal of Vibration and Control, 18.01.2015 lfd. (Weblink)

  • Adam, Christoph: Mitglied im Editorial Board (Editorial Advisory Board) - Acta Mechanica, 01.06.2009 lfd. (Weblink)

  • Böhme, Rainer: Member of the Editorial Board - IEEE Transactions on Information Forensics and Security, 01.01.2017 lfd. (Weblink)

  • Böhme, Rainer: Member of the Editorial Board - Wirtschaftsinformatik / Business & Information Business Engineering (BISE), 01.01.2016 lfd. (Weblink)

  • Böhme, Rainer: Member of the Editorial Board - Electronic Commerce Research (ECR), 01.01.2013 lfd. (Weblink)

  • Böhme, Rainer: Member of the Editorial board - EURASIP Journal on Information Security, 01.01.2013 lfd. (Weblink)

  • Breu, Ruth: Member of the Editorial Board - Software & Systems Modeling (SoSyM), 01.01.2013 lfd. (Weblink)

  • Breu, Ruth: Member of Editorial Board - International Journal of Web Engineering and Technology (IJWET), 01.01.2009 lfd. (Weblink)

  • Fahringer, Thomas: Associate Editor - IEEE Transactions on Cloud Computing, 01.01.2013 lfd.

  • Fellin, W.: Mitglied im Editorial Board - Series "Advances in Geophysical and Environmental Mechanics and Mathematics", Springer, 01.02.2013 lfd. (Weblink)

  • Fensel, Dieter: Member of the Editorial Board - Studies on the Semantic Web (Book Series), 01.03.2011 lfd. (Weblink)

  • Fensel, Dieter: Member of the International Editorial Review Board - International Journal of E-Entrepreneurship and Innovation (IJEEI), 01.01.2011 lfd. (Weblink)

  • Fensel, Dieter: Associate Editor - Foundations and Trends in Web Science, 01.10.2005 lfd. (Weblink)

  • Fensel, Dieter: Editorial Board Member - International Journal on Web and Grid Services, 01.01.2005 lfd. (Weblink)

  • Fensel, Dieter: Editorial Review Board Member - International Journal on Semantic Web and Information Systems (IJSWIS), 01.01.2005 lfd.

  • Gohm, Alexander: Editor - Meteorologische Zeitschrift, 01.01.2013 lfd. (Weblink)

  • Hanke, Klaus: Guest editor for Special Issue: 3D Modelling from Point Clouds: Algorithms and Methods - Remote Sensing, 01.09.2017 - 01.03.2019. (Weblink)

  • Hanke, Klaus: Member of Editorial Board - Journal of Imaging, 01.10.2014 lfd. (Weblink)

  • Hanke, Klaus: Member of Editorial Board - Journal of Cultural Heritage, 01.01.2012 lfd. (Weblink)

  • Hanke, Klaus: Member of the Editorial Board - The International Journal of Heritage in the Digital Era, 01.10.2011 lfd. (Weblink)

  • Harders, Matthias: Associate editor - IEEE Transactions on Haptics, 01.03.2014 lfd. (Weblink)

  • Harders, Matthias: Associate editor - ACM Transactions on Applied Perception, 01.03.2014 lfd. (Weblink)

  • Harders, Matthias: Associate editor - Presence - MIT Press Journal, 01.03.2014 lfd. (Weblink)

  • Harders, Matthias: Editorial Advisory Board Member - Springer Series on Touch and Haptic Systems, 01.03.2014 lfd. (Weblink)

  • Harders, Matthias: Editorial Board Member - Virtual Reality, 01.03.2014 lfd. (Weblink)

  • Hofstetter, G.: Editorial Board und Gutachter - Engineering Structures, 17.01.2002 lfd.

  • Hofstetter, G.: Editorial Board und Gutachter - Finite Elements in Analysis and Design, 01.01.2000 lfd.

  • HUSTY, M.: Redakteur - Informationsblätter der Geometrie (IBDG), 01.01.2000 lfd.

  • Kleidorfer, Manfred: Guest Editor of Special Issue "Urban Water Management" in Sustainability - Sustainability - Open Access Journal, 01.01.2017 - 31.12.2018. (Weblink)

  • Kleidorfer, Manfred: Editor - Water Science and Technology, 01.01.2014 lfd. (Weblink)

  • Kolymbas, D.: Editorial Board - Tunel, 01.01.2013 lfd.

  • Kolymbas, D.: Mitglied im Advisory Bord - International Journal for Numerical and Analytical Methods in Geomechanics, 07.08.2007 lfd.

  • Kolymbas, D.: Mitglied im Editorial Board - Acta Geotechnica. International Journal for Geoengineering, 01.01.2006 lfd.

  • Kolymbas, D.: Herausgeber - Schriftenreihe "Advances in Geotechnical Engineering and Tunnelling", 01.01.2000 lfd.

  • Lackner, Roman: Member of the International Editorial Board - Engineering Structures, 01.01.2007 lfd.

  • Mapelli, Michela: Scientific Editor (Member of the Editorial Board) - Computational Astrophysics and Cosmology - SpringerOpen, 01.01.2017 lfd. (Weblink)

  • Mena, Hermann: Member of the Editorial Board - Elementos - Journal of Engineering and Science, 01.01.2013 lfd. (Weblink)

  • Meschke, Günther; Hofstetter, Günter; Phoon, Kok-Kwang: Gasteditor von Volume 3, Issue 1, Pages 1-86 (March 2018) 'Computational Methods in Mechanized Tunneling' der Zeitschrift Underground Space - Underground Space, 01.06.2017 - 01.06.2018. (Weblink)

  • Middeldorp, Aart: Editorial Board - Electronic Proceedings in Theoretical Computer Science, 01.04.2009 lfd. (Weblink)

  • Middeldorp, Aart: Editor - Journal of Automated Reasoning, 01.01.2007 lfd. (Weblink)

  • Middeldorp, Aart: Editor - Applicable Algebra in Engineering, Communication and Computing, 01.09.2003 lfd.

  • Oberguggenberger, Michael: Mitglied im Editorial Board - Novi Sad Journal of Mathematics, 01.01.2015 lfd. (Weblink)

  • Oberguggenberger, Michael: Mitglied des Editorial Board - Bulletin Mathematique de la Societe des Mathematiciens de la Republique de Macedonie, 01.01.2010 lfd.

  • Oberguggenberger, Michael: Mitglied des Editorial Board - Journal of Pseudo-Differential Operators and Applications, 01.01.2009 lfd.

  • Ostermann, Alexander: Editorial board member - Electronic Transactions on Numerical Analysis (ETNA), 01.01.2016 lfd. (Weblink)

  • Ostermann, Alexander: Editorial Advisory Board Member - Geometric Flows (de Gruyter), 01.01.2014 lfd. (Weblink)

  • Piater, Justus: Associate Editor - IEEE Transactions on Robotics, 01.10.2015 - 30.09.2019. (Weblink)

  • Prodan, Radu: Associated Editor - IEEE Transactions on Parallel and Distributed Systems, 01.06.2015 lfd. (Weblink)

  • Rauch, Wolfgang: Editor - Wissenschaftlicher Beirat - Österreichische Wasser- und Abfallwirtschaft, 01.01.2005 lfd.

  • Rauch, Wolfgang: Editorial Board - Water Research, 01.01.2005 lfd.

  • Rauch, Wolfgang: Editor - Water Science and Technology, 01.01.2002 lfd.

  • Rodriguez-Sanchez, Antonio: Guest Editor of Special Issue "Brain-Inspired Computer Vision" - Journal of Imaging, 01.01.2017 - 31.12.2017. (Weblink)

  • Rotach, Mathias: Member Editorial Board und Gutachter - Boundary-Layer Meteorology, 01.01.2004 lfd.

  • Savoye, Yann: Editorial Board Member - Encyclopedia of Computer Graphics and Games, 01.07.2014 lfd. (Weblink)

  • Schneider, Kerstin; Specht, Günther: Herausgeberschaft von Volume 1858 - CEUR Workshop Proceedings, 01.01.2017 - 11.06.2017. (Weblink)

  • Schröcker, Hans-Peter: Associate Editor - Mechanism and Machine Theory, 13.05.2015 - 12.05.2018. (Weblink)

  • Sommer, Christoph: Member of Editorial Board - Wireless Networks. The Journal of Mobile Communication, Computation and Information, 01.08.2011 lfd. (Weblink)

  • Thiemann, René: Editor - Archive of Formal Proofs, 01.01.2017. (Weblink)

  • Weber, Barbara: Member of the International Editorial Review Board - International Journal of Information System Modeling and Design, 01.02.2012 lfd.

  • Weber, Barbara: Editorial Board - International Journal of Knowledge-Based Organizations, 01.01.2010 lfd. (Weblink)

Beiträge in Büchern / Zeitschriften

Zeitschriftenaufsatz (Originalarbeit)
  • Achleitner, Stefan; Schöber, Johannes (2017): Weiße Wasserspeicher – Analyse und Modellierung der Schneedichte in den österreichischen Alpen und Alpenvorländern.
    In: Österreichische Wasser- und Abfallwirtschaft 69/3-4, S. 171 - 179. (Weblink)

  • Adam, Christoph; Di Lorenzo, Salvatore; Failla, Giuseppe; Pirrotta, Antonina (2017): On the moving load problem in beam structures equipped with tuned mass dampers.
    In: MECCANICA 52/13, S. 3101 - 3115. (DOI) (Weblink)

  • Adam, Christoph; Di Matteo, Alberto; Furtmüller, Thomas; Pirrotta, Antonina (2017): Earthquake excited base-isolated structures protected by tuned liquid column dampers: design approach and experimental verification.
    In: Procedia Engineering 199, S. 1574 - 1579. (DOI)

  • Adam, Christoph; Kampenhuber, David; Ibarra, Luis F (2017): Optimal intensity measure based on spectral acceleration for P-delta vulnerable deteriorating frame structures in the collapse limit state.
    In: Bulletin of Earthquake Engineering 15/10, S. 4349 - 4373. (DOI) (Weblink)

  • Adam, Christoph; Kampenhuber, David; Ibarra, Luis Francesco; Tsantaki, Styliani (2017): Optimal spectral acceleration-based intensity measure for seismic collapse assessment of P-delta vulnerable frame structures.
    In: JOURNAL OF EARTHQUAKE ENGINEERING 21/7, S. 1189 - 1195. (DOI) (Weblink)

  • Akram, Muhammad; Waratchareeyakul, Watcharee; Haupenthal, Joerg; Hartmann, Rolf W.; Schuster, Daniela (2017): Pharmacophore Modeling and in Silico/in Vitro Screening for Human Cytochrome P450 11B1 and Cytochrome P450 11B2 Inhibitors.
    In: Frontiers in Chemistry 5, Article 104. (DOI) (Weblink)

  • Altmann, R.; Levajkovic, T.; Mena, H. (2017): Operator differential-algebraic equations with noise arising in fluid dynamics.
    In: Monatshefte für Mathematik 182/4, S. 741 - 780. (DOI)

  • Altmann, Robert; Ostermann, Alexander (2017): Splitting methods for constrained diffusion-reaction systems.
    In: Computers & Mathematics With Applications 74/5, S. 962 - 976. (DOI) (Weblink)

  • Auzinger, Winfried; Kassebacher, Thomas; Koch, Othmar; Thalhammer, Mechthild (2017): Convergence of a Strang splitting finite element discretization for the Schrödinger–Poisson equation.
    In: ESAIM: Mathematical Modelling and Numerical Analysis 51/4, S. 1245 - 1278. (DOI) (Weblink)

  • Avanzini, Martin; dal Lago, Ugo (2017): Automating sized-type inference for complexity analysis.
    In: Proceedings of the ACM on Programming Languages 1/ICFP, No. 43. (DOI) (Weblink)

  • Baumgartner, Katharina; Gems, Bernhard; Walder, Stefan; Auer, Florian; Federspiel, Markus; Aufleger, Markus (2017): Bedeutung des Geschiebetransportes für die Planung von Hochwasserschutz- und Retentionsmaßnahmen in Talflüssen – Numerische Modellierung des Inns im Tiroler Unterinntal.
    In: Österreichische Wasser- und Abfallwirtschaft 69/1, S. 155 - 170. (DOI) (Weblink)

  • Bercx, M; Hofmann, J. S.; Assaad, F. F.; Lang, T. C. (2017): Spontaneous particle-hole symmetry breaking of correlated fermions on the Lieb lattice.
    In: Physical Review B (Condensed Matter) 95/3, No. 035108. (DOI) (Weblink)

  • Bianchi Janetti, Michele; Wagner, Peter (2017): Analytical model for the moisture absorption in capillary active building materials.
    In: BUILDING AND ENVIRONMENT 126, S. 98 - 106. (DOI)

  • Blanes, S; Casas, F; Thalhammer, M (2017): High-order commutator-free quasi-Magnus exponential integrators for non-autonomous linear evolution equations.
    In: Computer Physics Communications 220, S. 243 - 262. (DOI) (Weblink)

  • Böhme, Rainer; Pesch, Paulina (2017): Technische Grundlagen und datenschutzrechtliche Fragen der Blockchain-Technologie.
    In: Datenschutz und Datensicherheit 41/8, S. 473 - 481. (Weblink)

  • Bondarouk, Tanya; Parry, Emma; Furtmüller, Elfriede (2017): Electronic HRM: four decades of research on adoption and consequences.
    In: INTERNATIONAL JOURNAL OF HUMAN RESOURCE MANAGEMENT 28/1, S. 98 - 131. (DOI) (Weblink)

  • Braun, D. E.; Griesser, U. J. (2017): Prediction and Experimental Validation of Solid Solutions and Isopolymorphs of Cytosine/5-Flucytosine.
    In: CrystEngComm 19/26, S. 3566 - 3572. (DOI) (Weblink)

  • Braun, D. E.; Kahlenberg, V.; Griesser, U. J. (2017): Experimental and Computational Hydrate Screening: Cytosine, 5-Flucytosine, and Their Solid Solution.
    In: Crystal Growth & Design 17/8, S. 4347 - 4364. (Weblink)

  • Braun, D. E.; Krueger, H.; Kahlenberg, V.; Griesser, U. J. (2017): Molecular Level Understanding of the Reversible Phase Transformation between Forms III and II of Dapsone.
    In: Crystal Growth & Design 17/10, S. 5054 - 5060. (DOI) (Weblink)

  • Braun, D. E.; Lingireddy, S. R.; Beidelschies, M. D.; Guo, R.; Mueller, P.; Price, S. L.; Reutzel-Edens, S. M. (2017): Unraveling Complexity in the Solid Form Screening of a Pharmaceutical Salt: Why So Many Forms? Why So Few?
    In: Crystal Growth & Design 17/10, S. 5349 - 5365. (DOI) (Weblink)

  • Braun, D. E.; Schneeberger, A.; Griesser, U. J. (2017): Understanding the Role of Water in 1,10-Phenanthroline Monohydrate.
    In: CrystEngComm 19, S. 6133 - 6145. (DOI) (Weblink)

  • Brezinsek, S.; ..., ...; Huber, S.; ..., ...; Kaiser, A.; ..., ...; Probst, M.; ..., ...; Sukuba, I.; et., al (2017): Plasma–wall interaction studies within the EUROfusion consortium: progress on plasmafacing components development and qualification.
    In: Nuclear Fusion 57, S. 116041 - 116049. (DOI) (Weblink)

  • Chartier, Philippe; Méhats, Florian; Thalhammer, Mechthild; Zhang, Yong (2017): Convergence of multi-revolution composition time-splitting methods for highly oscillatory differential equations of Schrödinger type.
    In: ESAIM: Mathematical Modelling and Numerical Analysis 51/5, S. 1859 - 1882. (DOI) (Weblink)

  • Cicconardi, Francesco; Di Marino, Daniele; Olimpiere, Paolo P.; Arthofer, Wolfgang; Schlick-Steiner, Birgit C.; Steiner, Florian M. (2017): Chemosensory adaptations of the mountain fly Drosophila nigrosparsa (Insecta: Diptera) through genomics’ and structural biology’s lenses.
    In: Scientific Reports 7, No. 43770. (DOI)

  • Cicconardi, Francesco; Marcatili, Paolo; Arthofer, Wolfgang; Schlick-Steiner, Birgit C.; Steiner, Florian M. (2017): Positive diversifying selection is a pervasive adaptive force throughout the Drosophila radiation.
    In: Molecular Phylogenetics and Evolution 112, S. 230 - 243. (DOI) (Weblink)

  • Damm, Tobias; Mena, Hermann; Stillfjord, Tony (2017): Numerical solution of the finite horizon stochastic linear quadratic control problem.
    In: NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS 24/4, No. e2091. (DOI) (Weblink)

  • Di Lorenzo, Salvatore; Adam, Christoph; Failla, Giuseppe; Pirrotta, Antonina (2017): On the moving multi-loads problem in discontinuous beam structures with interlayer slip.
    In: Procedia Engineering 199, S. 2531 - 2536. (DOI)

  • Di Lorenzo, Salvatore; Di Paola, Mario; Failla, Giuseppe; Pirrotta, Antonina (2017): On the moving load problem in Euler–Bernoulli uniform beams with viscoelastic supports and joints.
    In: ACTA MECHANICA 228/3, S. 805 - 821. (DOI) (Weblink)

  • Dietz, Sebastian; Mayr, Georg J.; Zeileis, Achim (2017): Probabilistic nowcasting of low-visibility procedure states at Vienna International Airport during cold season.
    In: Working Papers in Economics and Statistics - University of Innsbruck 2017, No. 21. (Weblink)

  • Dreier, D.; Latkolik, S.; Rycek, L.; Schnürch, M.; Dymáková, A.; Atanasov, A.G.; Ladurner, A.; Heiss, E.H.; Stuppner, H.; Schuster, D.; Mihovilovic, M.D.; Dirsch, V.M. (2017): Linked magnolol dimer as a selective PPARγ agonist – Structure-based rational design, synthesis, and bioactivity evaluation.
    In: Scientific Reports 7, No. 13002. (DOI) (Weblink)

  • Egger, B.; Bachmann, L.; Fromm, B. (2017): Atp8 is in the ground pattern of flatworm mitochondrial genomes.
    In: BMC Genomics 18, Art. Nr. 414. (URN) (DOI)

  • Einkemmer, Lukas (2017): A study on conserving invariants of the Vlasov equation in semi-Lagrangian computer simulations.
    In: JOURNAL OF PLASMA PHYSICS 83/2, No. 705830203. (DOI) (Weblink)

  • Einkemmer, Lukas (2017): Evaluation of the Intel Xeon Phi 7120 and NVIDIA K80 as accelerators for two-dimensional panel codes.
    In: PLoS One 12/6, No. e0178156. (DOI) (Weblink)

  • Einkemmer, Lukas; Tokman, Mayya; Loffeld, John (2017): On the performance of exponential integrators for problems in magnetohydrodynamics.
    In: Journal Of Computational Physics 330, S. 550 - 565. (DOI) (Weblink)

  • Engeli, R.T.; Rohrer, S.R.; Vuorinen, A.; Herdlinger, S.; Kaserer, T.; Leugger, S.; Schuster, D.; Odermatt, A. (2017): Interference of Paraben Compounds with Estrogen Metabolism by Inhibition of 17β-Hydroxysteroid Dehydrogenases.
    In: International Journal Of Molecular Sciences 18/9, No. 2007. (DOI) (Weblink)

  • Erkent, Özgür; Karaoguz, Hakan; Bozma, Isil (2017): Hierarchically self-organizing visual place memory.
    In: ADVANCED ROBOTICS 31/16, S. 865 - 879. (DOI)

  • Felgenhauer, Bertram; Thiemann, René (2017): Reachability, confluence, and termination analysis with state-compatible automata.
    In: INFORMATION AND COMPUTATION 253/3, S. 467 - 486. (DOI) (Weblink)

  • Fensel, Anna; Tomic, Dana Kathrin; Koller, Andreas (2017): Contributing to appliances’ energy efficiency with Internet of Things, smart data and user engagement.
    In: Future Generation Computer Systems 76, S. 329 - 338. (DOI) (Weblink)

  • Fotopoulou, Eleni; Zafeiropoulos, Anastasios; Terroso-Sáenz, Fernando; Şimşek, Umutcan; González-Vidal, Aurora; Tsiolis, George; Gouvas, Panagiotis; Liapis, Paris; Fensel, Anna; Skarmeta, Antonio (2017): Providing Personalized Energy Management and Awareness Services for Energy Efficiency in Smart Buildings.
    In: Sensors 17/9, No. 2054. (DOI) (Weblink)

  • Furtmüller, Thomas; Adam, Christoph (2017): Compensation of temperature effects in long-term monitoring of a highway bridge located in the Austrian Alps.
    In: Procedia Engineering 199, S. 2078 - 2083. (DOI)

  • Gabl, Roman; Seibl, Jakob; Gems, Bernhard; Righetti, Maurizio (2017): Modellversuch und Numerik — Gegner oder Partner? Numerics and scale model tests - opponents or partners?
    In: WasserWirtschaft - Fachzeitschrift für Wasser und Umwelttechnik 107/6, S. 14 - 20. (Weblink)

  • Gabl, Roman; Seibl, Jakob; Pfeifer, Manfred; Gems, Bernhard; Aufleger, Markus (2017): 3D-numerische Modellansätze für die Berechnung von Lawineneinstößen in Speicher.
    In: Österreichische Wasser- und Abfallwirtschaft 69/1-2, S. 66 - 75. (DOI) (Weblink)

  • Gamse, Sonja; Oberguggenberger, Michael (2017): Assessment of long-term coordinate time series using hydrostatic-season-time model for rock-fill embankment dam.
    In: Structural Control and Health Monitoring 24/102, Nr. e1859. (DOI)

  • Garousi, Vahid; Felderer, Michael (2017): Worlds Apart: Industrial and Academic Focus Areas in Software Testing.
    In: IEEE SOFTWARE 34/5, S. 38 - 45. (DOI) (Weblink)

  • Garousi, Vahid; Felderer, Michael; Hacaloglu, Tuna (2017): Software test maturity assessment and test process improvement: A multivocal literature review.
    In: INFORMATION AND SOFTWARE TECHNOLOGY 85, S. 16 - 42. (DOI) (Weblink)

  • Garscha, U.; Romp, E.; Pace, S.; Rossi, A.; Temml, V.; Schuster, D.; König, S.; Gerstmeier, J.; Liening, S.; Werner, M.; Atze, H.; Wittmann, S.; Weinigel, C.; Rummler, S.; Scriba, G.K.; Sautebin, L.; Werz, O. (2017): Pharmacological profile and efficiency in vivo of diflapolin, the first dual inhibitor of 5-lipoxygenase-activating protein and soluble epoxide hydrolase.
    In: Scientific Reports 7, No. 9398. (DOI) (Weblink)

  • Gasteiger, Markus; Einkemmer, Lukas; Ostermann, Alexander; Tskhakaya, David (2017): Alternating direction implicit type preconditioners for the steady state inhomogeneous Vlasov equation.
    In: JOURNAL OF PLASMA PHYSICS 83/1, No. 705830107. (DOI) (Weblink)

  • Georgakoudis, Giorgis; Vandierendonck, Hans; Thoman, Peter; De Supinski, Bronis R.; Fahringer, Thomas; Nikolopoulos, Dimitrios S. (2017): SCALO: Scalability-Aware Parallelism Orchestration for Multi-Threaded Workloads.
    In: A C M Transactions on Architecture and Code Optimization 14/4, No. 54. (DOI)

  • Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René (2017): Analyzing Program Termination and Complexity Automatically with AProVE.
    In: Journal of Automated Reasoning 58/1, S. 3 - 31. (DOI) (Weblink)

  • Goncalves, Mariana L. R.; Kleidorfer, Manfred; Rauch, Wolfgang (2017): Case study on the use of a combined system as an intermediate solution in Brazil: cost estimate.
    In: WATER AND ENVIRONMENT JOURNAL 31/4, S. 478 - 485. (DOI) (Weblink)

  • Gordic, Snežana; Oberguggenberger, Michael; Pilipovic, Stevan; Seleši, Dora (2017): Probabilistic properties of generalized stochastic processes in algebras of generalized functions.
    In: Monatshefte für Mathematik 186/4, S. 609 - 633. (DOI)

  • Hafizoglu, Cavit; Lasiecka, Irena; Levajkovic, Tijana; Mena, Hermann; Tuffaha, Amjad (2017): The Stochastic Linear Quadratic Control Problem with Singular Estimates.
    In: SIAM Journal on Control and Optimization 55/2, S. 595 - 626. (DOI)

  • Hales, T; Adams, M; Bauer, G; Dang, TD; Harrison, J; Hoang, LT; Kaliszyk, C; Magron, V; Mclaughlin, S; Ngyen, TT; Ngyen, WT; Nipkow, T; Obua, S; Pleso, J; Rute, J; Solovyev, A; An Ta, TH; Tran, NT; Trieu, TD; Urban, J; Vu, K; Zumkeller, R (2017): A Formal Proof of the Kepler Conjecture.
    In: Forum of Mathematics, Pi 5, No. e2. (DOI) (Weblink)

  • Haltmeier, Markus; Kowar, Richard; Nguyen, Linh (2017): Iterative methods for photoacoustic tomography in attenuating acoustic media.
    In: INVERSE PROBLEMS 33/11, No. 115009. (DOI) (Weblink)

  • Haltmeier, Markus; Moon, Shungwan; Schiefeneder, Daniela (2017): Inversion of the Attenuated V-Line Transform With Vertices on the Circle.
    In: IEEE Transactions on Computational Imaging 3/4, S. 853 - 863. (DOI) (Weblink)

  • Haltmeier, Markus; Nguyen, Linh V. (2017): Analysis of Iterative Methods in Photoacoustic Tomography with Variable Sound Speed.
    In: SIAM Journal on Imaging Sciences 10/2, S. 751 - 781. (DOI) (Weblink)

  • Hanáková, Z.; Hošek, J.; Kutil, Z.; Temml, V.; Landa, P.; Vanek, T.; Schuster, D.; Dall’Acqua, S.; Cvačka, J.; Polansky, O.; Šmejkal, K. (2017): Anti-inflammatory activity of natural geranylated flavonoids: cyclooxygenase and lipoxygenase inhibitory properties and proteomic analysis.
    In: Journal of Natural Products 80/4, S. 999 - 1006. (DOI) (Weblink)

  • Hangl, Simon; Ugur, Emre; Piater, Justus (2017): Autonomous robots: potential, advances and future direction.
    In: Elektrotechnik und Informationstechnik 134/6, S. 293 - 298. (DOI) (Weblink)

  • Hauenstein, Jonathan D.; Wampler, Charles W.; Pfurner, Martin (2017): Synthesis of three-revolute spatial chains for body guidance.
    In: Mechanism and Machine Theory 110, S. 61 - 72. (DOI) (Weblink)

  • Hernandez Vera, M.; Schiller, S.; Wester, R.; Gianturco, F. A. (2017): Rotationally inelastic cross sections, rates and cooling times for para-H2+, ortho-D2+ and HD+ in cold helium gas.
    In: European Physical Journal D. Atomic, Molecular, Optical and Plasma Physics 71, No. 106. (DOI)

  • Hernandez-Vera, M.; Gianturco, F. A.; Wester, R.; Da Silva Jr., H.; Dulieu, O.; Schiller, S. (2017): Rotationally inelastic collisions of H2+ ions with He buffer gas: Computing cross sections and rates.
    In: The Journal of Chemical Physics 146/12, No. 124310. (DOI)

  • Higham, Nicholas J.; Kandolf, Peter (2017): Computing the Action of Trigonometric and Hyperbolic Matrix Functions.
    In: SIAM Journal On Scientific Computing 39/2, S. A613 - A627. (DOI) (Weblink)

  • Hitzenberger, M; Schuster, D.; Hofer, T.S. (2017): The Binding Mode of the Sonic Hedgehog Inhibitor Robotnikinin, a Combined Docking and QM/MM MD Study.
    In: Frontiers in Chemistry 5, No. 76. (DOI) (Weblink)

  • Hochleitner, J.; Akram, M.; Ueberall, M.; Davis, R.A.; Waltenberger, B.; Stuppner, H.; Sturm, S.; Ueberall, F.; Gostner, J.M.; Schuster, D. (2017): A combinatorial approach for the discovery of cytochrome P450 2D6 inhibitors from nature.
    In: Scientific Reports 7, No. 8071. (DOI) (Weblink)

  • Huber, Stefan E.; Mauracher, Andreas; Sukuba, Ivan; Urban, Jan; Maihom, Thana; Probst, Michael (2017): Electron impact ionisation cross sections of iron oxides.
    In: European Physical Journal D. Atomic, Molecular, Optical and Plasma Physics 71/12, No. 335. (DOI) (Weblink)

  • Huber, Stefan; Sukuba, Ivan; Urban, Jan; Limtrakul, Jumras; Probst, Michael (2017): Electron impact ionisation cross sections of iron hydrogen clusters.
    In: European Physical Journal D. Atomic, Molecular, Optical and Plasma Physics 70/9, No. 182. (DOI)

  • Iborra, José; Nishida, Naoki; Vidal, Germán; Yamada, Akihisa (2017): Relative Termination via Dependency Pairs.
    In: Journal of Automated Reasoning 58/3, S. 391 - 411. (DOI) (Weblink)

  • Impeng, Sarawoot; Siwaipram, Siwarut; Bureekaew, Sareeya; Probst, Michael (2017): Ethane C–H bond activation on the Fe(IV)–oxo species in a Zn-based cluster of metal–organic frameworks: a density functional theory study.
    In: Physical Chemistry Chemical Physics 19/5, S. 3782 - 3791. (DOI)

  • Innerhofer, Petra; Fries, Dietmar; Mittermayr, Markus; Innerhofer, Nicole; von Langen, Daniel; Hell, Tobias; Gruber, Gottfried; Schmid, Stefan; Friesenecker, Barbara; Lorenz, Ingo; Ströhle, Mathias; Rastner, Verena; Trübsbach, Susanne; Raab, Helmut; Treml, Benedikt; Wally, Dieter; Treichl, Benjamin; Mayer, Agnes; Kranewitter, Christof; Oswald, Elgar (2017): Reversal of trauma-induced coagulopathy using first-line coagulation factor concentrates or fresh frozen plasma (RETIC): a single-centre, parallel-group, open-label, randomised trial.
    In: Lancet Haematology 4/6, S. e258 - e271. (DOI) (Weblink)

  • Iskandarov, I.; Gianturco, F.A.; Hernandez Vera, M.; Wester, R.; Da Silva Jr., H.; Dulieu, O. (2017): Shape and strength of dynamical couplings between vibrational levels of the H2+, HD+ and D2+ molecularions in collision with he as a buffer gas.
    In: European Physical Journal D. Atomic, Molecular, Optical and Plasma Physics 71, No. 141. (DOI)

  • Janetschek, Matthias; Prodan, Radu; Benedikt, Shajulin (2017): A Workflow Runtime Environment for Manycore Parallel Architectures.
    In: Future Generation Computer Systems 75, S. 330 - 347. (DOI) (Weblink)

  • Kammerlander, Johannes; Achleitner, Stefan; Schöber, Johannes; Hofer, Bernhard (2017): Geschiebehaushalt in kleinen Hochgebirgsbächen der Nordtiroler Zentralalpen.
    In: Österreichische Wasser- und Abfallwirtschaft 69/3-4, S. 114 - 124. (Weblink)

  • Kammerlander, Johannes; Gems, Berrnhard; Kößler, Daniel; Aufleger, Markus (2017): Effect of bed load supply on sediment transport in mountain streams.
    In: International Journal of Sediment Research 32/2, S. 240 - 252. (DOI) (Weblink)

  • Kandolf, P.; Relton, S. D. (2017): A Block Krylov Method to Compute the Action of the Fréchet Derivative of a Matrix Function on a Vector with Applications to Condition Number Estimation.
    In: SIAM Journal On Scientific Computing 39/4, S. A1416 - A1434. (DOI)

  • Kendl, A.; Danler, G.; Wiesenberger, M.; Held, M. (2017): Interchange Instability and Transport in Matter-Antimatter Plasmas.
    In: Physical Review Letters 118/23, Nr. 235001. (DOI) (Weblink)

  • Ketrat, Sombat; Maihom, Thana; Wannakao, Sippakorn; Probst, Michael; Nokbin, Somkiat; Limtrakul, Jumras (2017): Coordinatively Unsaturated Metal-Organic Frameworks M3(btc)2 (M = Cr, Fe, Co, Ni, Cu, and Zn) Catalyzing the Oxidation of CO by N2O: Insight from DFT Calculations.
    In: INORGANIC CHEMISTRY 56/22, S. 14005 - 14012. (DOI) (Weblink)

  • Klar, Robert; Steidl, Bernd; Sant, Tonio; Aufleger, Markus; Farrugia, Robert N. (2017): Buoyant Energy - balancing wind power and other renewables in Europe’s oceans.
    In: Journal of Energy Storage 14/2, S. 246 - 255. (DOI) (Weblink)

  • Kolymbas, Dimitrios (2017): Wie realistisch sind Berechnungen in der Geotechnik? How realistic are computations in geotechnical engineering?
    In: Bauingenieur 12-2017, S. 513 - 517. (Weblink)

  • Kop, Cynthia; Middeldorp, Aart; Sternagel, Thomas (2017): Complexity of Conditional Term Rewriting.
    In: Logical Methods in Computer Science 13/1, No. 6. (DOI) (Weblink)

  • Krimphoff, C.; Haque, M.; Läuchli, A. M. (2017): Propagation and jamming dynamics in Heisenberg spin ladders.
    In: Physical Review B (Condensed Matter) 95/14, No. 144308. (DOI) (Weblink)

  • Kröner, Christian; Gabl, Roman; Seibl, Jakob; Aufleger, Markus (2017): Bruch der Druckrohrleitung als ein Extremlastfall bei Hochdruckwasserkraftanlagen.
    In: WasserWirtschaft - Fachzeitschrift für Wasser und Umwelttechnik 107/5, S. 29 - 35. (DOI) (Weblink)

  • Kurganov, Alexander; Prugger, Martina; Wu, Tong (2017): Second-Order Fully Discrete Central-Upwind Scheme for Two-Dimensional Hyperbolic Systems of Conservation Laws.
    In: SIAM Journal On Scientific Computing 39/3, S. A947 - A965. (DOI) (Weblink)

  • Laube, Stefan; Böhme, Rainer (2017): Strategic Aspects of Cyber Risk Information Sharing.
    In: ACM COMPUTING SURVEYS 50/5, Article No. 77. (DOI) (Weblink)

  • Lengyel, J.; Ončák, M.; Fedor, J.; Kočišek, J.; Pysanenko, A.; Beyer, M.K.; Fárník, M. (2017): Electron-triggered chemistry in HNO3/H2O complexes.
    In: Physical Chemistry Chemical Physics 19, S. 11753 - 11758. (DOI) (Weblink)

  • Lengyel, Jozef; Ončák, Milan; Herburger, Andreas; van der Linde, Christian; Beyer, Martin K. (2017): Infrared spectroscopy of O˙− and OH− in water clusters: evidence for fast interconversion between O˙− and OH˙OH−.
    In: Physical Chemistry Chemical Physics 19, S. 25346 - 25351. (DOI) (Weblink)

  • Leukauf, D.; Gohm, A.; Rotach, M. (2017): Toward Generalizing the Impact of Surface Heating, Stratification, and Terrain Geometry on the Daytime Heat Export from an Idealized Valley.
    In: Journal of Applied Meteorology and Climatology 56/10, S. 2711 - 2727. (DOI) (Weblink)

  • Mair, M.; Zischg, J.; Rauch, W.; Sitzenfrei, R. (2017): Where to Find Water Pipes and Sewers?—On the Correlation of Infrastructure Networks in the Urban Environment.
    In: Water 9/2, No. 146. (DOI)

  • Maran, Thomas; Sachse, Pierre; Martini, Markus; Weber, B.; Pinggera, J.; Zugal, S.; Furtner, M. R. (2017): Lost in time and space: states of high arousal disrupt implicit acquisition of spatial and sequential context information.
    In: Frontiers In Behavioral Neuroscience 11, No. 206. (DOI) (Weblink)

  • Mathá, Roland; Ristov, Sasko; Prodan, Radu (2017): Simulation of a workflow execution as a real Cloud by adding noise.
    In: SIMULATION MODELLING PRACTICE AND THEORY 79, S. 37 - 53. (DOI) (Weblink)

  • Medicus, Gertraud; Fellin, Wolfgang (2017): An improved version of barodesy for clay.
    In: Acta Geotechnica 12/2, S. 365 - 376. (DOI) (Weblink)

  • Meister, Michael; Winkler, Daniel; Rezavand, Massoud; Rauch, Wolfgang (2017): Integrating hydrodynamics and biokinetics in wastewater treatment modelling by using smoothed particle hydrodynamics.
    In: COMPUTERS & CHEMICAL ENGINEERING 99, S. 1 - 12. (DOI) (Weblink)

  • Méndez Fernández, Daniel; Wagner, Stefan; Kalinowski, Marcos; Felderer, Michael; Mafra, Priscilla; Vetro, Antonio; Conte, Tayana; Christiansson, M.-T.; Greer, Des; Lassenius, Casper; Männistö, Tomi; Nayabi, M.; Oivo, Markku; Penzenstadler, Birgi; Pfahl, Dietmar; Prikladnicki, Rafael; Ruhe, Günther; Schekelmann, André; Sen, S.; Spínola, Rodrigo O.; Tuzcu, Ahmet; de la Vara, Jose Luis; Wieringa, Roel (2017): Naming the pain in requirements Engineering. Contemporary problems, causes, and effects in practice.
    In: EMPIRICAL SOFTWARE ENGINEERING 22/5, S. 2298 - 2338. (DOI) (Weblink)

  • Menge, M.; Mack, T.; Geyer, Roman; Petraschek, Thomas; Bruschetini-Ambro, Sebastian Zoran; Salcher, Patrick (2017): 160 km/h auf Hilfsbrücken der ÖBB.
    In: Bauingenieur 92/7/8, S. 313 - 322. (Weblink)

  • Meyer, O.H.H.; Kendl, A. (2017): Isotope effect on filament dynamics in fusion edge Plasmas.
    In: Plasma Physics and Controlled Fusion 59/6, Nr. 065001. (DOI)

  • Michel, Isabel; Bathaeian, Iman; Kuhnert, Jörg; Kolymbas, Dimitrios; Chen, Chien-Hsun; Polymerou, Iliana; Vrettos, Christos; Becker, A. (2017): Meshfree generalized finite difference methods in soil mechanics—part II: numerical results.
    In: GEM - International Journal on Geomathematics 8/2, S. 191 - 217. (DOI) (Weblink)

  • Mikovits, Christian; Tscheikner-Gratl, Franz; Jasper-Tönnies, Alrun; Einfalt, Thomas; Huttenlau, Matthias; Schöpf, Martin; Kinzel, Heiko; Rauch, Wolfgang; Kleidorfer, Manfred (2017): Decision support for adaptation planning of urban drainage systems.
    In: Journal Of Water Resources Planning And Management 143/12, No. 04017069. (DOI) (Weblink)

  • Moin, S. Tarique; Hofer, Thomas S. (2017): Hydration of iron–porphyrins: ab initio quantum mechanical charge field molecular dynamics simulation study.
    In: Physical Chemistry Chemical Physics 19/45, S. 30822 - 30833. (DOI)

  • Moon, Sunghwan; Haltmeier, Markus (2017): Analytic Inversion of a Conical Radon Transform Arising in Application of Compton Cameras on the Cylinder.
    In: SIAM Journal on Imaging Sciences 10/2, S. 535 - 557. (DOI) (Weblink)

  • Moschen, Lukas; Adam, Christoph (2017): Peak floor acceleration demand prediction based on response spectrum analysis of various sophistication.
    In: ACTA MECHANICA 228/4, S. 1249 - 1268. (DOI) (Weblink)

  • Moser, Georg (2017): KBOs, ordinals, subrecursive hierarchies and all that.
    In: Journal of Logic and Computation 27/2, S. 469 - 495. (DOI) (Weblink)

  • Murray, Todd W.; Haltmeier, Markus; Berer, Thomas; Leiss-Holzinger, Elisabeth; Burgholzer, Peter (2017): Super-resolution photoacoustic microscopy using blind structured illumination.
    In: Optica 4/1, S. 17 - 22. (DOI) (Weblink)

  • Nagele, Julian; Felgenhauer, Betram; Zankl, Harald (2017): Certifying Confluence Proofs via Relative Termination and Rule Labeling.
    In: Logical Methods in Computer Science 13/2, No. 4. (DOI) (Weblink)

  • Nastic, Stefan; Rausch, Thomas; Scekic, Ognjen; Dustdar, Schahram; Kostoska, Magdalena; Jakimovski, Boro; Ristov, Sasko; Prodan, Radu (2017): A Serverless Real-Time Data Analytics Platform for Edge Computing.
    In: IEEE INTERNET COMPUTING 21/4, S. 64 - 71. (DOI) (Weblink)

  • Nedeljkov, Marko; Neumann, Lukas; Oberguggenberger, Michael; Sahoo, Manas R (2017): Radially symmetric shadow wave solutions to the system of pressureless gas dynamics in arbitrary dimensions.
    In: NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS 163, S. 104 - 126. (DOI)

  • Neuner, Matthias; Cordes, Tobias; Drexel, Martin; Hofstetter, Günter (2017): Time-Dependent Material Properties of Shotcrete: Experimental and Numerical Study.
    In: Materials 10/9, S. Nro. 1067. (DOI) (Weblink)

  • Neuner, Matthias; Gamnitzer, Peter; Hofstetter, Günter (2017): An Extended Damage Plasticity Model for Shotcrete: Formulation and Comparison with Other Shotcrete Models.
    In: Materials 10/1, No. 82. (DOI) (Weblink)

  • Neuner, Matthias; Schreter, Magdalena; Unteregger, David; Hofstetter, Günter (2017): Influence of the Constitutive Model for Shotcrete on the Predicted Structural Behavior of the Shotcrete Shell of a Deep Tunnel.
    In: Materials 10/6, No. 577. (DOI) (Weblink)

  • Ortner, Norbert; Wagner, Peter (2017): Applications of O (p,q)-invariant distributions.
    In: MATHEMATISCHE NACHRICHTEN 290/17-18, S. 2995 - 3005. (DOI)

  • Ortner, Norbert; Wagner, Peter (2017): Fourier transformation of O(p,q)-invariant distributions. Fundamental solutions of ultra-hyperbolic operators.
    In: Journal of Mathematical Analysis and Applications 450/1, S. 262 - 292. (DOI)

  • Passler, Peter P.; Hofer, Thomas S. (2017): Conserving the linear momentum in stochastic dynamics: Dissipative particle dynamics as a general strategy to achieve local thermostatization in molecular dynamics simulations.
    In: JOURNAL OF COMPUTATIONAL CHEMISTRY 38/5, S. 265 - 275. (DOI)

  • Peer, J.; Kendl, A.; Ribeiro, T.T.; Scott, B.D. (2017): Gyrofluid computation of magnetic perturbation effects on turbulence and edge localized bursts.
    In: Nuclear Fusion 57/8, Nr. 086026. (DOI) (Weblink)

  • Peham, Thomas; Steiner, Florian M.; Schlick-Steiner, Birgit C.; Arthofer, Wolfgang (2017): Are we ready to detect nematode diversity by next generation sequencing?
    In: Ecology and Evolution 7/12, S. 4147 - 4151. (DOI) (Weblink)

  • Pesch, P; Sillaber, C (2017): Distributed Ledger, Joint Control? – Blockchains and the GDPR’s Transparency Requirements.
    In: Computer Law Review International 18/6, S. 166 - 172. (DOI) (Weblink)

  • Pesch, Paulina; Böhme, Rainer (2017): Datenschutz trotz öffentlicher Blockchain? Chancen und Risiken bei der Verfolgung und Prävention Bitcoin-bezogener Straftaten.
    In: Datenschutz und Datensicherheit 41/2, S. 93 - 98. (DOI) (Weblink)

  • Pfurner, Martin; Stigger, Thomas; Husty, Manfred L. (2017): Algebraic analysis of overconstrained single loop four link mechanisms with revolute and prismatic joints.
    In: Mechanism and Machine Theory 114, S. 11 - 19. (DOI) (Weblink)

  • Phattharasupakun, Nutthaphon; Wutthiprom, Juthaporn; Kaenket, Surasak; Maihom, Thana; Limtrakul, Jumras; Probst, Michael; Nagarkar, Sanjog S.; Horike, Satoshi; Sawangphruk, Montree (2017): A proton-hopping charge storage mechanism of ionic one-dimensional coordination polymers for high-performance supercapacitors.
    In: Chemical Communications 53/86, S. 11786 - 11789. (DOI)

  • Pichl, Martin; Zangerle, Eva; Specht, Günther (2017): Understanding User-Curated Playlists on Spotify: A Machine Learning Approach.
    In: International Journal of Multimedia Data Engineering and Management 8/4, S. 44 - 59. (DOI) (Weblink)

  • Plörer, Manuel; Neuner, Johann; Achleitner, Stefan; Aufleger, Markus (2017): Kombinative Betrachtung von Naturmessung, physikalischer und numerischer Modellierung des Geschiebetransports an großen alpinen Wasserfassungen.
    In: Österreichische Wasser- und Abfallwirtschaft 69/3-4, S. 125 - 139. (Weblink)

  • Prasetyo, Niko; Utami, Wiji; Armunanto, Ria; Hofer, Thomas S. (2017): Exploring structure and dynamics of solvated Ca (II) in liquid ammonia: A quantum mechanical charge field (QMCF) molecular dynamics simulation.
    In: Journal of Molecular Liquids 242, S. 286 - 292. (DOI)

  • Rauch, Wolfgang; Urich, Christian; Bach, Peter; Rogers, B.C.; de Haan, F.J.; Brown, R.R.; Mair, M.; McCarthy, D.T.; Kleidorfer, M.; Sitzenfrei, R; Deletic, A. (2017): Modelling transitions in urban water systems.
    In: Water Research 126, S. 501 - 514. (DOI) (Weblink)

  • Reitberger, Klaus; Kissmann, Ralf; Reimer, Anita; Reimer, Olaf (2017): 3D Magnetohydrodynamic Models of Nonthermal Photon Emission in the Binary System γ² Velorum.
    In: The Astrophysical Journal 847/1, No. 40. (DOI) (Weblink)

  • Ribar, A.; Fink, K.; Probst, M.; Huber, S.E.; Feketeová, L.; Denifl, S. (2017): Isomer Selectivity in Low-Energy Electron Attachment to Nitroimidazoles.
    In: Chemistry - A European Journal 23/52, S. 12892 - 12899. (DOI)

  • Roa-Valverde, AJ; Sanchez-Alonso, S; Sicilia, MA; Fensel, D (2017): An approach to measuring and annotating the confidence of Wiktionary translations.
    In: Language Resources and Evaluation 51/2, S. 319 - 349. (DOI) (Weblink)

  • Rotach, M. W.; Stiperski, I.; Fuhrer, O.; Goger, B.; Gohm, A.; Obleitner, F.; Rau, G.; Sfyri, E.; Vergeiner, J. (2017): Investigating Exchange Processes over Complex Topography: the Innsbruck-Box (i-Box).
    In: Bulletin Of The American Meteorological Society 98/4, S. 787 - 805. (DOI) (Weblink)

  • Salcher, Patrick; Adam, Christoph (2017): Quick assessment of high-speed railway bridges based on a non-dimensional parameter representation.
    In: ADVANCES IN STRUCTURAL ENGINEERING 20/11, S. 1623 - 1631. (DOI) (Weblink)

  • Saleh, Muhammad; Hofer, Thomas S. (2017): Palladium(II) in liquid ammonia: an investigation of structural and dynamical properties by applying quantum mechanical charge field molecular dynamics (QMCF-MD.
    In: Dalton Transactions 46/29, S. 9630 - 9638. (DOI)

  • Sammon, Matthew S.; Ončák, Milan; Beyer, Martin K. (2017): Theoretical simulation of the infrared signature of mechanically stressed polymer solids.
    In: Beilstein Journal of Organic Chemistry 13, S. 1710 - 1716. (DOI) (Weblink)

  • Schattan, Paul; Baroni, Gabriele; Oswald, Sascha E; Schöber, Johannes; Fey, Christine; Kormann, Christoph; Huttenlau, Matthias; Achleitner, Stefan (2017): Continuous monitoring of snowpack dynamics in alpine terrain by aboveground neutron sensing.
    In: Water Resources Research 53/5, S. 3615 - 3634. (DOI) (Weblink)

  • Schiefeneder, Daniela; Haltmeier, Markus (2017): The Radon Transform over Cones with Vertices on the Sphere and Orthogonal Axes.
    In: SIAM JOURNAL ON APPLIED MATHEMATICS 77/4, S. 1335 - 1351. (DOI) (Weblink)

  • Schmid, J.; Lener, G.; Eberle R. (2017): Lastkollektive für Eisenbahnbrücken aus Messdaten – Teil 2. Anpassung an tatsächliche Jahresbruttotonnagen und Plannutzungsdauern durch λ2 und λ3, Berücksichtigung von Verkehrsveränderungen und Grenzwerten.
    In: Stahlbau 86/5, S. 434 - 440. (DOI)

  • Schneider-Muntau, Barbara; Chen, Chien-Hsun; Bathaeian, s. M. Iman (2017): Simulation of shear bands with Soft PARticle Code (SPARC) and FE.
    In: GEM - International Journal on Geomathematics 8/1, S. 135 - 151. (DOI) (Weblink)

  • Schröcker, Hans-Peter (2017): Singular Frégier Conics in Non-Euclidean Geometry.
    In: JOURNAL FOR GEOMETRY AND GRAPHICS 21/2, S. 201 - 208. (Weblink)

  • Schuler, M.J.; Hofer, T.S.; Huck, C.W. (2017): Assessing the predictability of anharmonic vibrational modes at the example of hydroxyl groups – ad hoc construction of localised modes and the influence of structural solute–solvent motifs.
    In: Physical Chemistry Chemical Physics 19, S. 11990 - 12001. (DOI)

  • Seeber, I.; de Vreede, G.J.; Maier, R.; Weber, B. (2017): Beyond Brainstorming: Exploring Convergence in Teams.
    In: JOURNAL OF MANAGEMENT INFORMATION SYSTEMS 34/4, S. 939 - 969. (DOI) (Weblink)

  • Seibl, Jakob; Gabl, Roman; Kröner, Christian; Aufleger, Markus (2017): Alternativer hydraulischer Schutz des Triebwasserwegs — Konzept, Modellversuch und numerische 3-D-Simulation.
    In: WasserWirtschaft - Fachzeitschrift für Wasser und Umwelttechnik 107/5, S. 36 - 41. (Weblink)

  • Senfter, Thomas; Fritsch, Lukas; Eisendle, Roland; Bockreis, Anke; Rauch, Wolfgang; Kraxner, Michael (2017): Identifikation der Einflussgrößen für die Auslegung eines Trennapparates zur selektiven Störstoffabscheidung bei der Co-Vergärung von organischen Reststoffen in Abwasserreinigungsanlagen.
    In: Österreichische Wasser- und Abfallwirtschaft 69/9-10, S. 378 - 387. (DOI) (Weblink)

  • Sillaber, Christian; Waltl, Bernhard (2017): The Life Cycle of Smart Contracts in Blockchain Ecosystems.
    In: Datenschutz und Datensicherheit 41/8, S. 497 - 500. (DOI) (Weblink)

  • Simon, Thorsten; Umlauf, Nikolaus; Zeileis, Achim; Mayr, Georg J.; Schulz, Wolfgang; Diendorfer, Gerhard (2017): Spatio-temporal modelling of lightning climatologies for complex terrain.
    In: Natural Hazards and Earth System Sciences 17/3, S. 305 - 314. (DOI)

  • Sitzenfrei, Robert; Hillebrand, Sebastian; Rauch, Wolfgang (2017): Investigating the interactions of decentralized and centralized wastewater heat recovery systems.
    In: Water Science and Technology 75/5, S. 1243 - 1250. (DOI) (Weblink)

  • Stauffer, R.; Umlauf, N.; Messner, J. W.; Mayr, G. J.; Zeileis, A. (2017): Ensemble Postprocessing of Daily Precipitation Sums over Complex Terrain Using Censored High-Resolution Standardized Anomalies.
    In: Monthly Weather Review 145/3, S. 955 - 969. (DOI) (Weblink)

  • Stauffer, Reto; Messner, J.W.; Mayr, G. J.; Umlauf, Nikolaus; Zeileis, Achim (2017): Spatio-temporal precipitation climatology over complex terrain using a censored additive regression model.
    In: International Journal Of Climatology 37/7, S. 3264 - 3275. (DOI)

  • Stegmeir, A.; Maj, O.; Coster, D.; Lackner, K.; Held, M.; Wiesenberger, M. (2017): Advances in the flux-coordinate independent approach.
    In: Computer Physics Communications 213, S. 111 - 121. (DOI)

  • Sturm, Michael; Gems, Bernhard; Mazzorana, Bruno; Gabl, Roman; Aufleger, Markus (2017): Validierung experimenteller und 3-D-numerischer Untersuchungen zur Einwirkung hydrodynamischer Fließprozesse auf Objekte. Validation of physical and 3D numerical modelling of hydrodynamic flow impacts on objects.
    In: WasserWirtschaft - Fachzeitschrift für Wasser und Umwelttechnik 107/6, S. 21 - 27. (DOI) (Weblink)

  • Sukuba, I.; Kaiser, A.; Huber, S.; Urban, J.; Probst, M. (2017): Energetics and reactivity of small beryllium deuterides.
    In: JOURNAL OF MOLECULAR MODELING 23, Nr. 203. (DOI) (Weblink)

  • Sun, S; Leonhardt, G; Sandoval, S; Betrand-Krajewski, JL; Rauch, W (2017): A Bayesian method for missing rainfall estimation using a conceptual rainfall-runoff model.
    In: Hydrological Sciences Journal / Journal Des Sciences Hydrologiques 62/15, S. 2456 - 2468. (DOI)

  • Theiner, Yvonne; Drexel, Martin; Neuner, Matthias; Hofstetter, Günter (2017): Comprehensive study of concrete creep, shrinkage, and water content evolution under sealed and drying conditions.
    In: Strain. An international journal for experimental mechanics 53/2, No. e12223. (DOI) (Weblink)

  • Tsantaki, Styliani; Adam, Christoph; Ibarra, Luis Francesco (2017): Intensity measure that reduce collapse capacity dispersion of P-delta vulnerable simple systems.
    In: Bulletin of Earthquake Engineering 15/3, S. 1085 - 1109. (DOI) (Weblink)

  • Tscheikner-Gratl, Franz; Egger, Patrick; Rauch, Wolfgang; Kleidorfer, Manfred (2017): Comparison of Multi-Criteria Decision Support Methods for Integrated Rehabilitation Prioritization.
    In: Water 9/2, No. 68. (URN) (DOI) (Weblink)

  • Tscheikner-Gratl, Franz; Zeisl, Peter; Kinzel, Carolina; Leimgruber, Johannes; Ertl, Thomas; Rauch, Wolfgang; Kleidorfer, Manfred (2017): Effect of varying calibration scenarios on the performance of a hydrodynamic sewer model.
    In: European Water 57, S. 287 - 291. (Weblink)

  • Ugur, Emre; Piater, Justus (2017): Emergent structuring of interdependent affordance learning tasks using intrinsic motivation and empirical feature selection.
    In: IEEE Transactions on Cognitive and Developmental Systems 9/4, S. 328 - 340. (DOI) (Weblink)

  • Vuorinen, A; Engeli, RT; Leugger, S; Kreutz, C; Schuster, D; Odermatt, A; Matuszczak, B (2017): Phenylbenzenesulfonates and -sulfonamides as 17β-hydroxysteroid dehydrogenase type 2 inhibitors: Synthesis and SAR-analysis.
    In: Bioorganic & Medicinal Chemistry Letters 27/13, S. 2982 - 2985. (DOI) (Weblink)

  • Whitsitt, S.; Schuler, M.; Henry, L.-P.; Läuchli, A. M.; Sachdev, S. (2017): Spectrum of the Wilson-Fisher conformal field theory on the torus. Editors' Suggestion.
    In: Physical Review B (Condensed Matter) 96/3, No. 035142. (DOI) (Weblink)

  • Wiedemair, Martin J.; Hofer, Thomas S. (2017): Towards a dissociative SPC-like water model – probing the impact of intramolecular Coulombic contributions.
    In: Physical Chemistry Chemical Physics 19/47, S. 31910 - 31920. (DOI)

  • Wiesenberger, M.; Held, M.; Einkemmer, L. (2017): Streamline integration as a method for two-dimensional elliptic grid generation.
    In: Journal Of Computational Physics 340, S. 435 - 450. (DOI) (Weblink)

  • Wiesenberger, M.; Held, M.; Kube, R.; Garcia. O.E. (2017): Unified transport scaling laws for plasma blobs and depletions.
    In: Physics of Plasmas 24/6, Nr. 064502. (DOI) (Weblink)

  • Wietek, A.; Läuchli, A. M. (2017): Chiral Spin Liquid and Quantum Criticality in Extended S=1/2 Heisenberg Models on the Triangular Lattice.
    In: Physical Review B (Condensed Matter) 95/3, No. 035141. (Weblink)

  • Winkler, Daniel; Meister, Michael; Rezavand, Massoud; Rauch, Wolfgang (2017): gpuSPHASE—A shared memory caching implementation for 2D SPH using CUDA.
    In: Computer Physics Communications 213, S. 165 - 180. (DOI) (Weblink)

  • Zambrano‐Vega, Cristian; Nebro, Antonio J.; Durillo, Juan J.; García‐Nieto, José; ldana‐Montes, José F. A. (2017): Multiple Sequence Alignment with Multiobjective Metaheuristics. A Comparative Study.
    In: INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS 32/8, S. 843 - 861. (DOI) (Weblink)

  • Zayed, M. E.; Rüegg, C.; Larrea, J.; Läuchli, A. M.; Panagopoulos, C.; Saxena, S. S.; Ellerby, M.; McMorrow, D. F.; Straessle, T.; Klotz, S.; Hamel, G.; Sadykov, R. A.; Pomjakushin, V.; Boehm, M.; Jimenez-Ruiz, M.; Schneidewind, A.; Pomjakushina, E.; Stingaciu, M.; Conder, K.; Ronnow, H. M. (2017): 4-spin plaquette singlet state in the Shastry–Sutherland compound SrCu2(BO3)2.
    In: Nature Physics 13/10, S. 962 - 966. (DOI) (Weblink)

  • Zech, Philipp; Kalb, Philipp; Felderer, Michael; Atkinson, Colin; Breu, Ruth (2017): Model-based regression testing by OCL.
    In: International Journal on Software Tools for Technology Transfer 19/1, S. 115 - 131. (DOI) (Weblink)

  • Zhang, Yimin; Zeiml, Matthias; Maier, Marcus; Yoan, Yong; Lackner, Roman (2017): Fast assessing spalling risk of tunnel linings under RABT fire: From a coupled thermo-hydro-chemo-mechanical model towards an estimation method.
    In: Engineering Structures 142, S. 1 - 19. (DOI) (Weblink)

  • Zhang, Yiming (2017): Multi-slicing strategy for the three-dimensional discontinuity layout optimization (3D DLO).
    In: International Journal for Numerical and Analytical Methods in Geomechanics 41/4, S. 488 - 507. (DOI)

  • Zieher, Thomas; Rutzinger, Martin; Schneider-Muntau, Barbara; Perzl, Frank; Leidinger, David; Formayer, Herbert; Geitner, Clemens (2017): Sensitivity analysis and calibration of a dynamic physically based slope stability model.
    In: Natural Hazards and Earth System Sciences 17/6, S. 971 - 992. (DOI) (Weblink)

  • Zieher, Thomas; Schneider-Muntau, Barbara; Mergili, Martin (2017): Are real-world shallow landslides reproducible by physically-based models? Four test cases in the Laternser valley, Vorarlberg (Austria).
    In: Landslides 14/6, S. 2009 - 2023. (DOI) (Weblink)

  • Zischg, J.; Goncalves, M. L.; Bacchin, T. K.; Leonhardt, G.; Viklander, M.; van Timmeren, A.; Rauch, W; Sitzenfrei, R. (2017): Info-Gap robustness pathway method for transitioning of urban drainage systems under deep uncertainties.
    In: Water Science and Technology 76/5, S. 1272 - 1281. (DOI) (Weblink)

  • Zischg, J.; Mair, M.; Rauch, W.; Sitzenfrei, R. (2017): Enabling Efficient and Sustainable Transitions of Water Distribution Systems under Network Structure Uncertainty.
    In: Water 9/9, No. 715. (DOI)

  • Zischg, Jonatan; Goncalves, Mariana; Leonhardt, Günther; Kleidorfer, Manfred; Rauch, Wolfgang; Sitzenfrei, Robert (2017): Transformation der Stadtentwässerung unter Berücksichtigung von „grüner“ und „blauer“ Infrastruktur.
    In: Österreichische Wasser- und Abfallwirtschaft 69/3-4, S. 180 - 185. (DOI)

Zeitschriftenaufsatz (Review)
  • Beck, K.R.; Kaserer, T.; Schuster, D.; Odermatt, A. (2017): Virtual screening applications in short-chain dehydrogenase/reductase research.
    In: JOURNAL OF STEROID BIOCHEMISTRY AND MOLECULAR BIOLOGY 171, S. 157 - 177. (DOI) (Weblink)

  • Papathoma-Köhle, Maria; Gems, Bernhard; Sturm, Michael; Fuchs, Sven (2017): Matrices, curves and indicators: A review of approaches to assess physical vulnerability to debris flows.
    In: Earth-Science Reviews 171, S. 272 - 288. (DOI) (Weblink)

  • Zech, Philipp; Haller, Simon; Rezapour Lakani, Safoura; Ridge, Barry; Ugur, Emre; Piater, Justus (2017): Computational models of affordance in robotics: a taxonomy and systematic classification.
    In: ADAPTIVE BEHAVIOR 25/5, S. 235 - 271. (DOI) (Weblink)

Zeitschriftenbeitrag (Proceedings Paper)
  • Berer, Thomas; Burgholzer, Peter; Haltmeier, Markus (2017): Compressed sensing in photoacoustic imaging and application for planar detection geometries.
    In: PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE) 10064, Article 100642H. (DOI) (Weblink)

  • Burgholzer, P.; Haltmeier, Markus; Berer, T.; Leiss-Holzinger, E.; Murray, T. W. (2017): Super-resolution photoacoustic microscopy using joint sparsity.
    In: PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE) 10415, No. 1041506. (DOI) (Weblink)

  • Burgholzer, P; Murray, T. W.; Haltmeier, Markus; Leiss-Holzinger, E.; Berer, T. (2017): Photoacoustic super-resolution microscopy using blind structured speckle illumination.
    In: PROCEEDINGS OF THE SOCIETY OF PHOTO-OPTICAL INSTRUMENTATION ENGINEERS (SPIE) 10064, Article 100642H. (DOI) (Weblink)

  • Fensel, Anna (2017): Enabling Smart Data Services for Behavioural Change.
    In: CEUR Workshop Proceedings 1837, S. 7 - 12. (Weblink)

  • Grimaldo, E.; Reimer, A.; Kissmann, R. (2017): Combined magnetohydrodynamic-Monte Carlo simulations of proton acceleration in colliding wind binaries.
    In: AIP Conference Proceedings 1792/1, No. 040031. (DOI) (Weblink)

  • Hagelberg, F.; Kaiser, A.; Sukuba, I.; Probst, M. (2017): Spin filter properties of armchair graphene nanoribbons with substitutional Fe atoms.
    In: MOLECULAR PHYSICS 115/17-18, S. 2231 - 2241. (DOI) (Weblink)

  • Kärle, Elias; Fensel, Dieter (2017): Annotation based automatic action processing.
    In: CEUR Workshop Proceedings 1963, No. 564. (Weblink)

  • Kissmann, R.; Niederwanger, F.; Reimer, O.; Strong, A.W. (2017): Diffuse Gamma Rays in 3D Galactic Cosmic-ray Propagation Models.
    In: AIP Conference Proceedings 1792/1, No. 070011. (DOI) (Weblink)

  • Kissmann, R.; Reimer, O.; Niederwanger, F.; Strong, A. (2017): Anisotropic Diffusion in Galactic Cosmic Ray transport using PICARD.
    In: Proceedings of Science ICRC 2017, No. 480. (Weblink)

  • Kissmann, Ralf (2017): Galactic cosmic ray propagation models using Picard.
    In: Journal of Physics: Conference Series 837/1, No. 012003. (DOI) (Weblink)

  • Murauer, Benjamin; Mayerl, Maximilian; Tschuggnall, Michael; Zangerle, Eva; Pichl, Martin; Specht, Günther (2017): Hierarchical Multilabel Classification and Voting for Genre Classification.
    In: CEUR Workshop Proceedings 1984, No. 41. (Weblink)

  • Niederwanger, F.; Reimer, O.; Kissmann, R.; Popescu, C.C.; Tuffs, R.J. (2017): Consequences of using a new ISRF model for modeling Galactic diffuse gamma-ray emission.
    In: Proceedings of Science ICRC 2017, No. 683. (Weblink)

  • Niederwanger, F.; Reimer, O.; Kissmann, R.; Tuffs, R. (2017): The Use Case of a New ISRF on Diffuse Gamma-ray Emission Models.
    In: AIP Conference Proceedings 1792/1, No. 070015. (DOI) (Weblink)

  • Reitberger, K.; Kissmann, R.; Reimer, A.; Reimer, O. (2017): MHD Models of Gamma-ray Emission in WR 11.
    In: AIP Conference Proceedings 1792/1, No. 040008. (DOI) (Weblink)

  • Tschuggnall, Michael; Stamatatos, Efstathios; Verhoeven, Ben; Daelemans, Walter; Specht, Günther; Stein, Benno; Potthas, Martin (2017): Overview of the Author Identification Task at PAN-2017: Style Breach Detection and Author Clustering.
    In: CEUR Workshop Proceedings 1866. (Weblink)

  • Weber, Barbara; Gulden, Jens; Burattin, Andrea (2017): Designing Visual Decision Making Support with the Help of Eye-tracking.
    In: CEUR Workshop Proceedings 1859, S. 47 - 54. (Weblink)

Zeitschriftenbeitrag (Meeting-Abstract)
  • Drexel, Martin (2017): Zeitabhängiges Materialverhalten von Beton. Versuche zum Schwind- und Kriechverhalten unter Berücksichtigung des Feuchtegehalts.
    In: Beton- und Stahlbetonbau 112/7, S. 443. (DOI)

  • Eichner, Bernhard; Koller, Julian; Kammerlander, Johannes; Schöber, Johannes; Achleitner, Stefan (2017): Propagation of hydrological modeling uncertainties on bed load Transport simulations in steep mountain streams.
    In: Geophysical Research Abstracts 19, EGU2017-16583. (Weblink)

  • Förster, Kristian; Hanzer, Florian; Stoll, Elena; Schöber, Johannes; Scaife, Adam; MacLachlan, Craig; Huttenlau, Matthias; Achleitner, Stefan; Strasser, Ulrich (2017): Probabilistic retrospective forecasts of snow accumulation for the upcoming winter season in the Inn headwaters catchment.
    In: Geophysical Research Abstracts 19, EGU2017-15495. (Weblink)

  • Huttenlau, Matthias; Schneeberger, Klaus; Winter, Benjamin; Pazur, Robert; Förster, Kristian; Achleitner, Stefan; Bolliger, Janine (2017): Flood risk in a changing world – a coupled transdisciplinary modelling framework for flood risk assessment in an Alpine study area.
    In: Geophysical Research Abstracts 19, EGU2017-16061. (Weblink)

  • Kofler, A.; Fischer, J.-T.; Hellweger, V.; Huber, A.; Mergili, M.; Pudasaini, S.; Fellin, W.; Oberguggenberger, M. (2017): Bayesian inference in mass flow simulations - from back calculation to prediction.
    In: Geophysical Research Abstracts 19, No. EGU2017-15720. (Weblink)

  • Kofler, Christian; Renner, Kathrin; Comiti, Francesco; Gems, Bernhard; Schneiderbauer, Stefan; Thiebes, Benni; Schlögel, Romy (2017): Time-variant risk assessment of a hazard cascade at the example of a rockslide dam - a case study in the Upper Val Venosta / Vinschgau Valley, Italy.
    In: Geophysical Research Abstracts 19, EGU2017-234. (Weblink)

  • Kohl, Bernhard; Achleitner, Stefan; Lumassegger, Simon (2017): RUNON a hitherto little noticed factor - Field experiments comparing RUNOFF/RUNON processes.
    In: Geophysical Research Abstracts 19, EGU2017-17023-1. (Weblink)

  • Lumassegger, Simon; Achleitner, Stefan; Kohl, Bernhard (2017): Impact of agricultural management on pluvial flash floods – Case study of an extreme event observed in Austria in 2016.
    In: Geophysical Research Abstracts 19, EGU2017-14467-1. (Weblink)

  • Rauter, Matthias (2017): A finite area scheme for shallow granular flows on three-dimensional surfaces.
    In: Geophysical Research Abstracts 19, EGU2017-14508. (Weblink)

  • Schattan, Paul; Baroni, Gabriele; Oswald, Sascha E.; Schöber, Johannes; Fey, Christine; Francke, Till; Huttenlau, Matthias; Achleitner, Stefan (2017): Continuous monitoring of a mountain snowpack in the Austrian Alps by above-ground neutron sensing.
    In: Geophysical Research Abstracts 19, EGU2017-13418. (Weblink)

  • Schattan, Paul; Bellinger, Johannes; Förster, Kristian; Schöber, Johannes; Huttenlau, Matthias; Kirnbauer, Robert; Achleitner, Stefan (2017): Evaluating the effects of model structure and meteorological input data on runoff modelling in an alpine headwater basin.
    In: Geophysical Research Abstracts. (Weblink)

  • Schellander, Harald; Hell, Tobias (2017): Comparison of spatial extreme value models for snow depth extremes in
    Austria.
    In: Geophysical Research Abstracts 19, Nr. EGU2017-6436. (Weblink)

  • Sillaber, Christian (2017): Socio-technical-artefact driven security and risk analysis.
    In: Dagstuhl Reports 6/11, S. 81. (DOI) (Weblink)

  • Stoll, Elena; Oesterle, Felix; Hanzer, Florian; Nemec, Johanna; Berlin, Stefan; Schöber, Johannes; Huttenlau, Matthias; Strasser, Ulrich; Achleitner, Stefan; Förster, Kristian (2017): Coupling a glacier evolution model and a hydrological model to simulate future runoff scenarios in the Oetztal Alps, Austria.
    In: Geophysical Research Abstracts 19, EGU2017-14850-2. (Weblink)

  • Tilg, Anna-Maria; Schöber, Johannes; Huttenlau, Matthias; Messner, Jakob; Achleitner, Stefan (2017): Advanced inflow forecasting for a hydropower plant in an Alpine hydropower regulated catchment – coupling operational and hydrological forecasts.
    In: Geophysical Research Abstracts 19, EGU2017-13288. (Weblink)

Zeitschriftenbeitrag (Editorial)
  • Bockreis, Anke; Rauch, Wolfgang (2017): Co-Vergärung auf kommunalen Abwasserbehandlungsanlagen.
    In: Österreichische Wasser- und Abfallwirtschaft 69/9-10, S. 367 - 368. (DOI) (Weblink)

  • Felderer, Michael; Ramler, Rudolf (2017): Special issue on collaboration in software testing between industry and academia.
    In: SOFTWARE QUALITY JOURNAL 25/4, S. 1087 - 1089. (DOI) (Weblink)

  • Gems, Bernhard (2017): Gedanken zu alpinen Einzugsgebieten.
    In: Österreichische Wasser- und Abfallwirtschaft 69/3-4, S. 112 - 113. (DOI)

Sammelbandaufsatz (Originalarbeit)
  • Adam, Christoph; Salcher, Patrick (2017): Effect of the load modelling strategy on the dynamic response prediction of bridges subjected to high-speed trains.
    In: Irschik, H.; Belyaev, A.; Krommer, M.: Dynamics and Control of Advanced Structures and Machines. Cham: Springer International Publishing, ISBN 978-3-319-43079-9, S. 215 - 224. (DOI) (Weblink)

  • Baumgartner, F; Oberguggenberger, M; Schwarz, M (2017): Transport in a Stochastic Goupillaud Medium.
    In: Oberguggenberger, Michael; Toft, Joachim; Vindas, Jasson; Wahlberg, Patrik: Generalized Functions and Fourier Analysis. Dedicated to Stevan Pilipović on the Occasion of his 65th Birthday. Basel - Boston - Berlin: Birkhäuser (= Operator Theory: Advances and Applications, 260), ISBN 978-3-319-51910-4, S. 19 - 30. (DOI) (Weblink)

  • Fröch, Georg (2017): Merkmalserver als Kommunikationsmittel für die Bauwirtschaft.
    In: Gary, Gisela: BIM. Digitale Revolution und ihre Grenzen. Wien: Linde Verlag, ISBN 978-3-707-33777-8, S. 73 - 89. (Weblink)

  • Kampenhuber, David; Adam, Christoph (2017): Quantification of the Seismic Collapse Capacity of Regular Frame Structures.
    In: Sextos, Anastasios; Manolis, George D. (Eds.): Dynamic Response of Infrastructure to Environmentally Induced Loads. Analysis, Measurements, Testing, and Design. Cham: Springer International Publishing (= Lecture Notes in Civil Engineering, 2), ISBN 978-3-319-56134-9, S. 269 - 286. (DOI) (Weblink)

  • Levajkovic, Tijana; Mena, Hermann; Tuffaha, Amjad (2017): The stochastic LQR optimal control with fractional Brownian motion.
    In: Oberguggenberger, Michael; Toft, Joachim; Vindas, Jasson; Wahlberg, Patrik: Generalized Functions and Fourier Analysis. Dedicated to Stevan Pilipović on the Occasion of his 65th Birthday. Basel - Boston - Berlin: Birkhäuser (= Operator Theory: Advances and Applications, 260), ISBN 978-3-319-51910-4, S. 115 - 151. (DOI) (Weblink)

  • Pfurner, Martin; Schadlbauer, Josef (2017): The Instantaneous Screw Axis of Motions in the Kinematic Image Space.
    In: Zeghloul, Saïd; Romdhane, Lotfi; Laribi, Med Amine: Computational Kinematics. Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017. Cham: Springer International Publishing (= Mechanisms and Machine Science, 50), ISBN 978-3-319-60866-2, S. 544 - 551. (DOI) (Weblink)

  • Rad, Tudor-Dan; Schröcker, Hans-Peter (2017): Optimal Synthesis of Overconstrained 6R Linkages by Curve Evolution.
    In: Zeghloul, Saïd; Romdhane, Lotfi; Laribi, Med Amine: Computational Kinematics. Proceedings of the 7th International Workshop on Computational Kinematics that was held at Futuroscope-Poitiers, France, in May 2017. Cham: Springer International Publishing (= Mechanisms and Machine Science, 50), ISBN 978-3-319-60866-2, S. 535 - 543. (DOI)

  • Tschuggnall, Michael (2017): Automatisierte Plagiatserkennung in Textdokumenten: Was der Schreibstil eines Autors über die Echtheit verrät.
    In: Mauler, Sandra; Ortner, Heike; Pfeiffenberger, Ulrike: Medien und Glaubwürdigkeit. Interdisziplinäre Perspektiven auf neue Herausforderungen im medialen Diskurs. Innsbruck: innsbruck university press (IUP) (= Edited Volume Series), ISBN 978-3-903122-94-9, S. 131 - 140. (Weblink)

Beitrag in Proceedingsband (Full Paper)
  • Abramova, Svetlana; Schöttle, Pascal; Böhme, Rainer (2017): Mixing Coins of Different Quality: A Game-Theory Approach.
    In: Brenner, M.; Rohloff, K.; Bonneau, J.; Miller, A.; Ryan, P.Y.A.; Teague, V.; Bracciali, A.; Sala, M.; Pintore, F.; Jakobsson, M. (Eds.): Financial Cryptography and Data Security. FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers. Cham: Springer International Publishing (= Security and Cryptology, 10323), ISBN 978-3-319-70277-3, S. 280 - 297. (DOI)

  • Achleitner, Stefan; Kammereck, Benjamin; Kohl, Bernhard; Stepanek, Leopold; Sitzenfrei Robert (2017): Interaction of torrential and urban catchments - Pros and Cons of Storm sewer retentions.
    In: Proceedings of the 37th IAHR World Congress August 13 – 18, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. 2289 - 2298.

  • Adam, Christoph; Kampenhuber, David; Ibarra, Luis F (2017): A spectral acceleration based intensity measure for P-delta vulnerable frames in the collapse limit state.
    In: 16th World Conference on Earthquake Engineering (16WCEE 2017). Chilean Association of Seismology and Earthquake Engineering, No. 235. (Weblink)

  • Adam, Christoph; Salcher, Patrick (2017): Zuverlässigkeitsanalyse von Stahlbrücken mit Schotterbett entlang von Hochgeschwindigkeitseisenbahnlinien.
    In: Zabel, V.; Beinersdorf, S.: Proc. 15. D-A-CH Tagung: Erdbebeningenieurwesen und Baudynamik 2017, September 21-22, 2017. Aachen: Deutsche Gesellschaft für Erdbebeningenieurwesen und Baudynamik (DGEB), ISBN 978-3-930108-13-5, S. 325 - 336.

  • Akbar, Zaenal; Fensel, Anna; Fensel, Dieter (2017): Enabling Analysis of User Engagements Across Multiple Online Communication Channels.
    In: Garoufallou, Emmanouel; Virkus, Sirje; Siatri, Rania; Koutsomiha, Damiana: Metadata and Semantic Research. 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 – December 1, 2017, Proceedings. Cham: Springer International Publishing (= Communications in Computer and Information Science, 755), ISBN 978-3-319-70862-1, S. 147 - 159. (Weblink)

  • Akbar, Zaenal; Kärle, Elias; Panasiuk, Oleksandra; Simsek, Umutcan; Toma, Ioan; Fensel, Dieter (2017): Complete Semantics to Empower Touristic Service Providers.
    In: Panetto, H.; Debruyne, C.; Gaaloul, W.; Papazoglou, M.; Paschke, A.; Ardagna, C.A.; Meersman, R.: On the Move to Meaningful Internet Systems. OTM 2017 Conferences. Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10574), ISBN 978-3-319-69459-7, S. 353 - 370. (Weblink)

  • Ammenwerth, Elske; Hackl, Werner O.; Felderer, Michael; Hörbst, Alexander (2017): Developing and Evaluating Collaborative Online-Based Instructional Designs in Health Information Management.
    In: Röhrig, R; Timmer, A; Binder, H; Sax, U: German Medical Data Sciences: Visions and Bridges. Proceedings of the 62nd Annual Meeting of the German Association of Medical Informatics, Biometry and Epidemiology (gmds e.V.) 2017 in Oldenburg (Oldenburg) – GMDS 201. Amsterdam - Berlin [u.a.]: IOS Press (= Studies in Health Technology and Informatics, 243), ISBN 978-1-61499-807-5, S. 8 - 12. (DOI) (Weblink)

  • Ammenwerth, Elske; Hackl, Werner O.; Felderer, Michael; Hörbst, Alexander (2017): Gruppendiskurse im virtuellen Lernraum: Förderung und Evaluierung der Critical Inquiry.
    In: Igel, C: Bildungsräume. Proceedings der 25. Jahrestagung der Gesellschaft für Medien in der Wissenschaft (GMW). 5. bis 8. September 2017 Chemnitz. Münster - New York - München - Berlin: Waxmann (= Medien in der Wissenschaft, 72), ISBN 978-3-8309-3720-3, S. 170 - 176. (Weblink)

  • Antholzer, Stephan; Wolf, Christoph; Sandbichler, Michael; Dielacher, Markus; Haltmeier, Markus (2017): Compressive Time-of-Flight Imaging.
    In: 2017 International Conference on Sampling Theory and Applications (SampTA). Los Alamitos: IEEE Computer Society Press, ISBN 978-1-5386-1566-9, S. 556 - 560. (DOI) (Weblink)

  • Baumgartner, Katharina; Gems, Bernhard; Walder, Stefan; Federspiel, Markus; Aufleger, Markus (2017): Influence of bed-load transport on the design of flood protection and retention measures in gravel-bed rivers - application of HYDRO_FT-2D for the Tyrolean Inn River.
    In: Proceedings of the 37th IAHR World Congress August 13 – 18, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. 608 - 615. (Weblink)

  • Beer, Armin; Junker, Maximilian; Femmer, Henning; Felderer, Michael (2017): Initial Investigations on the Influence of Requirement Smells on Test-Case Design.
    In: Proceedings of 25th IEEE International Requirements Engineering Conference Workshops (REW 2017). Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society, ISBN 978-1-5386-3488-2, S. 323 - 326. (DOI) (Weblink)

  • Biendarra, J; Blanchette, J C; Bouzy, A; Desharnais, M; Fleury, M; Hölzl, J; Kuncar, O; Lochbihler, A; Meier, F; Panny, L; Popescu, A; Sternagel, C; Thiemann, R; Traytel, D (2017): Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.
    In: Dixon, Clare; Finger, Marcelo: Frontiers of Combining Systems. 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Artificial Intelligence (LNAI), 10483), ISBN 978-3-319-66166-7, S. 3 - 21. (DOI) (Weblink)

  • Brockschmidt, Marc; Joosten, Sebastiaan; Thiemann, Rene; Yamada, Akihisa (2017): Certifying Safety and Termination Proofs for Integer Transition Systems.
    In: de Moura, Leonardo: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science - LNCS - Lecture Notes in Artificial Intelligence, 10395), ISBN 978-3-319-63045-8, S. 454 - 471. (DOI) (Weblink)

  • Brunner, Michael; Huber, Michael; Sauerwein, Clemens; Breu, Ruth (2017): Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems.
    In: Proceeding of 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C). Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society, ISBN 978-1-5386-2072-4, S. 334 - 340. (DOI) (Weblink)

  • Brunner, Michael; Sillaber, Christian; Breu, Ruth (2017): Towards Automation in Information Security Management Systems.
    In: Proceeding of 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C). Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society, ISBN 978-1-5386-2072-4, S. 160 - 167. (Weblink)

  • Burattin, Andrea; Kaiser, Michael; Neurauter, Manuel; Weber, Barbara (2017): Eye Tracking Meets the Process of Process Modeling: A Visual Analytic Approach.
    In: Dumas, M.; Fantinato, M.: Business Process Management Workshops 2016. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Business Information Processing, 281), ISBN 978-3-319-58456-0, S. 461 - 473. (DOI) (Weblink)

  • Cordes, Tobias; Schneider-Muntau, Barbara; Bergmeister, Konrad (2017): Inverse analysis of the loading state of a single permanent shotcrete lining at the BBT.
    In: Hofstetter, Günter; Bergmeister, Konrad; Eberhardsteiner, Josef; Meschke, Günther; Schweiger, Helmut F.: EURO:TUN 2017 - Proceedings of the IV International Conference on Computational Methods in Tunneling and Subsurface Engineering. Innsbruck: Studia Universitätsverlag, ISBN 978-3-903030-35-0, S. 625 - 633.

  • Cosenza, Biagio; Durillo, Juan J.; Ermon, Stefano; Juurlink, Ben (2017): Autotuning Stencil Computations with Structural Ordinal Regression Learning.
    In: Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS). May 29 - June 2, Orlando, Florida, USA. Los Alamitos: IEEE Computer Society Press, ISBN 978-1-5386-3914-6, S. 287 - 296. (DOI) (Weblink)

  • Cosenza, Biagio; Durillo, Juan J.; Ermon, Stefano; Juurlink, Ben (2017): Stencil Autotuning with Ordinal Regression.
    In: Stuijk, Sander: SCOPES'17: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems. Sankt Goar, Germany — June 12 - 13, 2017. New York: ACM Press, ISBN 978-1-4503-5039-6, S. 72 - 75. (DOI) (Weblink)

  • Cruzes Soares, Daniela; Felderer, Michael; Oyetoyan, Tosin Daniel; Gander, Matthias; Pekaric, Irdin (2017): How is Security Testing Done in Agile Teams? A Cross-Case Analysis of Four Software Teams.
    In: Baumeister, Hubert; Lichter, Horst; Riebisch, Matthias: Agile Processes in Software Engineering and Extreme Programming. 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings. Cham: Springer International Publishing, ISBN 978-3-319-57632-9, S. 201 - 216. (DOI) (Weblink)

  • Cuquet, Marti; Fensel, Anna; Bigagli, Lorenzo (2017): A European research roadmap for optimizing societal impact of big data on environment and energy efficiency.
    In: 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings. Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society, ISBN 978-1-5090-5874-7. (Weblink)

  • Di Lorenzo, Salvatore; Adam, Christoph; Failla, Giuseppe; Pirrotta, Antonina (2017): Moving multi-loads problem in layered cracked beams with interlayer slip.
    In: Ascione, L.; Berardi, V.; Feo, L.; Fraternali, F.; Tralli, A.M.: AIMETA 2017 - Proceedings of the XXIII Conference of the Italian Association of Theoretical and Applied Mechanics. Vol. 2. GECHI EDIZIONI by Centro Servizi d’Ateneo S.r.l., ISBN 978-889-42484-7-0, Bd. 2, S. 792 - 800. (Weblink)

  • Divason, Jose; Joosten, Sebastiaan; Thiemann, Renè; Yamada, Akahisa (2017): A formalization of the Berlekamp-Zassenhaus factorization algorithm.
    In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. New York: ACM Digital Library, ISBN 978-1-4503-4705-1, S. 17 - 29. (DOI)

  • Drexel, Martin; Theiner, Yvonne; Hofstetter, Günter (2017): Set of creep and shrinkage data for a normal strength concrete.
    In: Staquet, Stéphanie; Aggelis, Dimitrios: 2nd International RILEM/COST Conference on Early Age Cracking and Serviceability in Cement-based Materials and Structures (EAC-02). Bagneux: RILEM Publications S.A.R.L., ISBN 978-2-35158-197-1, S. 597 - 602.

  • Drexel, Martin; Theiner, Yvonne; Hofstetter, Günter (2017): Zeitabhängiges Materialverhalten von Beton. Versuche zum Schwind- und Kriechverhalten unter Berücksichtigung des Feuchtegehalts.
    In: Breit, Wolfgang; Kurz, Wolfgang; Pahn, Matthias; Sadegh-Azar, Hamid; Schnell, Jürgen; Thiele, Catherina: Beiträge zur 5. DAfStb-Jahrestagung mit 58. Forschungskolloquium. 20./21.September 2017, Technische Universität Kaiserslautern. Kaiserslautern: Technische Universität Kaiserslautern, ISBN 978-3-00-057267-8, S. 34 - 44.

  • Erkent, Özgür; Shukla, Dadhichi; Piater, Justus (2017): Visual Task Outcome Verification Using Deep Learning.
    In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5386-2683-2, S. 4821 - 4827. (Weblink)

  • Färber, Michael; Kaliszyk, Cezary; Urban, Josef (2017): Monte Carlo Tableau Proof Search.
    In: de Moura, Leonardo: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science - LNCS - Lecture Notes in Artificial Intelligence, 10395), ISBN 978-3-319-63045-8, S. 563 - 579. (DOI) (Weblink)

  • Felderer, Michael; Auer, Florian (2017): Software Quality Assurance During Implementation: Results of a Survey in Software Houses from Germany, Austria and Switzerland.
    In: Winkler, Dietmar; Biffl, Stefan; Bergsmann, Johannes: Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies. 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings. Cham: Springer International Publishing, ISBN 978-3-319-49420-3, S. 87 - 102. (DOI) (Weblink)

  • Felderer, Michael; Auer, Florian; Bergsmann, Johannes (2017): Risk Management During Software Development: Results of a Survey in Software Houses from Germany, Austria and Switzerland.
    In: Großmann, Jürgen; Felderer, Michael; Seehusen, Frederik: Risk Assessment and Risk-Driven Quality Assurance. 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10224), ISBN 978-3-319-57857-6, S. 143 - 155. (DOI) (Weblink)

  • Felderer, Michael; Winkler, Dietmar; Biffl, Stefan (2017): Hybrid Software and System Development in Practice: Initial Results from Austria.
    In: Felderer, Michael; Fernandez, Daniel; Turhan, Burak; Kalinowski, Marcos; Sarro, Federica; Winkler, Dietmar: Product-Focused Software Process Improvement. 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29–December 1, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science (LNCS), 10611), ISBN 978-3-319-69925-7, S. 435 - 442. (Weblink)

  • Felgenhauer, Bertram (2017): Beyond DRAT: Challenges in Certifying UNSAT.
    In: Reger, Giles; Traytel, Dmitriy: ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. Manchester: EasyChair (= EPiC Series in Computing, 51), S. 46 - 50. (Weblink)

  • Felgenhauer, Bertram; Middeldorp, Aart (2017): Constructing Cycles in the Simplex Method for DPLL(T).
    In: Van Hung, Dang; Kapur; Deepak: Theoretical Aspects of Computing – ICTAC 2017 –14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science (LNCS), 10580), ISBN 978-3-319-67728-6, S. 213 - 228. (DOI) (Weblink)

  • Felgenhauer, Bertram; Rapp, Franziska (2017): Aspects of Layer Systems in IsaFoR.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 63 - 67. (Weblink)

  • Fetz, Thomas (2017): Efficient Computation of Upper Probabilities of Failure.
    In: Bucher, Christian; Ellingwood, Bruce R.; Frangopol, Dan M.: Proceedings of the 12th International Conference on Structural Safety and Reliability (ICOSSAR 2017). Wien: TU-MV Media Verlag GmbH, ISBN 978-3-903024-28-1, S. 493 - 502.

  • Förster, Kristian; Hanzer, Florian; Stoll, Elena; Schöber, Johannes; Scaife, Adam A.; MacLachlan, Craig; Huttenlau, Matthias; Achleitner, Stefan; Strasser, Ulrich (2017): Die Vorhersagbarkeit der Schneeakkumulation für die nächste Wintersaison – Ein theoretisches Experiment für das Inn-Einzugsgebiet mit gekoppelten Atmosphäre-Ozean-Klimamodellen und einem Wasserhaushaltsmodell.
    In: Casper, Markus; Gronz, Oliver; Ley, Rita; Schütz, Tobias: Den Wandel messen - Wie gehen wir mit Nichtstationarität in der Hydrologie um? Beiträge zum Tag der Hydrologie am 23./24. März 2017 an der Universität Trier. Hennef: FgHW - Forum für Hydrologie und Wasserbewirtschaftung, ISBN 978-3-88721-475-3, S. 205 - 216. (Weblink)

  • Fotopoulou, Eleni; Zafeiropoulos, Anastasios; Terroso, Fernando; Gonzalez, Aurora; Skarmeta, Antonio; Simsek, Umutcan; Fensel, Anna (2017): Data Aggregation, Fusion and Recommendations for Strengthening Citizens Energy-aware Behavioural Profiles.
    In: 2017 IEEE Global Internet of Things Summit (GIoTS) Proceedings. Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society, ISBN 978-1-5090-5874-7. (Weblink)

  • Fröwis, Michael; Böhme, Rainer (2017): In Code We Trust? Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum.
    In: Garcia-Alfaro, Joaquin; Navarro-Arribas, Guillermo; Hartenstein, Hannes; Herrera-Joancomarti, Jordi: Data Privacy Management, Cryptocurrencies and Blockchain Technology. ESORICS 2017 International Workshops, DPM 2017 and CBT 2017, Oslo, Norway, September 14-15, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10436), ISBN 978-3-319-67815-3, S. 357 - 372. (Weblink)

  • Garousi, Vahid; Felderer, Michael (2017): Experience-based guidelines for effective and efficient data extraction in systematic reviews in software engineering.
    In: Mendes, Emilia; Counsell, Steve; Petersen, Kai: Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering. Karlskrona, Sweden — June 15 - 16, 2017. New York: ACM Digital Library, ISBN 978-1-4503-4804-1, S. 170 - 179. (DOI) (Weblink)

  • Garousi, Vahid; Felderer, Michael; Fernandes, João M.; Pfahl, Dietmar; Mäntylä, Mika V. (2017): Industry-academia collaborations in software engineering: An empirical analysis of challenges, patterns and anti-patterns in research projects.
    In: Mendes, Emilia; Counsell, Steve; Petersen, Kai: Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering. Karlskrona, Sweden — June 15 - 16, 2017. New York: ACM Digital Library, ISBN 978-1-4503-4804-1, S. 224 - 229. (DOI) (Weblink)

  • Garousi, Vahid; Felderer, Michael; Kuhrmann, Marco; Herkiloglu, Kadir (2017): What industry wants from academia in software testing?: Hearing practitioners' opinion.
    In: Mendes, Emilia; Counsell, Steve; Petersen, Kai: Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering. Karlskrona, Sweden — June 15 - 16, 2017. New York: ACM Digital Library, ISBN 978-1-4503-4804-1, S. 65 - 69. (DOI) (Weblink)

  • Gusev, Marjan; Ristov, Sasko; Prodan, Radu; Dzanko, Matija; Bilic, Ivana (2017): Resilient IoT eHealth solutions in case of disasters.
    In: Rak, J; Bilo, D; Marzo, J; Calle, E; Pareta, J S: Proceedings of 9th International Workshop on Resilient Networks Design and Modeling (RNDM 2017). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5386-0671-1, S. 1 - 7. (DOI) (Weblink)

  • Haisjackl, Cornelia; Burattin, Andrea; Soffer, Pnina; Weber, Barbara (2017): Visualization of the Evolution of Layout Metrics for Business Process Models.
    In: Dumas, M.; Fantinato, M.: Business Process Management Workshops 2016. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Business Information Processing, 281), ISBN 978-3-319-58456-0, S. 449 - 460. (DOI) (Weblink)

  • Hamze, Noura; Collet, Pierre; Essert, Caroline (2017): Evolutionary approaches for surgical path planning: A quantitative study on Deep Brain Stimulation.
    In: 2017 IEEE Congress on Evolutionary Computation (CEC). Proceedings. Los Alamitos: IEEE Computer Society Press, S. 1087 - 1094. (DOI) (Weblink)

  • Hangl, Simon; Stabinger, Sebastian; Piater, Justus (2017): Autonomous Skill-centric Testing using Deep Learning.
    In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5386-2683-2, S. 95 - 102. (Weblink)

  • Ha-Van, Quang; Harders, Matthias (2017): Augmenting Contact Stiffness in Passive Haptics — Preliminary Results with Twisted String Actuation.
    In: 2017 IEEE World Haptics Conference (WHC 2017). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5090-1426-2, S. 148 - 153. (URN) (Weblink)

  • Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah (2017): Infinite Runs in Abstract Completion.
    In: Miller, Dale: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (= Leibniz International Proceedings in Informatics (LIPIcs), 84), ISBN 978-3-95977-047-7, Nr. 19. (Weblink)

  • Hirokawa, Nao; Nagele, Julian; van Oostrom, Vincent; Oyamaguchi, Michio (2017): Critical Peaks Redefined - Phi union Psi = Top.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 33 - 37. (Weblink)

  • Innerhofer, Daniel; Aufleger, Markus (2017): Experimental investigation of the effects of intake designs on compact turbines.
    In: Proceedings of the 37th IAHR World Congress August 13 – 18, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. 3102 - 3107.

  • Janetschek, Matthias; Prodan, Radu (2017): A compiler transformation-based approach to scientific workflow enactment.
    In: Proceedings of the 12th Workshop on Workflows in Support of Large-Scale Science, WORKS '17. New York: ACM Digital Library, ISBN 978-1-4503-5129-4, Article No. 4. (DOI) (Weblink)

  • Junker, Christian; Akbar, Zaenal; Cuquet, Marti (2017): The Network Structure of Visited Locations According to Geotagged Social Media Photos.
    In: Camarinha-Matos, L.M.; Afsarmanesh, H.; Fornasiero, R.: Collaboration in a Data-Rich World. 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings. Cham: Springer International Publishing (= IFIP Advances in Information and Communication Technology, 506), ISBN 978-3-319-65151-4, S. 276 - 283. (Weblink)

  • Kalinowski, Marcos; Curty, Pablo; Paes, Aline; Ferreira, Alexandre; Spínola, Rodrigo O.; Méndez Fernández, Daniel; Felderer, Michael; Wagner; Stefan (2017): Supporting Defect Causal Analysis in Practice with Cross-Company Data on Causes of Requirements Engineering Problems.
    In: Juristo, Natalia; Shepherd, D: Proceedings of the 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice Track - ICSE-SEIP '17. Buenos Aires, Argentina — May 20 - 28, 2017. New York: ACM Digital Library, ISBN 978-1-5386-2717-4, S. 223 - 232. (DOI) (Weblink)

  • Kaliszyk, Cezary; Pak, Carol (2017): Isabelle Formalization of Set Theoretic Structures and Set Comprehensions.
    In: Blömer, Johannes; Kotsireas, Ilias; Kutsia, Temur; Simos, Dimitris: Mathematical Aspects of Computer and Information Sciences, 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10693), ISBN 978-3-319-72452-2, S. 163 - 178. (DOI) (Weblink)

  • Kaliszyk, Cezary; Pak, Karol (2017): Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic.
    In: Geuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf: Intelligent Computer Mathematics. 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10383), ISBN 978-3-319-62074-9, S. 193 - 207. (DOI) (Weblink)

  • Kaliszyk, Cezary; Pak, Karol (2017): Progress in the Independent Certification of Mizar Mathematical Library in Isabelle.
    In: Ganzha, M; Maciaszek, L; Paprzycki, M: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. Warschau: Polish Information Processing Society (= Annals of Computer Science and Information Systems, 11), ISBN 978-83-946253-7-5, S. 227 - 236. (DOI) (Weblink)

  • Kaliszyk, Cezary; Urban, Josef; Vyskočil, Jiri (2017): Automating Formalization by Statistical and Semantic Parsing of Mathematics.
    In: Ayala-Rincon, Mauricio; Munoz, Cesar: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science (LNCS), 10499), ISBN 978-3-319-66106-3, S. 12 - 27. (DOI) (Weblink)

  • Kärle, Elias; Simsek, Umut; Fensel, Dieter (2017): semantify. it, a Platform for Creation, Publication and Distribution of Semantic Annotations.
    In: Homenda, Wladyslaw; Roman, Dumitru: SEMAPRO 2017: The Eleventh International Conference on Advances in Semantic Processing. New York: Curran Associates, Inc., ISBN 978-1-61208-600-2, S. 22 - 30. (Weblink)

  • Kärle, Elias; Simsek, Umutcan; Akbar, Zaenal; Hepp, Martin; Fensel, Dieter (2017): Extending the Schema.org Vocabulary for More Expressive Accommodation Annotations.
    In: Schegg, Roland; Stangl, Brigitte: Information and Communication Technologies in Tourism 2017. Proceedings of the International Conference in Rome, Italy, January 24-26, 2017. Dordrecht - Heidelberg - London - New York - Berlin: Springer, ISBN 978-3-319-51167-2, S. 31 - 41. (DOI) (Weblink)

  • Kimovski, Dragi; Saurabh, Nishant; Gec, Sandi; Stankovski, Vlado; Prodan, Radu (2017): Multi-objective Optimization Framework for VMI distribution in Federated Cloud Repositories.
    In: Desprez, F; Dutot, P-F et a.: Euro-Par 2016: Parallel Processing Workshops. Euro-Par 2016 International Workshops Grenoble, France, August 24–26, 2016 Revised Selected Papers. Cham: Springer International Publishing, ISBN 978-3-319-58942-8, S. 236 - 247. (DOI) (Weblink)

  • Kitamura, Takashi; Yamada, Akihisa; Hatayama, Goro; Sakuragi, Shinya; Choi, Eun-Hye; Artho, Cyrille (2017): Classification Tree Method with Parameter Shielding.
    In: Tonetta, Stefano; Schoitsch, Erwin; Bitsch, Friedmann: Computer Safety, Reliability, and Security. 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10488), ISBN 978-3-319-66265-7, S. 230 - 241. (DOI) (Weblink)

  • Klar, Robert; Steidl, Bernd; Aufleger, Markus (2017): A new floating Energy Storage System based on Fabric.
    In: OSES 2017 Offshore Energy and Storage Symposium. Woods Hole, MA: Woods Hole Oceanographic Institution.

  • Kleidorfer, Manfred; Tscheikner-Gratl, Franz; Rauch, Wolfgang (2017): Was können wir aus einem 500-jährlichen Ereignis lernen?
    In: Muschalla, Dirk; Gruber, Günter; Institut für Siedlungswasserwirtschaft und Landschaftswasserbau: Aqua Urbanica 2017. Urbanes Niederschlagswassermanagement im Spannungsfeld zwischen zentralen und dezentralen Maßnahmen. Graz: Verlag der Technischen Universität Graz (= Schriftenreihe zur Wasserwirtschaft, 75), ISBN 978-3-85125-534-8, S. K1 - K4. (DOI) (Weblink)

  • Kleidorfer, Manfred; Tscheikner-Gratl, Franz; Vonach, Tanja; Rauch, Wolfgang (2017): What can we lear from a 500-year event? - Experiences from urban drainage in Austria.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 590 - 597.

  • Kofler, Christian; Comiti, Francesco; Gems, Bernhard; Thiebes, Benni; Schneiderbauer, Stefan; Schlögel, Romy (2017): Assessment of Rockslide Dam Scenarios at Catchment Scale in the Context of Cascading Hazards.
    In: Mikos, M; Arbanas, Z; Yin, Y; Sassa, K: Advancing Culture of Living with Landslides. Volume 3 Advances in Landslide Technology. Cham: Springer International Publishing, ISBN 978-3-319-53486-2, S. 685 - 692. (DOI) (Weblink)

  • Kofler, Klaus; Durillo, Juan J.; Fahringer, Thomas (2017): A Region-Aware Multi-Objective Auto-Tuner for Parallel Programs.
    In: 46th International Conference on Parallel Processing Workshops. ICPPW 2017. Proceedings. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5386-1045-9, S. 190 - 199. (Weblink)

  • Köhler, Olaf Markus; Pasquini, Cecilia; Böhme, Rainer (2017): On the Statistical Properties of Syndrome Trellis Coding.
    In: Kraetzer, Christian; Shi, Yun-Qing; Dittmann, Jana; Joong Kim, Hyoung: Digital Forensics and Watermarking. 16th International Workshop , IWDW 2017, Magdeburg, Germany, August 23-25, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes of Computer Science, 10431), ISBN 978-3-319-64184-3, S. 331 - 346. (Weblink)

  • Könke, Carsten; Zabel, Volkmar; Petryna, Yuri; Graf, Wolfgang; Adam, Christoph; Heuer, Rudolf; Beyer, Katrin; Heunert, Sven; Mondet, Yves; Wenk, Thomas (2017): Strukturdynamik und Erdbebeningenieurwesen in der universitären Ausbildung für Bauingenieurinnen und Bauingenieure – ein Diskussionsbeitrag aus Deutschland, Österreich und der Schweiz.
    In: Zabel, V.; Beinersdorf, S.: Proc. 15. D-A-CH Tagung: Erdbebeningenieurwesen und Baudynamik 2017, September 21-22, 2017. Aachen: Deutsche Gesellschaft für Erdbebeningenieurwesen und Baudynamik (DGEB), ISBN 978-3-930108-13-5, S. 541 - 544.

  • Konstantinova, Jelizaveta; Krivic, Senka; Stilli, Agostino; Piater, Justus; Althoefer, Kaspar (2017): Autonomous Object Handover using Wrist Tactile Information.
    In: Gao, Y; Fallah, S; Jin, Y; Lekakou, C: Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Artificial Intelligence, 10454), ISBN 978-3-319-64106-5, S. 450 - 463. (DOI) (Weblink)

  • Krismer, Nikolaus; Silbernagl, Doris; Specht, Günther; Gamper, Johann (2017): Computing Isochrones in Multimodal Spatial Networks using Tile Regions.
    In: Proceedings of the 29th International Conference on Scientific and Statistical Database Management (SSDBM2017). New York: ACM Press, ISBN 978-1-4503-5282-6, Art. No. 33. (DOI) (Weblink)

  • Krivic, Senka; Cashmore, Michael; Magazzeni, Daniele; Ridder, Bram; Szedmak, Sandor; Piater, Justus (2017): Decreasing Uncertainty in Planning with State Prediction.
    In: Sierra, C: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 17). Wien: International Joint Conferences on Artificial Intelligence, S. 2032 - 2038. (Weblink)

  • Krivic, Senka; Cashmore, Michael; Ridder, Bram; Magazzeni, Daniele; Szedmak, Sandor; Piater, Justus (2017): Initial State Prediction in Planning.
    In: The AAAI-17 Workshop on Knowledge-Based Techniques for Problem Solving and Reasoning WS-17-12. Menlo Park, CA: American Association for Artificial Intelligence (AAAI), S. 750 - 757. (Weblink)

  • Kuhrmann, Marco; Diebold, Philipp; Münch, Jürgen; Tell, Paolo; Garousi, Vahid; Felderer, Michael; Trektere, Kitija; McCaffery, Fergal; Linssen, Oliver; Hanser, Eckhart; Prause, Christian R. (2017): Hybrid software and system development in practice: waterfall, scrum, and beyond.
    In: Proceedings of the 2017 International Conference on Software and System Process (ICSSP 2017). New York: ACM Digital Library, ISBN 978-1-4503-5270-3, S. 30 - 39. (DOI) (Weblink)

  • Labunets, Katsiaryna; Janes, Andrea; Felderer, Michael; Massacci, Fabio (2017): Teaching predictive modeling to junior software engineers- seminar format and its evaluation.
    In: Uchitel, Sebastian; Orso, Alessandro; Robillard, Martin: Proceedings of the 39th International Conference on Software Engineering Companion (ICSE-C). Buenos Aires, Argentina — May 20 - 28, 2017. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5386-1589-8, S. 339 - 340. (DOI) (Weblink)

  • Lachmann, Remo; Felderer, Michael; Nieke, Manuel; Schulze, Sandro; Seidl, Christoph; Schaefer, Ina (2017): Multi-objective black-box test case selection for system testing.
    In: Proceedings of The Genetic and Evolutionary Computation Conference (GECCO 2017). New York: ACM Digital Library, ISBN 978-1-4503-4920-8, S. 1311 - 1318. (DOI) (Weblink)

  • Lamplmayr, Lukas; Oberguggenberger, Michael; Schwarz, Martin (2017): Stochastic Fourier Integral Operators for Damage Detection.
    In: Voigt, M., Proske, D., Graf, W., Beer, M., Häußler-Comne, U., Voigt, P.: A Proceedings of the 15th International Probabilistic Workshop & 10th Dresdner Probablistik Workshop. Dresden: TUDpress Verlag der Wissenschaften Dresden, ISBN 978-3959081139, S. 73 - 84.

  • Lindsberger, Josef; Maringele, Alexander; Moser, Georg (2017): Quantified Boolean Formulas: Call the Plumber!
    In: Eiter, Thomas; Sands, David: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair (= EPiC Series in Computing, 46), S. 162 - 170. (Weblink)

  • Loos, Sarah; Irving, Geoffrey; Szegedy, Christian; Kaliszyk, Cezary (2017): Deep Network Guided Proof Search.
    In: Eiter, Thomas; Sands, David: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair (= EPiC Series in Computing, 46), S. 85 - 105. (Weblink)

  • Maier, Marcus; Lackner, Roman (2017): Experimental investigation on spalling behavior of concrete: damage level and moisture movement.
    In: Proceedings of the 5th International Workshop on Concrete Spalling, Borås, Sweden, 12-13 October 2017. Borås: RISE Research Institutes of Sweden AB, S. 29 - 40. (Weblink)

  • Mannina, Giorgio; Butler, David; Deletic, Ana; Fowder, H.; Fu, G.; Kleidorfer, Manfred; McCarthy, D.; Mikkelsen, Peter; Rauch, Wolfgang; Vezzaro, Luca; Yuan, Z.; Willems, Patrick (2017): Greenhouse gas emissions from integrated urban drainage systems: where do we stand?
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 2126 - 2139.

  • Mathá, Roland; Ristov, Sasko; Prodan, Radu (2017): A Simplified Model for Simulating the Execution of a Workflow in Cloud.
    In: Rivera, F. F.; Pena, T. F.; Cabaleiro, J. C.: Euro-Par 2017: Parallel Processing. 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 – September 1, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science (LNCS), 10417), ISBN 978-3-319-64202-4, S. 319 - 331. (DOI) (Weblink)

  • Middeldorp, Aart; Sternagel, Christian (2017): Formalized Ground Completion.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 51 - 55. (Weblink)

  • Mitterdorfer, Mathias; Sillaber, Christian; Gamper, Lothar (2017): Automatisierte Compliance-Checks am Beispiel kommerzieller E-Mail-Newsletter.
    In: Schweighofer, Erich; Kummer, Franz; Hötzendorfer, Walter; Sorge, Christoph: Trends und Communities der Rechtsinformatik / Trends and Communities of Legal Informatics, Tagungsband des 20. Internationalen Rechtsinformatik Symposions IRIS 2017. Wien: Österreichische Computer Gesellschaft, ISBN 978-3-903035-15-7, S. 647 - 654. (Weblink)

  • Moschen, Lukas; Adam, Christoph (2017): Ein Antwortspektrumverfahren zur Abschätzung der Beschleunigungsantwort erdbebenerregter Tragwerke: Grundlagen-Berechnung-Anwendungsgrenzen.
    In: Zabel, V.; Beinersdorf, S.: Proc. 15. D-A-CH Tagung: Erdbebeningenieurwesen und Baudynamik 2017, September 21-22, 2017. Aachen: Deutsche Gesellschaft für Erdbebeningenieurwesen und Baudynamik (DGEB), ISBN 978-3-930108-13-5, S. 156 - 167.

  • Moschen, Lukas; Adam, Christoph; Vamvatsikos, Dimitrios (2017): Simplified prediction of peak floor accelerations in inelastic wall structures.
    In: Papadrakakis, M.; Fragiadakis, M.: COMPDYN 2017. Computational Methods in Structural Dynamics and Earthquake Engineering. Vol I. Barcelona: European Community on Computational Methods in Applied Sciences (ECCOMAS), ISBN 978-618-82844-1-8, S. 1764 - 1778. (DOI)

  • Möser, Malte; Böhme, Rainer (2017): Anonymous Alone? Measuring Bitcoin’s Second-Generation Anonymization Techniques.
    In: 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). IEEE Conference eXpress Publishing, ISBN 978-0-7695-6107-3, S. 32 - 41. (DOI) (Weblink)

  • Müller, Dennis; Thibault, Gauthier; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian (2017): Classification of Alignments Between Concepts of Formal Mathematical Systems.
    In: Geuvers, Herman; England, Matthew; Hasan, Osman; Rabe, Florian; Teschke, Olaf: Intelligent Computer Mathematics. 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10383), ISBN 978-3-319-62074-9, S. 83 - 98. (DOI) (Weblink)

  • Murauer, Benjamin; Zangerle, Eva; Specht, Günther (2017): A Peer-Based Approach on Analyzing Hacked Twitter Accounts.
    In: Proceedings of the 50th Hawaii International Conference on System Sciences (HICSS 2017). Association for Information Systems (AIS) / AIS Electronic Library (AISeL), ISBN 978-0-9981331-0-2, S. 1841 - 1850. (Weblink)

  • Nagele, Julian; Felgenhauer, Betram; Middeldorp, Aart (2017): CSI: New Evidence – A Progress Report.
    In: de Moura, Leonardo: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science - LNCS - Lecture Notes in Artificial Intelligence, 10395), ISBN 978-3-319-63045-8, S. 385 - 397. (DOI) (Weblink)

  • Nagele, Julian; Middeldorp, Aart (2017): CoCoWeb – A Convenient Web Interface for Confluence Tools.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 39 - 43. (Weblink)

  • Neuner, Matthias; Gamnitzer, Peter; Hofstetter, Günter (2017): Assessment of shotcrete models on the basis of experimental data from the literature.
    In: Hofstetter, Günter; Bergmeister, Konrad; Eberhardsteiner, Josef; Meschke, Günther; Schweiger, Helmut F.: EURO:TUN 2017 - Proceedings of the IV International Conference on Computational Methods in Tunneling and Subsurface Engineering. Innsbruck: Studia Universitätsverlag, ISBN 978-3-903030-35-0, S. 363 - 370. (Weblink)

  • Neuner, Matthias; Hofstetter, Günter (2017): Vergleichende Untersuchung von Spritzbetonmodellen.
    In: Meschke, Günther; Freitag, Steffen; Birk, Carolin; Menkenhagen, Jochen; Ricken, Tim: Berichte der Fachtagung Baustatik - Baupraxis 13 : am 20. und 21. März 2017 an der Ruhr-Universität Bochum. Bochum: Ruhr-Universität Bochum, ISBN 978-3-00-055827-6, S. 401 - 408. (Weblink)

  • Neuner, Matthias; Schreter, Magdalena; Hofstetter, Günter (2017): Evaluation of a Gradient Enhanced Damage Plasticity Model for Shotcrete.
    In: von Scheven, Malte; Keip, Marc-André; Karajan, Nils: 7th GACM Colloquium on Computational Mechanics. for Young Scientists from Academia and Industry. Stuttgart: Universität Stuttgart, S. 757 - 760. (DOI) (Weblink)

  • Nowakowski, Emmanuel; Farwick, Matthias; Trojer, Thomas; Häusler, Martin; Kessler, Johannes; Breu, Ruth (2017): Enterprise Architecture Planning: Analyses of Requirements from Practice and Research.
    In: Proceedings of the 50th Hawaii International Conference on System Sciences (HICSS 2017). Association for Information Systems (AIS) / AIS Electronic Library (AISeL), ISBN 978-0-9981331-0-2, S. 4847 - 4856. (Weblink)

  • Ortega, Julio; Kimovski, Dragi; Gan, John; Ortiz, Andrés; Damas, Miguel (2017): A Parallel Island Approach to Multiobjective Feature Selection for Brain-Computer Interfaces.
    In: Rojas, Ignacio; Joya, Andreu; Catala, Andreu: Advances in Computational Intelligence. 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Lecture Notes in Computer Science, 10305), ISBN 978-3-319-59152-0, S. 16 - 27. (DOI) (Weblink)

  • Pasquini, Cecilia; Böhme, Rainer (2017): Information-theoretic Bounds of Resampling Forensics: New Evidence for Traces Beyond Cyclostationarity.
    In: Proceedings of the 5th ACM Workshop on Information Hiding and Multimedia Security. New York: ACM Digital Library, ISBN 978-1-4503-5061-7, S. 3 - 14. (DOI) (Weblink)

  • Pasquini, Cecilia; Schöttle, Pascal; Böhme, Rainer (2017): Decoy Password Vaults: At Least as Hard as Steganography?
    In: De Capitani di Vimercati, S; Martinelli, F: ICT Systems Security and Privacy Protection. 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. New York: Springer, ISBN 978-3-319-58468-3, S. 356 - 370. (DOI) (Weblink)

  • Pfurner, Martin; Kong, Xianwen (2017): Algebraic Analysis of a New Variable-DOF 7R Mechanism.
    In: Wenger, Philippe; Flores, Paulo: New Trends in Mechanism and Machine Science. Theory and Applications. Cham: Springer International Publishing (= Mechanism and Machine Science, 43), ISBN 978-3-319-44155-9, S. 71 - 79. (DOI) (Weblink)

  • Pfurner, Martin; Stigger, Thomas; Husty, Manfred L. (2017): Overconstrained Single Loop Four Link Mechanisms with Revolute and Prismatic Joints.
    In: Wenger, Philippe; Flores, Paulo: New Trends in Mechanism and Machine Science. Theory and Applications. Cham: Springer International Publishing (= Mechanism and Machine Science, 43), ISBN 978-3-319-44155-9, S. 81 - 89. (DOI) (Weblink)

  • Pichl, Martin; Zangerle, Eva; Specht, Günther (2017): Improving Context-Aware Music Recommender Systems: Beyond the Pre-filtering Approach.
    In: Proceedings of the 2017 ACM on International Conference on Multimedia Retrieval. Bucharest, Romania — June 06 - 09, 2017. New York: ACM Digital Library, ISBN 978-1-4503-4701-3, S. 201 - 208. (DOI) (Weblink)

  • Pichl, Martin; Zangerle, Eva; Specht, Günther; Schedl, Markus (2017): Mining Culture-Specific Music Listening Behavior from Social Media Data.
    In: Proceedings of the 2017 IEEE International Symposium on Multimedia (ISM 2017). Los Alamitos: IEEE Computer Society Press, ISBN 978-1-5386-2936-9, S. 208 - 215. (DOI) (Weblink)

  • Potthast, Martin; Rangel, Francisco; Tschuggnall, M.; Stamatatos, Efstathios; Rosso, Paolo; Stein, Benno (2017): Overview of PAN’17: Author Identification, Author Profiling, and Author Obfuscation.
    In: Cappellato, Linda; Ferro, Nicola (Eds.): Experimental IR Meets Multilinguality, Multimodality, and Interaction. 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11–14, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science (LNCS), 10456), ISBN 978-3-319-65813-1, S. 275 - 290. (DOI) (Weblink)

  • Prodan, Radu; Fahringer, Thomas; Kimovski, Dragi; Kecskemeti, Gabor; Csaba Marosi, Attila; Stankovski, Vlado; Becedas, Jonathan; Ramos, Jose Julio; Sheridan, Craig; Whigham, Darren; Rubia Marcos, Carlos Rodrigo (2017): Use Cases Towards a Decentralized Repository for Transparent and Efficient Virtual Machine Operations.
    In: Kotenko, I; Cotronis, Y; Daneshtalab, M: 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5090-6058-0, S. 478 - 485. (DOI) (Weblink)

  • Ramler, Rudolf; Felderer, Michael; Leitner, Matthias (2017): A Lightweight Approach for Estimating Probability in Risk-Based Software Testing.
    In: Großmann, Jürgen; Felderer, Michael; Seehusen, Frederik: Risk Assessment and Risk-Driven Quality Assurance. 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers. Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10224), ISBN 978-3-319-57857-6, S. 115 - 128. (DOI) (Weblink)

  • Rezapour Lakani, Safoura; Rodríguez-Sánchez, Antonio; Piater, Justus (2017): Can Affordances Guide Object Decomposition Into Semantically Meaningful Parts?
    In: 2017 IEEE Winter Conference on Applications of Computer Vision (WACV 2017), Proceedings. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5090-4822-9, S. 82 - 90. (DOI) (Weblink)

  • Rezavand, Massoud; Winkler, Daniel; Rauch, Wolfgang (2017): Integrated Numerical Simulation of Anaerobic Digestion Process Using Smoothed Particle Hydrodynamics.
    In: Crespo, A.J.C.; Gómez-Gesteira, M.; Altomare, C. (Ed.): Proceedings of the 12th International SPHERIC Workshop, Ourense, 13-15 June 2017, Universidade de Vigo, Spain. Vigo: Universidade de Vigo, ISBN 978-84-697-3678-4, S. 426 - 433.

  • Ristov, Sasko; Matha, Roland; Prodan, Radu (2017): Analysing the Performance Instability Correlation with Various Workflow and Cloud Parameters.
    In: Kotenko, I; Cotronis, Y; Daneshtalab, M: 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5090-6058-0, S. 446 - 453. (URN) (DOI) (Weblink)

  • Rodriguez-Sanchez, Antonio; Chea, Daly; Azzopardi, George; Stabinger, Sebastian (2017): A deep learning approach for detecting and correcting highlights in endoscopic images.
    In: 2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5386-1843-1. (Weblink)

  • Sappl, Johannes; Meissner, Paul; Haltmeier Markus (2017): Low-rank approximation for FMCW automotive radar.
    In: 2017 International Conference on Sampling Theory and Applications (SampTA). Los Alamitos: IEEE Computer Society Press, ISBN 978-1-5386-1566-9, S. 590 - 594. (DOI) (Weblink)

  • Sauerwein, Clemens; Sillaber, Christian; Mussmann, Andrea; Breu, Ruth (2017): Threat Intelligence Sharing Platforms: An Exploratory Study of Software Vendors and Research Perspectives.
    In: Leimeister, Jan; Brenner, Walter: Proceedings of the 13th International Conference on Wirtschaftsinformatik. Association for Information Systems (AIS) / AIS Electronic Library (AISeL), S. 837 - 851. (Weblink)

  • Saurabh, Nishant; Kimovski, Dragi; Gaetano, Franceso; Prodan, Radu (2017): A Two-Stage Multi-Objective Optimization of Erasure Coding in Overlay Networks.
    In: Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID 2017). 14-17 May 2017, Madrid, Spain. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5090-6610-0, S. 150 - 159. (DOI) (Weblink)

  • Saurabh, Nishant; Kimovski, Dragi; Ostermann, Simon; Prodan, Radu (2017): VM Image Repository and Distribution Models for Federated Clouds: State of the Art, Possible Directions and Open Issues.
    In: Desprez, F; Dutot, P-F et a.: Euro-Par 2016: Parallel Processing Workshops. Euro-Par 2016 International Workshops Grenoble, France, August 24–26, 2016 Revised Selected Papers. Cham: Springer International Publishing, ISBN 978-3-319-58942-8, S. 260 - 271. (DOI) (Weblink)

  • Schmitter, Maximilian; Adam, Christoph (2017): Simplified numerical modeling strategies of deep vibratory compaction.
    In: Papadrakakis, M.; Fragiadakis, M.: COMPDYN 2017. Computational Methods in Structural Dynamics and Earthquake Engineering. Vol. II. Barcelona: European Community on Computational Methods in Applied Sciences (ECCOMAS), ISBN 978-618-82844-2-5, S. 4607 - 4622. (DOI)

  • Schneider-Muntau, Barbara; Gonzalez Mazon, Oscar; Cordes, Tobias (2017): Evolution of creep stresses on tunnel structures located in mass movements due to slope creeping.
    In: Hofstetter, Günter; Bergmeister, Konrad; Eberhardsteiner, Josef; Meschke, Günther; Schweiger, Helmut F.: EURO:TUN 2017 - Proceedings of the IV International Conference on Computational Methods in Tunneling and Subsurface Engineering. Innsbruck: Studia Universitätsverlag, ISBN 978-3-903030-35-0, S. 663 - 668.

  • Schneider-Muntau, Barbara; Schranz, Fabian; Fellin, Wolfgang (2017): Bestimmung charakteristischer Scherparameter.
    In: Geisler, Josef; Wolf, Jakob; Waldner, Raimund; Heißel, Gunther: 19. Geoforum Umhausen. 19. - 20. Oktober 2017, in memoriam em. O. Univ.-Prof. Dr. Helfried Mostler. Innsbruck: Geoforum Tirol, S. 162 - 172.

  • Schreter, Magdalena; Neuner, Matthias; Hofstetter, Günter (2017): Study of the Regularization Scheme of an Advanced Rock Model.
    In: von Scheven, Malte; Keip, Marc-André; Karajan, Nils: 7th GACM Colloquium on Computational Mechanics. for Young Scientists from Academia and Industry. Stuttgart: Universität Stuttgart, S. 761 - 764. (DOI) (Weblink)

  • Schreter, Magdalena; Neuner, Matthias; Unteregger, David; Hofstetter, Günter; Reinhold, Chris; Cordes, Tobias; Bergmeister, Konrad (2017): Application of a damage plasticity model for rock mass to the numerical simulation of
    tunneling.
    In: Hofstetter, Günter; Bergmeister, Konrad; Eberhardsteiner, Josef; Meschke, Günther; Schweiger, Helmut F.: EURO:TUN 2017 - Proceedings of the IV International Conference on Computational Methods in Tunneling and Subsurface Engineering. Innsbruck: Studia Universitätsverlag, ISBN 978-3-903030-35-0, S. 547 - 554. (Weblink)

  • Schröcker, Hans-Peter (2017): From A to B. New Methods to Interpolate Two Poses.
    In: Suzuki, Hirotaka; Ando, Naomi; Yamaguchi, Yasushi: The 11th Asian Forum on Graphic Science (AFGS 2017). Tokio: Japan Society for Graphic Science, ISBN 978-4-9900967-3-1.

  • Seeber, I.; Merz, A.; de Vrede, GJ.; Maier, R.; Weber, B. (2017): Convergence on Self-Generated vs. Crowdsourced Ideas in Crisis Response: Comparing Social Exchange Processes and Satisfaction with Process.
    In: Proceedings of the 50th Hawaii International Conference on System Sciences (HICSS 2017). Association for Information Systems (AIS) / AIS Electronic Library (AISeL), ISBN 978-0-9981331-0-2, S. 687 - 696. (DOI) (Weblink)

  • Shukla, Dadhichi; Erkent, Özgür; Piater, Justus (2017): Proactive, Incremental Learning of Gesture-Action Associations For Human-Robot Collaboration.
    In: 2017 26th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), S. 346 - 353. (Weblink)

  • Shukla, Dadhichi; Erkent, Özgür; Piater, Justus (2017): Supervised Learning of Gesture-Action Associations for Human-Robot Collaboration.
    In: Proceedings - 12th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2017). Main Conference + First International Workshop on Adaptive Shot Learning for Gesture Understanding and Production (ASL4GUP 2017). Los Alamitos, California: Conference Publishing Services (CPS) - IEEE Computer Society, ISBN 978-1-5090-4023-0, S. 778 - 783. (DOI) (Weblink)

  • Silbernagl, Doris; Krismer, Nikolaus; Augsten, Nikolaus; Specht, Günther (2017): Recommending OSM Tags To Improve Metadata Quality.
    In: Bouros, Panagiotis; Renz, Matthias; Sacharidis, Dimitris: Proceedings of the 1st ACM SIGSPATIAL Workshop on Recommendations for Location-based Services and Social Networks. New York: ACM Digital Library, ISBN 978-1-4503-5499-8, Article No. 6. (DOI) (Weblink)

  • Simon, Thorsten; Umlauf, Nikolaus; Mayr, Georg J.; Zeileis, Achim (2017): Boosting multivariate Gaussian models for probabilistic temperature forecasts.
    In: Grzegorczyk, M; Ceoldo, G: Proceedings of the 32nd International Workshop on Statistical Modelling. Volume 1. Groningen, Netherlands. 3-7 July, 2017. Rennes: Institut National des Sciences Appliquees Rennes, S. 143 - 148. (Weblink)

  • Stabinger, Sebastian; Rodriguez-Sanchez, Antonio (2017): Evaluation of Deep Learning on an Abstract Image Classification Dataset.
    In: Proceedings of the IEEE International Conference on Computer Vision. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), S. 2767 - 2772. (Weblink)

  • Steidl, Bernd; Klar, Robert; Aufleger, Markus (2017): Buoyant Energy - Multifunctional offshore energy storage and grid balancing system for future requirements.
    In: Proceedings of the 37th IAHR World Congress August 13 – 18, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. 3001 - 3006.

  • Sternagel, Christian; Sternagel, Thomas (2017): Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems.
    In: de Moura, Leonardo: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings. Cham: Springer International Publishing (= Lecture Notes in Computer Science - LNCS - Lecture Notes in Artificial Intelligence, 10395), ISBN 978-3-319-63045-8, S. 413 - 431. (DOI) (Weblink)

  • Sternagel, Thomas; Sternagel, Christian (2017): Certified Non-Confluence with ConCon 1.5.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 9 - 13. (Weblink)

  • Sturm, Michael; Gems, Bernhard; Keller, Florian; Mazzorana, Bruno; Fuchs, Sven; Papathoma-Köhle, Maria; Aufleger, Markus (2017): Einwirkungen fluviatiler Geschiebetransportprozesse auf Gebäude.
    In: Rutschmann, Peter (Hrsg.): Naturgefahren - von der Sturzflut zur Schwemmholzverklausung. Ereignisanalysen, aktuelle Forschungsvorhaben und Projekte. Beiträge zur Fachtagung am 06. Juli 2017 in Obernach. Oberaudorf: Meissner Druck GmbH (= Berichte des Lehrstuhls und der Versuchsanstalt für Wasserbau und Wasserwirtschaft, 137), ISBN 978-3-943683-12-7, S. 49 - 62. (Weblink)

  • Štefanič, Polona; Kimovski, Dragi; Suciu Jr, George; Stankovski, Vlado (2017): Non-Functional Requirements Optimisation for Multi-Tier Cloud Applications: An Early Warning System Case Study.
    In: Proceedings 2017 IEEE 3rd International Conference on Cloud and Big Data Computing (CBDCom 2017). San Jose, California: San José State University, No. 2. (Weblink)

  • Thibault, Gauthier; Kaliszyk, Cezary; Urban, Josef (2017): TacticToe: Learning to Reason with HOL4 Tactics.
    In: Eiter, Thomas; Sands, David: LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair (= EPiC Series in Computing, 46), S. 125 - 143. (Weblink)

  • Thoman, Peter; Zangerl, Peter; Fahringer, Thomas (2017): Task-parallel Runtime System Optimization Using Static Compiler Analysis.
    In: Proceedings of the Computing Frontiers Conference CF'17. New York: ACM Press, ISBN 978-1-4503-4487-6, S. 201 - 210. (DOI) (Weblink)

  • Tscheikner-Gratl, Franz; Kleidorfer, Manfred; Langeveld, Jeroen (2017): Dealing with the propagation of uncertainties in integrated catchment studies.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 1709 - 1711.

  • Vonach, Tanja; Tscheikner-Gratl, Franz; Rauch, Wolfgang; Kleidorfer, Manfred (2017): Messstellenauswahl für die Kalibrierung hydrodynamischer Modelle am Fallbeispiel Telfs.
    In: Muschalla, Dirk; Gruber, Günter; Institut für Siedlungswasserwirtschaft und Landschaftswasserbau: Aqua Urbanica 2017. Urbanes Niederschlagswassermanagement im Spannungsfeld zwischen zentralen und dezentralen Maßnahmen. Graz: Verlag der Technischen Universität Graz (= Schriftenreihe zur Wasserwirtschaft, 75), ISBN 978-3-85125-534-8, S. S1 - S15. (DOI) (Weblink)

  • Vonach, Tanja; Tscheikner-Gratl, Franz; Rauch, Wolfgang; Kleidorfer, Manfred (2017): Sensor placement for hydrodynamic model calibration.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 1415 - 1422.

  • Wiesenberger, M.; Held, M.; Kendl, A.; Kube, R.; Garcia, O.E. (2017): Unified transport scaling laws for plasma blobs and depletions.
    In: Fajardo, M.; Westerhof, E.; Riconda, C.; Melzer, A.; Bret, A.; Dromey, B.: 44th EPS Conference on Plasma Physics Proceedings. 26 - 30 June 2017. Mulhouse: European Physical Society (= europhysics conference abstracts, 41F), ISBN 979-10-96389-07, No. P1.173. (Weblink)

  • Winkler, D.; Zischg, J.; Rauch, W. (2017): Virtual reality in urban water management: Communicating urban flooding with particle based CFD simulations.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 18 - 25.

  • Winkler, Sarah (2017): A Ground Joinability Criterion for Ordered Completion.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 45 - 49. (Weblink)

  • Yildiz, Esra; Böhme, Rainer (2017): Effects on Information security risk visualization on managerial decision making.
    In: Proceedings of EuroUSEC 2017 – The 2nd European Workshop on Usable Security. April 29, 2017, Paris, France. Reston: Internet Society, ISBN 1-891562-45-2. (Weblink)

  • Zangerl, Peter; Thoman, Peter; Fahringer, Thomas (2017): Characterizing Performance and Cache Impacts of Code Multi-versioning on Multicore Architectures.
    In: Kotenko, I; Cotronis, Y; Daneshtalab, M: 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), ISBN 978-1-5090-6058-0, S. 209 - 213. (DOI) (Weblink)

  • Zeisl, Peter; Mair, Michael; Rauch, Wolfgang; Sitzenfrei, Robert; Kleidorfer, Manfred (2017): A water balance model to assess the effectiveness of green/blue infrastructure on city-scale.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 2172 - 2180.

  • Zischg, J.; Gunn, A.; Rogers, B.; Rauch, W.; Sitzenfrei, R. (2017): Socio–technical transitioning of urban drainage systems using green/blue strategies in an uncertain environment.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 983 - 990.

  • Zischg, J.; Zeisl, P.; Winkler, D.; Rauch, W.; Sitzenfrei, R. (2017): Sensitivity analysis of green/blue infrastructure placement on the urban drainage network performance.
    In: Proceedings of 14th International Conference on Urban Drainage (ICUD 2017). Prag: Tschechische Technische Universität Prag, S. 737 - 742.

  • Zischg, Jonatan; Klinkhamer, C.; Zhan, X.; Ukkusuri, S.; Rao, P.S.C.; Rauch, Wolfgang; Sitzenfrei, Robert (2017): Evolution of Complex Network Topologies in Urban Water Infrastructure.
    In: World Environmental and Water Resources Congress 2017: Hydraulics and Waterways and Water Distribution Systems Analysis. Reston: American Society of Civil Engineering (ASCE), S. 648 - 659. (Weblink)

Beitrag in Proceedingsband (Abstract)
  • Adam, Christoph; Di Matteo, Alberto; Furtmüller, Thomas; Pirrotta, Antonina (2017): Earthquake excited base-isolated structures protected by tuned liquid column dampers: design approach and experimental verification.
    In: Vestroni, Fabrizio; Gattulli, Vincenzo; Romeo, Francesco: Book of Abstracts - X International Conference on Structural Dynamics (EURODYN 2017). Rom: Universität La Sapienza, S. 120.

  • Adam, Christoph; Salcher, Patrick (2017): Zuverlässigkeitsanalyse von Stahlbrücken mit Schotterbett entlang von Hochgeschwindigkeitseisenbahnlinien.
    In: Book of Abstracts - 15. D-A-CH Tagung: Erdbebeningenieurwesen und Baudynamik 2017, September 21-22, 2017. Aachen: Deutsche Gesellschaft für Erdbebeningenieurwesen und Baudynamik (DGEB), S. 54.

  • Adam, Christoph; Salcher, Patrick; Furtmüller, Thomas (2017): A stochastic model for the effects of seasonal temperature changes on railway bridges.
    In: Bucher, Christian; Ellingwood, Bruce R.; Frangopol, Dan M.: Proceedings of the 12th International Conference on Structural Safety and Reliability (ICOSSAR 2017). Wien: TU-MV Media Verlag GmbH, ISBN 978-3-903024-28-1, S. 180.

  • Adam, Christoph; Salcher, Patrick; Hirzinger, Benjamin (2017): Reliability analysis of ballasted steel bridges crossed by high-speed trains.
    In: Borejko, P; Kaltenbacher, M; Toth, F: Book of Abstracts, 13th International Conference on Theoretical and Computational Acoustics (ICTCA 2017). Wien: Technische Universität Wien, ISBN 978-3-200-05210-9, S. 61. (Weblink)

  • Avanzini, Martin; Schaper, Michael (2017): GUBS Upper Bound Solver. (Extended Abstract).
    In: Bonfante, Guillaume; Moser, Goerg: Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. USA: Arxiv.org, S. 17 - 23. (DOI) (Weblink)

  • Baumgartner, Katharina; Gems, Bernhard; Walder, Stefan; Federspiel, Markus; Aufleger, Markus (2017): Influence of bed-load transport on the design of flood protection and retention measures in gravel-bed rivers - application of HYDRO_FT-2D for the Tyrolean Inn River.
    In: Abstracts of the 37th IAHR World Congress. 13-18 August, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. T1-66.

  • Berer, Thomas; Burgholzer, Peter; Haltmeier, Markus; Murray, Todd (2017): Sub-Acoustic Resolution Photoacoustic Microscopy using Blind Structured Speckle Illumination and Joint Sparsity Reconstruction.
    In: Haltmeier, Markus: Computational Imaging and Tomography, Book of Abstracts. Innsbruck. Innsbruck: Eigenverlag - Universität Innsbruck.

  • Di Lorenzo, Salvatore; Adam, Christoph; Failla, Giuseppe; Pirrotta, Antonina (2017): On the moving multi-loads problem in discontinuous beam structures with interlayer slip.
    In: Vestroni, Fabrizio; Gattulli, Vincenzo; Romeo, Francesco: Book of Abstracts - X International Conference on Structural Dynamics (EURODYN 2017). Rom: Universität La Sapienza, S. 170.

  • Eichner, Bernhard; Achleitner, Stefan; Kammerlander, Johannes; Einfalt, Thomas; Jasper-Tönnies, Alrun; Chiari, Michael (2017): Impacts of Climate Change on hydrology and bed load transport in Alpine Catchments.
    In: ECCA 2017 Glasgow, June 5-9 “Our Climate Ready Future”. Full Programme. published online / Internetpublikation, S. 99 - 100. (Weblink)

  • Färber, Michael; Kaliszyk, Cezary; Urban, Josef (2017): Monte Carlo Connection Prover.
    In: Hales, Thomas; Kaliszyk, Cezary; Schulz, Stephan; Urban, Josef: Second Conference on Artificial Intelligence and Theorem Proving (AITP 2017). Abstracts of the talks. March 26-30, 2017, Obergurgl, Austria. Innsbruck: Eigenverlag - Universität Innsbruck, S. 32 - 34. (Weblink)

  • Felgenhauer, Bertram; Nagele, Julian; Middeldorp, Aart (2017): CoCo 2017 Participant: CSI 1.1.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 76. (Weblink)

  • Fetz, Thomas (2017): Efficient Computation of Upper Probabilities of Failure.
    In: Bucher, Christian; Ellingwood, Bruce R.; Frangopol, Dan M.: Abstracts of the 12th International Conference on Structural Safety and Reliability (ICOSSAR2017),
    Vienna, Austria, 6–10 August 2017. Safety, Reliability, Risk,
    Resilience and Sustainability
    of Structures and
    Infrastructure. Wien: Technische Universität Wien, S. 68.

  • Furtmülller, Thomas; Adam, Christoph (2017): Compensation of temperature effects in long-term monitoring of a highway bridge located in the Austrian Alps.
    In: Vestroni, Fabrizio; Gattulli, Vincenzo; Romeo, Francesco: Book of Abstracts - X International Conference on Structural Dynamics (EURODYN 2017). Rom: Universität La Sapienza, S. 145 - 146.

  • Haltmeier, Markus; Jürgen, Frikel (2017): Wavelet methods in photoacoustic tomography.
    In: 100 Years of the Radon Transform. Linz, March 27-31, 2017. Linz: Johann Radon Institute for Computational and Applied Mathematics (RICAM), S. 38. (Weblink)

  • Heftberger, Adelheid; Höper, Jakob; Müller-Birn, Claudia; Walkowski, Niels-Oliver; Zangerle, Eva (2017): Employing Wikidata for Fostering Scholarly Research.
    In: WikidataCon 2017 - the conference dedicated to the Wikidata community. 28-29 October 2017, Berlin, Germany. published online / Internetpublikation, online. (Weblink)

  • Hiebel, Gerald; Posch, Claudia; Rampl, Gerhard; Zangerle, Eva (2017): Building Bridges - Corpus Linguistics and Digital Humanities.
    In: 4th Digital Humanities Austria Conference - dha2017. Abstracts. Innsbruck: Eigenverlag - Universität Innsbruck, online. (Weblink)

  • Hiebl, Gerald; Rampl, Gerhard; Posch, Claudia; Gruber, Elisabeth; Zangerle, Eva (2017): Bergnamen – Bergwelten. Toponymie im (Kon-)Text.
    In: Mainzer Namentagung 2017: Toponyme - eine Standortbestimmung. published online / Internetpublikation, S. 10. (Weblink)

  • Huttenlau, M.; Förster, K.; Hanzer, F.; Stoll, E.; Nemec, J.; Schöber, J.; Achleitner, S.; Strasser, U (2017): Impact of climate change on glacier evolution and runoff generation in ice and snow melt dominated catchments in Austria.
    In: ECCA 2017 Glasgow, June 5-9 “Our Climate Ready Future” Poster Abstracts. published online / Internetpublikation, S. 94 - 95. (Weblink)

  • Huttenlau, Matthias; Förster, Kristian; Hanzer, Florian; Stoll, Elena; Nemec, Johanna; Schöber, Johannes; Achleitner, Stefan; Strasser, Ulrich (2017): Impact of climate change on glacier evolution and runoff generation in ice and snow melt dominated catchments in Austria.
    In: 3rd European Climate Change Adaptation Conference, Glasgow, June 5-9, Poster Abstracts. Oxford: University of Oxford, S. 94 - 95. (Weblink)

  • Huttenlau, Matthias; Schattan, Paul; Schneeberger, Klaus; Tilg, Anna-Maria; Schöber, Johannes; Achleitner, Stefan; Raffeiner, Georg; Kleindienst, Hannes; Kirnbauer, Robert (2017): A runoff forecasting system for the river Inn as decision support/early warning system for hydropower management and civil protection.
    In: 3rd European Climate Change Adaptation Conference, Glasgow, June 5-9, Poster Abstracts. Oxford: University of Oxford, S. 95 - 96. (Weblink)

  • Huttenlau, Matthias; Schneeberger, Klaus; Winter, Benjamin; Pazur, Robert; Förster, Kristian; Achleitner, Stefan (2017): Ein gekoppelter transdisziplinärer Modellierungsansatz zur Analyse des Hochwasserrisikos unter sich verändernden Umweltbedingungen.
    In: Bednar-Friedl, Birgit; Formayer, Herbert; Brand, Ulrich; Kienberger, Stefan; Auer, Ingeborg: Tagungsband 18. Klimatag. Aktuelle Klimaforschung in Österreich. 22. bis 24. Mai 2017. Wien: Climate Change Centre Austria (CCCA), ISBN 978-3-9503778-2-8, S. 26 - 27. (Weblink)

  • Huttenlau, Matthias; Winter, Benjamin; Schneeberger, Klaus; Bolliger, Janine; Achleitner, Stefan; Förster, Kristian (2017): Comparative analysis of flood risk evolution considering changes in climate, hydrology, and socio-economy as well as adaptation on the meso-scale.
    In: 3rd European Climate Change Adaptation Conference, Glasgow, June 5-9, Poster Abstracts. Oxford: University of Oxford, S. 96 - 97. (Weblink)

  • Innerhofer, Daniel; Aufleger, Markus (2017): Experimental investigation of the effects of intake designs on compact turbines.
    In: Abstracts of the 37th IAHR World Congress. 13-18 August, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. T3-94.

  • Jensen, Lars; Fischer, Kerstin; Kirstein, Franziska; Shukla, Dadhichi; Erkent, Özgür; Piater, Justus (2017): It Gets Worse Before it Gets Better; Timing of Instructions in Close Human-Robot Collaboration.
    In: Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction. New York: ACM Digital Library, ISBN 978-1-4503-4885-0. (DOI) (Weblink)

  • Könke, Carsten; Zabel, Volkmar; Petryna, Yuri; Graf, Wolfgang; Adam, Christoph; Heuer, Rudolf; Beyer, Katrin; Heunert, Sven; Mondet, Yves; Wenk, Thomas (2017): Strukturdynamik und Erdbebeningenieurwesen in der universitären Ausbildung für Bauingenieurinnen und Bauingenieure – ein Diskussionsbeitrag aus Deutschland, Österreich und der Schweiz.
    In: Book of Abstracts - 15. D-A-CH Tagung: Erdbebeningenieurwesen und Baudynamik 2017, September 21-22, 2017. Aachen: Deutsche Gesellschaft für Erdbebeningenieurwesen und Baudynamik (DGEB), S. 76.

  • Kowar, Richard; Haltmeier, Markus; Nguye, Linh (2017): Iterative Methods for Photoacoustic Tomography in Attenuating Acoustic Media.
    In: Haltmeier, Markus: Computational Imaging and Tomography, Book of Abstracts. Innsbruck. Innsbruck: Eigenverlag - Universität Innsbruck.

  • Larl, Bettina; Zangerle, Eva (2017): Geolocating German on Twitter: Hitches and Glitches of Building and Exploring a Twitter Corpus.
    In: Corpus Linguistics Conference 2017. Birmingham: University of Birmingham, online. (Weblink)

  • Lumassegger, Simon; Kohl, Bernhard; Formayer, Herbert; Einfalt, Thomas; Strehz, Alexander; Achleitner, Stefan (2017): Auswirkungen des Klimawandels auf Sturzfluten in Oberösterreich.
    In: Bednar-Friedl, Birgit; Formayer, Herbert; Brand, Ulrich; Kienberger, Stefan; Auer, Ingeborg: Tagungsband 18. Klimatag. Aktuelle Klimaforschung in Österreich. 22. bis 24. Mai 2017. Wien: Climate Change Centre Austria (CCCA), ISBN 978-3-9503778-2-8, S. 24 - 25. (Weblink)

  • Medicus, Gertraud; Schneider-Muntau, Barbara; Fellin, Wolfgang (2017): Applications of Barodesy.
    In: Benahmed, Nadia: 28th ALERT Workshop Poster Session. Booklet of Abstracts. Grenoble: Grenoble Institute of Technology (INP), ISBN 978-2-9561359-0-6, S. 16 - 17.

  • Moschen, Lukas; Adam, Christoph (2017): Ein Antwortspektrumverfahren zur Abschätzung der Beschleunigungsantwort erdbebenerregter Tragwerke: Grundlagen-Berechnung-Anwendungsgrenzen.
    In: Book of Abstracts - 15. D-A-CH Tagung: Erdbebeningenieurwesen und Baudynamik 2017, September 21-22, 2017. Aachen: Deutsche Gesellschaft für Erdbebeningenieurwesen und Baudynamik (DGEB), S. 35.

  • Nagele, Julian (2017): CoCo 2017 Participant: CSI^ho 0.3.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 77. (Weblink)

  • Nagele, Julian; Sternagel, Christian; Sternagel, Thomas (2017): CoCo 2017 Participant: CeTA 2.31.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 72. (Weblink)

  • Pereverzyev, Sergiy; Dreier, Florian; Haltmeier, Markus (2017): Operator Learning Approach for the Limited View Problem in Photoacoustic Tomography.
    In: Haltmeier, Markus: Computational Imaging and Tomography, Book of Abstracts. Innsbruck. Innsbruck: Eigenverlag - Universität Innsbruck.

  • Rabanser, Simon; Haltmeier, Markus; Neumann, Lukas; Nguyen, Linh (2017): Quantitative Photoacoustic Tomography in the Transport Regime.
    In: Haltmeier, Markus: Computational Imaging and Tomography, Book of Abstracts. Innsbruck. Innsbruck: Eigenverlag - Universität Innsbruck.

  • Rapp, Franziska; Middeldorp, Aart (2017): CoCo 2017 Participant: FORT 1.0.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 78. (Weblink)

  • Sandbichler, Michael; Schnass, Karin (2017): Sequential Learning of Analysis Operators.
    In: Proceedings of SPARS17. Lisbon, Portugal, June 5-8, 2017. Lisboa / Lissabon: ISCTE - University Institute of Lisbon, online. (Weblink)

  • Schattan, P; Baroni, G; Oswald, S; Schöber, J; Fey, C; Francke, T; Huttenlau, M; Kirnbauer, R; Achleitner, S (2017): Combining an improved snow-model with above ground neutron sensing and remote sensing.
    In: Abstracts of the 37th IAHR World Congress. 13-18 August, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), online. (Weblink)

  • Schattan, Paul; Huttenlau, Matthias; Schöber, Johannes; Kirnbauer, Robert; Achleitner, Stefan (2017): The Value of Optical and SAR Based Snow Products for Reconstructing SWE in a Snow Dominated Headwater Basin.
    In: 8th EARSeL Workshop on Land Ice and Snow. Remote Sensing of the Cryosphere: Past – Present – Future. Abstracts. 7th-9th February 2016, University of Bern. Strasbourg: European Association of Remote Sensing Laboratories (EARSeL), elektronisch. (Weblink)

  • Schranz, Fabian; Fellin, Wolfgang (2017): Volumetric changes induced by principal stress rotation modelled with different constitutive relations.
    In: Benahmed, Nadia: 28th ALERT Workshop Poster Session. Booklet of Abstracts. Grenoble: Grenoble Institute of Technology (INP), ISBN 978-2-9561359-0-6, S. 18 - 19.

  • Schreter, Magdalena; Neuner, Matthias; Hofstetter, Günter (2017): Comparison of regularization techniques for a rock model in the context of the numerical simulation of tunneling.
    In: Ibrahimbegović, Adnan; Brank, Boštjan; Kožar, Ivica: Multiscale Computational Methods for Solids and Fluids Proceedings. Ljublajna: University of Ljubljana, ISBN 978-961-6884-49-5, S. 253 - 255. (Weblink)

  • Schwab, Johannes; Pereverzyev, Sergiy; Haltmeier, Markus (2017): An Efficient Galerkin Approach for Photoacoustic Tomography.
    In: Haltmeier, Markus: Computational Imaging and Tomography, Book of Abstracts. Innsbruck. Innsbruck: Eigenverlag - Universität Innsbruck.

  • Schwab, Johannes; Pereverzyev, Sergiy; Haltmeier, Markus (2017): Kaiser-Bessel functions in photoacoustic tomography.
    In: 100 Years of the Radon Transform. Linz, March 27-31, 2017. Linz: Johann Radon Institute for Computational and Applied Mathematics (RICAM), S. 41. (Weblink)

  • Steidl, Bernd; Klar, Robert; Aufleger, Markus (2017): Buoyant Energy - Multifunctional offshore energy storage and grid balancing system for future requirements.
    In: Abstracts of the 37th IAHR World Congress. 13-18 August, 2017, Kuala Lumpur, Malaysia. Madrid: International Association for Hydro-Environment Engineering and Research (IAHR), S. T3-77.

  • Sternagel, Thomas; Sternagel, Christian; Middeldorp, Aart (2017): CoCo 2017 Participant: ConCon 1.5.
    In: Accattoli, Beniamino; Felgenhauer, Bertram: Proceedings of the 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford, S. 75. (Weblink)

  • Zhang, Yiming; Zeiml, Matthias; Yuan, Yong; Maier, Marcus; Lackner, Roman (2017): Spalling of fire-loaded concrete tunnel linings: from coupled numerical simulation to engineering design.
    In: Hofstetter, Günter; Bergmeister, Konrad; Eberhardsteiner, Josef; Meschke, Günther; Schweiger, Helmut F.: EURO:TUN 2017 - Proceedings of the IV International Conference on Computational Methods in Tunneling and Subsurface Engineering. Innsbruck: Studia Universitätsverlag, ISBN 978-3-903030-35-0, S. 713 - 720.

  • Zischg, Jonatan; Rauch, Wolfgang; Sitzenfrei, Robert (2017): Grüne/Blaue Infrastruktur für nachhaltige, attraktive Städte.
    In: Aqua Urbanica 2017. Abstracts Online. Graz: Technische Universität Graz, online. (Weblink)

Zeitschriftenbeitrag, transferorientierter
  • Breu, Ruth; Farwick, Matthias; Trojer, Thomas (2017): Enterprise IT Intelligence – Was bedeutet digitale Transformation für das business-IT-Alignment?
    In: OBJEKTspektrum 2017/03, S. 16 - 22. (Weblink)

  • Fensel, Anna (2017): Towards semantic APIs for research data services.
    In: Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 70/2, S. 157 - 169. (Weblink)

  • Kärle, Elias; Simsek, Umutcan; Fensel, Dieter (2017): semantify.it - Webplattform für semantische Annotation.
    In: Tourismus Wissen - quarterly 2017/10, S. 300 - 306. (Weblink)

Sammelband- / Sammelwerkbeitrag, transferorientierter
  • Kolymbas, Dimitrios; Herle, Ivo (2017): Stoffgesetze für Böden.
    In: Witt, Karl Josef: Grundbau-Taschenbuch. Teil 1: Geotechnische Grundlagen, 8. Auflage. Berlin: Ernst & Sohn, ISBN 978-3-433-03151-3, 8., S. 457 - 509. (Weblink)

Patente

Patent
  • Klar, Robert; Aufleger, Markus: Hydraulic energy store. United States Patent and Trademark Office, US9617969B2 (2017). (Weblink)

  • Klar, Robert; Aufleger, Markus: Hydraulischer Energiespeicher. European Patent Office, EP 2 681 445 B1 (2017). (Weblink)

Rezensionen

Zeitschriftenbeitrag (Rezension)
  • Schröcker, Hans-Peter (2017): Boris Kruglikov and Dennis The. The gap phenomenon in parabolic geometries. In: J. Reine Angew. Math. 723 (2017), pp. 153–215.
    In: Zentralblatt MATH, Zbl 1359.5801. (Weblink)

  • Schröcker, Hans-Peter (2017): Brendan Guilfoyle and Wilhelm Klingenberg. A Converging Lagrangian Flow in the Space of Oriented Lines. In: Kyushu J. Math. 70.2 (2016), pp. 343–351.
    In: Zentralblatt MATH, Zbl 1358.53065. (Weblink)

  • Schröcker, Hans-Peter (2017): Elisabetta Fortuna, Roberto Frigerio, and Rita Pardini. Projective geometry. Solved problems and theory review. Springer, 2016.
    In: Zentralblatt MATH, Zbl 1361.51004. (Weblink)

  • Schröcker, Hans-Peter (2017): Gerd Fischer, ed. Mathematical models. From the collections of universities and museums – photograph volume and commentary. With a preface by Gert-Martin Greuel. Wiesbaden: Springer Spektrum, 2017.
    In: Zentralblatt MATH, Zbl 06783010. (Weblink)

  • Schröcker, Hans-Peter (2017): Hwangrae Lee. The Euclidean distance degree of Fermat hypersurfaces. In: J. Symb. Comput. 80 (2017), pp. 502–510.
    In: Zentralblatt MATH, Zbl 1354.14080. (Weblink)

  • Schröcker, Hans-Peter (2017): Igor Minevich and Patrick Morton. Synthetic foundations of Cevian geometry, I: Fixed points of affine maps. In: J. Geom. 108.1 (2017), pp. 45–60.
    In: Zentralblatt MATH 2017, Zbl 06721937. (Weblink)

  • Schröcker, Hans-Peter (2017): Igor Minevich and Patrick Morton. Synthetic foundations of Cevian geometry, II: The center of the cevian conic. In: Int. J. Geom. 5.2 (2016), pp. 22–38.
    In: Zentralblatt MATH 2017, Zbl 06740093. (Weblink)

  • Schröcker, Hans-Peter (2017): Jean Ponce, Bernd Sturmfels, and Mathew Trager. Congruences and concurrent lines in multi-view geometry. In: Adv. Appl. Math. 88 (2017), pp. 62–91.
    In: Zentralblatt MATH 2017, Zbl 1367.14022. (Weblink)

  • Schröcker, Hans-Peter (2017): Jordan S. Ellenberg and Márton Hablicsek. An Incidence Conjecture of Bourgain Over Fields of Positive Characteristic. In: Forum Math. Sigma 4 4 (2016).
    In: Zentralblatt MATH 2017, Zbl 1365.52022. (Weblink)

  • Schröcker, Hans-Peter (2017): Larry A. Lambe. An algebraic study of the Klein Bottle. In: J. Homotopy Relat. Struct. 11.4 (2016), pp. 885–891.
    In: Zentralblatt MATH, Zbl 1362.1801. (Weblink)

  • Schröcker, Hans-Peter (2017): Linyuan Fan and Dandan Ji. Willmore surfaces foliated by time-like pseudo circles discrete dynamical systems in R^3_1. In: J. Difference Equ. Appl. 23.1–2 (2017), pp. 191–230.
    In: Zentralblatt MATH 2017, Zbl 06758744. (Weblink)

  • Schröcker, Hans-Peter (2017): Lorenz Halbeisen and Norbert Hungerbühl. Conjugate conics and closed chains of Poncelet polygons. In: Mitt. Math. Ges. Hamb. 36 (2016), pp. 5–28.
    In: Zentralblatt MATH 2017, Zbl 1365.51015. (Weblink)

  • Schröcker, Hans-Peter (2017): M. Arnold, D. Fuchs, I. Izmestiev, S. Tabachnikov, and E. Tsukerman. Iterating Evolutes and Involutes. In: Discrete Comput. Geom. 58.1 (2017), pp. 80–143.
    In: Zentralblatt MATH, Zbl 06788862. (Weblink)

  • Schröcker, Hans-Peter (2017): Magdalena Lampa-Baczyńska and Justyna Szpond. From Pappus Theorem to parameter spaces of some extremal line point configurations and applications. In: Geom. Dedicata 188.1 (2017), pp. 103–121.
    In: Zentralblatt MATH 2017, Zbl 1366.14048. (Weblink)

  • Schröcker, Hans-Peter (2017): Matteo Gallet, Georg Nawratil, and Josef Schicho. Liaison linkages. In: J. Symb. Comput. 79 (2017), pp. 65–98.
    In: Zentralblatt MATH, Zbl 1356.70004. (Weblink)

  • Schröcker, Hans-Peter (2017): Ovidiu T. Pop, Sándor Nagydobai Kiss, and Minculete Nicuşor. Cyclic quadrilaterals corresponding to a given Varignon parallelogram. In: Int. J. Geom. 5.2 (2016), pp. 5–21.
    In: Zentralblatt MATH, Zbl 06740093. (Weblink)

  • Schröcker, Hans-Peter (2017): Philippe G. Ciarlet, Maria Malin, and Cristinel Mardare. New nonlinear estimates for surfaces in terms of their fundamental forms. In: Comptes Rendus Mathematique 355.2 (2017), pp. 226–231.
    In: Zentralblatt MATH, Zbl 1361.53004. (Weblink)

  • Schröcker, Hans-Peter (2017): Rezension zu: Marco Compagnoni, Roberto Notari, Andrea Alessandro Ruggiu, Fabio Antonacci, and Augusto Sarti. The Algebro-geometric Study of Range Maps. In: J. Nonlinear Sci. 27.1 (2017), pp. 99–157.
    In: Zentralblatt MATH 2017, Zbl 1366.14042. (Weblink)

  • Schröcker, Hans-Peter (2017): Rezension zu: Serge Tabachnikov. On the bicycle transformation and the filament equation: Results and conjectures. In: J. Geom. Phys. 115 (2017), pp. 116–123.
    In: Zentralblatt MATH 2017, Zbl 1375.37159. (Weblink)

  • Schröcker, Hans-Peter (2017): Roger C. Alperin and Dennis L. Johnson. All cubics are self-isotomic. In: J. Geom. 107.3 (2016), pp. 657–661.
    In: Zentralblatt MATH 2017, Zbl 1365.51017. (Weblink)

  • Schröcker, Hans-Peter (2017): Stefan Liebscher. Projektive Geometrie der Ebene. Ein klassischer Zugang mit interaktiver Visualisierung. Springer-Lehrbuch Masterclass. Heidelberg: Springer Spektrum, 2017.
    In: Zentralblatt MATH, Zbl 06737738. (Weblink)

  • Schröcker, Hans-Peter (2017): Stylianos Stamatakis and Ioanna-Iris Papadopoulou. On ruled surfaces relatively normalized. In: Beitr. Algebra Geometrie 58.3 (2017), pp. 591–605.
    In: Zentralblatt MATH 2017, Zbl 06774998. (Weblink)

  • Schröcker, Hans-Peter (2017): Thomas Honold and Michael Kiermaier. On Putative q-Analogues of the Fano Plane and Related Combinatorial Structures. In: Dynamical systems, number theory and applications. A Festschrift in honor of Armin Leutbecher’s 80th birthday. Ed. by Thomas Hagen, Florian Rupp, and Jürgen Scheurle. Hackensack, NJ: World Scientific, 2016, pp. 141–175.
    In: Zentralblatt MATH, Zbl 1357.51004. (Weblink)

  • Schröcker, Hans-Peter (2017): Vik. S. Kulikov. A remark on classical Pluecker’s formulae. In: Ann. Fac. Sci. Toulouse Math. (6) 25.5 (2016), pp. 959–967.
    In: Zentralblatt MATH 2017, Zbl 1375.14100. (Weblink)

  • Schröcker, Hans-Peter (2017): Xiang Sun, Caigui Jiang, Johannes Wallner, and Helmut Pottmann. Vertex Normals and Face Curvatures of Triangle Meshes. In: Advances in Discrete Differential Geometry. Ed. by Alexander I. Bobenko. Springer, 2016, pp. 267–286.
    In: Zentralblatt MATH, Zbl 1356.53015. (Weblink)

Sonstige Publikationen

elektronische Publikation, wissenschaftliche
  • Bigagli, Lorenzo; Fensel, Anna; Lammerant, Hans; Curry, Edward; ul Hassa, Umair; Finn, Rachel; Gödri, Csilla; Magnusson, Jarl; Stensrud, Erik (2017): Deliverable D7.4: Report of Input activities in respect of different networks. D7.4 BYTE Project. (Weblink)

  • Bigagli, Lorenzo; Magnusson, Jarl; Cuquet, Marti; Fensel, Anna; Finn, Rachel (2017): Deliverable D7.2.2: Final sustainability plan for the big data community. D7.2.2 BYTE Project. (Weblink)

  • Dichev, Kiril; Jordan, Herbert; Heller, Thomas; Aguilar, Xavier; Trehan, Amitabh (2017): Deliverable D5.5 Implementation and Evaluation of Application Specific Resilience Techniques (a). (Weblink)

  • Finn, Rachel; Wadhwa, Kush; Grumbach, Stephane; Fensel, Anna (2017): Byte Final Report and Guidelines. D7.3 BYTE Project. (Weblink)

  • Gschwandtner, Philipp; Jordan, Herbert (2017): Deliverable D2.5 AllScale API Sepcification. (Weblink)

  • Gschwandtner, Philipp; Jordan, Herbert (2017): Deliverable D2.6 AllScale API Sepcification (b). (Weblink)

  • Hangl, Simon; Mennel, Andreas; Piater, Justus (2017): A novel Skill-based Programming Paradigm based on Autonomous Playing and Skill-centric Testing. (Weblink)

  • Hiebel, Gerald; Posch, Claudia; Rampl, Gerhard; Gruber, Elisabeth; Hanke, Klaus; Zangerle, Eva (2017): Semantics for Mountaineering History. (Weblink)

  • Iakymchuk, Roman; Jordan, Herbert; Thoman, Peter; Heller, Thomas; Monté, Stéphane; Benoît, Leonard; Ragnoli, Emanuele; O.Donncha, Fearghal; Hasanov, Khalid; Aguilar, Xavier; Akhmetova, Dana; Dichev, Kiril; Fahringer, Thomas (2017): Deliverable D2.2 Requirement Specifications and Reports on External Technological Developments (b). (Weblink)

  • Jordan, Herbert; Gschwandtner, Philipp (2017): Deliverable D3.2 API Implementation for Recursive Parallelism (b). (Weblink)

  • Jordan, Herbert; Iakymchuk, Roman; Fahringer, Thomas; Thoman, Peter; Heller, Thomas; Aguilar, Xavier; Hasanov, Khalid; Dichev, Kiril; Ragnoli, Emanuele; Benoit, Leonard (2017): Deliverable D2.3 AllScale System Architecture (a). (Weblink)

  • Kimovski, Dragi; Ristov, Sasko; Mathá, Roland; Prodan, Radu (2017): Multi-objective Service Oriented Network Provisioning in Ultra-scale Systems. (DOI) (Weblink)

  • Läuchli, A. M.; Sudan, J.; Moessner, R. (2017): The S=1/2 Kagome Heisenberg Antiferromagnet Revisited. (Weblink)

  • Mendling, Jan; Weber, Ingo; ..., ...; Weber, Barbara (2017): Blockchains for Business Process Management - Challenges and Opportunities. (Weblink)

  • O'Donncha, Fearghal; Ragnoli, Emanuele; Gschwandtner, Philipp; Jordan, Herbert (2017): Deliverable D6.8 Installation, integration and deployment of the AllScale environment and pilot applications (a). (Weblink)

  • Romen, C.; Läuchli, A. M. (2017): Chiral Mott insulators in frustrated Bose-Hubbard models on ladders and two-dimensional lattices: a combined perturbative and density matrix renormalization group study. (Weblink)

  • Sandbichler, Michael; Schnass, Karin (2017): Sequential Learning of Analysis Operators. (Weblink)

  • Simsek, Umutcan; Fensel, Anna; Kotsopoulos, Dimosthenis; Lounis, Stavros; Bardaki, Cleopatra; Nikolopoulos, Vassilis; Fotopoulou, Eleni; Zafeiropoulos, Anastasios (2017): D3.2 Environmental Friendly Lifestyle Recommenders. (Weblink)

  • Wietek, A.; Schuler, M.; Läuchli, A. M. (2017): Studying Continuous Symmetry Breaking using Energy Level Spectroscopy. (Weblink)

  • Zugal, Stefan; Pinggera, Jakob; Neurauter, Manuel; Weber, Barbara; Maran, Thomas (2017): Cheetah Experimental Platform Web 1.0: Cleaning Pupillary Data. (Weblink)

Forschungsbericht (Auftragsforschung)
  • Fensel, Anna: DALICC project midterm report.
    Österreichische Forschungsförderungsgesellschaft - FFG, Wien, 01.01.2017 - 31.12.2017.

  • Fensel, Anna: Entropy project mid-period report.
    Europäische Kommission / European Commission, Brüssel, 01.01.2017 - 31.12.2017.

  • Fensel, Anna: LDCT project final report.
    Österreichischer Austauschdienst (OeAD) / Austrian Agency for International Cooperation in Education and Research, Wien, 01.01.2017 - 31.12.2017.

  • Fensel, Anna: REEeT project final report.
    Euregio-Mobilitätsfonds / Euregio Mobility Fund, Bozen, 01.01.2017 - 31.12.2017.

  • Fensel, Anna: TourPack project final report.
    Österreichische Forschungsförderungsgesellschaft - FFG, Wien, 01.01.2017 - 31.12.2017.

  • Fensel, Anna: TourPack project midterm project report.
    Österreichische Forschungsförderungsgesellschaft - FFG, Wien, 01.01.2017 - 30.06.2017.

elektronische Publikation, transferorientierte
  • Fensel, Dieter; Werthner, H.; Falkensteiner, Simon; Falkner, Stephanie; Hänel, Eva-Maria; Hochmuth, Andrea; Isop, Marc; Kärle, Elias; Pippan, Christoph; Sartori, Andrea; Simsek, Umutcan; Thaler, Michael; Wahler, Alexander (2017): Der Beherbergungsbetrieb und seine Webpräsenz. (Weblink)

  • Schranz, Fabian (2017): Auf Sand gebaut. (Weblink)

Publikation, sonstige transferorientierte
  • Fröch, Georg; Gächter, Werner (2017): Das Konzept des Merkmalservers zur Unterstützung von OpenBIM-Prozessen. Innsbruck: Studia Universitätsverlag. ISBN 978-3-903030-55-8. (Weblink)

  • Medicus, Gertraud; Fellin, Wolfgang (2017): Konzepte der Barodesie. SUMMERSCHOOL HYPOPLASTIZITAT & BARODESIE Innsbruck, 19.09. - 21.09.2017. Innsbruck: Eigenverlag - Universität Innsbruck.

Medienbeiträge

Beitrag in Zeitung
  • Haller, Simon: Raspberry Pi: Die liebste Himbeere der Bastler.
    In: Beilage zur Tiroler Tageszeitung vom 06.02.2017. (Weblink)

  • Rauter, Matthias: Predicting Natural Hazards with Neuronal Networks.
    In: Dolomiten vom 23.08.2017.

  • Sillaber, Christian: Einfach erklärt: Cyber-Virus schaltet sich selbst ab.
    In: Tiroler Tageszeitung vom 17.05.2017.

Beitrag in Rundfunk
  • Adam, Christoph; Zabel, Volkmar: Wie verhalten sich Bauwerke, wenn Erdbeben sie erschüttern?
    In: Hörfunkprogramm MDR Sputnik des Mitteldeutschen Rundfunks (MDR) vom 22.09.2017.

  • Fensel, Anna: KulturTon: Studieren, Forschen und Arbeiten in Russland.
    In: Radio Freirad - Verein Freies Radio Innsbruck vom 24.10.2017. (Weblink)

  • Kleidorfer, Manfred: Bau- und Umwelt­ingenieur­wissen­schaften.
    In: Campusradio auf Welle 1 vom 06.06.2017.

  • Rauter, Matthias: Predicting Natural Hazards with Neuronal Networks.
    In: Radio Südtirol 1 vom 21.08.2017.

  • Rauter, Matthias: Predicting Natural Hazards with Neuronal Networks.
    In: Radio U1 Tirol vom 21.08.2017.