Publications

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 I). Tokyo / Tokio: Maruzen Publishing. ISBN 978-4-621-30131-9. 2. (Weblink)

Buch, transferorientiertes

Tautschnig, Arnold; Fröch, Georg; Gächter, Werner (2017): Österreichischer 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): 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 (= Lecture Notes in Computer Science, 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, 10611). ISBN 978-3-319-69925-7. (DOI) (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.
Hanke, Klaus; Weinold, Thomas (2017): 19. Internationale Geodätische Woche Obergurgl 2017. Heidelberg: Wichmann. ISBN 978-3-87907-624-6. (Weblink)
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 - 30.04.2020. (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 - EURASIP Journal on Information Security, 01.01.2013 lfd. (Weblink)
Böhme, Rainer: Member of the Editorial Board - Electronic Commerce Research (ECR), 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, 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.: Vol. 2063: Joint Proceedings of SEMANTiCS 2017 Workshops, co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017) - CEUR Workshop Proceedings, 01.01.2017.
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.
Gerstmayr, Johannes: Mitglied des Editorial Boards - Acta Mechanica, 01.01.2015 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)
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)
Harders, Matthias: Associate editor - IEEE Transactions on Haptics, 01.03.2014 - 01.01.2019. (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 - 21.02.2019.
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, 01.01.2017 - 31.08.2018. (Weblink)
Mena, Hermann: Member of the Editorial Board - Elementos - Journal of Engineering and Science, 01.01.2013 - 31.08.2019. (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 - 02.06.2022.
Rauch, Wolfgang: Editor in Chief - 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.
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)
Thiemann, René: Editor - Archive of Formal Proofs, 01.01.2017 lfd. (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. (Volltext) (DOI) (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. (Volltext) (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)
Akbar, Z.; Fensel, A.; Fensel, D (2017): An ontology-based coordination and integration of multi-channel online communication.
In: International Journal on Metadata, Semantics and Ontologies 12/4, S. 219 - 231. (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. (Volltext) (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)
Banz, Lothar; Gimperlein, Heiko; Issaoui, Abderrahman; Stephan, Ernst P. (2017): Stabilized mixed hp-BEM for frictional contact problems in linear elasticity.
In: Numerische Mathematik 135/1, S. 217 - 263. (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. (Volltext) (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. (Volltext) (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. (DOI) (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)
Braun, D.E.; Raabe, K.; Schneeberger, A.; Kahlenberg, V.; Griesser, U.J. (2017): New Insights into Solid Form Stability and Hydrate Formation: o-Phenanthroline HCl and Neocuproine HCl.
In: Molecules 22/12, Nr. 2238. (DOI) (Weblink)
Breitner, Joachim; Huffman, Brian; Mitchell, Neil; Sternagel, Christian (2017): HOLCF Prelude.
In: The Archive of Formal Proofs July, S. 1 - 101. (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)
Dappiaggi, Claudio; Gimperlein, Heiko; Murro, Simone; Schenkel, Alexander (2017): Wavefront sets and polarizations on supermanifolds.
In: Journal of Mathematical Physics 58/2, No. 023504. (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)
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)
Eberle, R; Heinrich, D; Kaps, P; Oberguggenberger, M; Nachbauer, W (2017): Effect of ski boot rear stiffness (SBRS) on maximal ACL force during injury prone landing movements in alpine ski racing: A study with a musculoskeletal simulation model.
In: Journal Of Sports Sciences 35/12, S. 1125 - 1133. (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. (Volltext) (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 (2017): Towards semantic APIs for research data services / Auf dem Weg zu semantischen APIs für Forschungsdatendienste.
In: Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare 70/2, S. 157 - 169. (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. (DOI) (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. (Volltext) (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)
Gimperlein, Heiko; Goffeng, Magnus (2017): Nonclassical spectral asymptotics and Dixmier traces: From circles to contact manifolds.
In: Forum of Mathematics Sigma 5, S. e3. (DOI) (Weblink)
Gimperlein, Heiko; Maischak, Matthias; Stephan, Ernst P. (2017): Adaptive time domain boundary element methods with engineering applications.
In: Journal Of Integral Equations And Applications 29/1, S. 75 - 105. (DOI) (Weblink)
Gimperlein, Heiko; Nezhi, Zouhair; Stephan, Ernst P. (2017): A priori error estimates for a time-dependent boundary element method for the acoustic wave equation in a half-space.
In: Mathematical Methods In The Applied Sciences 40/2, S. 448 - 462. (DOI) (Weblink)
Gimperlein, Heiko; Waters, Alden (2017): A Deterministic Optimal Design Problem for the Heat Equation.
In: SIAM Journal on Control and Optimization 55/1, S. 51 - 69. (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)
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: E&I. 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. (Volltext) (DOI) (Weblink)
Hummel, M.; Markiewicz, M.; Stolte, S.; Noisternig, M.; Braun, D. E.; Gelbrich, T.; Griesser, U. J.; Partl, G.; Naier, B.; Wurst, K.; Krüger, B.; Kopacka, H.; Laus, G.; Huppertz, H.; Schottenberger, H. (2017): Phase-out-compliant fluorosurfactants: unique methimazolium derivatives including room temperature ionic liquids.
In: Green Chemistry 19, S. 3225 - 3237. (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)
Iqbal, Muhammad; Gimperlein, Heiko; Mohamed, M. Shadi; Laghrouche, Omar (2017): An a posteriori error estimate for the generalized finite element method for transient heat diffusion problems.
In: International Journal For Numerical Methods In Engineering 110/12, S. 1103 - 1118. (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. (Volltext) (DOI) (Weblink)
Joosten, Sebastiaan; Thiemann, René; Yamada, Akahisa (2017): Subresultants.
In: The Archive of Formal Proofs April, S. 1 - 84. (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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.
Meßner, Florian; Parsert, Julian; Schöpf, Jonas; Sternagel, Christian (2017): Homogeneous Linear Diophantine Equations.
In: The Archive of Formal Proofs October, S. 1 - 69. (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (Volltext) (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. (DOI) (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. (Volltext) (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 (NHESS) 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)
Thiemann, René (2017): Stochastic Matrices and the Perron-Frobenius Theorem.
In: The Archive of Formal Proofs November, S. 1 - 14. (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. (Volltext) (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. (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 (NHESS) 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. (Volltext) (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. (Volltext) (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. (Volltext) (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 (Discussion-/Working Paper)

Harttgen, Kenneth; Lang, Stefan; Santer, Judith; Seiler, Johannes (2017): Modeling under-5 mortality through multilevel structured additive regression with varying coefficients for Asia and Sub-Saharan Africa.
In: Working Papers in Economics and Statistics - University of Innsbruck, No. 2017-15. (Weblink)
Harttgen, Kenneth; Lang, Stefan; Seiler, Johannes (2017): Selective mortality and undernutrition in low- and middle-income countries.
In: Working Papers in Economics and Statistics - University of Innsbruck, No. 2017-27. (Weblink)
Kneringer, Philipp; 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-21, elektronisch. (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 International Society for Optical Engineering (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 International Society for Optical Engineering (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 International Society for Optical Engineering (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 (PoS) 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 (PoS) 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, No. 3. (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 (anderer)

Felty, A; Middeldorp, A (2017): Preface: Selected Extended Papers of CADE 2015.
In: Journal of Automated Reasoning 58/3, S. 311 - 312. (DOI)

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) (Weblink)
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. EGU General Assembly 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. EGU General Assembly 19, EGU2017-15495. (Weblink)
Gschwandtner, Philipp (2017): Performance Portability via Automatic Region-based Auto-tuning.
In: Dagstuhl Reports 7/10, S. 109. (DOI) (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. EGU General Assembly 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. EGU General Assembly 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. EGU General Assembly 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. EGU General Assembly 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. EGU General Assembly 19, EGU2017-14467-1. (Weblink)
Rauter, Matthias (2017): A finite area scheme for shallow granular flows on three-dimensional surfaces.
In: Geophysical Research Abstracts. EGU General Assembly 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. EGU General Assembly 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. EGU General Assembly. (Weblink)
Schellander, Harald; Hell, Tobias (2017): Comparison of spatial extreme value models for snow depth extremes in
Austria.
In: Geophysical Research Abstracts. EGU General Assembly 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. EGU General Assembly 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. EGU General Assembly 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)
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, 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, 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: IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C 2017). 25-29 July 2017 • Prague, Czech Republic. 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: IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C 2017). 25-29 July 2017 • Prague, Czech Republic. 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 (BPM 2016). International Workshops, Rio de Janeiro, Brazil, September 19, 2016, Revised Papers. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Business Process Management Workshops, 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 (= Proceedings, International Parallel and Distributed Processing Symposium (IPDPS))., 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.
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, 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, 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, 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: 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? Beiträge zum Tag der Hydrologie am 23./24. Mä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 (BPM 2016). International Workshops, Rio de Janeiro, Brazil, September 19, 2016, Revised Papers. Dordrecht - Heidelberg - London - New York - Berlin: Springer (= Business Process Management Workshops, 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. (Volltext) (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: 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)
Joosten, Sebastiaan (2017): Parsing and Printing of and with Triples.
In: Höfner, P.; Pous, D.; Struth, G.: Proceedings of the International Conference on Relational and Algebraic Methods in Computer Science (RAMICS 2017). Cham: Springer International Publishing (= Lecture Notes in Computer Science, 10226)., ISBN 978-3-319-57417-2, S. 159 - 176. (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; Chollet, François; Szegedy, Christian (2017): HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving.
In: Proceedings of the 5th International Conference on Learning Representations (ICLR). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. (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 Certiﬁcation 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, 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)
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 in 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. 27th-29th September 2017, Dresden, Germany. Dresden: TUDpress Verlag der Wissenschaften Dresden., ISBN 978-3-95908-113-9, S. 73 - 84. (Weblink)
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, 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: 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 Annual Hawaii International Conference on System Sciences (HICSS 2017). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., 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, 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: 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 Annual Hawaii International Conference on System Sciences (HICSS 2017). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., 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 (= Mechanisms 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 (= Mechanisms 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: Jones, G.J.F.; Lawless, S.; Gonzalo, J.; Kelly, L.; Goeuriot, L.; Mandl, T.; Cappellato, L.; Ferro, N.: 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, 10456)., ISBN 978-3-319-65812-4, 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: 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2017). St. Petersburg, Russi, 6-8 March 2017. 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 SPHERIC International Workshop. Ourense 13-15 June 2017, Universidade de Vigo, Spain. Vigo: Universidade de Vigo., ISBN 978-84-697-3678-4, S. 426 - 433.
Riek, Markus; Abramova, Svetlana; Böhme, Rainer (2017): Analyzing Persistent Impact of Cybercrime on the Societal Level: Evidence for Individual Security Behavior.
In: Proceedings of the 38th International Conference on Information Systems (ICIS 2017). Transforming Society with Digital Innovation. Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the International Conference on Information Systems (ICIS))., ISBN 978-1-5108-5369-0, S. 1287 - 1306. (Weblink)
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: 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2017). St. Petersburg, Russi, 6-8 March 2017. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE)., ISBN 978-1-5090-6058-0, S. 446 - 453. (Volltext) (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) (= Proceedings of the Internationale Tagung Wirtschaftsinformatik (WI))., 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: 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID 2017). Proceedings, 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 Annual Hawaii International Conference on System Sciences (HICSS 2017). Association for Information Systems (AIS) / AIS Electronic Library (AISeL) (= Proceedings of the Hawaii International Conference on System Sciences (HICSS))., 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, 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: 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford., S. 9 - 13. (Weblink)
Sturm, Michael; Gems, Bernhard; Aufleger, Markus; Mazzorana, Bruno; Papathoma-Köhle, Maria; Fuchs, Sven (2017): Scale model measurements of impact forces on obstacles induced by bed-load transport processes.
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. 1459 - 1468.
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 der TU München, 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.
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 (ECA), 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: 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: 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2017). St. Petersburg, Russi, 6-8 March 2017. 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, B.; Achleitner, S.; Kammerlander, J.; Einfalt, T.; Jasper-Tönnies, A.; Strehz, A.; Chiari, M. (2017): Auswirkungen des Klimawandels auf die Hydrologie und den Geschiebehaushalt alpiner Einzugsgebiete.
In: Deutsche Hydrologische Gesellschaft, Österreichische Gesellschaft für Hydrologie: 2. Workshop zur Alpinen Hydrologie. Hydrologische Prozesse im Hochgebirge im Wandel der Zeit. Abstractbook. 15.11. bis 17.11.2017, Universitätszentrum / Alpine Forschungsstelle Obergurgl. Freiburg: Deutsche Hydrologische Gesellschaft (DHG)., S. 11. (Weblink)
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: 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. 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; Gruber, Elisabeth; Hanke, Klaus; Zangerle, Eva (2017): Semantics for Mountaineering History.
In: 4th Digital Humanities Austria Conference - dha2017. Abstracts. Innsbruck: Eigenverlag - Universität Innsbruck., 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)
Hiebel, 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: Tagungsband 18. Österreichischer 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: Tagungsband 18. Österreichischer 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: 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: 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford., S. 72. (Weblink)
Pazur, R.; Bolliger, J.; Huttenlau, M.; Schneeberger, K.; Winter, B.; Achleitner, Stefan (2017): Implementing spatial plans into modelling studies of flood risk in an Alpine region.
In: IALE 2017 European Landscape Ecology Congress: From pattern and process to people and action. Ghent 12.-15.September 2017, Abstracts. International Association for Landscape Ecology (IALE)., online. (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: 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, P.; Baroni, G.; Schrön, M.; Köhli, M.; Oswald, S.; Huttenlau, M.; Achleitner, S. (2017): Monitoring of snowpack dynamics in mountainous terrain by cosmic-ray neutron sensing compared to Terrestrial Laser Scanning observations.
In: American Geohpysical Union: Book of Abstracts. American Geophysical Union (AGU) Fall Meeting 2017. New Orleans, 11-15 Dec 2017. Washington: American Geoscience Union (AGU)., online. (Weblink)
Schattan, P.; Schöber, J.; Fey, C.; Baroni, G.; Oswald, S.; Franke, T.; Huttenlau, M.; Kirnbauer, R.; Achleitner, S. (2017): Verbesserungen in der schnee-hydrologische Modellierung durch den kombinierten Einsatz von Daten aus der Fernerkundung und kontinuierlichen Neutronen Sensormessungen.
In: Deutsche Hydrologische Gesellschaft, Österreichische Gesellschaft für Hydrologie: 2. Workshop zur Alpinen Hydrologie. Hydrologische Prozesse im Hochgebirge im Wandel der Zeit. Abstractbook. 15.11. bis 17.11.2017, Universitätszentrum / Alpine Forschungsstelle Obergurgl. Freiburg: Deutsche Hydrologische Gesellschaft (DHG)., S. 11. (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. Ljubljana: 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: 6th International Workshop on Confluence (IWC 2017). Oxford: University of Oxford., S. 75. (Weblink)
Sturm, Michael; Gems, Bernhard; Aufleger, Markus; Mazzorana, Bruno; Papathoma-Köhle, Maria; Fuchs, Sven (2017): Scale model measurements of impact forces on obstacles induced by bed-load transport processes.
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-169. (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

Adam, Christoph; Butenweg, Christoph; Wenk, Thomas (2017): Generalversammlung der IAEE während der 16. Weltkonferenz für Erdbebeningenieurwesen in Santiago de Chile.
In: D-A-CH - Mitteilungsblatt 92, S. 15. (Weblink)
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)
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. Berlin: Ernst & Sohn., ISBN 978-3-433-03151-3, 8.,aktual. Auflage, S. 457 - 509. (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)
Fellin, W.; Ostermann, A.; Mittendorfer, M. (2017): UMAT Implementation of Sand Hypoplasticity. (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)
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)
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)
Simsek, Umutcan; Fensel, Anna; Kotsopoulos, Dimosthenis; Lounis, Stavros; Bardaki, Cleopatra; Nikolopoulos, Vassilis; Fotopoulou, Eleni; Zafeiropoulos, Anastasios (2017): D3.2 Environmental Friendly Lifestyle Recommenders. (Weblink)

elektronische Publikation (Preprint)

Hangl, Simon; Mennel, Andreas; Piater, Justus (2017): A novel Skill-based Programming Paradigm based on Autonomous Playing and Skill-centric Testing. (Weblink)
Mendling, Jan; Weber, Ingo; ..., ...; Weber, Barbara (2017): Blockchains for Business Process Management - Challenges and Opportunities. (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. In: proscientia.at (01/2017). (Weblink)

Publikation, sonstige transferorientierte

Adam, Chirstoph; Achs, Günther (2017): Newsletter OGE (Ausgabe 4; Dezember 2017). Wien: Österreichische Gesellschaft für Erdbebeningenieurwesen (OGE).
Adam, Christoph; Achs, Günther (2017): Newsletter OGE (Ausgabe 1; Juni 2017). Wien: Österreichische Gesellschaft für Erdbebeningenieurwesen (OGE). (Weblink)
Adam, Christoph; Achs, Günther (2017): Newsletter OGE (Ausgabe 2; August 2017). Wien: Österreichische Gesellschaft für Erdbebeningenieurwesen (OGE).
Adam, Christoph; Achs, Günther (2017): Newsletter OGE (Ausgabe 3; Oktober 2017). Wien: Österreichische Gesellschaft für Erdbebeningenieurwesen (OGE).
Medicus, Gertraud; Fellin, Wolfgang (2017): Konzepte der Barodesie. SUMMERSCHOOL HYPOPLASTIZITAT & BARODESIE Innsbruck, 19.09. - 21.09.2017. Innsbruck: Eigenverlag - Universität Innsbruck.

Forschungsdaten

Beutel, Jan; Weber, Samuel; Cicoira, Alessandro (2015-lfd): Matterhorn Cryosphere Observatory, Switzerland (Datensatz). Version 1. In: Swiss Seismological Service (SED) @ ETH Zürich. (DOI) (Weblink)

Medienbeiträge

Beitrag in Publikumszeitschrift

Klar, Robert; Steidl, Bernd; Aufleger, Markus: Auftrieb für ein Atlantis der Zukunft. Innsbrucker Forscher und Architekten entwickeln Pläne für Energiespeicher als Basis für schwimmende Städte und bauen energieautarke Fischerhäuser (Interview).
In: Der Standard - Beilage "Forschung Spezial" vom 05.07.2017. (Weblink)
Klar, Robert; Steidl, Bernd; Aufleger, Markus: Die Zukunft auf dem Wasser gebaut (Interview).
In: Tiroler Tageszeitung online vom 27.06.2017. (Weblink)
Klar, Robert; Steidl, Bernd; Aufleger, Markus: Auf dem Weg von der Utopie zur Wirklichkeit.
In: Future - Das Zukunftsmagazin der Wiener Zeitung vom 04.04.2017.
Maran, Thomas; Sachse, Pierre; Martini, Markus; Weber, B.; Pinggera, J.; Zugal, S.; Furtner, M. R.: Stressful situations really DO mess with your memory making it harder to pinpoint when and where events took place.
In: Celebrity Rave vom 09.11.2017. (Weblink)
Piater, Justus; Ramminger, Eva: Frage der Tradition.
In: zukunft forschung - Magazin für Wissenschaft und Forschung der Universität Innsbruck vom 01.12.2017. (Weblink)

Beitrag in Fernsehen / Videoplattform

Harders, Matthias: World Haptics 2017 - Bedienung durch Berührung.
In: Bayerischer Rundfunk (BR24) vom 09.06.2017. (Weblink)

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 (Web-)Radiosendung

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 Umweltingenieurwissenschaften.
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.