×

zbMATH — the first resource for mathematics

Bryant, Randal E.

Compute Distance To:
Author ID: bryant.randal-e Recent zbMATH articles by "Bryant, Randal E."
Published as: Bryant, R.; Bryant, R. E.; Bryant, Randal E.
Documents Indexed: 41 Publications since 1984

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 642 times in 528 Documents Cited by Year
Graph-based algorithms for Boolean function manipulation. Zbl 0593.94022
Bryant, Randal E.
428
1986
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. Zbl 1220.68060
Bryant, R. E.
57
1991
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.
18
2002
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. Zbl 1069.68119
Velev, Miroslav N.; Bryant, Randal E.
14
2003
Deciding separation formulas with SAT. Zbl 1010.68168
Strichman, Ofer; Seshia, Sanjit A.; Bryant, Randal E.
12
2002
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. Zbl 1365.68317
Bryant, Randal E.; German, Steven; Velev, Miroslav N.
12
2001
Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281
Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan
10
2007
Exploiting positive equality in a logic of equality with uninterpreted functions. Zbl 1046.68584
Bryant, Randal E.; German, Steven; Velev, Miroslav
9
1999
Constructing quantified invariants via predicate abstraction. Zbl 1202.68251
Lahiri, Shuvendu K.; Bryant, Randal E.
8
2004
Indexed predicate discovery for unbounded system verification. Zbl 1103.68627
Lahiri, Shuvendu K.; Bryant, Randal E.
8
2004
A symbolic approach to predicate abstraction. Zbl 1278.68181
Lahiri, Shuvendu K.; Bryant, Randal E.; Cook, Byron
8
2003
Deciding quantifier-free Presburger formulas using parameterized solution bounds. Zbl 1125.03010
Seshia, Sanjit A.; Bryant, Randal E.
7
2005
A switch-level model and simulator for MOS digital systems. Zbl 0529.94021
Bryant, Randal E.
6
1984
On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E.
5
2007
Boolean satisfiability with transitivity constraints. Zbl 1365.68318
Bryant, Randal E.; Velev, Miroslav N.
5
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
Boolean satisfiability with transitivity constraints. Zbl 0974.94501
Bryant, Randal E.; Velev, Miroslav N.
5
2000
Revisiting positive equality. Zbl 1126.68570
Lahiri, Shuvendu K.; Bryant, Randal E.; Goel, Amit; Talupur, Muralidhar
3
2004
Deductive verification of advanced out-of-order microprocessors. Zbl 1278.68180
Lahiri, Shuvendu K.; Bryant, Randal E.
3
2003
EVC: A validity checker for the logic of equality with uninterpreted functions and memories, exploiting positive equality, and conservative transformations. Zbl 0996.68588
Velev, Miroslav N.; Bryant, Randal E.
3
2001
A finite difference method for modeling the formation of animal coat patterns. Zbl 1170.65070
Bassiri, E.; Bryant, R.; George, M.; Yerion, K.
2
2009
State-set branching: leveraging BDDs for heuristic search. Zbl 1182.68248
Jensen, Rune M.; Veloso, Manuela M.; Bryant, Randal E.
2
2008
A methodology for hardware verification based on logic simulation. Zbl 0809.94035
Bryant, Randal E.
2
1991
Chain reduction for binary and zero-suppressed decision diagrams. Zbl 1423.68119
Bryant, Randal E.
1
2018
Binary decision diagrams. Zbl 1392.68151
Bryant, Randal E.
1
2018
A view from the engine room: computational support for symbolic model checking. Zbl 1142.68430
Bryant, Randal E.
1
2008
Predicate abstraction with indexed predicates. Zbl 1367.68196
Lahiri, Shuvendu K.; Bryant, Randal E.
1
2007
Convergence testing in term-level bounded model checking. Zbl 1179.68079
Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A.
1
2003
Verification of arithmetic circuits using binary moment diagrams. Zbl 1002.68588
Bryant, Randal E.; Chen, Yirng-An
1
2001
Geometric characterization of series-parallel variable resistor networks. Zbl 0866.94029
Bryant, Randal E.; Tygar, J. D.; Huang, Lawrence P.
1
1994
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. Zbl 1395.68144
Bryant, Randal E.
1
1991
Formal verification of digital circuits using symbolic ternary system models. Zbl 0767.94023
Bryant, Randal E.; Seger, Carl-Johan H.
1
1991
Formal verification of digital circuits using symbolic ternary system models. Zbl 0800.94299
Bryant, Randal E.; Seger, Carl-Johan H.
1
1991
Chain reduction for binary and zero-suppressed decision diagrams. Zbl 1423.68119
Bryant, Randal E.
1
2018
Binary decision diagrams. Zbl 1392.68151
Bryant, Randal E.
1
2018
A finite difference method for modeling the formation of animal coat patterns. Zbl 1170.65070
Bassiri, E.; Bryant, R.; George, M.; Yerion, K.
2
2009
State-set branching: leveraging BDDs for heuristic search. Zbl 1182.68248
Jensen, Rune M.; Veloso, Manuela M.; Bryant, Randal E.
2
2008
A view from the engine room: computational support for symbolic model checking. Zbl 1142.68430
Bryant, Randal E.
1
2008
Deciding bit-vector arithmetic with abstraction. Zbl 1186.68281
Bryant, Randal E.; Kroening, Daniel; Ouaknine, Joël; Seshia, Sanjit A.; Strichman, Ofer; Brady, Bryan
10
2007
On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E.
5
2007
Predicate abstraction with indexed predicates. Zbl 1367.68196
Lahiri, Shuvendu K.; Bryant, Randal E.
1
2007
Deciding quantifier-free Presburger formulas using parameterized solution bounds. Zbl 1125.03010
Seshia, Sanjit A.; Bryant, Randal E.
7
2005
Constructing quantified invariants via predicate abstraction. Zbl 1202.68251
Lahiri, Shuvendu K.; Bryant, Randal E.
8
2004
Indexed predicate discovery for unbounded system verification. Zbl 1103.68627
Lahiri, Shuvendu K.; Bryant, Randal E.
8
2004
Revisiting positive equality. Zbl 1126.68570
Lahiri, Shuvendu K.; Bryant, Randal E.; Goel, Amit; Talupur, Muralidhar
3
2004
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. Zbl 1069.68119
Velev, Miroslav N.; Bryant, Randal E.
14
2003
A symbolic approach to predicate abstraction. Zbl 1278.68181
Lahiri, Shuvendu K.; Bryant, Randal E.; Cook, Byron
8
2003
Deductive verification of advanced out-of-order microprocessors. Zbl 1278.68180
Lahiri, Shuvendu K.; Bryant, Randal E.
3
2003
Convergence testing in term-level bounded model checking. Zbl 1179.68079
Bryant, Randal E.; Lahiri, Shuvendu K.; Seshia, Sanjit A.
1
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.
18
2002
Deciding separation formulas with SAT. Zbl 1010.68168
Strichman, Ofer; Seshia, Sanjit A.; Bryant, Randal E.
12
2002
Boolean satisfiability with transitivity constraints. Zbl 1365.68318
Bryant, Randal E.; Velev, Miroslav N.
5
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
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. Zbl 1365.68317
Bryant, Randal E.; German, Steven; Velev, Miroslav N.
12
2001
EVC: A validity checker for the logic of equality with uninterpreted functions and memories, exploiting positive equality, and conservative transformations. Zbl 0996.68588
Velev, Miroslav N.; Bryant, Randal E.
3
2001
Verification of arithmetic circuits using binary moment diagrams. Zbl 1002.68588
Bryant, Randal E.; Chen, Yirng-An
1
2001
Boolean satisfiability with transitivity constraints. Zbl 0974.94501
Bryant, Randal E.; Velev, Miroslav N.
5
2000
Exploiting positive equality in a logic of equality with uninterpreted functions. Zbl 1046.68584
Bryant, Randal E.; German, Steven; Velev, Miroslav
9
1999
Geometric characterization of series-parallel variable resistor networks. Zbl 0866.94029
Bryant, Randal E.; Tygar, J. D.; Huang, Lawrence P.
1
1994
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. Zbl 1220.68060
Bryant, R. E.
57
1991
A methodology for hardware verification based on logic simulation. Zbl 0809.94035
Bryant, Randal E.
2
1991
On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. Zbl 1395.68144
Bryant, Randal E.
1
1991
Formal verification of digital circuits using symbolic ternary system models. Zbl 0767.94023
Bryant, Randal E.; Seger, Carl-Johan H.
1
1991
Formal verification of digital circuits using symbolic ternary system models. Zbl 0800.94299
Bryant, Randal E.; Seger, Carl-Johan H.
1
1991
Graph-based algorithms for Boolean function manipulation. Zbl 0593.94022
Bryant, Randal E.
428
1986
A switch-level model and simulator for MOS digital systems. Zbl 0529.94021
Bryant, Randal E.
6
1984
all top 5

