Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Igor Walukiewicz
Using Models to Model-Check Recursive Schemes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Characterizing EF and EX Tree Logics
Theoretical Computer Science
Computer Science
Theoretical Computer Science
A Lower Bound on Web Services Composition
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Difficult Configurations — On the Complexity of LTrL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automata for the Mu-Calculus and Related Results
BRICS Report Series