×

zbMATH — the first resource for mathematics

Doyen, Laurent

Compute Distance To:
Author ID: doyen.laurent Recent zbMATH articles by "Doyen, Laurent"
Published as: Doyen, L.; Doyen, Laurent
Documents Indexed: 76 Publications since 1997

Publications by Year

Citations contained in zbMATH

64 Publications have been cited 529 times in 295 Documents Cited by Year
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2008
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
32
2010
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
30
2006
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
27
2011
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
23
2010
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
22
2010
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2007
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2009
Almost ASAP semantics: from timed models to timed implementations. Zbl 1101.68670
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
15
2005
On the power of imperfect information. Zbl 1248.68233
Berwanger, Dietmar; Doyen, Laurent
13
2008
Energy parity games. Zbl 1260.91039
Chatterjee, Krishnendu; Doyen, Laurent
12
2012
Antichain algorithms for finite automata. Zbl 1284.68348
Doyen, Laurent; Raskin, Jean-François
12
2010
Robust safety of timed automata. Zbl 1165.68392
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
12
2008
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
11
2015
Antichains: Alternative algorithms for LTL satisfiability and model-checking. Zbl 1134.68404
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F.
11
2008
Energy parity games. Zbl 1288.68160
Chatterjee, Krishnendu; Doyen, Laurent
10
2010
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
10
2010
Equivalence of labeled Markov chains. Zbl 1155.68035
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
10
2008
Robust parametric reachability for timed automata. Zbl 1184.68337
Doyen, Laurent
10
2007
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
2010
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
9
2005
The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135
Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y.
8
2014
Energy and mean-payoff games with imperfect information. Zbl 1287.91028
Degorre, Aldric; Doyen, Laurent; Gentilini, Raffaella; Raskin, Jean-François; Toruńczyk, Szymon
8
2010
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
7
2014
Improved algorithms for the automata-based approach to model-checking. Zbl 1186.68285
Doyen, Laurent; Raskin, Jean-François
7
2007
A lattice theory for solving games of imperfect information. Zbl 1178.93072
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
7
2006
A survey of partial-observation stochastic parity games. Zbl 1291.91022
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
6
2013
Energy and mean-payoff parity Markov decision processes. Zbl 1343.90107
Chatterjee, Krishnendu; Doyen, Laurent
6
2011
The complexity of partial-observation parity games. Zbl 1298.91050
Chatterjee, Krishnendu; Doyen, Laurent
6
2010
Mean-payoff automaton expressions. Zbl 1287.68093
Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe
6
2010
Antichains for the automata-based approach to model-checking. Zbl 1164.68021
Doyen, Laurent; Raskin, Jean-François
6
2009
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
5
2015
Doomsday equilibria for omega-regular games. Zbl 1428.68181
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François
5
2014
Imperfect maintenance in a generalized competing risks framework. Zbl 1221.90041
Doyen, Laurent; Gaudoin, Olivier
5
2006
Scale of viability and minimal time of crisis. Zbl 0899.49003
Doyen, L.; Saint-Pierre, P.
5
1997
Games with a weak adversary. Zbl 1409.68169
Chatterjee, Krishnendu; Doyen, Laurent
4
2014
Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008
Chatterjee, Krishnendu; Doyen, Laurent
4
2012
Games with imperfect information: theory and algorithms. Zbl 1229.91080
Doyen, Laurent; Raskin, Jean-François
4
2011
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Viability analysis for the sustainable management of renewable resources. Zbl 1139.49018
Rapaport, A.; Terreaux, J. P.; Doyen, L.
4
2006
Limit synchronization in Markov decision processes. Zbl 1405.68228
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
3
2014
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
Infinite synchronizing words for probabilistic automata. Zbl 1343.68136
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
3
2011
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
3
2010
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
3
2009
A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
3
2009
Strategy construction for parity games with imperfect information. Zbl 1160.68455
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram
3
2008
Verification of hybrid systems. Zbl 1392.68246
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André
2
2018
The failure of the profile likelihood method for a large class of semi-parametric models. Zbl 1394.62032
Beutner, Eric; Bordes, Laurent; Doyen, Laurent
2
2017
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
2
2014
Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf
2
2014
Asymptotic properties of imperfect repair models and estimation of repair efficiency. Zbl 1185.62175
Doyen, Laurent
2
2010
Almost ASAP semantics: from timed models to timed implementations. Zbl 1135.93345
Wulf, Martin De; Doyen, Laurent; Raskin, Jean-François
2
2004
Multi-target control problems. Zbl 0934.49003
Doyen, L.; Quincampoix, M.
2
1997
Perfect-information stochastic games with generalized mean-payoff objectives. Zbl 1401.68238
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
Computation tree logic for synchronization properties. Zbl 1388.68184
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
The complexity of synthesis from probabilistic components. Zbl 1440.68045
Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y.
1
2015
Reliability analysis and joint assessment of Brown-Proschan preventive maintenance efficiency and intrinsic wear-out. Zbl 1254.90043
Doyen, Laurent
1
2012
Antichain-based QBF solving. Zbl 1348.68224
Brihaye, Thomas; Bruyère, Véronique; Doyen, Laurent; Ducobu, Marc; Raskin, Jean-Francois
1
2011
Systematic implementation of real-time models. Zbl 1120.68413
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
1
2005
Robustness and implementability of timed automata. Zbl 1109.68504
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
1
2004
Verification of hybrid systems. Zbl 1392.68246
Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André
2
2018
The failure of the profile likelihood method for a large class of semi-parametric models. Zbl 1394.62032
Beutner, Eric; Bordes, Laurent; Doyen, Laurent
2
2017
Perfect-information stochastic games with generalized mean-payoff objectives. Zbl 1401.68238
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
Computation tree logic for synchronization properties. Zbl 1388.68184
Chatterjee, Krishnendu; Doyen, Laurent
1
2016
The complexity of multi-mean-payoff and multi-energy games. Zbl 1309.68082
Velner, Yaron; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Rabinovich, Alexander; Raskin, Jean-François
11
2015
Looking at mean-payoff and total-payoff through windows. Zbl 1317.68065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
5
2015
The complexity of synthesis from probabilistic components. Zbl 1440.68045
Chatterjee, Krishnendu; Doyen, Laurent; Vardi, Moshe Y.
1
2015
The complexity of partial-observation stochastic parity games with finite-memory strategies. Zbl 1405.68135
Chatterjee, Krishnendu; Doyen, Laurent; Nain, Sumit; Vardi, Moshe Y.
8
2014
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
7
2014
Doomsday equilibria for omega-regular games. Zbl 1428.68181
Chatterjee, Krishnendu; Doyen, Laurent; Filiot, Emmanuel; Raskin, Jean-François
5
2014
Games with a weak adversary. Zbl 1409.68169
Chatterjee, Krishnendu; Doyen, Laurent
4
2014
Limit synchronization in Markov decision processes. Zbl 1405.68228
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
3
2014
Synchronizing words for weighted and timed automata. Zbl 1360.68552
Doyen, Laurent; Juhl, Line; Larsen, Kim G.; Markey, Nicolas; Shirmohammadi, Mahsa
2
2014
Perfect-information stochastic mean-payoff parity games. Zbl 1405.68225
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Oualhadj, Youssouf
2
2014
A survey of partial-observation stochastic parity games. Zbl 1291.91022
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
6
2013
Looking at mean-payoff and total-payoff through windows. Zbl 1415.91065
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François
3
2013
Time-bounded reachability for monotonic hybrid automata: complexity and fixed points. Zbl 1410.68198
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joel; Raskin, Jean-Francois; Worrell, James
3
2013
Energy parity games. Zbl 1260.91039
Chatterjee, Krishnendu; Doyen, Laurent
12
2012
Partial-observation stochastic games: how to win when belief fails. Zbl 1362.91008
Chatterjee, Krishnendu; Doyen, Laurent
4
2012
Reliability analysis and joint assessment of Brown-Proschan preventive maintenance efficiency and intrinsic wear-out. Zbl 1254.90043
Doyen, Laurent
1
2012
Faster algorithms for mean-payoff games. Zbl 1213.68430
Brim, L.; Chaloupka, J.; Doyen, L.; Gentilini, R.; Raskin, J. F.
27
2011
Energy and mean-payoff parity Markov decision processes. Zbl 1343.90107
Chatterjee, Krishnendu; Doyen, Laurent
6
2011
Games with imperfect information: theory and algorithms. Zbl 1229.91080
Doyen, Laurent; Raskin, Jean-François
4
2011
On reachability for hybrid automata over bounded time. Zbl 1300.68033
Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, Joël; Raskin, Jean-François; Worrell, James
4
2011
Infinite synchronizing words for probabilistic automata. Zbl 1343.68136
Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa
3
2011
Antichain-based QBF solving. Zbl 1348.68224
Brihaye, Thomas; Bruyère, Véronique; Doyen, Laurent; Ducobu, Marc; Raskin, Jean-Francois
1
2011
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
32
2010
Expressiveness and closure properties for quantitative languages. Zbl 1200.68135
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
23
2010
Generalized mean-payoff and energy games. Zbl 1245.68090
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
22
2010
Antichain algorithms for finite automata. Zbl 1284.68348
Doyen, Laurent; Raskin, Jean-François
12
2010
Energy parity games. Zbl 1288.68160
Chatterjee, Krishnendu; Doyen, Laurent
10
2010
Qualitative analysis of partially-observable Markov decision processes. Zbl 1287.68104
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
10
2010
Randomness for free. Zbl 1287.91027
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A.
9
2010
Energy and mean-payoff games with imperfect information. Zbl 1287.91028
Degorre, Aldric; Doyen, Laurent; Gentilini, Raffaella; Raskin, Jean-François; Toruńczyk, Szymon
8
2010
The complexity of partial-observation parity games. Zbl 1298.91050
Chatterjee, Krishnendu; Doyen, Laurent
6
2010
Mean-payoff automaton expressions. Zbl 1287.68093
Chatterjee, Krishnendu; Doyen, Laurent; Edelsbrunner, Herbert; Henzinger, Thomas A.; Rannou, Philippe
6
2010
Strategy construction for parity games with imperfect information. Zbl 1232.91007
Berwanger, Dietmar; Chatterjee, Krishnendu; De Wulf, Martin; Doyen, Laurent; Henzinger, Thomas A.
3
2010
Asymptotic properties of imperfect repair models and estimation of repair efficiency. Zbl 1185.62175
Doyen, Laurent
2
2010
Alternating weighted automata. Zbl 1252.68167
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
17
2009
Probabilistic weighted automata. Zbl 1254.68133
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
9
2009
Antichains for the automata-based approach to model-checking. Zbl 1164.68021
Doyen, Laurent; Raskin, Jean-François
6
2009
Realizability of real-time logics. Zbl 1262.68117
Doyen, Laurent; Geeraerts, Gilles; Raskin, Jean-Francois; Reichert, Julien
3
2009
A survey of stochastic games with limsup and liminf objectives. Zbl 1248.91015
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
3
2009
Quantitative languages. Zbl 1156.68449
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2008
On the power of imperfect information. Zbl 1248.68233
Berwanger, Dietmar; Doyen, Laurent
13
2008
Robust safety of timed automata. Zbl 1165.68392
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
12
2008
Antichains: Alternative algorithms for LTL satisfiability and model-checking. Zbl 1134.68404
De Wulf, M.; Doyen, L.; Maquet, N.; Raskin, J.-F.
11
2008
Equivalence of labeled Markov chains. Zbl 1155.68035
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
10
2008
Strategy construction for parity games with imperfect information. Zbl 1160.68455
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram
3
2008
Algorithms for omega-regular games with imperfect information. Zbl 1125.91028
Raskin, Jean-Francois; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
22
2007
Robust parametric reachability for timed automata. Zbl 1184.68337
Doyen, Laurent
10
2007
Improved algorithms for the automata-based approach to model-checking. Zbl 1186.68285
Doyen, Laurent; Raskin, Jean-François
7
2007
Antichains: a new algorithm for checking universality of finite automata. Zbl 1188.68171
De Wulf, M.; Doyen, L.; Henzinger, T. A.; Raskin, J.-F.
30
2006
Algorithms for omega-regular games with imperfect information. Zbl 1225.91012
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
18
2006
A lattice theory for solving games of imperfect information. Zbl 1178.93072
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
7
2006
Imperfect maintenance in a generalized competing risks framework. Zbl 1221.90041
Doyen, Laurent; Gaudoin, Olivier
5
2006
Viability analysis for the sustainable management of renewable resources. Zbl 1139.49018
Rapaport, A.; Terreaux, J. P.; Doyen, L.
4
2006
Almost ASAP semantics: from timed models to timed implementations. Zbl 1101.68670
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
15
2005
Automatic rectangular refinement of affine hybrid systems. Zbl 1175.68243
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François
9
2005
Systematic implementation of real-time models. Zbl 1120.68413
De Wulf, Martin; Doyen, Laurent; Raskin, Jean-François
1
2005
Almost ASAP semantics: from timed models to timed implementations. Zbl 1135.93345
Wulf, Martin De; Doyen, Laurent; Raskin, Jean-François
2
2004
Robustness and implementability of timed automata. Zbl 1109.68504
De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François
1
2004
Scale of viability and minimal time of crisis. Zbl 0899.49003
Doyen, L.; Saint-Pierre, P.
5
1997
Multi-target control problems. Zbl 0934.49003
Doyen, L.; Quincampoix, M.
2
1997
all top 5

Cited by 471 Authors

33 Chatterjee, Krishnendu
23 Henzinger, Thomas A.
21 Raskin, Jean-François
16 Doyen, Laurent
14 Droste, Manfred
13 Larsen, Kim Guldstrand
11 Markey, Nicolas
10 Bouyer, Patricia
8 Fahrenberg, Uli
8 Kupferman, Orna
8 Legay, Axel
8 Vardi, Moshe Y.
7 Baier, Christel
7 Bertrand, Nathalie
7 Otop, Jan
7 Randour, Mickael
6 Sankur, Ocan
5 Alur, Rajeev
5 André, Étienne
5 Haddad, Serge
5 Holík, Lukáš
5 Zimmermann, Martín G.
4 Bruyère, Véronique
4 Černý, Pavol
4 Chmelík, Martin
4 Comin, Carlo
4 de Lara, Michel
4 Filiot, Emmanuel
4 Fogarty, Seth J.
4 Gimbert, Hugo
4 Jobstmann, Barbara
4 Klüppelholz, Sascha
4 Kwiatkowska, Marta Z.
4 Meinecke, Ingmar
4 Pauly, Arno M.
4 Perelli, Giuseppe
4 Pérez, Guillermo A.
4 Radhakrishna, Arjun
4 Rizzi, Romeo
4 Shirmohammadi, Mahsa
4 Vojnar, Tomáš
3 Avni, Guy
3 Basset, Nicolas
3 Bérard, Béatrice
3 Berwanger, Dietmar
3 Brihaye, Thomas
3 Ćirić, Miroslav D.
3 Dijoux, Yann
3 Gajardo, Pedro
3 Gaudoin, Olivier
3 Geeraerts, Gilles
3 Genest, Blaise
3 Hunter, Paul
3 Ignjatović, Jelena
3 Juhl, Line
3 Kiefer, Stefan
3 Klein, Joachim
3 Kostolányi, Peter
3 Kuich, Werner
3 Leroux, Stéphane
3 Maubert, Bastien
3 Mogavero, Fabio
3 Murano, Aniello
3 Ouaknine, Joel O.
3 Pinchinat, Sophie
3 Rauch Henzinger, Monika
3 Schmitz, Sylvain
3 Schuppan, Viktor
3 Thrane, Claus R.
3 van de Pol, Jan Cornelis
3 Velner, Yaron
3 Vogler, Heiko
3 Wąsowski, Andrzej
3 Zhang, Lijun
2 Aminof, Benjamin
2 Asarin, Eugene
2 Babari, Parvaneh
2 Benerecetti, Massimo
2 Bloem, Roderick
2 Bonchi, Filippo
2 Bozzelli, Laura
2 Brázdil, Tomáš
2 Brenguier, Romain
2 Clemente, Lorenzo
2 De Wulf, Martin
2 Degorre, Aldric
2 Dell’Erba, Daniele
2 Dewaskar, Miheer
2 Doyen, Luc
2 Dück, Stefan
2 Eisentraut, Christian
2 Ésik, Zoltán
2 Fiedor, Tomáš
2 Fijalkow, Nathanaël
2 Fisman, Dana
2 Frehse, Goran
2 Fribourg, Laurent
2 Fülöp, Zoltán
2 Ganty, Pierre
2 Gasmi, Soufiane
...and 371 more Authors
all top 5

