Autor*innen | Titel | Quelle |
B. Aichernig, P. Bauerstätter, E. Jöbstl, S. Kann, R. Korosec, W. Krenn, C. Mateis, R. Schlick, R. Schumi | "Learning and statistical model checking of system response times" | Software Quality Journal, 27 (2019), S. 757 - 795 |
X. Cheng, M. Sarihan, K. Chang, Y. Lee, F. Laudenbach, H. Ye, Z. Yu, C. Wong | "Design of spontaneous parametric down-conversion in integrated hybrid SixNy-PPLN waveguides" | Optics Express, 27 (2019), S. 30773 |
A. Fellner, W. Krenn, R. Schlick, T. Tarrach, G. Weissenbacher | "Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search" | ACM Transactions on Embedded Computing Systems, 1 (2019), 18; S. 4:1 - 4:28 |
T. Ferrère, O. Maler, D. Nickovic, A. Pnueli | "From Real-time Logic to Timed Automata" | Journal of ACM, 66 (2019), 3; S. 1 - 31 |
W. Frühwirt, G. Dorffner, S. Roberts, M. Gerstgrasser, D. Grossegger, R. Schmidt, P. Dal-Bianco, G. Ransmayr, H. Garn, M. Waser, T. Benke | "Associations of event-related brain potentials and Alzheimer´s disease severity: A longitudinal study" | Progress In Neuro-Psychopharmacology & Biological Psychiatry, 92 (2019), S. 31 - 38 |
M. Gall, B. Kohn, C Wiesmeyr, R. van Sluijs, E. Wilhelm, Q. Rondei, L. Jäger, P. Achermann, H. Landolt, O. Jenni, R. Riener, H. Garn, C. Hill | "A Novel Approach to Assess Sleep-Related Rhythmic Movement Disorder in Children Using Automatic 3D Analysis" | Frontiers in Psychiatry, 10 (2019), S. 709 |
T. Gruber, L. Pomante, V. Muttillo, B. Krena, T. Vojnar, F. Veljkovic, P. Magnin, M. Matschnig, B. Fischer, J. Martinez | "The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle" | Microprocessors and Microsystems, 69 (2019), S. 54 - 67 |
N. Holighaus, C Wiesmeyr, P. Zdenek | "A class of warped filter bank frames tailored to non-linear frequency scales" | Journal of Fourier Analysis and Applications, 26 (2020), 1; S. 22 - 59 |
F. Laudenbach, B. Schrenk, Ch. Pacher, M. Hentschel, C. Fung, F. Karinou, A. Poppe, M. Peev, H. Hübel | "Pilot-assisted intradyne reception for high-speed continuous-variable quantum key distribution with true local oscillator" | Quantum, 3 (2019), S. 193 |
J. Nurmi, K. Knittle, T. Ginchev, F. Khattak, C. Helf, P. Zwickl, C. Castellano-Tejedor, P. Lusilla-Palacios, J. Costa-Requena, N. Revaja, A. Haukkala | "Engaging Users in the Behavior Change Process With Digitalized Motivational Interviewing and Gamification: Development and Feasibility Testing of the Precious App" | JMIR mHealth and uHealth, 8 (2020), 1; S. 1 - 30 |
A. Preinerstorfer, H. Humer | "FCC Physics Opportunities" | European Physical Journal C, 79:474 (2019), S. 1 - 161 |
A. Preinerstorfer, H. Humer | "FCC-ee: The Lepton Collider-Future Circular Collider Conceptual Design Report Volume 2" | European Physical Journal-Special Topics, The European Physics Journal Special Topics (2019), 228:2; S. 261 - 623 |
C. Sanchez, G. Schneider, W. Ahrendt, E. Bartocci, D. Bianculli, C. Colombo, Y. Falcone, A. Francalanza, S. Krstic, J. Lourenco, D. Nickovic, G. Pace, J. Rufino, J. Signoles, D. Traytel, A. Weiss | "A survey of challenges for runtime verification from advanced application domains (beyond software)" | Formal Methods in System Design, 3 (2019), 54; S. 279 - 335 |
E. Schoitsch, D. Schneider, J. Braband, S. Uhrig, S. Katzenbeisser | "Safety and Security Coengineering in Embedded Systems (Editorial)" | Security And Communication Networks, Special Issue (2019), 2 S. |
B. Schrenk, F. Karinou | "Analog Coherent TDMA Receiver With Fast Locking to Free-Running Optical Emitters [Top-Scored]" | Journal Of Lightwave Technology, 38 (2020), 2; S. 379 - 385 |
B. Schrenk, F. Karinou | "Photonic Add-Drop-Gate Node Element Based on EML Technology" | Journal Of Lightwave Technology, Vol 37, No. 16 (2019), 16; S. 3979 - 3986 |
S. Seidel, H. Garn, M. Gall, B. Kohn, C Wiesmeyr, M. Waser, C. Coronel, A. Stefanic-Kejik, M. Böck, M. Wimmer, M. Mandl, B. Högl, G. Klösch | "Contactless detection of periodic leg movements during sleep: A 3D video pilot study" | Journal of Sleep Research, 1 (2020), 8 S. |
R Stütz | "Methodological considerations with data uncertainty in road safety analysis" | Accident Analysis and Prevention, 130 (2019), S. 136 - 150 |
M. Waser, T. Benke, P. Dal-Bianco, H. Garn, J. Mosbacher, G. Ransmayr, R. Schmidt, S. Seiler, H. Sorensen, P. Jennum | "Neuroimaging markers of global cognition in early Alzheimer's disease: A magnetic resonance imaging - electroencephalography study" | Brain and Behavior, 9:e01197 (2019), S. 1 - 11 |
C Wiesmeyr, M. Litzenberger, M. Waser, A. Papp, H. Garn, G. Neunteufel, H. Döller | "Real-Time Train Tracking from Distributed Acoustic Sensing Data" | Applied Sciences, 10 (2020), 10; S. 448 - 450 |
T. Zemen, D. Löschenbrand, M. Hofer, Ch. Pacher, B. Rainer | "Orthogonally precoded massive MIMO for high mobility scenarios" | IEEE Access, 7 (2019), 1; S. 132979 - 132990 |