×

Seshia, Sanjit Arunkumar

Author ID: seshia.sanjit-arunkumar Recent zbMATH articles by "Seshia, Sanjit Arunkumar"
Published as: Seshia, Sanjit A.; Seshia, Sanjit Arunkumar
all top 5

Co-Authors

0 single-authored
9 Bryant, Randal E.
6 Donzé, Alexandre
6 Sangiovanni-Vincentelli, Alberto L.
5 Jha, Susmit
4 Arcak, Murat
4 Fremont, Daniel J.
4 Ghosh, Shromona
4 Kim, Eric S.
4 Lahiri, Shuvendu Kumar
4 Raman, Vasumathi
4 Vazquez-Chanlatte, Marcell
3 Deshmukh, Jyotirmoy V.
3 Jha, Somesh
3 Jin, Xiaoqing
3 Junges, Sebastian
3 Nuzzo, Pierluigi
3 Sadigh, Dorsa
3 Shoukry, Yasser
3 Strichman, Ofer
3 Tabuada, Paulo
2 Brady, Bryan A.
2 Dreossi, Tommaso
2 Flanagan, Cormac
2 Kröning, Daniel
2 Ouaknine, Joel O.
2 Pappas, George J.
2 Polgreen, Elizabeth
2 Puggelli, Alberto
2 Qadeer, Shaz
2 Rabe, Markus N.
1 Alexandru, Andreea B.
1 Bansal, Somil
1 Benveniste, Albert
1 Desai, Ankush
1 Ehlers, Rüdiger
1 Freund, Stephen Neal
1 Ganesh, Vijay
1 Gatsis, Konstantinos
1 Gurfinkel, Arie
1 Harris, William R.
1 Holtzen, Steven
1 Incer, Inigo
1 Jaeger, Trent
1 Jansen, Nils
1 Juniwal, Garvit
1 Kim, Edward D.
1 King, Dave
1 Kress-Gazit, Hadas
1 Lafortune, Stéphane
1 Lee, Edward Ashford
1 Madhusudan, Parthasarathy
1 Millstein, Todd D.
1 Mora, Federico
1 Mull, Nathan
1 Murray, Richard M.
1 Muthukumaran, Divya
1 Pimpalkhare, Nikhil
1 Rasmussen, Cameron
1 Rawlings, Blake C.
1 Reps, Thomas W.
1 Reynolds, Andrew
1 Sahai, Tuhin
1 Sastry, S. Shankar
1 Shankar, Natarajan
1 Sharygina, Natasha
1 Shivakumar, Sumukh
1 Subramani, Krishnan
1 Tentrup, Leander
1 Tiwari, Ashish Kumar
1 Tomlin, Claire J.
1 Torfah, Hazem
1 Tripakis, Stavros
1 Van Den Broeck, Guy
1 Wessel, David
1 Wu, Yi-Chin
1 Yue, Xiangyu

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 326 times in 274 Documents Cited by Year
Secure state estimation for cyber-physical systems under sensor attacks: a satisfiability modulo theory approach. Zbl 1390.93532
Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo
34
2017
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. Zbl 1010.68522
Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A.
23
2002
Reactive synthesis from signal temporal logic specifications. Zbl 1366.68180
Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A.
21
2015
Introduction to embedded systems. A cyber-physical systems approach. 2nd edition. Zbl 1371.68001
Lee, Edward Ashford; Seshia, Sanjit Arunkumar
19
2017
Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281
Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan
17
2007
Deciding separation formulas with SAT. Zbl 1010.68168
Strichman, Ofer; Seshia, Sanjit A.; Bryant, Randal E.
14
2002
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. Zbl 1435.68202
Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.
14
2013
Robust online monitoring of signal temporal logic. Zbl 1370.68199
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
14
2017
A theory of formal synthesis via inductive learning. Zbl 1380.68124
Jha, Susmit; Seshia, Sanjit A.
13
2017
Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085
Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A.
8
2018
Deciding quantifier-free Presburger formulas using parameterized solution bounds. Zbl 1125.03010
Seshia, Sanjit A.; Bryant, Randal E.
8
2005
The UCLID decision procedure. Zbl 1103.68628
Lahiri, Shuvendu K.; Seshia, Sanjit A.
8
2004
Incremental determinization. Zbl 1475.68222
Rabe, Markus N.; Seshia, Sanjit A.
8
2016
Synthesis with identifiers. Zbl 1428.68183
Ehlers, Rüdiger; Seshia, Sanjit A.; Kress-Gazit, Hadas
8
2014
Formal specification for deep neural networks. Zbl 1517.68345
Seshia, Sanjit A.; Desai, Ankush; Dreossi, Tommaso; Fremont, Daniel J.; Ghosh, Shromona; Kim, Edward; Shivakumar, Sumukh; Vazquez-Chanlatte, Marcell; Yue, Xiangyu
7
2018
On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E.
7
2007
Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7–13, 2012. Proceedings. Zbl 1241.68027
7
2012
Symbolic reachability analysis of lazy linear hybrid automata. Zbl 1141.93352
Jha, Susmit; Brady, Bryan A.; Seshia, Sanjit A.
7
2007
Mining requirements from closed-loop control models. Zbl 1362.93008
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A.
6
2013
Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169
Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A.
6
2016
Logical clustering and learning for time-series data. Zbl 1494.68232
Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A.
6
2017
Modeling and verification of out-of-order microprocessors in UCLID. Zbl 1019.68623
Lahiri, Shuvendu K.; Seshia, Sanjit A.; Bryant, Randal E.
5
2002
Abstraction-based satisfiability solving of Presburger arithmetic. Zbl 1103.68626
Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer
5
2004
On the hardness of SAT with community structure. Zbl 1475.68353
Mull, Nathan; Fremont, Daniel J.; Seshia, Sanjit A.
5
2016
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
5
2017
TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349
Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan
5
2019
Safe autonomy under perception uncertainty using chance-constrained temporal logic. Zbl 1425.93202
Jha, Susmit; Raman, Vasumathi; Sadigh, Dorsa; Seshia, Sanjit A.
4
2018
Modular verification of multithreaded programs. Zbl 1108.68080
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.
4
2005
A modular checker for multithreaded programs. Zbl 1010.68501
Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.
3
2002
Enforcing almost-sure reachability in POMDPs. Zbl 1493.68213
Junges, Sebastian; Jansen, Nils; Seshia, Sanjit A.
3
2021
Modeling for verification. Zbl 1392.68264
Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros
3
2018
Symbolic control design for monotone systems with directed specifications. Zbl 1373.93119
Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
3
2017
Cloud-based quadratic optimization with partially homomorphic encryption. Zbl 07352162
Alexandru, Andreea B.; Gatsis, Konstantinos; Shoukry, Yasser; Seshia, Sanjit A.; Tabuada, Paulo; Pappas, George J.
3
2021
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Zbl 07120154
Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire
3
2019
Convergence testing in term-level bounded model checking. Zbl 1179.68079
Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A.
2
2003
MedleySolver: online SMT algorithm selection. Zbl 07495591
Pimpalkhare, Nikhil; Mora, Federico; Polgreen, Elizabeth; Seshia, Sanjit A.
2
2021
Model checking finite-horizon Markov chains with probabilistic inference. Zbl 1493.68210
Holtzen, Steven; Junges, Sebastian; Vazquez-Chanlatte, Marcell; Millstein, Todd; Seshia, Sanjit A.; Van den Broeck, Guy
2
2021
Compositional falsification of cyber-physical systems with machine learning components. Zbl 1468.68126
Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.
2
2019
Control improvisation. Zbl 1366.68144
Fremont, Daniel J.; Donzé, Alexandre; Seshia, Sanjit A.; Wessel, David
2
2015
Satisfiability and synthesis modulo oracles. Zbl 1498.68082
Polgreen, Elizabeth; Reynolds, Andrew; Seshia, Sanjit A.
2
2022
Understanding and extending incremental determinization for 2QBF. Zbl 1511.68258
Rabe, Markus N.; Tentrup, Leander; Rasmussen, Cameron; Seshia, Sanjit A.
2
2018
Reactive control improvisation. Zbl 1511.68156
Fremont, Daniel J.; Seshia, Sanjit A.
2
2018
Directed specifications and assumption mining for monotone dynamical systems. Zbl 1366.68173
Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
1
2016
Runtime monitors for Markov decision processes. Zbl 1493.68214
Junges, Sebastian; Torfah, Hazem; Seshia, Sanjit A.
1
2021
A small gain theorem for parametric assume-guarantee contracts. Zbl 1366.68174
Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
1
2017
Maximum causal entropy specification inference from demonstrations. Zbl 1478.68301
Vazquez-Chanlatte, Marcell; Seshia, Sanjit A.
1
2020
Satisfiability and synthesis modulo oracles. Zbl 1498.68082
Polgreen, Elizabeth; Reynolds, Andrew; Seshia, Sanjit A.
2
2022
Enforcing almost-sure reachability in POMDPs. Zbl 1493.68213
Junges, Sebastian; Jansen, Nils; Seshia, Sanjit A.
3
2021
Cloud-based quadratic optimization with partially homomorphic encryption. Zbl 07352162
Alexandru, Andreea B.; Gatsis, Konstantinos; Shoukry, Yasser; Seshia, Sanjit A.; Tabuada, Paulo; Pappas, George J.
3
2021
MedleySolver: online SMT algorithm selection. Zbl 07495591
Pimpalkhare, Nikhil; Mora, Federico; Polgreen, Elizabeth; Seshia, Sanjit A.
2
2021
Model checking finite-horizon Markov chains with probabilistic inference. Zbl 1493.68210
Holtzen, Steven; Junges, Sebastian; Vazquez-Chanlatte, Marcell; Millstein, Todd; Seshia, Sanjit A.; Van den Broeck, Guy
2
2021
Runtime monitors for Markov decision processes. Zbl 1493.68214
Junges, Sebastian; Torfah, Hazem; Seshia, Sanjit A.
1
2021
Maximum causal entropy specification inference from demonstrations. Zbl 1478.68301
Vazquez-Chanlatte, Marcell; Seshia, Sanjit A.
1
2020
TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349
Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan
5
2019
A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Zbl 07120154
Ghosh, Shromona; Bansal, Somil; Sangiovanni-Vincentelli, Alberto; Seshia, Sanjit A.; Tomlin, Claire
3
2019
Compositional falsification of cyber-physical systems with machine learning components. Zbl 1468.68126
Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.
2
2019
Synthesis of obfuscation policies to ensure privacy and utility. Zbl 1426.68085
Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A.
8
2018
Formal specification for deep neural networks. Zbl 1517.68345
Seshia, Sanjit A.; Desai, Ankush; Dreossi, Tommaso; Fremont, Daniel J.; Ghosh, Shromona; Kim, Edward; Shivakumar, Sumukh; Vazquez-Chanlatte, Marcell; Yue, Xiangyu
7
2018
Safe autonomy under perception uncertainty using chance-constrained temporal logic. Zbl 1425.93202
Jha, Susmit; Raman, Vasumathi; Sadigh, Dorsa; Seshia, Sanjit A.
4
2018
Modeling for verification. Zbl 1392.68264
Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros
3
2018
Understanding and extending incremental determinization for 2QBF. Zbl 1511.68258
Rabe, Markus N.; Tentrup, Leander; Rasmussen, Cameron; Seshia, Sanjit A.
2
2018
Reactive control improvisation. Zbl 1511.68156
Fremont, Daniel J.; Seshia, Sanjit A.
2
2018
Secure state estimation for cyber-physical systems under sensor attacks: a satisfiability modulo theory approach. Zbl 1390.93532
Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo
34
2017
Introduction to embedded systems. A cyber-physical systems approach. 2nd edition. Zbl 1371.68001
Lee, Edward Ashford; Seshia, Sanjit Arunkumar
19
2017
Robust online monitoring of signal temporal logic. Zbl 1370.68199
Deshmukh, Jyotirmoy V.; Donzé, Alexandre; Ghosh, Shromona; Jin, Xiaoqing; Juniwal, Garvit; Seshia, Sanjit A.
14
2017
A theory of formal synthesis via inductive learning. Zbl 1380.68124
Jha, Susmit; Seshia, Sanjit A.
13
2017
Logical clustering and learning for time-series data. Zbl 1494.68232
Vazquez-Chanlatte, Marcell; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing; Seshia, Sanjit A.
6
2017
SMC: satisfiability modulo convex optimization. Zbl 1366.68102
Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo
5
2017
Symbolic control design for monotone systems with directed specifications. Zbl 1373.93119
Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
3
2017
A small gain theorem for parametric assume-guarantee contracts. Zbl 1366.68174
Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
1
2017
Incremental determinization. Zbl 1475.68222
Rabe, Markus N.; Seshia, Sanjit A.
8
2016
Diagnosis and repair for synthesis from signal temporal logic specifications. Zbl 1366.68169
Ghosh, Shromona; Sadigh, Dorsa; Nuzzo, Pierluigi; Raman, Vasumathi; Donzé, Alexandre; Sangiovanni-Vincentelli, Alberto L.; Sastry, S. Shankar; Seshia, Sanjit A.
6
2016
On the hardness of SAT with community structure. Zbl 1475.68353
Mull, Nathan; Fremont, Daniel J.; Seshia, Sanjit A.
5
2016
Directed specifications and assumption mining for monotone dynamical systems. Zbl 1366.68173
Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.
1
2016
Reactive synthesis from signal temporal logic specifications. Zbl 1366.68180
Raman, Vasumathi; Donzé, Alexandre; Sadigh, Dorsa; Murray, Richard M.; Seshia, Sanjit A.
21
2015
Control improvisation. Zbl 1366.68144
Fremont, Daniel J.; Donzé, Alexandre; Seshia, Sanjit A.; Wessel, David
2
2015
Synthesis with identifiers. Zbl 1428.68183
Ehlers, Rüdiger; Seshia, Sanjit A.; Kress-Gazit, Hadas
8
2014
Polynomial-time verification of PCTL properties of MDPs with convex uncertainties. Zbl 1435.68202
Puggelli, Alberto; Li, Wenchao; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.
14
2013
Mining requirements from closed-loop control models. Zbl 1362.93008
Jin, Xiaoqing; Donzé, Alexandre; Deshmukh, Jyotirmoy V.; Seshia, Sanjit A.
6
2013
Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7–13, 2012. Proceedings. Zbl 1241.68027
7
2012
Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281
Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan
17
2007
On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E.
7
2007
Symbolic reachability analysis of lazy linear hybrid automata. Zbl 1141.93352
Jha, Susmit; Brady, Bryan A.; Seshia, Sanjit A.
7
2007
Deciding quantifier-free Presburger formulas using parameterized solution bounds. Zbl 1125.03010
Seshia, Sanjit A.; Bryant, Randal E.
8
2005
Modular verification of multithreaded programs. Zbl 1108.68080
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A.
4
2005
The UCLID decision procedure. Zbl 1103.68628
Lahiri, Shuvendu K.; Seshia, Sanjit A.
8
2004
Abstraction-based satisfiability solving of Presburger arithmetic. Zbl 1103.68626
Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer
5
2004
Convergence testing in term-level bounded model checking. Zbl 1179.68079
Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A.
2
2003
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions. Zbl 1010.68522
Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A.
23
2002
Deciding separation formulas with SAT. Zbl 1010.68168
Strichman, Ofer; Seshia, Sanjit A.; Bryant, Randal E.
14
2002
Modeling and verification of out-of-order microprocessors in UCLID. Zbl 1019.68623
Lahiri, Shuvendu K.; Seshia, Sanjit A.; Bryant, Randal E.
5
2002
A modular checker for multithreaded programs. Zbl 1010.68501
Flanagan, Cormac; Qadeer, Shaz; Seshia, Sanjit A.
3
2002
all top 5

