[Fachzeitschriftenartikel]
Cornelis, Jens; Bender, Jan Stephen; Gissler, Christoph; Ihmsen, Markus; Teschner, Matthias
An optimized source term formulation for incompressible SPH
The visual computer, 35, 4, 579-590 (2018)
[DOI: 10.1007/s00371-018-1488-8]

[News]
Henze, Martin; Glebke, René; Wehrle, Klaus
Flexible Netzwerkarchitekturen für das Internet of Production
ITG-news, 2019, 2, 7-8 (2019)

[Fachzeitschriftenartikel]
Cherchi, G.; Alliez, P.; Scateni, R.; Lyon, Max; Bommes, David
Selective Padding for Polycube‐Based Hexahedral Meshing
Computer graphics forum, 38, 1, 580-591 (2019)
[DOI: 10.1111/cgf.13593]

[Fachzeitschriftenartikel]
Hinz, Oliver; van der Aalst, Wil M. P.; Weinhardt, Christof
Blind Spots in Business and Information Systems Engineering
Business & information systems engineering, 61, 2, 133 - 135 (2019)
[DOI: 10.1007/s12599-019-00587-2]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Zeyer, Albert; Merboldt, André; Schlüter, Ralf; Ney, Hermann
A comprehensive analysis on attention models
NIPS 2018 Interpretability and Robustness for Audio, Speech and Language Workshop (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hartmanns, Arnd; Klauck, Michaela; Parker, David; Quatmann, Tim; Ruijters, Enno
The Quantitative Verification Benchmark Set
Tools and Algorithms for the Construction and Analysis of Systems / Vojnar, Tomáš (Editor) [https://orcid.org/0000-0002-2746-8792] ; Cham : Springer International Publishing, 2019, Chapter 20 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-17461-3=978-3-030-17462-0 ; doi:10.1007/978-3-030-17462-0, 344-350 (2019)
[DOI: 10.1007/978-3-030-17462-0_20]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hahn, Ernst Moritz; Hartmanns, Arnd; Hensel, Hans Christian; Klauck, Michaela; Klein, Joachim; Křetínský, Jan; Parker, David; Quatmann, Tim; Ruijters, Enno; Steinmetz, Marcel
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models
Modeling Biomolecular Site Dynamics : Methods and Protocols, 69-92 (2019)
[DOI: 10.1007/978-3-030-17502-3_5]

[Fachzeitschriftenartikel]
Tax, Niek; Alasgarov, Emin; Sidorova, Natalia; Haakma, Reinder; van der Aalst, Wil M. P.
Generating time-based label refinements to discover more precise process models
Journal of ambient intelligence and smart environments, 11, 2, 165-182 (2019)
[DOI: 10.3233/AIS-190519]

[Fachzeitschriftenartikel]
Pomprapa, Anake; Ahmed, Waqar; Stollenwerk, André; Kowalewski, Stefan; Leonhardt, Steffen
Deep Learning of Arrhythmia Analysis Based on Convolutional Neural Network
International journal of bioelectromagnetism, 21, 1, 48-58 (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Rüth, Jan Christoph; Zimmermann, Torsten; Hohlfeld, Oliver
Hidden Treasures : Recycling Large-Scale Internet Measurements to Study the Internet’s Control Plane
Passive and Active Measurement : 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27-29, 2019, Proceedings / edited by David Choffnes, Marinho Barcellos, 51-67 (2019)
[DOI: 10.1007/978-3-030-15986-3_4]

[Bachelorarbeit]
Malicevic, Daniel
Einsatz digitaler Medien in Unterrichtssituationen und medienpädagogische Kompetenz von Lehrkräften der Region
(2019)

[Fachzeitschriftenartikel]
Gissler, Christoph; Peer, Andreas; Band, Stefan; Bender, Jan Stephen; Teschner, Matthias
Interlinked SPH Pressure Solvers for Strong Fluid-Rigid Coupling
ACM transactions on graphics, 38, 1, 1 - 13 (2019)
[DOI: 10.1145/3284980]

[Beitrag zu einem Tagungsband]
Dalibor, Manuela; Jansen, Nico; Michael, Judith; Rumpe, Bernhard Dieter; Wortmann, Andreas
Towards Sustainable Systems Engineering-Integrating Tools via Component and Connector Architectures
[Antriebstechnisches Kolloquium 2019, ATK2019, 2019-03-12 - 2019-03-13, Aachen, Germany], 121-133 (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Drave, Imke Helene; Eikermann, Robert; Kautz, Oliver; Rumpe, Bernhard Dieter
Semantic Differencing of Statecharts for Object-oriented Systems
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'19), 274-282 (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Eikermann, Robert; Hölldobler, Katrin; Roth, Alexander; Rumpe, Bernhard Dieter
Reuse and Customization for Code Generators : Synergy by Transformations and Templates
Model-Driven Engineering and Software Development : 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, 34-55 (2019)
[DOI: 10.1007/978-3-030-11030-7_3]

[Bachelorarbeit]
Keus, Alexandra
Barrierefreie App-Entwicklung - Native, plattformübergreifende und Web-Apps im Vergleich
(2019)

[Fachzeitschriftenartikel]
Tarzan, Ali; Alunno, Marco; Bientinesi, Paolo
Assessment of sound spatialisation algorithms for sonic rendering with headphones
Journal of new music research, 48, 2, 107-124 (2019)
[DOI: 10.1080/09298215.2019.1572766]

[Doktorarbeit]
Kuestenmacher, Anastassia
Improving the reliability of service robots in the presence of external faults
, 1 Online-Ressource (xviii, 236 Seiten) : Illustrationen (2019)

[Beitrag zu einem Tagungsband]
Kriebel, Stefan; Raco, deni; Rumpe, Bernhard Dieter
Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?
[Software Engineering (SE) und Software Management (SWM), SE SWM, 2019-02-18 - 2019-02-22, Stuttgart, Germany], 87-94 (2019)

[Bachelorarbeit]
Schmeing, Elena
InfoSphere-Modul zum Thema Datenverarbeitung und Privatsphäre für Schülerinnen und Schüler der Mittelstufe
(2019)

[Bachelorarbeit]
Reinartz, Fabian
Schülerlabor-Modul zum Thema Datenbanken für Schülerinnen und Schüler der Oberstufe
(2019)

[Bachelorarbeit]
Döhner, Yasmin
Guideline zum Lernen mit dem Gerät über das Gerät für verschiedene Zielgruppen
(2019)

[Fachzeitschriftenartikel]
Bajpai, Vaibhav; Brunstrom, Anna; Feldmann, Anja; Kellerer, Wolfgang; Pras, Aiko; Schulzrinne, Henning; Smaragdakis, Georgios; Wählisch, Matthias; Wehrle, Klaus
The Dagstuhl beginners guide to reproducibility for experimental networking research
ACM SIGCOMM computer communication review : CCR, 49, 1, 24-30 (2019)
[DOI: 10.1145/3314212.3314217]

[Buchbeitrag, Fachzeitschriftenartikel]
Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard Dieter; Schindler, Martin
SoSyM reflections: the 2018 "State of the Journal" report
Software and systems modeling, 18, 1, 1-5 (2019)
[DOI: 10.1007/s10270-019-00715-2]

[Fachzeitschriftenartikel]
Peise, Elmar Hans; Bientinesi, Paolo
The ELAPS framework: Experimental Linear Algebra Performance Studies
The international journal of high performance computing applications, 33, 2, 353 - 365 (2019)
[DOI: 10.1177/1094342018763042]

[Doktorarbeit]
Gehre, Anne
3D shape analysis based on feature curve networks
, 1 Online-Ressource (ix, 196 Seiten) : Illustrationen (2019)

[Fachzeitschriftenartikel]
Butting, Arvid; Eikermann, Robert; Kautz, Oliver; Rumpe, Bernhard Dieter; Wortmann, Andreas
Systematic composition of independent language features
The journal of systems and software : JSS, 152, 50-69 (2019)
[DOI: 10.1016/j.jss.2019.02.026]

[Masterarbeit]
Kohnke, Yannik
Informatikunterricht in der Sekundarstufe I an Gymnasien der Städte-region Aachen
, iv, 94 Seiten : Illustrationen (2019)

[Bachelorarbeit]
Schöbel, Sven
Phishing Academy: Entwicklung und Umsetzung eines digitalen Lernspiels zu Website-URLs und Phishing
, II, 65 Seiten : Illustrationen (2019)

[Doktorarbeit]
Samsel, Christian
Ubiquitous intermodal mobility assistance
, 1 Online-Ressource (xvi, 170 Seiten) : Illustrationen, Diagramme (2019)

[Preprint]
Kim, Yunsu; Geng, Jiahui; Ney, Hermann
Improving Unsupervised Word-by-Word Translation with Language Model and Denoising Autoencoder
, 6 Seiten (2019)

[Fachzeitschriftenartikel]
Tax, Niek; Sidorova, Natalia; van der Aalst, Wil M. P.
Discovering more precise process models from event logs by filtering out chaotic activities
Journal of intelligent information systems, 52, 1, 107 - 139 (2019)
[DOI: 10.1007/s10844-018-0507-6]

[Buch, Doktorarbeit]
Matheson, Dan McKay
SAMEM: a methodology for the elicitation and specification of requirements for agile model-driven engineering of large software solutions
, xi, 390 Seiten : Illustrationen, Diagramme (2019)

[Konferenzbeitrag]
Bahar, Parnia; Zeyer, Albert; Schlüter, Ralf; Ney, Hermann
On using 2D sequence-to-sequence models for speech recognition
International Conference on Acoustics, Speech, and Signal Processing Brighton 2019-05-12 - 2019-05-17 (2019)

[Fachzeitschriftenartikel]
Schlüter, Ralf; Beck, Eugen; Ney, Hermann
Upper and Lower Tight Error Bounds for Feature Omission with an Extension to Context Reduction
IEEE transactions on pattern analysis and machine intelligence : TPAMI, 41, 2, 502-514 (2018)
[DOI: 10.1109/TPAMI.2017.2788434]

[Doktorarbeit]
Kaminski, Benjamin Lucien
Advanced weakest precondition calculi for probabilistic programs
, 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme (2019)

[Fachzeitschriftenartikel]
Ghadhab, Majdi; Junges, Jan Sebastian Lukas; Katoen, Joost-Pieter; Kuntz, Matthias; Volk, Matthias
Safety analysis for vehicle guidance systems with dynamic fault trees
Reliability engineering & system safety, 186, 37-50 (2019)
[DOI: 10.1016/j.ress.2019.02.005]

[Doktorarbeit]
Ströder, Thomas
Symbolic execution and program synthesis : a general methodology for software verification
, Online-Ressource (454 Seiten) : Illustrationen (2019)

[Doktorarbeit]
Springer, Paul
High-performance tensor operations : tensor transpositions, spin summations, and tensor contractions
, 1 Online-Ressource (xiii, 169 Seiten) : Illustrationen (2019)

[Buchbeitrag, Beitrag zu einem Tagungsband]
Hiller, Jens; Henze, Martin; Serror, Martin Henri Simon; Wagner, Eric; Richter, Jan Niklas; Wehrle, Klaus
Secure Low Latency Communication for Constrained Industrial IoT Scenarios
[43rd Conference on Local Computer Networks, LCN 2018, 2018-10-01 - 2018-10-04, Chicago, IL, USA], 614-622 (2019)
[DOI: 10.1109/LCN.2018.8638027]

[Fachzeitschriftenartikel]
Pomprapa, Anake; Ahmed, Waqar; Stollenwerk, André; Kowalewski, Stefan; Leonhardt, Steffen
Deep Learning of Arrhythmia Analysis Based onConvolutional Neural Network
International journal of bioelectromagnetism, 21, 1, 48-58 (2019)

[Doktorarbeit]
Terwelp, Christoph
Entwicklung eines Referenzmodells für Mobilitätsplattformen
, 1 Online-Ressource (ix, 151 Seiten) : Illustrationen, Diagramme (2019)

[Fachzeitschriftenartikel]
Sewall, Jason; Pennycook, S. John; Duran, Alejandro; Terboven, Christian; Tian, Xinmin; Narayanaswamy, Ravi
Developments in Memory Management in OpenMP
International journal of high performance computing and networking, 13, 1, 70-85 (2019)
[DOI: 10.1504/IJHPCN.2019.097052]

[Buchbeitrag, Fachzeitschriftenartikel]
Drave, Imke Helene; Hillemacher, Steffen; Greifenberg, Timo Herbert; Kriebel, Stefan; Kusmenko, Evgeny; Markthaler, Matthias; Orth, Philipp; Salman, Karin Samira; Richenhagen, Johannes; Rumpe, Bernhard Dieter; Schulze, Christoph; von Wenckstern, Michael; Wortmann, Andreas
SMArDT modeling for automotive software testing
Software , 49, 2, 301-328 (2018)
[DOI: 10.1002/spe.2650]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Glebke, René; Henze, Martin; Wehrle, Klaus; Niemietz, Philipp; Trauth, Daniel Harald; Mattfeld, Patrick-Marcel; Bergs, Thomas
A Case for Integrated Data Processing in Large-Scale Cyber-Physical Systems
Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS), Wailea, HI, USA, 7252-7261 (2019)
[DOI: 10.24251/HICSS.2019.871]

[Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]
Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Noll, Thomas
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
Proceedings of the ACM on programming languages, 3, POPL, 34 (2019)
[DOI: 10.1145/3290347]

[Buchbeitrag, Beitrag zu einem Tagungsband]
Decker, Normann; Pirogov, Anton
Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac, 513-534 (2019)
[DOI: 10.1007/978-3-030-11245-5_24]

[Fachzeitschriftenartikel]
Butting, Arvid; Kautz, Oliver; Rumpe, Bernhard Dieter; Wortmann, Andreas
Continuously Analyzing Finite, Message-Driven, Time-Synchronous Component & Connector Systems During Architecture Evolution
The journal of systems and software : JSS, 149, 437-461 (2018)
[DOI: 10.1016/j.jss.2018.12.016]

[Fachzeitschriftenartikel]
Gürerk, Özgür; Bönsch, Andrea; Kittsteiner, Thomas; Staffeldt, Andreas
Virtual humans as co-workers: A novel methodology to study peer effects
Journal of behavioral and experimental economics, 78, 17 - 29 (2019)
[DOI: 10.1016/j.socec.2018.11.003]

[Fachzeitschriftenartikel]
Reidl, Felix; Sanchez Villaamil, Fernando; Stavropoulos, Konstantinos
Characterising bounded expansion by neighbourhood complexity
European journal of combinatorics, 75, 152-168 (2019)
[DOI: 10.1016/j.ejc.2018.08.001]