Temporal abstract interpretation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Discrete Subexponential Algorithm for Parity Games
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Small Progress Measures for Solving Parity Games
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Trading Probability for Fairness
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Combining supervisor synthesis and model checking
ACM Transactions on Embedded Computing Systems (TECS)
The alternation hierarchy in fixpoint logic with chop is strict too
Information and Computation
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Performance evaluation and verification of communication protocol for railway signaling systems
Computer Standards & Interfaces
Solving parity games in big steps
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
On deciding topological classes of deterministic tree languages
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
| Hi-index | 5.23 |