Morgan Deters
发表
Viktor Kuncak,
Cesare Tinelli,
Andrew Reynolds,
2019,
Formal Methods Syst. Des..
Christopher L. Conway,
C. Tinelli,
Andrew Reynolds,
2011,
CAV.
C. Gill,
R. Cytron,
Morgan Deters,
2003
.
Morgan Deters,
R. Nieuwenhuis,
Albert Oliveras,
2006
.
C. Barrett,
C. Tinelli,
Andrew Reynolds,
2018
.
C. Barrett,
C. Tinelli,
Andrew Reynolds,
2015
.
Morgan Deters,
S. Demri,
2014,
ACM Trans. Comput. Log..
Stéphane Demri,
Morgan Deters,
Morgan Deters,
2015,
ACM Trans. Comput. Log..
Stéphane Demri,
Morgan Deters,
Morgan Deters,
2014,
ACM Trans. Comput. Log..
Clark W. Barrett,
Aaron Stump,
L. D. Moura,
2013,
Journal of Automated Reasoning.
Viktor Kuncak,
Cesare Tinelli,
Andrew Reynolds,
2015,
CAV.
James C. Brodman,
Matthew P. Hampton,
Nicholas A. Leidenfrost,
2004,
Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004..
Ron K. Cytron,
Morgan Deters,
R. Cytron,
2002,
ISMM '02.
Stéphane Demri,
Morgan Deters,
Morgan Deters,
2015,
J. Appl. Non Class. Logics.
Cesare Tinelli,
Andrew Reynolds,
Clark W. Barrett,
2014,
CAV.
Albert Oliveras,
Aaron Stump,
Clark W. Barrett,
2008,
Int. J. Artif. Intell. Tools.
Morgan Deters,
H. Tymkew,
Kelsey Martin,
2022,
Cardiopulmonary Physical Therapy Journal.
Stéphane Demri,
Morgan Deters,
Morgan Deters,
2016,
J. Log. Comput..
Roberto Bruttomesso,
Alberto Griggio,
David R. Cok,
2013,
SMT@IJCAR.
Clark W. Barrett,
C. Tinelli,
Andrew Reynolds,
2017,
Formal methods in system design.
Cesare Tinelli,
Amit Goel,
Sava Krstic,
2013,
CADE.
Ron K. Cytron,
Morgan Deters,
Delvin C. Defoe,
2012
.
Morgan Deters,
Morgan Deters,
2007
.
Ron K. Cytron,
Morgan Deters,
Tobias Mann,
2005,
LCTES '05.