default search action

combined dblp search
author search
venue search
publication search

ask others

6th GandALF 2015: Genoa, 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/EsparzaT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsparzaT15
Javier Esparza, Enrico Tronci:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BouyerMRLL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BouyerMRLL15
Patricia Bouyer, Nicolas Markey, Mickael Randour, Kim Guldstrand Larsen, Simon Laursen:
Average-energy games. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GuptaS14c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuptaS14c
Anshul Gupta, Sven Schewe, Dominik Wojtczak:
Making the Best of Limited Memory in Multi-Player Discounted Sum Games. 16-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Hoffmann15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Hoffmann15a
Philipp Hoffmann:
Negotiation Games. 31-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LaroussinieMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LaroussinieMS15
François Laroussinie, Nicolas Markey, Arnaud Sangnier:
ATLsc with partial observation. 43-57
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Wurm15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Wurm15
Christian Wurm:
Synchronous Subsequentiality and Approximations to Undecidable Problems. 58-72
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DurandKRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DurandKRV15
Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen:
Tractability Frontier of Data Complexity in Team Semantics. 73-85
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ManciniMMMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ManciniMMMT15
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci:
Simulator Semantics for System Level Formal Verification. 86-99
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DimitrovaM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DimitrovaM15
Rayna Dimitrova, Rupak Majumdar:
Reachability Analysis of Reversal-bounded Automata on Series-Parallel Graphs. 100-114
- view
  authority control:
- export record
  dblp key:
  - journals/corr/AbdullaDM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AbdullaDM15
Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. 115-128
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HellaS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HellaS15
Lauri Hella, Johanna Stumpf:
The expressive power of modal logic with inclusion atoms. 129-143
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Zimmermann15c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Zimmermann15c
Martin Zimmermann:
Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than LTL. 144-157
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GazdaW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GazdaW15
Maciej Gazda, Tim A. C. Willemse:
Improvement in Small Progress Measures. 158-171
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Sinya15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Sinya15a
Ryoma Sin'ya:
An Automata Theoretic Approach to the Zero-One Law for Regular Languages: Algorithmic and Logical Aspects. 172-185

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.