Cited in 54 Serials

31 Information and Computation
28 Theoretical Computer Science
21 Acta Informatica
14 Formal Methods in System Design
12 Journal of Computer and System Sciences
8 Logical Methods in Computer Science
6 ACM Transactions on Computational Logic
6 Journal of Logical and Algebraic Methods in Programming
5 Information Processing Letters
5 Formal Aspects of Computing
5 Real-Time Systems
4 Systems & Control Letters
4 International Journal of Foundations of Computer Science
4 Nonlinear Analysis. Hybrid Systems
3 Automatica
3 Information Sciences
3 Discrete Event Dynamic Systems
2 Artificial Intelligence
2 International Journal of Control
2 Journal of Statistical Planning and Inference
2 Science of Computer Programming
2 Algorithmica
2 International Journal of Algebra and Computation
2 MSCS. Mathematical Structures in Computer Science
2 Computational Statistics and Data Analysis
2 Constraints
2 Journal of the ACM
2 Algorithms
1 Discrete Applied Mathematics
1 Metrika
1 Bulletin of Mathematical Biology
1 Fuzzy Sets and Systems
1 SIAM Journal on Computing
1 Statistical Science
1 International Journal of Approximate Reasoning
1 Asia-Pacific Journal of Operational Research
1 Mathematical and Computer Modelling
1 European Journal of Operational Research
1 International Journal of Computer Mathematics
1 Distributed Computing
1 Journal of Logic, Language and Information
1 Lifetime Data Analysis
1 Bernoulli
1 European Journal of Control
1 Theory of Computing Systems
1 Soft Computing
1 Natural Resource Modeling
1 Macroeconomic Dynamics
1 International Game Theory Review
1 The Journal of Logic and Algebraic Programming
1 Theory and Practice of Logic Programming
1 Computational Management Science
1 Computer Science Review
1 European Series in Applied and Industrial Mathematics (ESAIM): Proceedings and Surveys

Citations by Year