×
Author ID: finkbeiner.bernd Recent zbMATH articles by "Finkbeiner, Bernd"
Published as: Finkbeiner, Bernd; Finkbeiner, B.

Publications by Year

Citations contained in zbMATH Open

73 Publications have been cited 413 times in 215 Documents Cited by Year
Bounded synthesis. Zbl 1141.68491
Schewe, Sven; Finkbeiner, Bernd
44
2007
Algorithms for model checking HyperLTL and HyperCTL\(^*\). Zbl 1381.68161
Finkbeiner, Bernd; Rabe, Markus N.; Sánchez, César
27
2015
Semi-automatic distributed synthesis. Zbl 1170.68539
Finkbeiner, Bernd; Schewe, Sven
24
2005
Monitoring hyperproperties. Zbl 1425.68254
Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander
19
2019
Encodings of bounded synthesis. Zbl 1452.68118
Faymonville, Peter; Finkbeiner, Bernd; Rabe, Markus N.; Tentrup, Leander
18
2017
Synthesis of asynchronous systems. Zbl 1196.68142
Schewe, Sven; Finkbeiner, Bernd
15
2007
Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124
Schewe, Sven; Finkbeiner, Bernd
14
2006
Deciding hyperproperties. Zbl 1392.68248
Finkbeiner, Bernd; Hahn, Christopher
13
2016
The first-order logic of hyperproperties. Zbl 1402.03036
Finkbeiner, Bernd; Zimmermann, Martin
12
2017
Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
12
2017
Directed model checking with distance-preserving abstractions. Zbl 1178.68338
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas
11
2006
Bounded synthesis for Petri games. Zbl 1443.68110
Finkbeiner, Bernd
11
2015
Checking finite traces using alternating automata. Zbl 1073.68053
Finkbeiner, Bernd; Sipma, Henny
10
2004
Fast DQBF refutation. Zbl 1423.68447
Finkbeiner, Bernd; Tentrup, Leander
10
2014
Coordination logic. Zbl 1287.03070
Finkbeiner, Bernd; Schewe, Sven
9
2010
Program repair for hyperproperties. Zbl 1437.68112
Bonakdarpour, Borzoo; Finkbeiner, Bernd
8
2019
Model checking information flow in reactive systems. Zbl 1326.68182
Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut
7
2012
Probabilistic hyperproperties of Markov decision processes. Zbl 1517.68228
Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem
7
2020
Lazy synthesis. Zbl 1326.68183
Finkbeiner, Bernd; Jacobs, Swen
6
2012
Synthesis in distributed environments. Zbl 1491.68121
Finkbeiner, Bernd; Gölz, Paul
6
2018
A temporal logic for asynchronous hyperproperties. Zbl 1493.68205
Baumeister, Jan; Coenen, Norine; Bonakdarpour, Borzoo; Finkbeiner, Bernd; Sánchez, César
6
2021
Synthesizing reactive systems from hyperproperties. Zbl 1511.68153
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
6
2018
AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
6
2020
Slicing abstractions. Zbl 1141.68457
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
5
2007
LTL path checking is efficiently parallelizable. Zbl 1248.68252
Kuhtz, Lars; Finkbeiner, Bernd
5
2009
Synthesis from hyperproperties. Zbl 1435.68194
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
5
2020
Model checking quantitative hyperproperties. Zbl 1511.68154
Finkbeiner, Bernd; Hahn, Christopher; Torfah, Hazem
5
2018
Weak Kripke structures and LTL. Zbl 1343.68155
Kuhtz, Lars; Finkbeiner, Bernd
4
2011
Abstraction refinement for games with incomplete information. Zbl 1248.68327
Dimitrova, Rayna; Finkbeiner, Bernd
4
2008
Slicing abstractions. Zbl 1154.68079
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
4
2008
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
4
2005
Detecting unrealizability of distributed fault-tolerant systems. Zbl 1448.03018
Finkbeiner, Bernd; Tentrup, Leander
4
2015
Software verification of hyperproperties beyond \(k\)-safety. Zbl 1514.68122
Beutner, Raven; Finkbeiner, Bernd
4
2022
Efficient parallel path checking for linear-time temporal logic with past and bounds. Zbl 1253.68221
Kuhtz, Lars; Finkbeiner, Bernd
4
2012
Synthesis of fault-tolerant distributed systems. Zbl 1262.68116
Dimitrova, Rayna; Finkbeiner, Bernd
3
2009
Template-based controller synthesis for timed systems. Zbl 1352.68128
Finkbeiner, Bernd; Peter, Hans-Jörg
3
2012
A temporal logic for strategic hyperproperties. Zbl 07730626
Beutner, Raven; Finkbeiner, Bernd
3
2021
Causality-based verification of multi-threaded programs. Zbl 1390.68187
Kupriyanov, Andrey; Finkbeiner, Bernd
3
2013
Petri games: synthesis of distributed systems with causal memory. Zbl 1464.68241
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
3
2014
Translating asynchronous games for distributed synthesis. Zbl 07649934
Beutner, Raven; Finkbeiner, Bernd; Hecking-Harbusch, Jesko
3
2019
Causality-based game solving. Zbl 1493.68203
Baier, Christel; Coenen, Norine; Finkbeiner, Bernd; Funke, Florian; Jantsch, Simon; Siber, Julian
3
2021
Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115
Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias
2
2006
Is your software on dope? Formal analysis of surreptitiously “enhanced” programs. Zbl 1485.68059
D’Argenio, Pedro R.; Barthe, Gilles; Biewer, Sebastian; Finkbeiner, Bernd; Hermanns, Holger
2
2017
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2
2015
Counterexample-guided synthesis of observation predicates. Zbl 1374.68083
Dimitrova, Rayna; Finkbeiner, Bernd
2
2012
Bounded cycle synthesis. Zbl 1411.68066
Finkbeiner, Bernd; Klein, Felix
2
2016
Runtime enforcement of hyperproperties. Zbl 1497.68291
Coenen, Norine; Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Schillo, Yannick
2
2021
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
2
2020
Model checking data flows in concurrent network updates. Zbl 1437.68115
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
2
2019
Explaining hyperproperty violations. Zbl 1514.68127
Coenen, Norine; Dachselt, Raimund; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Horak, Tom; Metzger, Niklas; Siber, Julian
2
2022
Dependency-based compositional synthesis. Zbl 1517.68234
Finkbeiner, Bernd; Passing, Noemi
2
2020
Realizing \(\omega\)-regular hyperproperties. Zbl 1478.68157
Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Tentrup, Leander
2
2020
Semi-automatic distributed synthesis. Zbl 1112.68095
Schewe, Sven; Finkbeiner, Bernd
1
2007
Distributed synthesis for alternating-time logics. Zbl 1141.68516
Schewe, Sven; Finkbeiner, Bernd
1
2007
Ein Wertiterationsalgorithmus für unendliche sequentielle Entscheidungsprozesse mit Diskontierung. Zbl 0213.45701
Finkbeiner, B.; Runggaldier, W.
1
1969
Direct algorithms in quadratic programming. Zbl 0253.90041
Finkbeiner, B.; Kall, P.
1
1973
Monitoring parametric temporal logic. Zbl 1428.68184
Faymonville, Peter; Finkbeiner, Bernd; Peled, Doron
1
2014
Subsequence invariants. Zbl 1160.68464
Dräger, Klaus; Finkbeiner, Bernd
1
2008
Symmetric synthesis. Zbl 1491.68109
Ehlers, Rüdiger; Finkbeiner, Bernd
1
2018
Compositional synthesis of modular systems. Zbl 1497.68300
Finkbeiner, Bernd; Passing, Noemi
1
2021
Bounded synthesis of reactive programs. Zbl 1517.68236
Gerstacker, Carsten; Klein, Felix; Finkbeiner, Bernd
1
2018
Approximate automata for omega-regular languages. Zbl 1437.68095
Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem
1
2019
How to win first-order safety games. Zbl 07228518
Seidl, Helmut; Müller, Christian; Finkbeiner, Bernd
1
2020
Information flow guided synthesis. Zbl 1514.68130
Finkbeiner, Bernd; Metzger, Niklas; Moses, Yoram
1
2022
Explainable reactive synthesis. Zbl 1517.68223
Baumeister, Tom; Finkbeiner, Bernd; Torfah, Hazem
1
2020
The density of linear-time properties. Zbl 1495.68133
Finkbeiner, Bernd; Torfah, Hazem
1
2017
Model checking algorithms for hyperproperties (invited paper). Zbl 1472.68088
Finkbeiner, Bernd
1
2021
Counting models of linear-time temporal logic. Zbl 1407.68288
Finkbeiner, Bernd; Torfah, Hazem
1
2014
Temporal causality in reactive systems. Zbl 1522.68304
Coenen, Norine; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Metzger, Niklas; Siber, Julian
1
2022
Reactive safety. Zbl 1457.68163
Ehlers, Rüdiger; Finkbeiner, Bernd
1
2011
Specifying and verifying secrecy in workflows with arbitrarily many agents. Zbl 1398.68341
Finkbeiner, Bernd; Seidl, Helmut; Müller, Christian
1
2016
Synthesizing skeletons for reactive systems. Zbl 1398.68342
Finkbeiner, Bernd; Torfah, Hazem
1
2016
Temporal hyperproperties. Zbl 1416.03013
Finkbeiner, Bernd
1
2017
Software verification of hyperproperties beyond \(k\)-safety. Zbl 1514.68122
Beutner, Raven; Finkbeiner, Bernd
4
2022
Explaining hyperproperty violations. Zbl 1514.68127
Coenen, Norine; Dachselt, Raimund; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Horak, Tom; Metzger, Niklas; Siber, Julian
2
2022
Information flow guided synthesis. Zbl 1514.68130
Finkbeiner, Bernd; Metzger, Niklas; Moses, Yoram
1
2022
Temporal causality in reactive systems. Zbl 1522.68304
Coenen, Norine; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Metzger, Niklas; Siber, Julian
1
2022
A temporal logic for asynchronous hyperproperties. Zbl 1493.68205
Baumeister, Jan; Coenen, Norine; Bonakdarpour, Borzoo; Finkbeiner, Bernd; Sánchez, César
6
2021
A temporal logic for strategic hyperproperties. Zbl 07730626
Beutner, Raven; Finkbeiner, Bernd
3
2021
Causality-based game solving. Zbl 1493.68203
Baier, Christel; Coenen, Norine; Finkbeiner, Bernd; Funke, Florian; Jantsch, Simon; Siber, Julian
3
2021
Runtime enforcement of hyperproperties. Zbl 1497.68291
Coenen, Norine; Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Schillo, Yannick
2
2021
Compositional synthesis of modular systems. Zbl 1497.68300
Finkbeiner, Bernd; Passing, Noemi
1
2021
Model checking algorithms for hyperproperties (invited paper). Zbl 1472.68088
Finkbeiner, Bernd
1
2021
Probabilistic hyperproperties of Markov decision processes. Zbl 1517.68228
Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem
7
2020
AdamMC: a model checker for Petri nets with transits against Flow-LTL. Zbl 1478.68156
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
6
2020
Synthesis from hyperproperties. Zbl 1435.68194
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
5
2020
Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010
2
2020
Dependency-based compositional synthesis. Zbl 1517.68234
Finkbeiner, Bernd; Passing, Noemi
2
2020
Realizing \(\omega\)-regular hyperproperties. Zbl 1478.68157
Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Tentrup, Leander
2
2020
How to win first-order safety games. Zbl 07228518
Seidl, Helmut; Müller, Christian; Finkbeiner, Bernd
1
2020
Explainable reactive synthesis. Zbl 1517.68223
Baumeister, Tom; Finkbeiner, Bernd; Torfah, Hazem
1
2020
Monitoring hyperproperties. Zbl 1425.68254
Finkbeiner, Bernd; Hahn, Christopher; Stenger, Marvin; Tentrup, Leander
19
2019
Program repair for hyperproperties. Zbl 1437.68112
Bonakdarpour, Borzoo; Finkbeiner, Bernd
8
2019
Translating asynchronous games for distributed synthesis. Zbl 07649934
Beutner, Raven; Finkbeiner, Bernd; Hecking-Harbusch, Jesko
3
2019
Model checking data flows in concurrent network updates. Zbl 1437.68115
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger
2
2019
Approximate automata for omega-regular languages. Zbl 1437.68095
Dimitrova, Rayna; Finkbeiner, Bernd; Torfah, Hazem
1
2019
Synthesis in distributed environments. Zbl 1491.68121
Finkbeiner, Bernd; Gölz, Paul
6
2018
Synthesizing reactive systems from hyperproperties. Zbl 1511.68153
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander
6
2018
Model checking quantitative hyperproperties. Zbl 1511.68154
Finkbeiner, Bernd; Hahn, Christopher; Torfah, Hazem
5
2018
Symmetric synthesis. Zbl 1491.68109
Ehlers, Rüdiger; Finkbeiner, Bernd
1
2018
Bounded synthesis of reactive programs. Zbl 1517.68236
Gerstacker, Carsten; Klein, Felix; Finkbeiner, Bernd
1
2018
Encodings of bounded synthesis. Zbl 1452.68118
Faymonville, Peter; Finkbeiner, Bernd; Rabe, Markus N.; Tentrup, Leander
18
2017
The first-order logic of hyperproperties. Zbl 1402.03036
Finkbeiner, Bernd; Zimmermann, Martin
12
2017
Petri games: synthesis of distributed systems with causal memory. Zbl 1362.68211
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
12
2017
Is your software on dope? Formal analysis of surreptitiously “enhanced” programs. Zbl 1485.68059
D’Argenio, Pedro R.; Barthe, Gilles; Biewer, Sebastian; Finkbeiner, Bernd; Hermanns, Holger
2
2017
The density of linear-time properties. Zbl 1495.68133
Finkbeiner, Bernd; Torfah, Hazem
1
2017
Temporal hyperproperties. Zbl 1416.03013
Finkbeiner, Bernd
1
2017
Deciding hyperproperties. Zbl 1392.68248
Finkbeiner, Bernd; Hahn, Christopher
13
2016
Bounded cycle synthesis. Zbl 1411.68066
Finkbeiner, Bernd; Klein, Felix
2
2016
Specifying and verifying secrecy in workflows with arbitrarily many agents. Zbl 1398.68341
Finkbeiner, Bernd; Seidl, Helmut; Müller, Christian
1
2016
Synthesizing skeletons for reactive systems. Zbl 1398.68342
Finkbeiner, Bernd; Torfah, Hazem
1
2016
Algorithms for model checking HyperLTL and HyperCTL\(^*\). Zbl 1381.68161
Finkbeiner, Bernd; Rabe, Markus N.; Sánchez, César
27
2015
Bounded synthesis for Petri games. Zbl 1443.68110
Finkbeiner, Bernd
11
2015
Detecting unrealizability of distributed fault-tolerant systems. Zbl 1448.03018
Finkbeiner, Bernd; Tentrup, Leander
4
2015
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008
2
2015
Fast DQBF refutation. Zbl 1423.68447
Finkbeiner, Bernd; Tentrup, Leander
10
2014
Petri games: synthesis of distributed systems with causal memory. Zbl 1464.68241
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger
3
2014
Monitoring parametric temporal logic. Zbl 1428.68184
Faymonville, Peter; Finkbeiner, Bernd; Peled, Doron
1
2014
Counting models of linear-time temporal logic. Zbl 1407.68288
Finkbeiner, Bernd; Torfah, Hazem
1
2014
Causality-based verification of multi-threaded programs. Zbl 1390.68187
Kupriyanov, Andrey; Finkbeiner, Bernd
3
2013
Model checking information flow in reactive systems. Zbl 1326.68182
Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut
7
2012
Lazy synthesis. Zbl 1326.68183
Finkbeiner, Bernd; Jacobs, Swen
6
2012
Efficient parallel path checking for linear-time temporal logic with past and bounds. Zbl 1253.68221
Kuhtz, Lars; Finkbeiner, Bernd
4
2012
Template-based controller synthesis for timed systems. Zbl 1352.68128
Finkbeiner, Bernd; Peter, Hans-Jörg
3
2012
Counterexample-guided synthesis of observation predicates. Zbl 1374.68083
Dimitrova, Rayna; Finkbeiner, Bernd
2
2012
Weak Kripke structures and LTL. Zbl 1343.68155
Kuhtz, Lars; Finkbeiner, Bernd
4
2011
Reactive safety. Zbl 1457.68163
Ehlers, Rüdiger; Finkbeiner, Bernd
1
2011
Coordination logic. Zbl 1287.03070
Finkbeiner, Bernd; Schewe, Sven
9
2010
LTL path checking is efficiently parallelizable. Zbl 1248.68252
Kuhtz, Lars; Finkbeiner, Bernd
5
2009
Synthesis of fault-tolerant distributed systems. Zbl 1262.68116
Dimitrova, Rayna; Finkbeiner, Bernd
3
2009
Abstraction refinement for games with incomplete information. Zbl 1248.68327
Dimitrova, Rayna; Finkbeiner, Bernd
4
2008
Slicing abstractions. Zbl 1154.68079
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
4
2008
Subsequence invariants. Zbl 1160.68464
Dräger, Klaus; Finkbeiner, Bernd
1
2008
Bounded synthesis. Zbl 1141.68491
Schewe, Sven; Finkbeiner, Bernd
44
2007
Synthesis of asynchronous systems. Zbl 1196.68142
Schewe, Sven; Finkbeiner, Bernd
15
2007
Slicing abstractions. Zbl 1141.68457
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike
5
2007
Semi-automatic distributed synthesis. Zbl 1112.68095
Schewe, Sven; Finkbeiner, Bernd
1
2007
Distributed synthesis for alternating-time logics. Zbl 1141.68516
Schewe, Sven; Finkbeiner, Bernd
1
2007
Satisfiability and finite model property for the alternating-time \(\mu \)-calculus. Zbl 1225.68124
Schewe, Sven; Finkbeiner, Bernd
14
2006
Directed model checking with distance-preserving abstractions. Zbl 1178.68338
Dräger, Klaus; Finkbeiner, Bernd; Podelski, Andreas
11
2006
Automatic synthesis of assumptions for compositional model checking. Zbl 1225.68115
Finkbeiner, Bernd; Schewe, Sven; Brill, Matthias
2
2006
Semi-automatic distributed synthesis. Zbl 1170.68539
Finkbeiner, Bernd; Schewe, Sven
24
2005
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
4
2005
Checking finite traces using alternating automata. Zbl 1073.68053
Finkbeiner, Bernd; Sipma, Henny
10
2004
Direct algorithms in quadratic programming. Zbl 0253.90041
Finkbeiner, B.; Kall, P.
1
1973
Ein Wertiterationsalgorithmus für unendliche sequentielle Entscheidungsprozesse mit Diskontierung. Zbl 0213.45701
Finkbeiner, B.; Runggaldier, W.
1
1969
all top 5

Cited by 418 Authors

28 Finkbeiner, Bernd
11 Schewe, Sven
10 Bonakdarpour, Borzoo
8 Tentrup, Leander
6 Bloem, Roderick
6 Jacobs, Swen
6 Zimmermann, Martín G.
5 Baier, Christel
5 Coenen, Norine
5 Hahn, Christopher
5 Mogavero, Fabio
5 Murano, Aniello
5 Olderog, Ernst-Rüdiger
5 Perelli, Giuseppe
5 Sánchez, César
4 Basin, David A.
4 Benerecetti, Massimo
4 Beyersdorff, Olaf
4 Bozzelli, Laura
4 Chatterjee, Krishnendu
4 Dimitrova, Rayna
4 Filiot, Emmanuel
4 Gieseking, Manuel
4 Gutierrez, Julian
4 Hecking-Harbusch, Jesko
4 Hoffmann, Jörg
4 Kupferman, Orna
4 Metzger, Niklas O.
4 Scholl, Christoph
4 Sheinvald, Sarai
4 Sznajder, Nathalie
4 Vardi, Moshe Ya’akov
4 Wimmer, Ralf D.
4 Wooldridge, Michael J.
3 Bartocci, Ezio
3 Becker, Bernd
3 Beutner, Raven
3 Blinkhorn, Joshua
3 Dell’Erba, Daniele
3 Ehlers, Rüdiger
3 Faghih, Fathiyeh
3 Francalanza, Adrian
3 Frenkel, Hadar
3 Funke, Florian
3 Jobstmann, Barbara
3 Krstić, Srđan
3 Larsen, Kim Guldstrand
3 Muscholl, Anca
3 Piribauer, Jakob
3 Podelski, Andreas
3 Raskin, Jean-François
3 Siber, Julian
3 Sickert, Salomon
3 Ziemek, Robin
2 Ábrahám, Erika
2 Belardinelli, Francesco
2 Bérard, Béatrice
2 Berwanger, Dietmar
2 Biewer, Sebastian
2 Bollig, Benedikt
2 Bouyer, Patricia
2 Chockler, Hana
2 Domshlak, Carmel
2 Doyen, Laurent
2 Ebrahimi, Masoud
2 Függer, Matthias
2 Gastin, Paul
2 Gimbert, Hugo
2 Hajdu, Ákos
2 Harrenstein, Paul
2 Helmert, Malte
2 Henzinger, Thomas A.
2 Hermanns, Holger
2 Ho, Hsi-Ming
2 Hoenicke, Jochen
2 Jantsch, Simon
2 Klaedtke, Felix
2 Křetínský, Jan
2 Kupferschmid, Sebastian
2 Lion, Benjamin
2 Mahajan, Meena
2 Mathew, Anup Basil
2 Mirzaie, Nahal
2 Neider, Daniel
2 Nickovic, Dejan
2 Norman, Gethin
2 Passing, Noemi
2 Peled, Doron A.
2 Piterman, Nir
2 Pnueli, Amir
2 Popescu, Andrei
2 Rabe, Markus N.
2 Sangnier, Arnaud
2 Schmuck, Anne-Kathrin
2 Schneider, Gerardo
2 Síč, Juraj
2 Slivovsky, Friedrich
2 Sorrentino, Loredana
2 Srba, Jiří
2 Stenger, Marvin
...and 318 more Authors

Citations by Year