R. Bryant
发表
Randal E. Bryant,
R. Bryant,
1977
.
Randal E. Bryant,
R. Bryant,
1992,
CSUR.
Randal E. Bryant,
Manish Pandey,
R. Bryant,
1997
.
R. Bryant,
Manish Pandey,
R. Raimi,
1996,
33rd Design Automation Conference Proceedings, 1996.
Randal E. Bryant,
R. Bryant,
1986,
IEEE Transactions on Computers.
Olivier Coudert,
David R. O'Hallaron,
Randal E. Bryant,
1998,
FMCAD.
R. Bryant,
1995,
Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
R. Bryant,
1986
.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2007,
TACAS.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
R. Bryant,
S. Seshia,
K. Subramani,
2004
.
Randal E. Bryant,
R. Bryant,
2007
.
Somesh Jha,
Thomas Reps,
Sanjit A. Seshia,
2008
.
Randal E. Bryant,
Manish Pandey,
R. Bryant,
1999,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Kenneth S. Stevens,
Sanjit A. Seshia,
Randal E. Bryant,
2005,
11th IEEE International Symposium on Asynchronous Circuits and Systems.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
FMCAD.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2002,
CAV.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2005
.
R. Bryant,
S. Seshia,
2000
.
Randal E. Bryant,
R. Bryant,
2010
.
M. Veloso,
R. Bryant,
R. M. Jensen,
2004
.
R. Bryant,
Yirng-An Chen,
1997,
ICCAD 1997.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
1998,
FMCAD.
R. Bryant,
S. Seshia,
2003
.
J. Carson,
R. Bryant,
References,
2022
.
R. Bryant,
Alok K. Jain,
1993,
ICCAD '93.
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2003
.
Shuvendu K. Lahiri,
R. Bryant,
2018
.
M. Veloso,
R. Bryant,
R. M. Jensen,
2004
.
R. Bryant,
Yirng-An ChenDept,
2007
.
David R. O'Hallaron,
Randal E. Bryant,
R. Bryant,
2015
.
R. Bryant,
Alok K. Jain,
K. Nelson,
1997
.
R. Bryant,
R. Rudell,
K. Brace,
1990,
27th ACM/IEEE Design Automation Conference.
Somesh Jha,
Sanjit A. Seshia,
Vinod Ganapathy,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
R. Bryant,
Alok K. Jain,
K. Nelson,
1996
.
R. Bryant,
1995,
33rd Design Automation Conference Proceedings, 1996.
R. Bryant,
Manish Pandey,
R. Raimi,
1997,
Proceedings of the 34th Design Automation Conference.
Alan Burns,
Geoffrey Davies,
R. Bryant,
1980,
Operating Systems Engineering.
R. Bryant,
2018
.
Somesh Jha,
Dawn Xiaodong Song,
Sanjit A. Seshia,
2005,
2005 IEEE Symposium on Security and Privacy (S&P'05).
David R. O'Hallaron,
Randal E. Bryant,
R. Bryant,
1991
.
Randal E. Bryant,
Clayton B. McDonald,
R. Bryant,
2001,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Randal E. Bryant,
Lawrence P. Huang,
R. Bryant,
1993,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Randal E. Bryant,
Yirng-An Chen,
R. Bryant,
2001,
International Journal on Software Tools for Technology Transfer.
Randal E. Bryant,
R. Bryant,
1987,
JACM.
Manuela M. Veloso,
Randal E. Bryant,
Rune M. Jensen,
2008,
Artif. Intell..
Randal E. Bryant,
Manuela Veloso,
Rune Møller Jensen,
2003
.
Randal E. Bryant,
Thomas J. Sheffler,
R. Bryant,
1992
.
Manuela M. Veloso,
Randal E. Bryant,
Rune M. Jensen,
2002,
AAAI/IAAI.
David M. Nicol,
K. Mani Chandy,
Jayadev Misra,
2017,
2017 Winter Simulation Conference (WSC).
Randal E. Bryant,
R. Bryant,
2018,
Handbook of Model Checking.
Randal E. Bryant,
R. Bryant,
2008,
25 Years of Model Checking.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004,
TOCL.
Randal E. Bryant,
R. Bryant,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Sanjit A. Seshia,
Randal E. Bryant,
R. Bryant,
2005,
CADE.
Randal E. Bryant,
R. Bryant,
2005
.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004
.
Manuela M. Veloso,
Randal E. Bryant,
Rune M. Jensen,
2003,
ICAPS.
Randal E. Bryant,
Manuela Veloso,
Rune Møller Jensen,
2003
.
Randal E. Bryant,
Manuela Veloso,
Rune Møller Jensen,
2002
.
Christoph Meinel,
Randal E. Bryant,
R. Bryant,
2001
.
Reid G. Simmons,
David R. O'Hallaron,
Randal E. Bryant,
1999,
CAV.
Randal E. Bryant,
Yirng-An Chen,
R. Bryant,
1998,
CAV.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
1998,
Proceedings 1998 International Conference on Application of Concurrency to System Design.
David R. O'Hallaron,
Randal E. Bryant,
Bwolen Yang,
1998,
Proceedings of 1998 Asia and South Pacific Design Automation Conference.
Randal E. Bryant,
Yirng-An Chen,
R. Bryant,
1998
.
R. Bryant,
Alok K. Jain,
K.L. Nelson,
1997,
Proceedings of the 34th Design Automation Conference.
Randal E. Bryant,
Alok Jain,
R. Bryant,
1997
.
Randal E. Bryant,
Alok Jain,
Kyle L. Nelson,
1996,
FMCAD.
Randal E. Bryant,
R. Bryant,
1984,
IEEE Transactions on Computers.
Randal E. Bryant,
R. Bryant,
1987,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Randal E. Bryant,
R. Bryant,
1988
.
Randal E. Bryant,
R. Bryant,
1991,
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
Randal E. Bryant,
R. Bryant,
1987,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Randal E. Bryant,
R. Bryant,
1991,
IEEE Trans. Computers.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
2001,
CAV.
Randal E. Bryant,
Carl-Johan H. Seger,
R. Bryant,
1995,
Formal Methods Syst. Des..
Randal E. Bryant,
Carl-Johan H. Seger,
R. Bryant,
1990,
CAV.
Shuvendu K. Lahiri,
Randal E. Bryant,
Amit Goel,
2004,
TACAS.
Randal E. Bryant,
Carl-Johan H. Seger,
Derek L. Beatty,
1991,
28th ACM/IEEE Design Automation Conference.
R. Bryant,
2008
.
Randal E. Bryant,
R. Bryant,
2011,
Computing in Science & Engineering.
Randal E. Bryant,
R. Bryant,
1990,
DAC '90.
Randal E. Bryant,
Kyeongsoon Cho,
R. Bryant,
1989,
26th ACM/IEEE Design Automation Conference.
Randal E. Bryant,
R. Bryant,
1985,
22nd ACM/IEEE Design Automation Conference.
Randal E. Bryant,
James H. Kukula,
R. Bryant,
2003
.
Randal E. Bryant,
R. Bryant,
1985
.
Randal E. Bryant,
R. Bryant,
2001
.
Junfeng Yang,
Heming Cui,
Randal E. Bryant,
2013,
SOSP.
Jan M. Rabaey,
Kurt Keutzer,
Alberto Sangiovanni-Vincentelli,
2001,
Proc. IEEE.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004,
VMCAI.
Shuvendu K. Lahiri,
Randal E. Bryant,
R. Bryant,
2004,
CAV.
Randal E. Bryant,
Marijn J. H. Heule,
R. Bryant,
2021,
TACAS.
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2011,
2011 Formal Methods in Computer-Aided Design (FMCAD).
V. Ganapathy,
S.A. Seshia,
S. Jha,
2005,
Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..
Randal E. Bryant,
Michael Dd. Schuster,
R. Bryant,
1983
.
Joël Ouaknine,
Daniel Kroening,
Ofer Strichman,
2009,
International Journal on Software Tools for Technology Transfer.
K. Subramani,
Sanjit A. Seshia,
Randal E. Bryant,
2007,
J. Satisf. Boolean Model. Comput..
Randal E. Bryant,
Yirng-An Chen,
R. Bryant,
1997,
1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
2001,
DAC '01.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Randal E. Bryant,
David R. O’Hallaron,
R. Bryant,
2001,
SIGCSE '01.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
2000,
TOCL.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
2000,
Proceedings 37th Design Automation Conference.
Randal E. Bryant,
Miroslav N. Velev,
Steven M. German,
1999,
TOCL.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
1999,
CHARME.
Randal E. Bryant,
Miroslav N. Velev,
Steven M. German,
1999,
TABLEAUX.
Randal E. Bryant,
Miroslav N. Velev,
R. Bryant,
2005,
Int. J. Embed. Syst..
Randal E. Bryant,
R. Bryant,
2005
.
R. Bryant,
1986,
IEEE Transactions on Computers.
R. Bryant,
1989
.
R. Bryant,
2018,
Handbook of Model Checking.
Randal E. Bryant,
Clayton B. McDonald,
R. Bryant,
2001,
Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Randal E. Bryant,
Yirng-An Chen,
R. Bryant,
1995,
32nd Design Automation Conference.
Randal E. Bryant,
Miroslav N. Velev,
Alok Jain,
1997,
CAV.
R. Bryant,
M. Velev,
Alok K. Jain,
1997
.
R. Bryant,
2023,
ArXiv.
R. Bryant,
M. Soos,
2023,
ArXiv.
R. Bryant,
2022,
Formal Methods in Computer-Aided Design.
Marijn J. H. Heule,
R. Bryant,
Cayden Codel,
2021
.
Randal E. Bryant,
Derek L. Beatty,
R. Bryant,
1994,
31st Design Automation Conference.
Randal E. Bryant,
R. Bryant,
1998
.
Chris Wilson,
David L. Dill,
Randal E. Bryant,
2000,
FMCAD.
R. Bryant,
2018
.
Randal E. Bryant,
R. Bryant,
2017,
Journal of Automated Reasoning.
Randal E. Bryant,
J. Doug Tygar,
J. D. Tygar,
1993,
1993 IEEE International Symposium on Circuits and Systems.
Rob A. Rutenbar,
Randal E. Bryant,
Saul A. Kravitz,
1989,
26th ACM/IEEE Design Automation Conference.
Rob A. Rutenbar,
Randal E. Bryant,
Saul A. Kravitz,
1989,
The 16th Annual International Symposium on Computer Architecture.
William J. Dally,
Randal E. Bryant,
R. Bryant,
1985,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sanjit A. Seshia,
Shuvendu K. Lahiri,
Randal E. Bryant,
2003,
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Ofer Strichman,
Sanjit A. Seshia,
Randal E. Bryant,
2002,
CAV.
Randal E. Bryant,
Amit Goel,
R. Bryant,
2003,
2003 Design, Automation and Test in Europe Conference and Exhibition.
Randal E. Bryant,
Alok Jain,
Vishnu A. Patankar,
1999,
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).
Bryan A. Brady,
R. Bryant,
2015
.
Sanjit A. Seshia,
Randal E. Bryant,
Bryan A. Brady,
2008
.
R. Bryant,
D. Beatty,
K. Brace,
1987,
DAC '87.
Manuela M. Veloso,
Randal E. Bryant,
Rune M. Jensen,
2004,
ICAPS.