-
Source
Author(s)
-
Fischer, Dennis
Woeginger, Gerhard
-
Hofmann, Till
Eltester, Sebastian
Viehmann, Tarik
Limpert, Nicolas
Mataré, Victor
et al.
-
Mataré, Victor
Schiffer, Stefan
Ferrein, Alexander Antoine
Viehmann, Tarik
Hofmann, Till
et al.
-
Hofmann, Till
Lakemeyer, Gerhard
-
Vargas Koch, Laura
-
Katoen, Joost-Pieter
Ritzert, Martin Alexander Felix
Wilke, Richard
Dannert, Katrin
Lindner, Peter
et al.
-
[Contribution to a book, Contribution to a conference proceedings]
The Effective Residual Capacity in Railway Networks with Predefined Train Services In: [Ebook] Operations Research Proceedings 2019 : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 / Neufeld, Janis S. ; Buscher, Udo ; Lasch, Rainer ; Möst, Dominik ; Schönberger, Jörn 1st ed. 2020, Cham, 725-731, 2020
[DOI:
10.1007/978-3-030-48439-2]
Weik, Norman
Hemminki, Emma
Nießen, Nils
-
Haehn, Rebecca
Ábrahám, Erika
Nießen, Nils
-
Klinkenberg, Lutz
Batz, Kevin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Moerman, Joshua
et al.
-
Anapolska, Mariia
Büsing, Christina Maria Katharina
Comis, Martin
Krabs, Tabea Claudia
-
Weik, Norman
Warg, Jennifer
Johansson, Ingrid
Bohlin, Markus
Nießen, Nils
-
Weik, Norman
Nießen, Nils
-
Isenhöfer, Laura
Zieger, Stephan
-
Ashok, Pranav
Chatterjee, Krishnendu
Křetínský, Jan
Weininger, Maximilian
Winkler, Tobias
-
[Contribution to a book, Contribution to a conference proceedings]
Stochastic Games with Lexicographic Reachability-Safety Objectives In: Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : Proceedings, Part II / Shuvendu K. Lahiri, Chao Wang (eds), 398-420, 2020
[DOI:
10.1007/978-3-030-53291-8_21]
Chatterjee, Krishnendu
Katoen, Joost-Pieter
Weininger, Maximilian
Winkler, Tobias
-
Hartmanns, Arnd
Junges, Sebastian
Katoen, Joost-Pieter
Quatmann, Tim
-
Grohe, Martin
Kaminski, Benjamin Lucien
Katoen, Joost-Pieter
Lindner, Peter
-
Winterer, Leonore
Junges, Sebastian
Wimmer, Ralf
Jansen, Nils
Topcu, Ufuk
et al.
-
[Contribution to a book, Contribution to a conference proceedings]
Scenario-Based Verification of Uncertain MDPs In: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 287-305, 2020
[DOI:
10.1007/978-3-030-45190-5_16]
Cubuktepe, Murat
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
Topcu, Ufuk
-
Klinger, Andreas Gabriel
Wüller, Stefan
Traverso, Giulia
Meyer, Ulrike
-
Büsing, Christina Maria Katharina
Schmitz, Sabrina
Anapolska, Mariia
Theis, Sabine
Wille, Matthias
et al.
-
Hofmann, Till
Niemueller, Tim
Lakemeyer, Gerhard
-
Weik, Norman
-
[Contribution to a book, Contribution to a conference proceedings]
Polynomial Loops: Beyond Termination In: Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 279-297, 2020
[DOI:
10.29007/nxv1]
Hark, Marcel
Frohn, Florian
Giesl, Jürgen
-
[Contribution to a book, Contribution to a conference proceedings]
Freight Train Scheduling in Railway Systems In: Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings / edited by Holger Hermanns, 225-241, 2020
[DOI:
10.1007/978-3-030-43024-5_14]
Haehn, Rebecca
Ábrahám, Erika
Nießen, Nils
-
[Contribution to a book, Contribution to a conference proceedings]
Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata In: Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Jean Goubault-Larrecq, Barbara König, 522-541, 2020
[DOI:
10.1007/978-3-030-45231-5_27]
Löding, Christof
Pirogov, Anton
-
Grohe, Martin
Lindner, Peter
-
Hark, Marcel
Kaminski, Benjamin Lucien
Giesl, Jürgen
Katoen, Joost-Pieter
-
Junges, Sebastian
-
[Contribution to a book, Contribution to a conference proceedings]
Waiting for Trains: Complexity Results In: Algorithms and Discrete Applied Mathematics : 6th International Conference, CALDAM 2020, Hyderabad, India, February 13-15, 2020 : Proceedings / Manoj Changat, Sandip Das (Eds.), 282-303, 2020
[DOI:
10.1007/978-3-030-39219-2_24]
Tauer, Björn Frederik
Fischer, Dennis
Fuchs, Janosch
Vargas Koch, Laura
Zieger, Stephan
-
Hoelzel, Matthias
Wilke, Richard
-
[Contribution to a conference proceedings]
Identifying and Reducing Performance Uncertainty in UK Railway Timetables In: IRSA 2019 : Tagungsband, Proceedings : 2nd International Railway Symposium Aachen, Aachen, Germany, 26-28 November 2019 / Herausgeber Univ.-Prof. Dr. ir. Dr. h. c. De Doncker, Rik W. (Institut für Stromrichtertechnik und elektrische Antriebe (ISEA), Aachen), Univ.-Prof. Dr.-Ing. Nießen, Nils (Verkehrswissenschaftliches Institut (VIA), Aachen), Univ.-Prof. Dr.-Ing. Schindler, Christian (Institut für Schienenfahrzeuge und Transportsysteme (IFS)/Institute of Rail Vehicles and Transport Systems, 288-305, 2020
Armstrong, John
Zieger, Stephan
Preston, John
Nießen, Nils
-
Jacke, Tobias
Dickenbrok, Björn
Friesen, Nadine
Liebhold, Alexandra Angelika
Nießen, Nils
-
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
-
[Contribution to a book, Contribution to a conference proceedings]
Nash Flows Over Time with Spillback In: Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2019) : San Diego, California, USA, 6-9 January 2019 / editor: Timothy M. Chan. - Volume 2, 2019
Sering, Leon
Vargas Koch, Laura
-
Khan, Shahid
Katoen, Joost-Pieter
Volk, Matthias
Bouissou, Marc
-
Ritzert, Martin Alexander Felix
Grienenberger, Emilie
-
[Contribution to a book, Contribution to a conference proceedings]
Counterexample-Driven Synthesis for Probabilistic Program Sketches In: Formal methods - the next 30 years : third world congress, FM 2019, Porto, Portugal, October 7-11, 2019, proceedings / Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.), 101-120, 2019
[DOI:
10.1007/978-3-030-30942-8_8]
Češka, Milan
Hensel, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter
-
[Contribution to a book, Contribution to a conference proceedings]
Shepherding Hordes of Markov Chains In: Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. - Part 2 / edited by Tomáš Vojnar, Lijun Zhang, 172-190, 2019
[DOI:
10.1007/978-3-030-17465-1_10]
Češka, Milan
Jansen, Nils
Junges, Sebastian
Katoen, Joost-Pieter
-
[Contribution to a book, Contribution to a conference proceedings]
Are Parametric Markov Chains Monotonic? In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 479-496, 2019
[DOI:
10.1007/978-3-030-31784-3_28]
Spel, Jip Josephine
Junges, Sebastian
Katoen, Joost-Pieter
-
Winkler, Tobias
Junges, Sebastian
Pérez, Guillermo A.
Katoen, Joost-Pieter
-
Grädel, Erich
Dannert, Katrin M.
-
[Contribution to a book, Contribution to a conference proceedings]
Scheduling Games with Machine-Dependent Priority Lists In: Web and internet economics : 15th International Conference, WINE 2019, New York, NY, USA, December 10-12, 2019 : proceedings / Ioannis Caragiannis, Vahab Mirrokni, Evdokia Nikolova (eds.), 286-300, 2019
[DOI:
10.1007/978-3-030-35389-6_21]
Schröder, Marc
Tamir, Tami
Ravindran Vijayalakshmi, Vipin
-
Dreier, Jan
Fuchs, Janosch
Hartmann, Tim A.
Kuinke, Philipp
Rossmanith, Peter
et al.
-
Niemüller, Tim Dieter
Hofmann, Till
Lakemeyer, Gerhard
-
Hofmann, Till
Limpert, Nicolas
Mataré, Victor
Ferrein, Alexander
Lakemeyer, Gerhard
-
Schmidt, Malte
Weik, Norman
Zieger, Stephan
Schmeink, Anke
Nießen, Nils
-
Gotte, Thorsten
Ravindran Vijayalakshmi, Vipin
Scheideler, Christian
-
[Contribution to a book, Contribution to a conference proceedings]
Engineering Controllers For Swarm Robotics Via Reachability Analysis In Hybrid Systems In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 : June 11th-June 14th, 2019, Caserta, Italy : communications of the ECMS, volume 33, issue 1, June 2019 / edited by: Mauro Iacono, Francesco Palmieri, Marco Gribaudo, Massimo Ficco ; organized by: ECMS - European Council for Modelling and Simulation ; hosted by: Università degli Studi della Campania "Luigi Vanvitelli", 7 Seiten, 2019
[DOI:
10.7148/2019-0407]
Leofante, Francesco
Schupp, Stefan
Ábrahám, Erika
Tacchella, Armando
-
[Contribution to a book, Contribution to a conference proceedings]
New Optimizations and Heuristics for Determinization of Büchi Automata In: Automated technology for verification and analysis : 17th International symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019 : proceedings / Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza (eds.), 317-333, 2019
[DOI:
10.1007/978-3-030-31784-3_18]
Löding, Christof
Pirogov, Anton