We stand with Ukraine  

Robert A. Thacker

According to our database1, Robert A. Thacker authored at least 5 papers between 1999 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.
[BibTeX]
[DOI]
Scott Little
,
David Walter
,
Chris J. Myers
,
Robert A. Thacker
,
Satish Batchu
,
Tomohiro Yoneda
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011

2010
A New Verification Method for Embedded Systems.
[BibTeX]
Robert A. Thacker
PhD thesis, 2010

Automatic abstraction for verification of cyber-physical systems.
[BibTeX]
[DOI]
Robert A. Thacker
,
Kevin R. Jones
,
Chris J. Myers
,
Hao Zheng
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009
A new verification method for embedded systems.
[BibTeX]
[DOI]
Robert A. Thacker
,
Chris J. Myers
,
Kevin R. Jones
,
Scott Little
Proceedings of the 27th International Conference on Computer Design, 2009

1999
Timed Circuit Synthesis Using Implicit Methods.
[BibTeX]
[DOI]
Robert A. Thacker
,
Wendy Belluomini
,
Chris J. Myers
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999


  Loading...