Edit Profile Burch, Jerry R. Compute Distance To: Compute Author ID: burch.jerry-r Published as: Burch, J. R.; Burch, Jerry R. Documents Indexed: 6 Publications since 1985 all top 5 Co-Authors 2 single-authored 2 Passerone, Roberto 2 Sangiovanni-Vincentelli, Alberto L. 1 Clarke, Edmund Melson jun. 1 Dill, David L. 1 Hwang, L. J. 1 Martin, Alain J. 1 McMillan, Kenneth L. Serials 1 Information Processing Letters 1 Information and Computation 1 Formal Methods in System Design Fields 6 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH 3 Publications have been cited 157 times in 157 Documents Cited by ▼ Year ▼ Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. 153 1992 Using multiple levels of abstractions in embedded software design. Zbl 1050.68521Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. 2 2001 Fair mutual exclusion with unfair P and V operations. Zbl 0593.68018Martin, Alain J.; Burch, Jerry R. 2 1985 Using multiple levels of abstractions in embedded software design. Zbl 1050.68521Burch, Jerry R.; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto L. 2 2001 Symbolic model checking: \(10^{20}\) states and beyond. Zbl 0753.68066Burch, J. R.; Clarke, E. M.; McMillan, K. L.; Dill, D. L.; Hwang, L. J. 153 1992 Fair mutual exclusion with unfair P and V operations. Zbl 0593.68018Martin, Alain J.; Burch, Jerry R. 2 1985 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 all top 5 Cited in 13 Fields 143 Computer science (68-XX) 36 Mathematical logic and foundations (03-XX) 8 Systems theory; control (93-XX) 7 Operations research, mathematical programming (90-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Combinatorics (05-XX) 3 Biology and other natural sciences (92-XX) 3 Information and communication theory, circuits (94-XX) 2 Probability theory and stochastic processes (60-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) Citations by Year