Automated development of software for program analysis and transformation
ACM SIGSOFT Software Engineering Notes
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Information and Computation
Efficient algorithms for minimizing tree pattern queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
ACM Transactions on Computational Logic (TOCL)
Higher-Order and Symbolic Computation
Universal Regular Path Queries
Higher-Order and Symbolic Computation
Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Simulation as Coarsest Partition Problem
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
From Bisimulation to Simulation: Coarsest Partition Problems
Journal of Automated Reasoning
Higher-Order and Symbolic Computation
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Core role-based access control: efficient implementations by transformations
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Covering indexes for XML queries: bisimulation - simulation = negation
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Generalizing the Paige--Tarjan algorithm by abstract interpretation
Information and Computation
Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Correcting a Space-Efficient Simulation Algorithm
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Five Determinisation Algorithms
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
An efficient simulation algorithm based on abstract interpretation
Information and Computation
Bridging the gap between fair simulation and trace inclusion
Information and Computation
Rewriting XPath queries using materialized XPath views
Journal of Computer and System Sciences
Saving Space in a Time Efficient Simulation Algorithm
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
| Hi-index | 0.00 |