Cited by 1,004 Authors

29 Bollig, Beate
14 Wegener, Ingo
9 Sieling, Detlef
7 Cimatti, Alessandro
7 Subramani, Krishnan
6 Ciré, André Augusto
6 Kröning, Daniel
6 Vardi, Moshe Y.
5 Biere, Armin
5 Groote, Jan Friso
5 Minato, Shin-ichi
5 Spoto, Fausto
5 Wang, Qichun
5 Zantema, Hans
4 Aït Mohamed, Otmane
4 Bloem, Roderick
4 Bryant, Randal E.
4 Ciardo, Gianfranco
4 Drechsler, Rolf
4 Grumberg, Orna
4 Hooker, John N. jun.
4 Meinel, Christoph
4 Ranise, Silvio
4 Sauerhoff, Martin
4 Semenov, Aleksandr Anatol’evich
4 Stănică, Pantelimon
4 Strichman, Ofer
4 Tan, Chik How
4 van Hoeve, Willem-Jan
4 Waack, Stephan
4 Woelfel, Philipp
3 Abdulla, Parosh Aziz
3 Abed, Sa’ed
3 Andersen, Henrik Reif
3 Arimura, Hiroki
3 Badban, Bahareh
3 Baier, Christel
3 Berghammer, Rudolf
3 Bergman, David R.
3 Bertrand, Gilles
3 Bibilo, P. N.
3 Bozzano, Marco
3 Bruttomesso, Roberto
3 Bury, Marc
3 Chakraborty, Supratik
3 Clarke, Edmund Melson jun.
3 Cousot, Patrick
3 de Moura, Leonardo
3 De Raedt, Luc
3 Déharbe, David
3 Denzumi, Shuhei
3 Gille, Marc
3 Homeister, Matthias
3 Horiyama, Takashi
3 Hulgaard, Henrik
3 Ibaraki, Toshihide
3 Löbbing, Martin
3 Lohou, Christophe
3 Majumdar, Rupak
3 Marquis, Pierre
3 McMillan, Kenneth L.
3 Nieuwenhuis, Robert
3 Piazza, Carla
3 Pnueli, Amir
3 Policriti, Alberto
3 Roveri, Marco
3 Santone, Antonella
3 Savický, Petr
3 Sebastiani, Roberto
3 Seger, Carl-Johan H.
3 Seshia, Sanjit Arunkumar
3 Song, Xiaoyu
3 Su, Kaile
3 Toda, Takahisa
3 Tveretina, Olga
3 van de Pol, Jan Cornelis
3 Van Den Broeck, Guy
3 Wonham, W. Murray
2 Abraham, Jacob A.
2 Aceto, Luca
2 Artikis, Alexander
2 Ashar, Pranav
2 Barrett, Clark W.
2 Bergman, David J.
2 Bernasconi, Anna
2 Bertoli, Piergiorgio
2 Beyer, Dirk
2 Brosenne, Henrik
2 Bruni, Renato
2 Brzozowski, Janusz Antoni
2 Büttner, Wolfram
2 Buttkus, Matthias
2 Cheng, Kenil C. K.
2 Ciriani, Valentina
2 Cousot, Radhia
2 de Alfaro, Luca
2 Dechter, Rina
2 Delzanno, Giorgio
2 Dill, David L.
2 Dovier, Agostino
...and 904 more Authors
all top 5

