The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ben C. Moszkowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Ben C. Moszkowski
    Compositional Reasoning Using Interval Temporal Logic and Tempura. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:439-464 [Conf]
  6. Ben C. Moszkowski
    Executing Temporal Logic Programs. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:111-130 [Conf]
  7. 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]
  8. Ben C. Moszkowski
    An Automata-Theoretic Completeness Proof for Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:223-234 [Conf]
  9. Ben C. Moszkowski
    Compositional reasoning about projected and infinite time. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:238-245 [Conf]
  10. Ben C. Moszkowski
    A Complete Axiomatization of Interval Temporal Logic with Infinite Time. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:241-252 [Conf]
  11. Ben C. Moszkowski, Zohar Manna
    Reasoning in Interval Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:371-382 [Conf]
  12. Roger Hale, Ben C. Moszkowski
    Parallel Programming in Temporal Logic. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1987, pp:277-296 [Conf]
  13. 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]
  14. Ben C. Moszkowski
    Some Very Compositional Temporal Properties. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:307-326 [Conf]
  15. 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]
  16. 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
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002