Department of Computer Science

Latest additions:

2022-10-04 14:43	Scenario-based verification of uncertain parametric MDPs Badings, T. (Corresponding author) ; Cubuktepe, M. ; Jansen, N. ; Junges, S. ; ; et al International journal on software tools for technology transfer : STTT _ DOI: 10.1007/s10009-022-00673-z Journal Article 2022
2022-10-04 11:48	OC-PM: analyzing object-centric event logs and process models Berti, A. (Corresponding author) ; van der Aalst, W. M. P. International journal on software tools for technology transfer : STTT DOI: 10.1007/s10009-022-00668-w Journal Article 2022
2022-10-04 08:52	Modeling of, for, and with digital twins Gray, J. ; Rumpe, B. (Corresponding author) Software and systems modeling 21(5), Seiten/Artikel-Nr.:1685-1686 DOI: 10.1007/s10270-022-01046-5 Journal Article 2022
2022-10-03 16:00	Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining Berger, P. ; Lenze, W. ; Noll, T. ; Schotten, S. ; ; et al Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman, Seiten/Artikel-Nr: 121-133 DOI: 10.1007/978-3-031-15008-1_9 Contribution to a book/Contribution to a conference proceedings 2022
2022-10-03 13:33	POMDP Controllers with Optimal Budget Spel, J. J. (Corresponding author) ; Stein, S. ; Katoen, J.-P. Quantitative evaluation of systems : 19th international conference, QEST 2022 Warsaw, Poland, September 12–16, 2022, proceedings / Erika Ábrahám, Marco Paolieri (eds.), Seiten/Artikel-Nr: 107-130 DOI: 10.1007/978-3-031-16336-4_6 Contribution to a book/Contribution to a conference proceedings 2022
2022-09-27 11:07	Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming Wang, Q. ; Chen, M. (Corresponding author) ; Xue, B. ; Zhan, N. (Corresponding author) ; ; et al Information and computation TBD, Seiten/Artikel-Nr.:104965 DOI: 10.1016/j.ic.2022.104965 Journal Article 2022
2022-09-27 10:23	On-the-Fly Calculation of Model Factors for Multi-paradigm Applications Protze, J. (Corresponding author) ; Orland, F. ; Haldar, K. ; Koritzius, T. ; ; et al Euro-Par 2022: Parallel Processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / edited by José Cano, Phil Trinder, Seiten/Artikel-Nr: 69-84 DOI: 10.1007/978-3-031-12597-3_5 Contribution to a book/Contribution to a conference proceedings 2022
2022-09-27 10:16	Too many or too few Standards Setters? Evidence from the Performance of Firms engaged in Standardization Riillo, C. A. F. (Corresponding author) ; Jakobs, K. (Corresponding author) The journal of technology transfer DOI: 10.1007/s10961-022-09951-z Journal Article 2022
2022-09-26 11:49	Automated Machine Learning for COVID-19 Forecasting Tetteroo, J. ; Baratchi, M. (Corresponding author) ; Hoos, H. H. IEEE access 10, Seiten/Artikel-Nr.:94718-94737 DOI: 10.1109/ACCESS.2022.3202220 Journal Article 2022
2022-09-20 12:05	50 Jahre Studiengang Informatik an der RWTH Aachen : Ein Streifzug in Text und Bild Bolke-Hermanns, H.-M. (Redactor) ; Indermark, K. (Redactor) ; Katoen, J.-P. (Redactor) ; Kowalewski, S. (Redactor) ; ; et al URL: https://www.informatik.rwth-aachen.de/global/show_document.asp?id=aaaaaaaabqpuxyx Report (ResearchPaper) 2022

RWTH

RWTH Aachen - Startseite

Universitätsbibliothek

Kontakt

RWTH Publications

Allgemeines