×

zbMATH — the first resource for mathematics

Maler, Oded

Compute Distance To:
Author ID: maler.oded Recent zbMATH articles by "Maler, Oded"
Published as: Maler, O.; Maler, Oded
Documents Indexed: 81 Publications since 1993, including 5 Books

Publications by Year

Citations contained in zbMATH

61 Publications have been cited 590 times in 445 Documents Cited by Year
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
64
1995
Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502
Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded
58
2000
Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050
Asarin, Eugene; Maler, Oded; Pnueli, Amir
55
1995
Monitoring temporal properties of continuous signals. Zbl 1109.68518
Maler, Oded; Nickovic, Dejan
30
2004
Symbolic model checking with rich assertional languages. Zbl 0973.68119
Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E.
28
2001
Timed regular expressions. Zbl 1323.68335
Asarin, Eugene; Caspi, Paul; Maler, Oded
21
2002
On discretization of delays in timed automata and digital circuits. Zbl 0933.94045
Asarin, Eugene; Maler, Oded; Pnueli, Amir
20
1998
As soon as possible: Time optimal control for timed automata. Zbl 0952.93064
Asarin, Eugene; Maler, Oded
19
1999
Robust satisfaction of temporal logic over real-valued signals. Zbl 1290.68071
Donzé, Alexandre; Maler, Oded
18
2010
Scheduling with timed automata. Zbl 1088.68023
Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded
16
2006
The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796
Asarin, Eugene; Dang, Thao; Maler, Oded
16
2002
Efficient computation of reachable sets of linear time-invariant systems with inputs. Zbl 1178.93024
Girard, Antoine; Le Guernic, Colas; Maler, Oded
14
2006
On syntactic congruences for \(\omega\)-languages. Zbl 0911.68145
Maler, Oded; Staiger, Ludwig
13
1997
Fast and flexible difference constraint propagation for DPLL(T). Zbl 1187.68537
Cotton, Scott; Maler, Oded
12
2006
From MITL to timed automata. Zbl 1141.68436
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
11
2006
Preemptive job-shop scheduling using stopwatch automata. Zbl 1043.68510
Abdeddaïm, Yasmina; Maler, Oded
11
2002
Systematic simulation using sensitivity analysis. Zbl 1221.93105
Donzé, Alexandre; Maler, Oded
10
2007
On the learnability of infinitary regular sets. Zbl 0834.68099
Maler, Oded; Pnueli, Amir
10
1995
Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
9
2008
Verification of timed automata via satisfiability checking. Zbl 1278.68187
Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded
9
2002
Job-shop scheduling using timed automata. Zbl 0991.68507
Abdeddaïm, Yasmina; Maler, Oded
9
2001
Approximating the Pareto front of multi-criteria optimization problems. Zbl 1284.90074
Legriel, Julien; Le Guernic, Colas; Cotton, Scott; Maler, Oded
8
2010
Real time temporal logic: Past, present, future. Zbl 1175.03009
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
8
2005
Some progress in satisfiability checking for difference logic. Zbl 1109.68513
Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter
8
2004
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
7
2009
Approximating continuous systems by timed automata. Zbl 1374.68262
Maler, Oded; Batt, Grégory
7
2008
On interleaving in timed automata. Zbl 1151.68457
Ben Salah, Ramzi; Bozga, Marius; Maler, Oded
7
2006
Orthogonal polyhedra: Representation and computation. Zbl 0947.68154
Bournez, Olivier; Maler, Oded; Pnueli, Amir
7
1999
On some relations between dynamical systems and transition systems. Zbl 1418.68088
Asarin, Eugene; Maler, Oded
7
1994
On synthesizing controllers from bounded-response properties. Zbl 1135.68477
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
6
2007
On temporal logic and signal processing. Zbl 1374.68278
Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott
5
2012
On the representation of probabilities over structured domains. Zbl 1046.68581
Bozga, Marius; Maler, Oded
5
1999
Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings. Zbl 1017.00053
Maler, Oded (ed.); Pnueli, Amir (ed.)
4
2003
Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 0928.68128
Asarin, Eugene; Maler, Oded
4
1998
A decomposition theorem for probabilistic transition systems. Zbl 0873.68145
Maler, Oded
4
1995
Computing reachable states for nonlinear biological models. Zbl 1211.92023
Dang, Thao; Le Guernic, Colas; Maler, Oded
3
2011
Amir Pnueli and the dawn of hybrid systems. Zbl 1360.68005
Maler, Oded
3
2010
Accurate hybridization of nonlinear systems. Zbl 1360.93083
Dang, Thao; Maler, Oded; Testylier, Romain
3
2010
Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Zbl 1165.68004
Bouajjani, Ahmed (ed.); Maler, Oded (ed.)
3
2009
Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303
Dang, Thao; Donzé, Alexandre; Maler, Oded
3
2004
On timing analysis of combinational circuits. Zbl 1099.94523
Ben Salah, Ramzi; Bozga, Marius; Maler, Oded
3
2004
On systematic simulation of open continuous systems. Zbl 1032.93532
Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf
3
2003
Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 1354.03057
Asarin, Eugene; Maler, Oded
3
1995
Online timed pattern matching using derivatives. Zbl 1420.68247
Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded
2
2016
Using redundant constraints for refinement. Zbl 1305.68117
Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain
2
2010
On recognizable timed languages. Zbl 1126.68459
Maler, Oded; Pnueli, Amir
2
2004
On optimal scheduling under uncertainty. Zbl 1031.68030
Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded
2
2003
Verification of asynchronous circuits using timed automata. Zbl 1270.68164
Bozga, Marius; Jianmin, Hou; Maler, Oded; Yovine, Sergio
2
2002
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
On the effects of noise and speed on computations. Zbl 0822.68069
Delyon, Bernard; Maler, Oded
2
1994
On syntactic congruences for \(\omega\)-languages. Zbl 0797.68093
Maler, Oded; Staiger, Ludwig
2
1993
Measuring with timed patterns. Zbl 1381.68160
Ferrère, Thomas; Maler, Oded; Ničković, Dejan; Ulus, Dogan
1
2015
Trace diagnostics using temporal implicants. Zbl 06527556
Ferrère, Thomas; Maler, Oded; Ničković, Dejan
1
2015
Learning regular languages over large ordered alphabets. Zbl 1448.68271
Mens, Irini-Eleftheria; Maler, Oded
1
2015
Timed pattern matching. Zbl 1419.68221
Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded
1
2014
The unmet challenge of timed systems. Zbl 1416.68114
Maler, Oded
1
2014
Symmetry breaking for multi-criteria mapping and scheduling on multicores. Zbl 1390.68154
Tendulkar, Pranav; Poplavko, Peter; Maler, Oded
1
2013
As soon as probable: optimal scheduling under stochastic uncertainty. Zbl 1381.68022
Kempf, Jean-François; Bozga, Marius; Maler, Oded
1
2013
On the Krohn-Rhodes cascaded decomposition theorem. Zbl 1288.68177
Maler, Oded
1
2010
On timed models of gene networks. Zbl 1141.92310
Batt, Grégory; Ben Salah, Ramzi; Maler, Oded
1
2007
Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518
Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred
1
2002
Online timed pattern matching using derivatives. Zbl 1420.68247
Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded
2
2016
Measuring with timed patterns. Zbl 1381.68160
Ferrère, Thomas; Maler, Oded; Ničković, Dejan; Ulus, Dogan
1
2015
Trace diagnostics using temporal implicants. Zbl 06527556
Ferrère, Thomas; Maler, Oded; Ničković, Dejan
1
2015
Learning regular languages over large ordered alphabets. Zbl 1448.68271
Mens, Irini-Eleftheria; Maler, Oded
1
2015
Timed pattern matching. Zbl 1419.68221
Ulus, Dogan; Ferrère, Thomas; Asarin, Eugene; Maler, Oded
1
2014
The unmet challenge of timed systems. Zbl 1416.68114
Maler, Oded
1
2014
Symmetry breaking for multi-criteria mapping and scheduling on multicores. Zbl 1390.68154
Tendulkar, Pranav; Poplavko, Peter; Maler, Oded
1
2013
As soon as probable: optimal scheduling under stochastic uncertainty. Zbl 1381.68022
Kempf, Jean-François; Bozga, Marius; Maler, Oded
1
2013
On temporal logic and signal processing. Zbl 1374.68278
Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott
5
2012
Computing reachable states for nonlinear biological models. Zbl 1211.92023
Dang, Thao; Le Guernic, Colas; Maler, Oded
3
2011
Robust satisfaction of temporal logic over real-valued signals. Zbl 1290.68071
Donzé, Alexandre; Maler, Oded
18
2010
Approximating the Pareto front of multi-criteria optimization problems. Zbl 1284.90074
Legriel, Julien; Le Guernic, Colas; Cotton, Scott; Maler, Oded
8
2010
Amir Pnueli and the dawn of hybrid systems. Zbl 1360.68005
Maler, Oded
3
2010
Accurate hybridization of nonlinear systems. Zbl 1360.93083
Dang, Thao; Maler, Oded; Testylier, Romain
3
2010
Using redundant constraints for refinement. Zbl 1305.68117
Asarin, Eugene; Dang, Thao; Maler, Oded; Testylier, Romain
2
2010
On the Krohn-Rhodes cascaded decomposition theorem. Zbl 1288.68177
Maler, Oded
1
2010
On omega-languages defined by mean-payoff conditions. Zbl 1234.68248
Alur, Rajeev; Degorre, Aldric; Maler, Oded; Weiss, Gera
7
2009
Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Zbl 1165.68004
Bouajjani, Ahmed (ed.); Maler, Oded (ed.)
3
2009
Checking temporal properties of discrete, timed and continuous behaviors. Zbl 1133.68378
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
9
2008
Approximating continuous systems by timed automata. Zbl 1374.68262
Maler, Oded; Batt, Grégory
7
2008
Systematic simulation using sensitivity analysis. Zbl 1221.93105
Donzé, Alexandre; Maler, Oded
10
2007
On synthesizing controllers from bounded-response properties. Zbl 1135.68477
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
6
2007
On timed models of gene networks. Zbl 1141.92310
Batt, Grégory; Ben Salah, Ramzi; Maler, Oded
1
2007
Scheduling with timed automata. Zbl 1088.68023
Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded
16
2006
Efficient computation of reachable sets of linear time-invariant systems with inputs. Zbl 1178.93024
Girard, Antoine; Le Guernic, Colas; Maler, Oded
14
2006
Fast and flexible difference constraint propagation for DPLL(T). Zbl 1187.68537
Cotton, Scott; Maler, Oded
12
2006
From MITL to timed automata. Zbl 1141.68436
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
11
2006
On interleaving in timed automata. Zbl 1151.68457
Ben Salah, Ramzi; Bozga, Marius; Maler, Oded
7
2006
Real time temporal logic: Past, present, future. Zbl 1175.03009
Maler, Oded; Nickovic, Dejan; Pnueli, Amir
8
2005
Monitoring temporal properties of continuous signals. Zbl 1109.68518
Maler, Oded; Nickovic, Dejan
30
2004
Some progress in satisfiability checking for difference logic. Zbl 1109.68513
Cotton, Scott; Asarin, Eugene; Maler, Oded; Niebert, Peter
8
2004
Verification of analog and mixed-signal circuits using hybrid system techniques. Zbl 1117.68303
Dang, Thao; Donzé, Alexandre; Maler, Oded
3
2004
On timing analysis of combinational circuits. Zbl 1099.94523
Ben Salah, Ramzi; Bozga, Marius; Maler, Oded
3
2004
On recognizable timed languages. Zbl 1126.68459
Maler, Oded; Pnueli, Amir
2
2004
Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3–5, 2003. Proceedings. Zbl 1017.00053
Maler, Oded (ed.); Pnueli, Amir (ed.)
4
2003
On systematic simulation of open continuous systems. Zbl 1032.93532
Kapinski, Jim; Krogh, Bruce H.; Maler, Oded; Stursberg, Olaf
3
2003
On optimal scheduling under uncertainty. Zbl 1031.68030
Abdeddaïm, Yasmina; Asarin, Eugene; Maler, Oded
2
2003
Timed regular expressions. Zbl 1323.68335
Asarin, Eugene; Caspi, Paul; Maler, Oded
21
2002
The \(d/dt\) tool for verification of hybrid systems. Zbl 1010.68796
Asarin, Eugene; Dang, Thao; Maler, Oded
16
2002
Preemptive job-shop scheduling using stopwatch automata. Zbl 1043.68510
Abdeddaïm, Yasmina; Maler, Oded
11
2002
Verification of timed automata via satisfiability checking. Zbl 1278.68187
Niebert, Peter; Mahfoudh, Moez; Asarin, Eugene; Bozga, Marius; Maler, Oded
9
2002
Verification of asynchronous circuits using timed automata. Zbl 1270.68164
Bozga, Marius; Jianmin, Hou; Maler, Oded; Yovine, Sergio
2
2002
Hybrid systems applications: An oxymoron? (Abstract). Zbl 0991.93518
Sangiovanni-Vincentelli, Alberto; Henzinger, Thomas A.; Krogh, Bruce H.; Maler, Oded; Morari, Manfred
1
2002
Symbolic model checking with rich assertional languages. Zbl 0973.68119
Kesten, Y.; Maler, O.; Marcus, M.; Pnueli, A.; Shahar, E.
28
2001
Job-shop scheduling using timed automata. Zbl 0991.68507
Abdeddaïm, Yasmina; Maler, Oded
9
2001
Approximate reachability analysis of piecewise-linear dynamical systems. Zbl 0938.93502
Asarin, Eugene; Bournez, Olivier; Dang, Thao; Maler, Oded
58
2000
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
As soon as possible: Time optimal control for timed automata. Zbl 0952.93064
Asarin, Eugene; Maler, Oded
19
1999
Orthogonal polyhedra: Representation and computation. Zbl 0947.68154
Bournez, Olivier; Maler, Oded; Pnueli, Amir
7
1999
On the representation of probabilities over structured domains. Zbl 1046.68581
Bozga, Marius; Maler, Oded
5
1999
On discretization of delays in timed automata and digital circuits. Zbl 0933.94045
Asarin, Eugene; Maler, Oded; Pnueli, Amir
20
1998
Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 0928.68128
Asarin, Eugene; Maler, Oded
4
1998
On syntactic congruences for \(\omega\)-languages. Zbl 0911.68145
Maler, Oded; Staiger, Ludwig
13
1997
On the synthesis of discrete controllers for timed systems. Zbl 1379.68227
Maler, Oded; Pnueli, Amir; Sifakis, Joseph
64
1995
Reachability analysis of dynamical systems having piecewise-constant derivatives. Zbl 0884.68050
Asarin, Eugene; Maler, Oded; Pnueli, Amir
55
1995
On the learnability of infinitary regular sets. Zbl 0834.68099
Maler, Oded; Pnueli, Amir
10
1995
A decomposition theorem for probabilistic transition systems. Zbl 0873.68145
Maler, Oded
4
1995
Achilles and the tortoise climbing up the arithmetical hierarchy. Zbl 1354.03057
Asarin, Eugene; Maler, Oded
3
1995
On some relations between dynamical systems and transition systems. Zbl 1418.68088
Asarin, Eugene; Maler, Oded
7
1994
On the effects of noise and speed on computations. Zbl 0822.68069
Delyon, Bernard; Maler, Oded
2
1994
On syntactic congruences for \(\omega\)-languages. Zbl 0797.68093
Maler, Oded; Staiger, Ludwig
2
1993
all top 5

