CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
A. R. Balasubramanian, K. S. Thejaswini
Veröffentlicht in:
32nd International Conference on Concurrency Theory, CONCUR 2021, Ausgabe 203, 2021, Seite(n) 17:1 -- 17:15, ISBN 978-3-95977-203-7
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2021.17
Autoren:
Martin Helfrich, Milan Ceska, Jan Kretínský, Stefan Marticek
Veröffentlicht in:
20th International Conference on Computational Methods in Systems Biology, CMSB 2022, 2022, Seite(n) 41--60, ISBN 978-3-031-15034-0
Herausgeber:
Springer
DOI:
10.1007/978-3-031-15034-0_3
Autoren:
Czerner, Philipp; Guttenberg, Roland; Helfrich, Martin; Esparza, Javier
Veröffentlicht in:
1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Ausgabe 221, 2022, Seite(n) 11:1--11:17, ISBN 978-3-95977-224-2
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.sand.2022.11
Autoren:
Michael Blondin, Javier Esparza
Veröffentlicht in:
25th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2022, 2022, Seite(n) 81--100
Herausgeber:
Springer
DOI:
10.1007/978-3-030-99253-8_5
Autoren:
Balasubramanian, A. R.; Guillou, Lucie; Weil-Kennedy, Chana
Veröffentlicht in:
25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, 2022, Seite(n) 61–80, ISBN 978-3-030-99253-8
Herausgeber:
Springer
DOI:
10.1007/978-3-030-99253-8_4
Autoren:
Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer
Veröffentlicht in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Ausgabe 12225, 2020, Seite(n) 372-397, ISBN 978-3-030-53290-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_20
Autoren:
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Veröffentlicht in:
12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, 2021, Seite(n) 1--17
Herausgeber:
Electronic Proceedings in Theoretical Computer Science 346 (EPTCS)
DOI:
10.4204/eptcs.346.1
Autoren:
Roland Guttenberg, Mikhail A. Raskin, Javier Esparza
Veröffentlicht in:
34th International Conference on Concurrency Theory, CONCUR 2023, 2023
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2023.6
Autoren:
Javier Esparza, Mikhail A. Raskin, Christoph Welzel
Veröffentlicht in:
42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, Ausgabe 12734, 2021, Seite(n) 141--163
Herausgeber:
Springer
DOI:
10.1007/978-3-030-76983-3_8
Autoren:
Ruben Becker, Arnaud Casteigts, Pierluigi Crescenzi, Bojana Kodric, Malte Renken, Michael Raskin, Viktor Zamaraev
Veröffentlicht in:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, 2023
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.approx/random.2023.29
Autoren:
Philipp Czerner
Veröffentlicht in:
2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, 2023
Herausgeber:
ACM
DOI:
10.1145/3583668.3594571
Autoren:
Balasubramanian, A.R.
Veröffentlicht in:
16th International Conference on Reachability Problems, RP 2022, Ausgabe 13608, 2022, Seite(n) 125--139, ISBN 978-3-031-19135-0
Herausgeber:
Springer
DOI:
10.1007/978-3-031-19135-0_9
Autoren:
A. R. Balasubramanian, Timo Lang, Revantha Ramanayake
Veröffentlicht in:
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, 2021, Seite(n) 1--13
Herausgeber:
IEEE
DOI:
10.1109/lics52264.2021.9470733
Autoren:
Raskin, Michael
Veröffentlicht in:
The 15th European Lisp Symposium, ELS 2022, Ausgabe 3, 2022
Herausgeber:
Zenodo
DOI:
10.5281/zenodo.6308532
Autoren:
A. R. Balasubramanian, Igor Walukiewicz
Veröffentlicht in:
31st International Conference on Concurrency Theory, CONCUR 2020, Ausgabe 171, 2020, Seite(n) 9:1--9:18
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2020.9
Autoren:
Nathalie Bertrand, Marijana Lazic, Josef Widder
Veröffentlicht in:
22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, 2021, Seite(n) 219--239
Herausgeber:
Springer
DOI:
10.1007/978-3-030-67067-2_11
Autoren:
Orna Kupferman, Salomon Sickert
Veröffentlicht in:
Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Ausgabe 12650, 2021, Seite(n) 385-405, ISBN 978-3-030-71994-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-71995-1_20
Autoren:
Philipp Czerner; Javier Esparza
Veröffentlicht in:
The 2021 ACM Symposium on Principles of Distributed Computing, PODC 2021, Ausgabe 2, 2021, Seite(n) 45--54
Herausgeber:
Association for Computing Machinery (ACM)
DOI:
10.1145/3465084.3467912
Autoren:
A. R. Balasubramanian; Chana Weil-Kennedy
Veröffentlicht in:
12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Ausgabe 1, 2021, Seite(n) 18--34
Herausgeber:
Electronic Proceedings in Theoretical Computer Science 346 (EPTCS)
DOI:
10.48550/arxiv.2109.08315
Autoren:
Balasubramanian, A. R.
Veröffentlicht in:
33rd International Conference on Concurrency Theory, CONCUR 2022, Ausgabe 243, 2022, Seite(n) 17:1--17:19, ISBN 978-3-95977-246-4
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2022.17
Autoren:
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Veröffentlicht in:
Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, 2020
Herausgeber:
Springer
DOI:
10.1007/978-3-030-50086-3_11
Autoren:
Mikhail Raskin, Chana Weil-Kennedy, Javier Esparza
Veröffentlicht in:
31st International Conference on Concurrency Theory, CONCUR 2020, Ausgabe 171, 2020, Seite(n) 45:1--45:19
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2020.45
Autoren:
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
Veröffentlicht in:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Ausgabe 12302, 2020, Seite(n) 550-556, ISBN 978-3-030-59151-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_32
Autoren:
Michael Blondin, Christoph Haase, Filip Mazowiecki, Mikhail Raskin
Veröffentlicht in:
29th International Conference on Concurrency Theory, CONCUR 2018, 2018, Seite(n) 14:1--14:17, ISBN 978-3-95977-087-3
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2018.14
Autoren:
Philipp Czerner; Roland Guttenberg; Martin Helfrich; Javier Esparza
Veröffentlicht in:
The 2021 ACM Symposium on Principles of Distributed Computing, PODC 2021, Ausgabe 13, 2021
Herausgeber:
Association for Computing Machinery (ACM)
DOI:
10.48550/arxiv.2102.11630
Autoren:
Javier Esparza, Ruben Rubio, Salomon Sickert
Veröffentlicht in:
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, Ausgabe 13660, 2022, Seite(n) 208--227
Herausgeber:
Springer
DOI:
10.1007/978-3-031-22337-2_10
Autoren:
Javier Esparza, Pierre Ganty, Rupak Majumdar, Chana Weil-Kennedy
Veröffentlicht in:
29th International Conference on Concurrency Theory, CONCUR 2018, 2018, ISBN 978-3-95977-087-3
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2018.31
Autoren:
Michael Blondin, Javier Esparza, Antonín Kučera
Veröffentlicht in:
29th International Conference on Concurrency Theory, CONCUR 2018, 2018, ISBN 978-3-95977-087-3
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.CONCUR.2018.33
Autoren:
Javier Esparza, Mikhail Raskin, Chana Weil-Kennedy
Veröffentlicht in:
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings, Ausgabe 11522, 2019, Seite(n) 365-385, ISBN 978-3-030-21570-5
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-21571-2_20
Autoren:
Idan Berkovits, Marijana Lazić, Giuliano Losa, Oded Padon, Sharon Shoham
Veröffentlicht in:
Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Ausgabe 11562, 2019, Seite(n) 245-266, ISBN 978-3-030-25542-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-25543-5_15
Autoren:
Philipp J. Meyer, Javier Esparza, Philip Offtermatt
Veröffentlicht 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 II, Ausgabe 11428, 2019, Seite(n) 154-171, ISBN 978-3-030-17464-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17465-1_9
Autoren:
Mikhail Raskin, Christoph Welzel
Veröffentlicht in:
12-th European Lisp Symposium, ELS 2019, 2019
Herausgeber:
ELS
DOI:
10.5281/zenodo.2633990
Autoren:
Michael Blondin, Javier Esparza, Stefan Jaax
Veröffentlicht in:
30th International Conference on Concurrency Theory, CONCUR 2019, 2019, Seite(n) 31:1--31:16, ISBN 978-3-95977-121-4
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.31
Autoren:
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
Veröffentlicht in:
30th International Conference on Concurrency Theory, CONCUR 2019, 2019, Seite(n) 33:1--33:15, ISBN 978-3-95977-121-4
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2019.33
Autoren:
Helmut Seidl, Christian Müller, Bernd Finkbeiner
Veröffentlicht in:
Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings, Ausgabe 11990, 2020, Seite(n) 426-448, ISBN 978-3-030-39321-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-39322-9_20
Autoren:
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
Veröffentlicht in:
37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Ausgabe volume 154, 2020, Seite(n) 40:1--40:15, ISBN 978-3-95977-140-5
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.stacs.2020.40
Autoren:
Eric Goubault, Marijana Lazic, Jeremy Ledent, Sergio Rajsbaum
Veröffentlicht in:
33rd International Symposium on Distributed Computing, DISC 2019, Ausgabe Volume 146, 2019, Seite(n) 21:1--21:16, ISBN 978-3-95977-126-9
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.disc.2019.21
Autoren:
Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
Veröffentlicht in:
Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Ausgabe 12005, 2020, Seite(n) 53-70, ISBN 978-3-030-38807-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-38808-9_4
Autoren:
Michael Raskin, Mark Simkin
Veröffentlicht in:
Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II, Ausgabe 11922, 2019, Seite(n) 537-563, ISBN 978-3-030-34620-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-34621-8_19
Autoren:
Mikhail Raskin
Veröffentlicht in:
Algorithms for Sensor Systems, ALGOSENSORS 2021, Ausgabe 12961, 2021, Seite(n) 140--154, ISBN 978-3-030-89240-1
Herausgeber:
Springer
DOI:
10.1007/978-3-030-89240-1_10
Autoren:
Stefan Jaax, Stefan Kiefer
Veröffentlicht in:
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, 2020
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.mfcs.2020.48
Autoren:
Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel
Veröffentlicht 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, Ausgabe 12078, 2020, Seite(n) 228-246, ISBN 978-3-030-45189-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-45190-5_13
Autoren:
Michael Blondin, Mikhail Raskin
Veröffentlicht in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 224-236, ISBN 9781-450371049
Herausgeber:
ACM
DOI:
10.1145/3373718.3394741
Autoren:
Salomon Sickert, Javier Esparza
Veröffentlicht in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 831-844, ISBN 9781-450371049
Herausgeber:
ACM
DOI:
10.1145/3373718.3394743
Autoren:
A. R. Balasubramanian
Veröffentlicht in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 130-140, ISBN 9781-450371049
Herausgeber:
ACM
DOI:
10.1145/3373718.3394753
Autoren:
Michael Raskin, Chana Weil-Kennedy
Veröffentlicht in:
Reachability Problems - 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings, Ausgabe 12448, 2020, Seite(n) 99-114, ISBN 978-3-030-61738-7
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-61739-4_7
Autoren:
Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar
Veröffentlicht in:
35th International Conference on Computer Aided Verification, CAV 2023, 2023
Herausgeber:
Springer
DOI:
10.1007/978-3-031-37709-9_21
Autoren:
Philipp Czerner, Stefan Jaax
Veröffentlicht in:
Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Ausgabe 12650, 2021, Seite(n) 164-183, ISBN 978-3-030-71994-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-71995-1_9
Autoren:
Antonio Casares, Alexandre Duret-Lutz, Klara J. Meyer, Florian Renkin, Salomon Sickert
Veröffentlicht in:
28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, 2022, Seite(n) 99--117
Herausgeber:
Springer
DOI:
10.1007/978-3-030-99527-0_6
Autoren:
Esparza, Javier; Raskin, Mikhail; Welzel, Christoph
Veröffentlicht in:
33rd International Conference on Concurrency Theory, CONCUR 2022, Ausgabe 1, 2022, Seite(n) 23:1 -- 23:19, ISBN 978-3-95977-246-4
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.concur.2022.23
Autoren:
A. R. Balasubramanian, Javier Esparza, Marijana Lazić
Veröffentlicht in:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings, Ausgabe 12302, 2020, Seite(n) 144-160, ISBN 978-3-030-59151-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-59152-6_8
Autoren:
Bertrand, Nathalie ; Gramoli, Vincent ; Konnov, Igor ; Lazić, Marijana ; Tholoniat, Pierre ; Widder, Josef
Veröffentlicht in:
36th International Symposium on Distributed Computing, DISC 2022, Ausgabe 246, 2022, Seite(n) 10:1--10:24, ISBN 978-3-95977-255-6
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.disc.2022.10
Autoren:
Balasubramanian, A. R.
Veröffentlicht in:
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, Ausgabe 213, 2021, Seite(n) 35:1--35:16, ISBN 978-3-95977-215-0
Herausgeber:
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.fsttcs.2021.35
Autoren:
Raskin, Michael
Veröffentlicht in:
The 14th European Lisp Symposium, ELS 2021, Ausgabe 4, 2021, ISSN 2677-3465
Herausgeber:
Zenodo
DOI:
10.5281/zenodo.4724166
Autoren:
A. R. Balasubramanian, Javier Esparza, Mikhail Raskin
Veröffentlicht in:
Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Ausgabe 12650, 2021, Seite(n) 42-61, ISBN 978-3-030-71994-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-71995-1_3
Autoren:
Javier Esparza, Fabian Reiter
Veröffentlicht in:
31st International Conference on Concurrency Theory, CONCUR 2020, Ausgabe 171, 2020, Seite(n) 10:1--10:16
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI:
10.4230/lipics.concur.2020.10
Autoren:
Esparza, Javier
Veröffentlicht in:
Reachability Problems - 15th International Conference, RP 2021, 2021, Seite(n) 28--51, ISBN 978-3-030-89716-1
Herausgeber:
Springer
DOI:
10.1007/978-3-030-89716-1_3
Autoren:
Arnaud Casteigts, Michael Raskin, Malte Renken, Viktor Zamaraev
Veröffentlicht in:
62nd Annual Symposium on Foundations of Computer Science, FOCS 2022, 2022, Seite(n) 319-326, ISBN 978-1-6654-2055-6
Herausgeber:
IEEE
DOI:
10.1109/focs52979.2021.00040
Autoren:
Christian Müller
Veröffentlicht in:
2020
Herausgeber:
Technical University of Munich
Autoren:
Martin Helfrich
Veröffentlicht in:
2023
Herausgeber:
Technical University of Munich
Autoren:
A.R. Balasubramanian
Veröffentlicht in:
2023
Herausgeber:
Technical University of Munich
Autoren:
Chana Weil-Kennedy
Veröffentlicht in:
2023
Herausgeber:
Technical University of Munich
Autoren:
Christoph Welzel-Mohr
Veröffentlicht in:
2023
Herausgeber:
Technical University of Munich
Autoren:
Philipp Klara Johanna Meyer
Veröffentlicht in:
2021
Herausgeber:
Technical University of Munich
Autoren:
Stefan Jaax
Veröffentlicht in:
2020
Herausgeber:
Technical University of Munich
Autoren:
Javier Esparza, Mikhail Raskin, Christoph Welzel
Veröffentlicht in:
Logical Methods in Computer Science, 2023, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.48550/arxiv.2205.03060
Autoren:
Hans van Ditmarsch, Éric Goubault, Marijana Lazić, Jérémy Ledent, Sergio Rajsbaum
Veröffentlicht in:
Journal of Logical and Algebraic Methods in Programming, Ausgabe 121, 2021, Seite(n) 100662, ISSN 2352-2208
Herausgeber:
Elsevier
DOI:
10.1016/j.jlamp.2021.100662
Autoren:
A. R. Balasubramanian
Veröffentlicht in:
Information and Computation, Ausgabe Volume 278, 2021, ISSN 0890-5401
Herausgeber:
Academic Press
DOI:
10.1016/j.ic.2020.104592
Autoren:
Javier Esparza, Jan Křetínský, Salomon Sickert
Veröffentlicht in:
Journal of the ACM, Ausgabe 67/6, 2020, Seite(n) 1-61, ISSN 0004-5411
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3417995
Autoren:
Igor Konnov; Marijana Lazić; Ilina Stoilkovska; Josef Widder
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 19, Ausgabe 1, 2023, Seite(n) 5:1 -- 5:37, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.48550/arxiv.2011.14789
Autoren:
Philipp Czerner, Javier Esparza, Jérôme Leroux
Veröffentlicht in:
Distributed Computing, 2023, ISSN 1432-0452
Herausgeber:
Springer
DOI:
10.1007/s00446-023-00450-4
Autoren:
Javier Esparza; Mikhail Raskin; Christoph Welzel
Veröffentlicht in:
Fundamental Informaticae, Ausgabe 1, 2022, Seite(n) 197--243, ISSN 0169-2968
Herausgeber:
IOS Press
DOI:
10.3233/fi-222137
Autoren:
Javier Esparza, Jan Křetínský, Jean-François Raskin, Salomon Sickert
Veröffentlicht in:
International Journal on Software Tools for Technology Transfer, Ausgabe 24, 2022, Seite(n) 635–659, ISSN 1433-2779
Herausgeber:
Springer Verlag
DOI:
10.1007/s10009-022-00663-1
Autoren:
Javier Esparza, Rubén Rubio, Salomon Sickert
Veröffentlicht in:
Journal of the ACM, 2023, ISSN 0004-5411
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.48550/arxiv.2310.12613
Autoren:
Michael Luttenberger, Philipp J. Meyer, Salomon Sickert
Veröffentlicht in:
Acta Informatica, 2019, ISSN 0001-5903
Herausgeber:
Springer Verlag
DOI:
10.1007/s00236-019-00349-3
Autoren:
Kristoffer Arnsfelt Hansen, Mikhail Raskin
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 305, 2019, Seite(n) 83-90, ISSN 2075-2180
Herausgeber:
Electronic Proceedings in Theoretical Computer Science
DOI:
10.4204/eptcs.305.6
Autoren:
Bruno Courcelle, Irène Durand, Michael Raskin
Veröffentlicht in:
Moscow Journal of Combinatorics and Number Theory, Ausgabe 9/3, 2020, Seite(n) 253-291, ISSN 2640-7361
Herausgeber:
Mathematical Sciences Publishers
DOI:
10.2140/moscow.2020.9.253
Autoren:
Michael Blondin ; Christoph Haase ; Filip Mazowiecki ; Mikhail Raskin
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 17, Ausgabe 3, 2021, Seite(n) 1:1–1:26, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-17(3:1)2021
Autoren:
Philipp Czerner, Roland Guttenberg, Martin Helfrich, Javier Esparza
Veröffentlicht in:
Journal of Computer and System Sciences, 2023, ISSN 0022-0000
Herausgeber:
Academic Press
DOI:
10.1016/j.jcss.2023.103481
Autoren:
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
Veröffentlicht in:
Formal Methods in System Design, 2021, ISSN 0925-9856
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10703-021-00367-3
Autoren:
Orna Kupferman; Salomon Sickert
Veröffentlicht in:
Foundations of Software Science and Computation Structures, Ausgabe 1, 2021, Seite(n) 385--405, ISSN 0302-9743
Herausgeber:
Springer Verlag
DOI:
10.48550/arxiv.2101.08756
Autoren:
Javier Esparza, Stefan Jaax, Mikhail Raskin, Chana Weil-Kennedy
Veröffentlicht in:
Distributed Computing, Ausgabe 34/2, 2021, Seite(n) 133-177, ISSN 0178-2770
Herausgeber:
Springer Verlag
DOI:
10.1007/s00446-021-00390-x
Autoren:
Michael Blondin ; Mikhail Raskin
Veröffentlicht in:
Logical Methods in Computer Science, Ausgabe Volume 17, Ausgabe 3, 2021, ISSN 1860-5974
Herausgeber:
Technischen Universitat Braunschweig
DOI:
10.46298/lmcs-17(3:3)2021
Autoren:
Mikhail Raskin
Veröffentlicht in:
Theoretical Computer Science, Ausgabe Volume 940, Part A, 2023, Seite(n) 269--282, ISSN 0304-3975
Herausgeber:
Elsevier BV
DOI:
10.1016/j.tcs.2022.11.006
Autoren:
Nathalie Bertrand, Igor Konnov, Marijana Lazić, Josef Widder
Veröffentlicht in:
International Journal on Software Tools for Technology Transfer, Ausgabe 23, 2021, Seite(n) 797--821, ISSN 1433-2779
Herausgeber:
Springer Verlag
DOI:
10.1007/s10009-020-00603-x
Autoren:
Jacobs, Swen; Bloem, Roderick; Colange, Maximilien; Faymonville, Peter; Finkbeiner, Bernd; Khalimov, Ayrat; Klein, Felix; Luttenberger, Michael; Meyer, Philipp J.; Michaud, Thibaud; Sakr, Mouhammad; Sickert, Salomon; Tentrup, Leander; Walker, Adam
Veröffentlicht in:
The 5th Reactive Synthesis Competition, SYNTCOMP 2018, 2019
Herausgeber:
none
DOI:
10.48550/arxiv.1904.07736
Autoren:
Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker
Veröffentlicht in:
The 5th Reactive Synthesis Competition, SYNTCOMP 2018, Ausgabe Yearly report, 2019
Herausgeber:
none
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor