CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Mechanizing Proofs of Computation Equivalence
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
An expressively complete linear time temporal logic for Mazurkiewicz traces
Information and Computation - Special issue: LICS'97
A Mechanized Proof Environment for the Convenient Computations Proof Method
Formal Methods in System Design
Deciding Global Partial-Order Properties
Formal Methods in System Design
Difficult Configurations—On the Complexity of LTrL
Formal Methods in System Design
On Ethics of Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Efficient model checking for LTL with partial order snapshots
Theoretical Computer Science
Truly Concurrent Logic via In-Between Specification
Electronic Notes in Theoretical Computer Science (ENTCS)
Abstraction for model checking multi-agent systems
Frontiers of Computer Science in China
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Efficient model checking for LTL with partial order snapshots
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
On Ethics of Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Fundamenta Informaticae
Adding Partial Orders to Linear Temporal Logic
Fundamenta Informaticae
AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS
Fundamenta Informaticae
| Hi-index | 5.23 |