Bibliography (as of 2017)
Showing 51 - 100 of 2661 Results
Turn Page
- First Page
- Previous Page
- 1-50
- Sie sind auf Seite:51-100
- 101-150
- 151-200
- Last Page
- Next Page
- 301-350
-
Source
-
[Journal Article]
Kiefer, Sandra; Neuen, Daniel
The Power of the Weisfeiler--Leman Algorithm to Decompose Graphs
SIAM journal on discrete mathematics, 36, 1, 252-298 (2022)
[DOI: 10.1137/20M1314987] -
[Journal Article]
Spyroglou, Odysseas; Yildirim, Cagri; Koumpis, Adamantios
Use of AI to Help Researchers Improve their Research Funding Capacities, Relevance, and Performance
International journal of semantic computing, 16, 01, 93-106 (2022)
[DOI: 10.1142/S1793351X22400050] -
[Contribution to a book, Contribution to a conference proceedings]
Hensel, Jera; Mensendiek, Constantin; Giesl, Jürgen
AProVE: Non-Termination Witnesses for C Programs
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu, 403-407 (2022)
[DOI: 10.1007/978-3-030-99527-0_21] -
[Contribution to a book, Contribution to a conference proceedings]
Grüne, Christoph Manfred; Zieger, Stephan
Demand-responsive Scheduling in Railway Transportation
Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems / Editors: Jeroen Ploeg ; Markus Helfert ; Karsten Berns and Oleg Gusikhin, 239-248 (2022)
[DOI: 10.5220/0000159900003191] -
[Contribution to a book]
Schaub, Michael Thomas; Seby, Jean-Baptist; Frantzen, Florian; Roddenberry, T. Mitchell; Zhu, Yu; Segarra, Santiago
Signal Processing on Simplicial Complexes
Higher-Order Systems / edited by Federico Battiston, Giovanni Petri, 301-328 (2022)
[DOI: 10.1007/978-3-030-91374-8_12] -
[Contribution to a conference proceedings, Journal Article]
Batz, Kevin; Gallus, Adrian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Winkler, Tobias
Weighted programming : a programming paradigm for specifying mathematical models
Proceedings of the ACM on programming languages : (PACMPL), 66 (2022)
[DOI: 10.1145/3527310] -
[Preprint]
Yang, Maosheng; Isufi, Elvin; Schaub, Michael Thomas; Leus, Geert
Simplicial Convolutional Filters
(2022) -
[Preprint]
Scholkemper, Michael; Schaub, Michael Thomas
Blind Extraction of Equitable Partitions from Graph Signals
(2022)
[DOI: 10.18154/RWTH-2022-04418] -
[Dissertation / PhD Thesis]
Sermuga Pandian, Vinoth Pandian
BlackBox toolkit: intelligent assistance to UI design
(2022)
[DOI: 10.18154/RWTH-2022-04371] -
[Journal Article]
Gray, Jeff; Rumpe, Bernhard
Modeling in advanced systems engineering
Software and systems modeling, 21, 2, 435-436 (2022)
[DOI: 10.1007/s10270-022-00999-x] -
[Contribution to a book, Journal Article]
Welten, Sascha Martin; Hempel, Lars; Abedi, Masoud; Mou, Yongli; Jaberansary, Mehrshad; Neumann, Laurenz; Weber, Sven; Tahar, Kais; Yediel, Yeliz Ucer; Löbe, Matthias; Decker, Stefan Josef; Beyan, Oya Deniz; Kirsten, Toralf
Multi-Institutional Breast Cancer Detection Using a Secure On-Boarding Service for Distributed Analytics
Applied Sciences, 12, 9, 4336 (2022)
[DOI: 10.3390/app12094336] -
[Contribution to a book, Contribution to a conference proceedings]
Bork, Alexander Nikolai; Katoen, Joost-Pieter; Quatmann, Tim
Under-Approximating Expected Total Rewards in POMDPs
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu, 22-40 (2022)
[DOI: 10.1007/978-3-030-99527-0_2] -
[Journal Article]
Kappel, Gertrude; Brecher, Christian; Brockmann, Matthias; Koren, István
Internet of production: entering phase two of industry 4.0
Communications of the ACM, 65, 4, 50-51 (2022)
[DOI: 10.1145/3514093] -
[Journal Article]
van der Aalst, Wil M. P.
European Leadership in Process Management
Communications of the ACM, 65, 4, 80-83 (2022)
[DOI: 10.1145/3511595] -
[Journal Article]
Cauchard, Jessica R.; Jarke, Matthias; Oliver, Nuria
Welcome
Communications of the ACM : CACM, 65, 4, 32-34 (2022)
[DOI: 10.1145/3514188] -
[Contribution to a conference proceedings, Journal Article]
Weik, Norman; Volk, Matthias; Katoen, Joost-Pieter; Nießen, Nils
DFT modeling approach for operational risk assessment of railway infrastructure
International journal on software tools for technology transfer : STTT, 24, 3, 331-350 (2022)
[DOI: 10.1007/s10009-022-00652-4] -
[Journal Article]
Jeske, Stefan Rhys; Simon, Marek Sebastian; Semenov, Oleksii; Kruska, Jan; Mokrov, Oleg; Sharma, Rahul; Reisgen, Uwe; Bender, Jan Stephen
Quantitative evaluation of SPH in TIG spot welding
Computational particle mechanics : CPM (2022)
[DOI: 10.1007/s40571-022-00465-x] -
[Contribution to a book, Contribution to a conference proceedings]
Batz, Kevin; Fesefeldt, Ira Justus; Jansen, Marvin; Katoen, Joost-Pieter; Keßler, Florian; Matheja, Christoph; Noll, Thomas
Foundations for Entailment Checking in Quantitative Separation Logic
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Ilya Sergey, 57-84 (2022)
[DOI: 10.1007/978-3-030-99336-8_3] -
[Journal Article]
Gray, Jeff; Rumpe, Bernhard
Explicit versus implicit models : What are good languages for modeling?
Software and systems modeling, 21, 3, 839-841 (2022)
[DOI: 10.1007/s10270-022-01001-4] -
[Contribution to a book, Contribution to a conference proceedings]
Winkler, Tobias; Gehnen, Christina; Katoen, Joost-Pieter
Model Checking Temporal Properties of Recursive Probabilistic Programs
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Patricia Bouyer, Lutz Schröder, 449-469 (2022)
[DOI: 10.1007/978-3-030-99253-8_23] -
[Contribution to a book]
Korth, Susanne; Lange, Christina; Rexing, Volker; Noichl, Svenja; Bozkurt, Askim; Goos, Ulrich
Digitale Gamebooks zur Strukturierung handlungsorientierter Lernaufgaben
Digitalisierung beruflicher Lern- und Arbeitsprozesse : Impulse aus der Bauwirtschaft und anderen gewerblich-technischen Sektoren / Mahrin, Bernd; Krümmel, Stefan, 282-296 (2022)
[DOI: 10.14279/depositonce-12453] -
[Journal Article]
Munoz-Gama, Jorge; Martin, Niels; Fernandez-Llatas, Carlos; Johnson, Owen A.; Sepúlveda, Marcos; Helm, Emmanuel; Galvez-Yanjari, Victor; Rojas, Eric; Martinez-Millana, Antonio; Aloini, Davide; Amantea, Ilaria Angela; Andrews, Robert; Arias, Michael; Beerepoot, Iris; Benevento, Elisabetta; Burattin, Andrea; Capurro, Daniel; Carmona, Josep; Comuzzi, Marco; Dalmas, Benjamin; de la Fuente, Rene; Di Francescomarino, Chiara; Di Ciccio, Claudio; Gatta, Roberto; Ghidini, Chiara; Gonzalez-Lopez, Fernanda; Ibanez-Sanchez, Gema; Klasky, Hilda B.; Prima Kurniati, Angelina; Lu, Xixi; Mannhardt, Felix; Mans, Ronny; Marcos, Mar; Medeiros de Carvalho, Renata; Pegoraro, Marco; Poon, Simon K.; Pufahl, Luise; Reijers, Hajo A.; Remy, Simon; Rinderle-Ma, Stefanie; Sacchi, Lucia; Seoane, Fernando; Song, Minseok; Stefanini, Alessandro; Sulis, Emilio; ter Hofstede, Arthur H. M.; Toussaint, Pieter J.; Traver, Vicente; Valero-Ramon, Zoe; van de Weerd, Inge; van der Aalst, Wil M. P.; Vanwersch, Rob; Weske, Mathias; Wynn, Moe Thandar; Zerbato, Francesca
Process mining for healthcare: Characteristics and challenges
Journal of biomedical informatics, 127, 103994 (2022)
[DOI: 10.1016/j.jbi.2022.103994] -
[Journal Article]
Hilder, Janine; Pijn, Daniel; Onishchenko, Oleksiy; Stahl, Alexander; Orth, Maximilian; Lekitsch, Björn; Rodriguez-Blanco, Andrea; Müller, Markus; Schmidt-Kaler, Ferdinand; Poschinger, Ulrich
Fault-Tolerant Parity Readout on a Shuttling-Based Trapped-Ion Quantum Computer
Physical review / X, 12, 1, 011032 (2022)
[DOI: 10.1103/PhysRevX.12.011032] -
[Journal Article]
Mihale-Wilson, Cristina; Hinz, Oliver; van der Aalst, Wil M. P.; Weinhardt, Christof
Corporate Digital Responsibility : Relevance and Opportunities for Business and Information Systems Engineering
Business & information systems engineering, 64, 2, 127-132 (2022)
[DOI: 10.1007/s12599-022-00746-y] -
[Book, Dissertation / PhD Thesis]
Kühnel, Stefan
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Aachener Informatik Berichte Software Engineering 51 (2022)
[DOI: 10.18154/RWTH-2022-02794] -
[Contribution to a book, Contribution to a conference proceedings]
Tran, Lan Anh; Hensen, Benedikt; Klamma, Ralf; Chantaraskul, Soamsiri
Privacy and Security in Mixed Reality Learning Environments by Input and User/Bot Interaction Protection
2022 4th Asia Pacific Information Technology Conference, 63-71 (2022)
[DOI: 10.1145/3512353.3512363] -
[Preprint]
Grädel, Erich; Helal, Hayyan; Naaf, Matthias Ferdinand; Wilke, Richard
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics
(2022)
[DOI: 10.48550/arXiv.2203.03425] -
[Contribution to a book, Journal Article]
Messerschmidt, Moritz Alexander; Muthukumarana, Sachith; Hamdan, Nur Al-huda; Wagner, Adrian; Zhang, Haimo; Borchers, Jan Oliver; Nanayakkara, Suranga Chandima
ANISMA: A Prototyping Toolkit to Explore Haptic Skin Deformation Applications Using Shape-Memory Alloys
ACM transactions on computer human interaction : TOCHI, 29, 3, 1-34 (2022)
[DOI: 10.1145/3490497] -
[Contribution to a book, Contribution to a conference proceedings]
van der Aalst, Wil M. P.; Santos, Luis F. R.
May I Take Your Order? : On the Interplay Between Time and Order in Process Mining
Business process management workshops : BPM 2021 International Workshops, Rome, Italy, September 6-10, 2021 : revised selected papers / Andrea Marrella, Barbara Weber (eds.), 99-110 (2022)
[DOI: 10.1007/978-3-030-94343-1_8] -
[Journal Article]
Müller, Kai Bruno; Buschmann, Daniel; Cramer, Simon Tristan; Enslin, Chrismarie; Fischer, Markus; Janke, Tim; Kemmerling, Marco; Pelzer, Lukas; Pourbafrani, Mahsa; Samsonov, Vladimir; Schlegel, Peter; Schmitz, Seth; Schopen, Marco; Schmitt, Robert H.; Gries, Thomas
Entscheidungsunterstützung im Produktionsmanagement
Zeitschrift für wirtschaftlichen Fabrikbetrieb, 117, 3, 98-103 (2022)
[DOI: 10.1515/zwf-2022-1015] -
[Master Thesis]
Niewianda, Rene
Are you still listening? Measuring attention in online meetings
(2022) -
[Bachelor Thesis]
Dao, Van Huy
Development of a hand detection on a large-area textile capacitive pressure sensor matrix
(2022) -
[Contribution to a book, Journal Article]
Hopmann, Christian; Fritsche, Daniel; Hohlweck, Tobias; Nehring-Wirxel, Julius Peter
Variable Offset Computation Space for Automatic Cooling Dimensioning
Polymers, 14, 4, 762 (2022)
[DOI: 10.3390/polym14040762] -
[Journal Article]
Schuster, Daniel; van Zelst, Sebastiaan Johannes; van der Aalst, Wil M. P.
Utilizing domain knowledge in data-driven process discovery : A literature review
Computers in industry, 137, 103612 (2022)
[DOI: 10.1016/j.compind.2022.103612] -
[Contribution to a book, Contribution to a conference proceedings]
Koschmider, Agnes; Kaczmarek, Kay; Krause, Mathias; van Zelst, Sebastiaan Johannes
Demystifying Noise and Outliers in Event Logs: Review and Future Directions
Business process management workshops : BPM 2021 International Workshops, Rome, Italy, September 6-10, 2021 : revised selected papers / Andrea Marrella, Barbara Weber (eds.), 123-135 (2022)
[DOI: 10.1007/978-3-030-94343-1_10] -
[Contribution to a book, Contribution to a conference proceedings]
Macak, Martin; Daubner, Lukas; Fani Sani, Mohammadreza; Buhnova, Barbora
Cybersecurity Analysis via Process Mining : A Systematic Literature Review
Advanced Data Mining and Applications : 17th International Conference, ADMA 2021, Sydney, NSW, Australia, February 2-4, 2022, Proceedings, Part I / edited by Bohan Li, Lin Yue, Jing Jiang, Weitong Chen, Xue Li, Guodong Long, Fei Fang, Han Yu, 393-407 (2022)
[DOI: 10.1007/978-3-030-95405-5_28] -
[Contribution to a book, Journal Article]
Theissen-Lipp, Johannes; Kröger, Moritz; Heinrichs, Benedikt Paul Anton; Decker, Stefan Josef
LISSU: Continuous Monitoring of SOA Communication with Constraint-Based Validation
SN Computer Science, 3, 4, 293 (2022)
[DOI: 10.1007/s42979-022-01170-5] -
[Master Thesis]
Söltzer, Yanik; Brocker, Annabell
An xAPI logging interface for JupyterLab with a focus on gamification
(2022)
[DOI: 10.18154/RWTH-2022-02340] -
[Dissertation / PhD Thesis]
Kim, Yunsu
Neural machine translation for low-resource scenarios
(2022)
[DOI: 10.18154/RWTH-2022-02241] -
[Journal Article]
Karim, Md. Rezaul; Cochez, Michael; Zappa, Achille; Sahay, Ratnesh; Rebholz-Schuhmann, Dietrich; Beyan, Oya Deniz; Decker, Stefan Josef
Convolutional Embedded Networks for Population Scale Clustering and Bio-Ancestry Inferencing
IEEE ACM transactions on computational biology and bioinformatics, 19, 1, 369-382 (2020, 2022)
[DOI: 10.1109/TCBB.2020.2994649] -
[Dataset]
Žarić, Nađa
Dataset for: PEGAM - a Personalized Gamification design Model for programming language e-courses
(2022)
[DOI: 10.18154/RWTH-2022-02055] -
[Dissertation / PhD Thesis]
Žarić, Nađa
PEGAM - a personalized gamification design model for programming language e-courses
(2022)
[DOI: 10.18154/RWTH-2022-02018] -
[Contribution to a book, Contribution to a conference proceedings]
Aydin, Selin; Steffens, Andreas; Lichter, Horst
Automated Construction of Continuous Delivery Pipelines from Architecture Models
2021 28th Asia-Pacific Software Engineering Conference (APSEC), 306-316 (2022)
[DOI: 10.1109/APSEC53868.2021.00038] -
[Preprint]
Ghahfarokhi, Anahita Farhang; van der Aalst, Wil M. P.
A Python Tool for Object-Centric Process Mining Comparison
(2022)
[DOI: 10.18154/RWTH-2022-01943] -
[Preprint]
Farhang Ghahfarokhi, Anahita; Ghahfarokhi, Anahita Farhang; Park, Gyunam; van der Aalst, Wil M. P.
A Scalable Database for the Storage of Object-Centric Event Logs
(2022)
[DOI: 10.18154/RWTH-2022-01942] -
[Contribution to a book, Contribution to a conference proceedings]
Heck, Linus; Spel, Jip Josephine; Junges, Sebastian; Moerman, Joshua; Katoen, Joost-Pieter
Gradient-Descent for Randomized Controllers Under Partial Observability
Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / edited by Bernd Finkbeiner, Thomas Wies, 127-150 (2022)
[DOI: 10.1007/978-3-030-94583-1_7] -
[Journal Article]
Ergin, Huseyin; Gray, Jeff; Rumpe, Bernhard; Schindler, Martin
SoSyM reflections : the 2021 'state of the journal' report
Software and Systems Modeling, 21, 1, 1-7 (2022)
[DOI: 10.1007/s10270-022-00979-1] -
[Journal Article]
van Gaalen, Kerstin; Gremse, Felix; Benn, Felix; McHugh, Peter E.; Kopp, Alexander; Vaughan, Ted J.
Automated ex-situ detection of pitting corrosion and its effect on the mechanical integrity of rare earth magnesium alloy - WE43
Bioactive materials, 8, 545-558 (2021, 2022)
[DOI: 10.1016/j.bioactmat.2021.06.024] -
[Journal Article]
Moerman, Joshua; Sammartino, Matteo
Residuality and Learning for Nondeterministic Nominal Automata
Logical methods in computer science : LMCS, 18, 1, 29 (2022)
[DOI: 10.46298/lmcs-18(1:29)2022] -
[Journal Article]
Brauner, Philipp; Dalibor, Manuela; Jarke, Matthias; Kunze, Ike Sebastian; Koren, István; Lakemeyer, Gerhard; Liebenberg, Martin Roland; Michael, Judith; Pennekamp, Jan; Quix, Christoph; Rumpe, Bernhard; van der Aalst, Wil M. P.; Wehrle, Klaus; Wortmann, Andreas; Ziefle, Martina
A Computer Science Perspective on Digital Transformation in Production
ACM transactions on internet of things, 3, 2, 1-32 (2022)
[DOI: 10.1145/3502265]
Turn Page
- First Page
- Previous Page
- 1-50
- Sie sind auf Seite:51-100
- 101-150
- 151-200
- Last Page
- Next Page
- 301-350