Ben C. Moszkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1983–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | SETTA | An Application of Temporal Projection to Interleaving Concurrency. | Ben C. Moszkowski, Dimitar P. Guelev |
| 2011 | TIME | Compositional Reasoning Using Intervals and Time Reversal. | Ben C. Moszkowski |
| 2000 | ICALP | An Automata-Theoretic Completeness Proof for Interval Temporal Logic. | Ben C. Moszkowski |
| 2000 | LICS | A Complete Axiomatization of Interval Temporal Logic with Infinite Time. | Ben C. Moszkowski |
| 1996 | PDP | Using ITL and Tempura for Large-Scale Specification and Simulation. | Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski |
| 1995 | ICECCS | Compositional reasoning about projected and infinite time. | Ben C. Moszkowski |
| 1984 | CONCUR | Executing Temporal Logic Programs. | Ben C. Moszkowski |
| 1983 | ICALP | A Hardware Semantics Based on Temporal Intervals. | Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski |