Bi-inductive Structural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Bi-inductive structural semantics
Information and Computation
Abstract interpretation of non-monotone bi-inductive semantic definitions
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Time for verification
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Metric spaces and termination analyses
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Theoretical Computer Science
Algebraic synchronization trees and processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Synthesis from incompatible specifications
Proceedings of the tenth ACM international conference on Embedded software
Quantitative reactive modeling and verification
Computer Science - Research and Development
| Hi-index | 5.23 |