Cited by 836 Authors

13 Larsen, Kim Guldstrand
12 Bouyer, Patricia
11 Abdulla, Parosh Aziz
11 Asarin, Eugene
11 Cimatti, Alessandro
10 Bournez, Olivier
10 Chatterjee, Krishnendu
10 Maler, Oded
9 Henzinger, Thomas A.
8 Legay, Axel
7 Girard, Antoine
7 Markey, Nicolas
6 Dang, Thao
6 Lygeros, John
6 Pappas, George J.
6 Roveri, Marco
6 Sebastiani, Roberto
6 Wąsowski, Andrzej
5 Abate, Alessandro
5 Bartocci, Ezio
5 David, Alexandre
5 Majumdar, Rupak
5 Piazza, Carla
5 Raskin, Jean-François
5 Rezine, Ahmed
5 Subramani, Krishnan
5 Yovine, Sergio
5 Zamani, Majid
4 Basin, David A.
4 Bersani, Marcello M.
4 Bortolussi, Luca
4 Clarke, Edmund Melson jun.
4 Delzanno, Giorgio
4 Donzé, Alexandre
4 Doyen, Laurent
4 Fahrenberg, Uli
4 Fisman, Dana
4 Griggio, Alberto
4 Kulkarni, Sandeep S.
4 Kupferman, Orna
4 La Torre, Salvatore
4 Lanotte, Ruggero
4 Nielsen, Jens D.
4 Norman, Gethin
4 Platzer, André
4 Pnueli, Amir
4 Prabhakar, Pavithra
4 Rossi, Matteo A. C.
4 Sankaranarayanan, Sriram
4 Sastry, S. Shankar
4 Seshia, Sanjit Arunkumar
4 Viswanathan, Mahesh
3 Alur, Rajeev
3 Angluin, Dana
3 Barkaoui, Kamel
3 Basset, Nicolas
3 Belta, Calin
3 Bérard, Béatrice
3 Blondel, Vincent D.
3 Bonakdarpour, Borzoo
3 Bouajjani, Ahmed
3 Boucheneb, Hanifa
3 Bruttomesso, Roberto
3 Corradini, Flavio
3 Degorre, Aldric
3 Dima, Cătălin
3 Dimarogonas, Dimos V.
3 Dullerud, Geir E.
3 Finkel, Olivier
3 Graça, Daniel Silva
3 Haddad, Serge
3 Jobstmann, Barbara
3 Junttila, Tommi A.
3 Klaedtke, Felix
3 Koiran, Pascal
3 Krishna, Shankara Narayanan
3 Krstić, Srđan
3 Kwiatkowska, Marta Z.
3 Lakhnech, Yassine
3 Lazar, Mircea
3 Li, Guangyuan
3 Lime, Didier
3 Micheli, Andrea
3 Nenzi, Laura
3 Nyman, Ulrik
3 Ouaknine, Joel O.
3 Pandya, Paritosh K.
3 Roux, Olivier H.
3 Salmerón, Antonio
3 Sankur, Ocan
3 Sastry, Shankar S.
3 Schneider, Gerardo
3 Siegelmann, Hava T.
3 Stursberg, Olaf
3 Tonetta, Stefano
3 Traytel, Dmitry
3 Tsitsiklis, John N.
3 van Schuppen, Jan H.
3 Vardi, Moshe Y.
3 Vladimerou, Vladimeros
...and 736 more Authors
all top 5

