The SCEAS System
| |||||||

## Search the dblp DataBase
Ben C. Moszkowski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Ben C. Moszkowski
**A Temporal Analysis of Some Concurrent Systems.**[Citation Graph (0, 0)][DBLP] The Analysis of Concurrent Systems, 1983, pp:359-364 [Conf] - Ben C. Moszkowski
**A Hierarchical Completeness Proof for Propositional Temporal Logic.**[Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:480-523 [Conf] - Ben C. Moszkowski
**A Hierarchical Analysis of Propositional Temporal Logic based on Intervals.**[Citation Graph (0, 0)][DBLP] We Will Show Them! (2), 2005, pp:371-440 [Conf] - Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
**Proving the correctness of the interlock mechanism in processor design.**[Citation Graph (0, 0)][DBLP] CHARME, 1997, pp:5-22 [Conf] - Ben C. Moszkowski
**Compositional Reasoning Using Interval Temporal Logic and Tempura.**[Citation Graph (0, 0)][DBLP] COMPOS, 1997, pp:439-464 [Conf] - Ben C. Moszkowski
**Executing Temporal Logic Programs.**[Citation Graph (0, 0)][DBLP] Seminar on Concurrency, 1984, pp:111-130 [Conf] - Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski
**A Hardware Semantics Based on Temporal Intervals.**[Citation Graph (0, 0)][DBLP] ICALP, 1983, pp:278-291 [Conf] - Ben C. Moszkowski
**An Automata-Theoretic Completeness Proof for Interval Temporal Logic.**[Citation Graph (0, 0)][DBLP] ICALP, 2000, pp:223-234 [Conf] - Ben C. Moszkowski
**Compositional reasoning about projected and infinite time.**[Citation Graph (0, 0)][DBLP] ICECCS, 1995, pp:238-245 [Conf] - Ben C. Moszkowski
**A Complete Axiomatization of Interval Temporal Logic with Infinite Time.**[Citation Graph (0, 0)][DBLP] LICS, 2000, pp:241-252 [Conf] - Ben C. Moszkowski, Zohar Manna
**Reasoning in Interval Temporal Logic.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1983, pp:371-382 [Conf] - Roger Hale, Ben C. Moszkowski
**Parallel Programming in Temporal Logic.**[Citation Graph (0, 0)][DBLP] PARLE (2), 1987, pp:277-296 [Conf] - Antonio Cau, Hussein Zedan, Nick Coleman, Ben C. Moszkowski
**Using ITL and Tempura for Large-Scale Specification and Simulation.**[Citation Graph (0, 0)][DBLP] PDP, 1996, pp:493-500 [Conf] - Ben C. Moszkowski
**Some Very Compositional Temporal Properties.**[Citation Graph (0, 0)][DBLP] PROCOMET, 1994, pp:307-326 [Conf] - Ben C. Moszkowski
**A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time.**[Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:55-104 [Journal] - Ben C. Moszkowski
**Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals.**[Citation Graph (0, 0)][DBLP] J. Log. Comput., 2007, v:17, n:2, pp:333-409 [Journal]
Search in 0.002secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |