×
Author ID: kiefer.stefan Recent zbMATH articles by "Kiefer, Stefan"
Published as: Kiefer, Stefan

Publications by Year

Citations contained in zbMATH Open

63 Publications have been cited 277 times in 180 Documents Cited by Year
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
15
2011
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
13
2016
Newtonian program analysis. Zbl 1327.68079
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
12
2010
On the total variation distance of labelled Markov chains. Zbl 1395.68202
Chen, Taolue; Kiefer, Stefan
11
2014
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
11
2015
On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier
10
2007
Analyzing probabilistic pushdown automata. Zbl 1291.68226
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín
10
2013
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
9
2006
On fixed point equations over commutative semirings. Zbl 1186.68307
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
9
2007
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
9
2013
An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
8
2007
BPA bisimilarity is EXPTIME-hard. Zbl 1259.68145
Kiefer, Stefan
8
2013
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
7
2012
Computing the least fixed point of positive polynomial systems. Zbl 1213.65076
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
7
2010
Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337
Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut
7
2008
Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
6
2010
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
6
2016
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1410.68083
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana
5
2015
Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136
Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S.
5
2013
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
5
2017
Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2008
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
5
2014
Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter
4
2014
Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr
4
2015
Stability and complexity of minimising probabilistic automata. Zbl 1409.68160
Kiefer, Stefan; Wachter, Björn
4
2014
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
4
2014
Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
The big-O problem for labelled Markov chains and weighted automata. Zbl 07559497
Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David
4
2020
On computing the total variation distance of hidden Markov models. Zbl 1499.68146
Kiefer, Stefan
4
2018
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1242.68064
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová
3
2011
Distinguishing hidden Markov chains. Zbl 1401.68086
Kiefer, Stefan; Sistla, A. Prasad
3
2016
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2013
Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186
Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín
3
2014
Parity objectives in countable MDPs. Zbl 1457.68109
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik
3
2017
Büchi objectives in countable MDPs. Zbl 07561612
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick
3
2019
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan
2
2009
On probabilistic parallel programs with process creation and synchronisation. Zbl 1316.68037
Kiefer, Stefan; Wojtczak, Dominik
2
2011
Derivation tree analysis for accelerated fixed-point computation. Zbl 1218.68102
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
2
2011
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1172.68541
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
2
2009
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Zbl 1371.68202
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
2
2013
Minimisation of multiplicity tree automata. Zbl 1459.68103
Kiefer, Stefan; Marusic, Ines; Worrell, James
2
2015
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
2
2016
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
On complementing unambiguous automata and graphs with many cliques and cocliques. Zbl 07537429
Indzhev, Emil; Kiefer, Stefan
2
2022
On the complexity of value iteration. Zbl 07561595
Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa
2
2019
Selective monitoring. Zbl 1520.68101
Grigore, Radu; Kiefer, Stefan
2
2018
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2018
Stabilization of branching queueing networks. Zbl 1245.68031
Brázdil, Tomáš; Kiefer, Stefan
1
2012
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Derivation tree analysis for accelerated fixed-point computation. Zbl 1161.68880
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2008
Minimisation of multiplicity tree automata. Zbl 1398.68314
Kiefer, Stefan; Marušić, Ines; Worrell, James
1
2017
Trace refinement in labelled Markov decision processes. Zbl 1475.68203
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa
1
2016
Computing quantiles in Markov chains with multi-dimensional costs. Zbl 1457.68112
Haase, Christoph; Kiefer, Stefan; Lohrey, Markus
1
2017
On strong determinacy of countable stochastic games. Zbl 1452.91028
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik
1
2017
Enforcing \(\omega\)-regular properties in Markov chains by restarting. Zbl 07730607
Esparza, Javier; Kiefer, Stefan; Křetínský, Jan; Weininger, Maximilian
1
2021
Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2010
On affine reachability problems. Zbl 07559419
Jaax, Stefan; Kiefer, Stefan
1
2020
Strategy complexity of parity objectives in countable MDPs. Zbl 07559495
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick
1
2020
Efficient analysis of unambiguous automata using matrix semigroup techniques. Zbl 07561726
Kiefer, Stefan; Widdershoven, Cas
1
2019
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
On complementing unambiguous automata and graphs with many cliques and cocliques. Zbl 07537429
Indzhev, Emil; Kiefer, Stefan
2
2022
Enforcing \(\omega\)-regular properties in Markov chains by restarting. Zbl 07730607
Esparza, Javier; Kiefer, Stefan; Křetínský, Jan; Weininger, Maximilian
1
2021
The big-O problem for labelled Markov chains and weighted automata. Zbl 07559497
Chistikov, Dmitry; Kiefer, Stefan; Murawski, Andrzej S.; Purser, David
4
2020
On affine reachability problems. Zbl 07559419
Jaax, Stefan; Kiefer, Stefan
1
2020
Strategy complexity of parity objectives in countable MDPs. Zbl 07559495
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick
1
2020
Büchi objectives in countable MDPs. Zbl 07561612
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick
3
2019
On the complexity of value iteration. Zbl 07561595
Balaji, Nikhil; Kiefer, Stefan; Novotný, Petr; Pérez, Guillermo A.; Shirmohammadi, Mahsa
2
2019
Efficient analysis of unambiguous automata using matrix semigroup techniques. Zbl 07561726
Kiefer, Stefan; Widdershoven, Cas
1
2019
On computing the total variation distance of hidden Markov models. Zbl 1499.68146
Kiefer, Stefan
4
2018
Selective monitoring. Zbl 1520.68101
Grigore, Radu; Kiefer, Stefan
2
2018
Game characterization of probabilistic bisimilarity, and applications to pushdown automata. Zbl 1407.68252
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2018
Nonnegative matrix factorization requires irrationality. Zbl 1369.15020
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
5
2017
Parity objectives in countable MDPs. Zbl 1457.68109
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik
3
2017
Minimisation of multiplicity tree automata. Zbl 1398.68314
Kiefer, Stefan; Marušić, Ines; Worrell, James
1
2017
Computing quantiles in Markov chains with multi-dimensional costs. Zbl 1457.68112
Haase, Christoph; Kiefer, Stefan; Lohrey, Markus
1
2017
On strong determinacy of countable stochastic games. Zbl 1452.91028
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik
1
2017
On rationality of nonnegative matrix factorization. Zbl 1418.15013
Chistikov, Dmitry; Kiefer, Stefan; Marušić, Ines; Shirmohammadi, Mahsa; Worrell, James
1
2017
Markov chains and unambiguous Büchi automata. Zbl 1411.68051
Baier, Christel; Kiefer, Stefan; Klein, Joachim; Klüppelholz, Sascha; Müller, David; Worrell, James
13
2016
The complexity of the \(K\)th largest subset problem and related problems. Zbl 1346.68110
Haase, Christoph; Kiefer, Stefan
6
2016
Distinguishing hidden Markov chains. Zbl 1401.68086
Kiefer, Stefan; Sistla, A. Prasad
3
2016
On restricted nonnegative matrix factorization. Zbl 1388.15010
Chistikov, Dmitry; Kiefer, Stefan; Marusic, Ines; Shirmohammadi, Mahsa; Worrell, James
2
2016
Trace refinement in labelled Markov decision processes. Zbl 1475.68203
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa
1
2016
The odds of staying on budget. Zbl 1440.68119
Haase, Christoph; Kiefer, Stefan
11
2015
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1410.68083
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Hutařová Vařeková, Ivana
5
2015
Long-run average behaviour of probabilistic vector addition systems. Zbl 1392.68284
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr
4
2015
Minimisation of multiplicity tree automata. Zbl 1459.68103
Kiefer, Stefan; Marusic, Ines; Worrell, James
2
2015
On the total variation distance of labelled Markov chains. Zbl 1395.68202
Chen, Taolue; Kiefer, Stefan
11
2014
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
5
2014
Zero-reachability in probabilistic multi-counter automata. Zbl 1401.68151
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr; Katoen, Joost-Pieter
4
2014
Stability and complexity of minimising probabilistic automata. Zbl 1409.68160
Kiefer, Stefan; Wachter, Björn
4
2014
Language equivalence of probabilistic pushdown automata. Zbl 1360.68556
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
4
2014
Efficient analysis of probabilistic programs with an unbounded counter. Zbl 1321.68186
Brázdil, Tomás; Kiefer, Stefan; Kŭcera, Antonín
3
2014
Analyzing probabilistic pushdown automata. Zbl 1291.68226
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Kučera, Antonín
10
2013
On the complexity of equivalence and minimisation for \(\mathbb Q\)-weighted automata. Zbl 1260.68207
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
9
2013
BPA bisimilarity is EXPTIME-hard. Zbl 1259.68145
Kiefer, Stefan
8
2013
Bisimilarity of pushdown automata is nonelementary. Zbl 1366.68136
Benedikt, Michael; Göller, Stefan; Kiefer, Stefan; Murawski, Andrzej S.
5
2013
Algorithmic probabilistic game semantics. Playing games with automata. Zbl 1291.68294
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2013
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Zbl 1371.68202
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
2
2013
Model checking stochastic branching processes. Zbl 1365.68320
Chen, Taolue; Dräger, Klaus; Kiefer, Stefan
7
2012
Three tokens in Herman’s algorithm. Zbl 1259.68230
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
3
2012
On the complexity of the equivalence problem for probabilistic automata. Zbl 1352.68114
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Wachter, Björn; Worrell, James
2
2012
Bisimilarity of probabilistic pushdown automata. Zbl 1354.68152
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James
2
2012
Stabilization of branching queueing networks. Zbl 1245.68031
Brázdil, Tomáš; Kiefer, Stefan
1
2012
Parikh’s theorem: a simple and direct automaton construction. Zbl 1260.68203
Esparza, Javier; Ganty, Pierre; Kiefer, Stefan; Luttenberger, Michael
15
2011
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Runtime analysis of probabilistic programs with unbounded recursion. Zbl 1242.68064
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Vařeková, Ivana Hutařová
3
2011
On probabilistic parallel programs with process creation and synchronisation. Zbl 1316.68037
Kiefer, Stefan; Wojtczak, Dominik
2
2011
Derivation tree analysis for accelerated fixed-point computation. Zbl 1218.68102
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
2
2011
Newtonian program analysis. Zbl 1327.68079
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
12
2010
Computing the least fixed point of positive polynomial systems. Zbl 1213.65076
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
7
2010
Computing least fixed points of probabilistic systems of polynomials. Zbl 1230.65022
Esparza, Javier; Gaiser, Andreas; Kiefer, Stefan
6
2010
Space-efficient scheduling of stochastically generated tasks. Zbl 1288.68032
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2010
On the memory consumption of probabilistic pushdown automata. Zbl 1248.68321
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan
2
2009
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1172.68541
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
2
2009
Interprocedural dataflow analysis over weight domains with infinite descending chains. Zbl 1234.68219
Kühnrich, Morten; Schwoon, Stefan; Srba, Jiří; Kiefer, Stefan
1
2009
Approximative methods for monotone systems of min-max-polynomial equations. Zbl 1153.65337
Esparza, Javier; Gawlitza, Thomas; Kiefer, Stefan; Seidl, Helmut
7
2008
Convergence thresholds of Newton’s method for monotone polynomial equations. Zbl 1259.65225
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
5
2008
Newton’s method for \(\omega \)-continuous semirings. Zbl 1155.68364
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
4
2008
Derivation tree analysis for accelerated fixed-point computation. Zbl 1161.68880
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
1
2008
On the convergence of Newton’s method for monotone systems of polynomial equations. Zbl 1232.65076
Kiefer, Stefan; Luttenberger, Michael; Esparza, Javier
10
2007
On fixed point equations over commutative semirings. Zbl 1186.68307
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
9
2007
An extension of Newton’s method to \(\omega \)-continuous semirings. Zbl 1202.68106
Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael
8
2007
Abstraction refinement with Craig interpolation and symbolic pushdown systems. Zbl 1180.68113
Esparza, Javier; Kiefer, Stefan; Schwoon, Stefan
9
2006
all top 5

Cited by 327 Authors

28 Kiefer, Stefan
9 Luttenberger, Michael
8 Esparza, Javier
8 Kucera, Antonin
8 Worrell, James B.
8 Zhang, Lijun
7 Brázdil, Tomáš
7 Etessami, Kousha
7 Jančar, Petr
7 Yannakakis, Mihalis
6 Baier, Christel
6 Ganty, Pierre
6 Mayr, Richard M.
6 Potapov, Igor
6 Shirmohammadi, Mahsa
5 Chistikov, Dmitry V.
5 Katoen, Joost-Pieter
5 Murawski, Andrzej S.
5 Randour, Mickael
5 Stewart, Alistair
4 Forejt, Vojtěch
4 Otop, Jan
4 Wojtczak, Dominik
3 Abdulla, Parosh Aziz
3 Atig, Mohamed Faouzi
3 Balle, Borja
3 Bell, Paul C.
3 Chatterjee, Krishnendu
3 Fernau, Henning
3 Gallagher, John P.
3 Henzinger, Thomas A.
3 Kwiatkowska, Marta Z.
3 Li, Yong
3 Marusic, Ines
3 Müller, David I.
3 Niskanen, Reino
3 Purser, David
3 Totzke, Patrick
3 Vardi, Moshe Ya’akov
3 Wang, Bow-Yaw
3 Winkler, Tobias
2 Avni, Guy
2 Bartocci, Ezio
2 Brihaye, Thomas
2 Delgrange, Florent
2 Ésik, Zoltán
2 Feng, Yuan
2 Francalanza, Adrian
2 Gaubert, Stéphane
2 Gehnen, Christina
2 Haase, Christoph
2 Hadjicostis, Christoforos N.
2 Halava, Vesa
2 Harju, Tero
2 Huang, Mingzhang
2 Jantsch, Simon
2 Kafle, Bishoksan
2 Klein, Joachim
2 Kobayashi, Naoki
2 Křetínský, Jan
2 Kupferman, Orna
2 Lavado, Giovanna Janet
2 Lefaucheux, Engel
2 Liu, Depeng
2 Löbel, Raphaela
2 Michaliszyn, Jakub
2 Okhotin, Alexander
2 Ouaknine, Joel O.
2 Oualhadj, Youssouf
2 Paramasivan, Meenakshi
2 Pighizzini, Giovanni
2 Przybyłko, Marcin
2 Raskin, Jean-François
2 Reps, Thomas W.
2 Schewe, Sven
2 Schlund, Maximilian
2 Schmid, Markus L.
2 Seidl, Helmut
2 Semukhin, Pavel
2 Shitov, Yaroslav Nikolaevich
2 Silva, Alexandra
2 Srba, Jiří
2 Vařeková, Ivana Hutařová
2 Weininger, Maximilian
2 Widdershoven, Cas
2 Zeitoun, Marc
1 Abate, Alessandro
1 Aceto, Luca
1 Achilleos, Antonis
1 Adjé, Assalé
1 Agarwal, Raj Aryan
1 Aguirre, Alejandro
1 Ahrendt, Wolfgang
1 Allender, Eric W.
1 Almeida, Bernardo F.
1 Alrajeh, Dalal
1 Alvarez, Jorge
1 Amir-Mohammadian, Sepehr
1 Anastasiadi, Elli
1 Anderson, Daniel M.
...and 227 more Authors

Citations by Year