Cited in 72 Serials

65 Theoretical Computer Science
33 Formal Methods in System Design
27 Automatica
25 Information and Computation
14 Nonlinear Analysis. Hybrid Systems
9 International Journal of Foundations of Computer Science
8 Acta Informatica
8 Journal of Computer and System Sciences
8 Discrete Event Dynamic Systems
7 Journal of Automated Reasoning
7 The Journal of Logic and Algebraic Programming
6 International Journal of Control
6 International Journal of Approximate Reasoning
6 Real-Time Systems
5 Information Processing Letters
5 Formal Aspects of Computing
5 European Journal of Control
4 Discrete Applied Mathematics
4 Applied Mathematics and Computation
4 Science of Computer Programming
4 Logical Methods in Computer Science
3 Artificial Intelligence
3 Systems & Control Letters
3 Journal of Global Optimization
3 Distributed Computing
3 Annals of Mathematics and Artificial Intelligence
2 International Journal of General Systems
2 Mathematics and Computers in Simulation
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Annals of Operations Research
2 International Journal of Robust and Nonlinear Control
2 Journal of the ACM
2 Chaos
2 Theory and Practice of Logic Programming
1 ACM Computing Surveys
1 International Journal of Systems Science
1 International Journal of Theoretical Physics
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 Information Sciences
1 Journal of Optimization Theory and Applications
1 Annals of Pure and Applied Logic
1 International Journal of Production Research
1 Physica D
1 Optimization
1 Journal of Complexity
1 Machine Learning
1 Computational Geometry
1 International Journal of Algebra and Computation
1 MSCS. Mathematical Structures in Computer Science
1 Computational Statistics and Data Analysis
1 Journal of Logic, Language and Information
1 The Journal of Artificial Intelligence Research (JAIR)
1 The Bulletin of Symbolic Logic
1 Sbornik: Mathematics
1 Constraints
1 INFORMS Journal on Computing
1 Mathematical Problems in Engineering
1 Optimization Methods & Software
1 Data Mining and Knowledge Discovery
1 Higher-Order and Symbolic Computation
1 Probability in the Engineering and Informational Sciences
1 Journal of Systems Science and Complexity
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 Numerical Algebra, Control and Optimization
1 Mathematical Control and Related Fields
1 Frontiers of Computer Science
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming
1 International Journal of Systems Science. Principles and Applications of Systems and Integration

Citations by Year