Cited in 99 Serials

41 Theoretical Computer Science
41 Formal Methods in System Design
30 Artificial Intelligence
26 Discrete Applied Mathematics
23 Information and Computation
22 Information Processing Letters
21 Journal of Automated Reasoning
13 Theory of Computing Systems
13 The Journal of Logic and Algebraic Programming
10 Constraints
8 Acta Informatica
8 Formal Aspects of Computing
7 Journal of Computer and System Sciences
7 Annals of Mathematics and Artificial Intelligence
6 Information Sciences
5 Journal of Symbolic Computation
5 RAIRO. Theoretical Informatics and Applications
4 International Journal of Approximate Reasoning
4 Machine Learning
4 European Journal of Operational Research
4 International Journal of Computer Mathematics
4 INFORMS Journal on Computing
4 Journal of Applied Logic
3 International Journal of Control
3 Mathematical Social Sciences
3 Algorithmica
3 Computers & Operations Research
3 Discrete Event Dynamic Systems
3 Automation and Remote Control
3 Journal of Computer and Systems Sciences International
3 Journal of Applied Non-Classical Logics
3 International Journal of Applied Mathematics and Computer Science
3 Theory and Practice of Logic Programming
3 Algorithms
2 Computers & Mathematics with Applications
2 Discrete Mathematics
2 International Journal of General Systems
2 Applied Mathematics and Computation
2 Science of Computer Programming
2 Circuits, Systems, and Signal Processing
2 Journal of Computer Science and Technology
2 International Journal of Parallel Programming
2 Annals of Operations Research
2 International Journal of Foundations of Computer Science
2 Distributed Computing
2 The Journal of Artificial Intelligence Research (JAIR)
2 Journal of Combinatorial Optimization
2 Higher-Order and Symbolic Computation
2 Journal of Applied Mathematics
2 Quantum Information Processing
2 Cryptography and Communications
2 Frontiers of Computer Science
2 Prikladnaya Diskretnaya Matematika
1 International Journal of Systems Science
1 Journal of Statistical Physics
1 Bulletin of Mathematical Biology
1 Programming and Computer Software
1 Software. Practice & Experience
1 Systems & Control Letters
1 Annals of Pure and Applied Logic
1 SIAM Journal on Discrete Mathematics
1 Journal of Cryptology
1 Real-Time Systems
1 Random Structures & Algorithms
1 Designs, Codes and Cryptography
1 Linear Algebra and its Applications
1 RAIRO. Informatique Théorique et Applications
1 Mathematical Programming. Series A. Series B
1 Applicable Algebra in Engineering, Communication and Computing
1 International Journal of Robust and Nonlinear Control
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Russian Mathematics
1 Complexity
1 Mathematical Problems in Engineering
1 Parallel Algorithms and Applications
1 European Journal of Control
1 Journal of Applied Mathematics and Decision Sciences
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Data Mining and Knowledge Discovery
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Fundamenta Informaticae
1 Nonlinear Analysis. Real World Applications
1 Journal of Systems Science and Complexity
1 Electronic Commerce Research
1 Advances in Complex Systems
1 Computer Languages, Systems & Structures
1 ACM Transactions on Computational Logic
1 Computational Intelligence
1 ACM Journal of Experimental Algorithmics
1 Journal of Discrete Algorithms
1 Statistical Methods and Applications
1 Discrete Optimization
1 Electronic Notes in Theoretical Computer Science
1 Logica Universalis
1 Advances in Mathematics of Communications
1 International Journal of Intelligent Computing and Cybernetics
1 Mathematical Programming Computation
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year