Search the dblp DataBase
Thomas Christopher Newcomb: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. [Citation Graph (0, 0)][DBLP]
25 Years Communicating Sequential Processes, 2004, pp:275-291 [Conf] - Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:61-86 [Journal] - Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On model checking data-independent systems with arrays without reset. [Citation Graph (0, 0)][DBLP]
TPLP, 2004, v:4, n:5-6, pp:659-693 [Journal] - Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens Which Carry Data. [Citation Graph (0, 0)][DBLP]
ICATPN, 2007, pp:301-320 [Conf]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002