×

zbMATH — the first resource for mathematics

Burch, Jerry R.

Compute Distance To:
Author ID: burch.jerry-r Recent zbMATH articles by "Burch, Jerry R."
Published as: Burch, J. R.; Burch, Jerry R.
Documents Indexed: 6 Publications since 1985

Publications by Year

all top 5

Cited by 350 Authors

12 Vardi, Moshe Y.
6 Grumberg, Orna
5 Clarke, Edmund Melson jun.
4 Dill, David L.
4 Henzinger, Thomas A.
4 Kesten, Yonit
4 Kulkarni, Sandeep S.
4 Kupferman, Orna
4 Pnueli, Amir
3 Abujarad, Fuad
3 Cimatti, Alessandro
3 Lange, Martin
3 Laroussinie, François
3 Lomuscio, Alessio
3 Olarte, Carlos
3 Roveri, Marco
3 Schnoebelen, Ph
3 Schuppan, Viktor
2 Bertoli, Piergiorgio
2 Bollig, Beate
2 Bonakdarpour, Borzoo
2 Bradley, Aaron R.
2 Burch, Jerry R.
2 Bury, Marc
2 Despeyroux, Joëlle
2 Duan, Zhenhua
2 Finkel, Alain
2 Heljanko, Keijo
2 Heyman, Tamir
2 Kemper, Peter
2 Kopke, Peter W.
2 Kwiatkowska, Marta Z.
2 Majumdar, Rupak
2 McMillan, Kenneth L.
2 Pan, Guoqiang
2 Pimentel, Elaine
2 Raskin, Jean-François
2 Roscoe, Andrew William
2 Schneider, Klaus
2 Schuster, Assaf
2 Shahar, Elad
2 Tian, Cong
2 Traverso, Paolo
1 Á. Torralba, Álvaro
1 Abdulla, Parosh Aziz
1 Alford, Ron
1 Alur, Rajeev
1 Antonino, Pedro
1 Arias, Jaime
1 Baier, Christel
1 Bailey, Andrew D. jun.
1 Balbiani, Philippe
1 Ballarini, Paolo
1 Barner, Sharon
1 Bartha, Tamás
1 Basu, Samik
1 Bendisposto, Jens
1 Bensalem, Saddek
1 Bertrand, Nathalie
1 Bhattacharyya, Sumit
1 Biere, Armin
1 Bohy, Aaron
1 Bordihn, Henning
1 Borrajo, Daniel
1 Boutilier, Craig
1 Bozga, Marius
1 Braman, Julia M. B.
1 Brezočnik, Zmago
1 Brim, Luboš
1 Browne, Adrian R.
1 Bruyère, Véronique
1 Bryant, Randal E.
1 Buchholz, Peter
1 Bultan, Tevfik
1 Capelle, Michael
1 Cau, Antonio
1 Celikkan, Ufuk
1 Čermák, Petr
1 Češka, Milan
1 Chai, Xinwei
1 Chaki, Sagar
1 Chang, Zhengwei
1 Charlton, Nathaniel
1 Chaudhuri, Kaustuv
1 Cheikh, Fahima
1 Chen, Jingshu
1 Chen, Zhenyu
1 Cheng, Allan
1 Ciardo, Gianfranco
1 Cleaveland, Rance
1 Cook, Byron
1 Damm, Werner
1 Dams, Dennis René
1 Darvas, Dániel
1 de Alfaro, Luca
1 De Giacomo, Giuseppe
1 Dearden, Richard
1 Deng, Yuxin
1 Derisavi, Salem
1 Dierks, Henning
...and 250 more Authors
all top 5

Cited in 42 Serials

24 Theoretical Computer Science
19 Formal Methods in System Design
11 Information and Computation
8 Artificial Intelligence
7 Formal Aspects of Computing
5 Acta Informatica
4 Science of Computer Programming
3 Discrete Applied Mathematics
3 Information Processing Letters
3 Journal of Automated Reasoning
3 Distributed Computing
3 The Journal of Logic and Algebraic Programming
2 Journal of Computer and System Sciences
2 International Journal of Foundations of Computer Science
2 Cybernetics and Systems Analysis
2 Journal of Applied Non-Classical Logics
2 The Bulletin of Symbolic Logic
2 Annals of Mathematics and Artificial Intelligence
2 Journal of Applied Mathematics
1 Discrete Mathematics
1 International Journal of General Systems
1 Information Sciences
1 Journal of Mathematical Economics
1 Programming and Computer Software
1 Systems & Control Letters
1 International Journal of Production Research
1 Algorithmica
1 MSCS. Mathematical Structures in Computer Science
1 Discrete Event Dynamic Systems
1 Linear Algebra and its Applications
1 Journal of Logic, Language and Information
1 Computational & Mathematical Organization Theory
1 European Journal of Control
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 International Journal of Applied Mathematics and Computer Science
1 ACM Transactions on Computational Logic
1 Journal of Discrete Algorithms
1 Journal of Applied Logic
1 Electronic Notes in Theoretical Computer Science
1 Algorithms
1 Asian Journal of Control
1 Computer Science Review

Citations by Year