Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
A New Structural Induction Theorem for Rings of Temporal Petri Nets
IEEE Transactions on Software Engineering
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
A Decidable Temporal Logic of Repeating Values
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Verifying a Behavioural Logic for Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
A logic for analyzing abstractions of graph transformation systems
SAS'03 Proceedings of the 10th international conference on Static analysis
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
| Hi-index | 5.23 |