Tom Newcomb
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the decidability of the safety problem for access control policies Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
| Polymorphic systems with arrays, 2-counter machines and multiset rewriting | 2013-10-02 | Paper |
| Nets with Tokens Which Carry Data Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
| Nets with tokens which carry data | 2009-02-12 | Paper |
| Communicating Sequential Processes. The First 25 Years Lecture Notes in Computer Science | 2005-11-29 | Paper |
| On model checking data-independent systems with arrays without reset Theory and Practice of Logic Programming | 2005-04-15 | Paper |
Research outcomes over time
This page was built for person: Tom Newcomb
