Games and Model Checking for Guarded Logics
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Local Model Checking Games for Fixed Point Logic with Chop
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Theoretical Computer Science
Automata logics, and infinite games
A classification of symbolic transition systems
ACM Transactions on Computational Logic (TOCL)
Games with winning conditions of high Borel complexity
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
A parametric analysis of the state-explosion problem in model checking
Journal of Computer and System Sciences
Ambiguous classes in µ-calculi hierarchies
Theoretical Computer Science - Foundations of software science and computation structures
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
Deterministic Graphical Games Revisited
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Ranking Automata and Games for Prioritized Requirements
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
The Complexity of Solving Stochastic Games on Graphs
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Obtaining Memory-Efficient Solutions to Boolean Equation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Ambiguous classes in the games µ-calculus hierarchy
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Perfect-Information Games with Lower-Semicontinuous Payoffs
Mathematics of Operations Research
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Solving parity games by a reduction to SAT
Journal of Computer and System Sciences
Fixpoint logics on hierarchical structures
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Solving alternating boolean equation systems in answer set programming
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
The dag-width of directed graphs
Journal of Combinatorial Theory Series B
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
Passive code in synchronous programs
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Hi-index | 5.23 |