default search action

combined dblp search
author search
venue search
publication search

ask others

5th GandALF 2014: Verona, 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/PeronP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PeronP14
Adriano Peron, Carla Piazza:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kuusisto14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kuusisto14
Antti Kuusisto:
Some Turing-Complete Extensions of First-Order Logic. 4-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Virtema14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Virtema14
Jonni Virtema:
Complexity of validity for propositional dependence logics. 18-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ben-Amram14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ben-Amram14
Amir M. Ben-Amram:
The Hardness of Finding Linear Ranking Functions for Lasso Programs. 32-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Wurm14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Wurm14
Christian Wurm:
Kleene Algebras, Regular Languages and Substructural Logics. 46-59
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FaymonvilleZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FaymonvilleZ14
Peter Faymonville, Martin Zimmermann:
Parametric Linear Dynamic Logic. 60-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EneaHIP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EneaHIP14
Constantin Enea, Peter Habermehl, Omar Inverso, Gennaro Parlato:
On the Path-Width of Integer Linear Programming. 74-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LodingW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LodingW14
Christof Löding, Sarah Winter:
Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. 88-101
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MontanariS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MontanariS14
Angelo Montanari, Pietro Sala:
Interval-based Synthesis. 102-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BruseFL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BruseFL14
Florian Bruse, Michael Falk, Martin Lange:
The Fixpoint-Iteration Algorithm for Parity Games. 116-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DelzannoTT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DelzannoTT14
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso:
Model Checking Paxos in Spin. 131-146
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Kuusisto14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Kuusisto14a
Antti Kuusisto:
Infinite Networks, Halting and Local Algorithms. 147-160
- view
  authority control:
- export record
  dblp key:
  - journals/corr/JaskolkaK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JaskolkaK14
Jason Jaskolka, Ridha Khédri:
A Formulation of the Potential for Communication Condition using C2KA. 161-174
- view
  authority control:
- export record
  dblp key:
  - journals/corr/OsadaFRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OsadaFRS14
Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone:
Hourglass Automata. 175-188
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BoiretHNT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BoiretHNT14
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen:
Deterministic Automata for Unordered Trees. 189-202
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BresolinEVY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BresolinEVY14
Davide Bresolin, Khaled El-Fakih, Tiziano Villa, Nina Yevtushenko:
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power. 203-216
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FinkbeinerO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FinkbeinerO14
Bernd Finkbeiner, Ernst-Rüdiger Olderog:
Petri Games: Synthesis of Distributed Systems with Causal Memory. 217-230
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Przybylko14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Przybylko14
Marcin Przybylko:
Tree games with regular objectives. 231-244
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KrishnaMT14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KrishnaMT14a
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi:
Improved Undecidability Results for Reachability Games on Recursive Timed Automata. 245-259
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CrescenzoTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CrescenzoTV14
Ilaria De Crescenzo, Salvatore La Torre, Yaron Velner:
Visibly Pushdown Modular Games. 260-274

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.