default search action

combined dblp search
author search
venue search
publication search

ask others

3rd GandALF 2012: Naples, Italy

> Home > Conferences and Workshops > GandALF

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2028
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2028
Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2448
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2448
Marta Capiluppi, Roberto Segala:
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2449
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2449
Chung-Hao Huang, Doron A. Peled, Sven Schewe, Farn Wang:
Rapid Recovery for Systems with Scarce Faults. 15-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2450
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2450
Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna:
Interface Simulation Distances. 29-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2451
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2451
Martin Lange, Étienne Lozes, Manuel Vargas Guzmán:
Model-Checking Process Equivalences. 43-56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-5942
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-5942
Yang Cai, Ting Zhang:
Can Nondeterminism Help Complementation? 57-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2452
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2452
Stephan Barth, Martin Hofmann:
Learn with SAT to Minimize Büchi Automata. 71-84
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2453
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2453
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Automata-based Static Analysis of XML Document Adaptation. 85-98
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2454
Aleksandar S. Dimovski:
Symbolic Representation of Algorithmic Game Semantics. 99-112
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2455
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2455
Julian Gutierrez, Felix Klaedtke, Martin Lange:
The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity. 113-126
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2456
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2456
Ricardo Almeida, Sabine Broda, Nelma Moreira:
Deciding KAT and Hoare Logic with Derivatives. 127-140
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2481
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2481
Jakub Michaliszyn, Jan Otop, Piotr Witkowski:
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics. 141-154
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2479
Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco:
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. 155-168
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2457
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2457
Daniel Neider, Roman Rabinovich, Martin Zimmermann:
Down the Borel Hierarchy: Solving Muller Games via Safety Games. 169-182
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2458
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2458
Wladimir Fridman, Martin Zimmermann:
Playing Pushdown Parity Games in a Hurry. 183-196
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2459
Felix Canavoi, Erich Grädel, Roman Rabinovich:
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs. 197-209
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2460
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2460
Pawel Parys:
Higher-Order Pushdown Systems with Data. 210-223
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2461
Domenico Cantone, Cristiano Longo:
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. 224-237
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2462
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2462
Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax:
A Myhill-Nerode theorem for automata with advice. 238-246
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1210-2463
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2463
Szczepan Hummel:
Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones. 247-260

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.