Cited by 652 Authors

13 Seshia, Sanjit Arunkumar
10 Junges, Sebastian
9 Katoen, Joost-Pieter
8 Subramani, Krishnan
7 Yang, Guanghong
6 Bartocci, Ezio
6 Dimarogonas, Dimos V.
6 Filiot, Emmanuel
6 Jansen, Nils
5 Cimatti, Alessandro
5 Exibard, Léo
5 Johansson, Karl Henrik
5 Reynier, Pierre-Alain
4 Damm, Werner
4 Jha, Susmit
4 Nickovic, Dejan
4 Strichman, Ofer
4 Topcu, Ufuk
3 Althoff, Matthias
3 An, Liwei
3 Bozzano, Marco
3 Chakraborty, Supratik
3 Cubuktepe, Murat
3 Dang, Thao
3 Deshmukh, Jyotirmoy V.
3 Donzé, Alexandre
3 Dreossi, Tommaso
3 He, Xingkang
3 Kröning, Daniel
3 Kuncak, Viktor
3 Lafortune, Stéphane
3 Lindemann, Lars
3 Lu, Anyang
3 Pnueli, Amir
3 Sebastiani, Roberto
3 Shoham, Sharon
3 Tinelli, Cesare
3 Tini, Simone
3 Vardi, Moshe Ya’akov
2 Abate, Alessandro
2 Alanwar, Amr
2 Badban, Bahareh
2 Badings, Thom S.
2 Barrett, Clark W.
2 Belta, Calin A.
2 Biere, Armin
2 Boskos, Dimitris
2 Bruttomesso, Roberto
2 Cai, Shaowei
2 Castiglioni, Valentina
2 de Moura, Leonardo
2 Dierks, Henning
2 Disch, Stefan
2 Feldman, Yotam M. Y.
2 Francalanza, Adrian
2 Fremont, Daniel J.
2 Friedrich, Tobias
2 Ganesh, Vijay
2 Gange, Graeme
2 Girard, Antoine
2 Giunchiglia, Enrico
2 Griggio, Alberto
2 Hamadi, Youssef
2 Henzinger, Thomas A.
2 Itzhaky, Shachar
2 Jacobs, Swen
2 Jain, Sanjay
2 Junttila, Tommi A.
2 Khalimov, Ayrat
2 Kinber, Efim B.
2 Krstić, Srđan
2 Kupferman, Orna
2 Levy, Jordi
2 Li, Bohan
2 Liu, Rongjian
2 Loreti, Michele
2 Lu, Jianquan
2 Mamouras, Konstantinos
2 Maratea, Marco
2 Mazo, Manuel jun.
2 Millerioux, Gilles
2 Namjoshi, Kedar S.
2 Nenzi, Laura
2 Ozay, Necmiye
2 Pajic, Miroslav
2 Pérez, Guillermo A.
2 Piazza, Carla
2 Pigorsch, Florian
2 Piskac, Ruzica
2 Polgreen, Elizabeth
2 Poonawala, Hasan A.
2 Raman, Vasumathi
2 Rodeh, Yoav
2 Rothenberger, Ralf
2 Sahai, Tuhin
2 Sandberg, Henrik
2 Sankaranarayanan, Sriram
2 Saoud, Adnane
2 Schachte, Peter
2 Scholl, Christoph
...and 552 more Authors
all top 5

Cited in 44 Serials

39 Automatica
19 Formal Methods in System Design
16 Journal of Automated Reasoning
10 Theoretical Computer Science
9 Artificial Intelligence
7 Information and Computation
5 Formal Aspects of Computing
5 International Journal of Robust and Nonlinear Control
4 Acta Informatica
4 Information Sciences
4 The Journal of Artificial Intelligence Research (JAIR)
4 Logical Methods in Computer Science
3 International Journal of Control
3 Journal of the Franklin Institute
3 Systems & Control Letters
3 Cybernetics and Systems Analysis
3 European Journal of Control
3 Theory and Practice of Logic Programming
3 Nonlinear Analysis. Hybrid Systems
2 Journal of Computer and System Sciences
2 Journal of Symbolic Computation
2 Algorithmica
2 Discrete Event Dynamic Systems
1 Discrete Applied Mathematics
1 Chaos, Solitons and Fractals
1 Applied Mathematics and Computation
1 SIAM Journal on Control and Optimization
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 International Journal of Parallel Programming
1 Random Structures & Algorithms
1 International Journal of Adaptive Control and Signal Processing
1 Applied Categorical Structures
1 Theory of Computing Systems
1 Journal of Applied Mathematics and Decision Sciences
1 Chaos
1 Fundamenta Informaticae
1 ACM Transactions on Computational Logic
1 Discrete Optimization
1 Mathematics in Computer Science
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Journal of Logical and Algebraic Methods in Programming
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Modelirovanie i Analiz Informatsionnykh Sistem

Citations by Year