default search action

combined dblp search
author search
venue search
publication search

ask others

13th GandALF 2022: Madrid, Spain

> 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-2209-09333
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-09333
Pierre Ganty, Dario Della Monica:
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. EPTCS 370, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10309
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel:
On the Existential Fragments of Local First-Order Logics with Data. 1-16
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10311
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10311
Florian Bruse, David Kronenberger, Martin Lange:
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. 17-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10377
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10377
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza, Anna Ingólfsdóttir:
Complexity through Translations for Modal Logic with Recursion. 34-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10312
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10312
Joachim Niehren, Momar Sakho, Antonio Al Serhali:
Schema-Based Automata Determinization. 49-65
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10313
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10313
Hans de Nivelle, Dina Muktubayeva:
Generating Tokenizers with Flat Automata. 66-80
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10315
Igor Khmelnitsky, Serge Haddad, Lina Ye, Benoît Barbot, Benedikt Bollig, Martin Leucker, Daniel Neider, Rajarshi Roy:
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. 81-96
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10316
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10316
Laura Bozzelli, Adriano Peron:
Parametric Interval Temporal Logic over Infinite Words. 97-113
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10306
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10306
Hadar Frenkel, Sarai Sheinvald:
Realizable and Context-Free Hyperlanguages. 114-130
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10319
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10319
Renato Acampora, Luca Geatti, Nicola Gigante, Angelo Montanari, Valentino Picotti:
Controller Synthesis for Timeline-based Games. 131-146
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10321
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek:
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. 147-161
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10322
Thomas Brihaye, Sophie Pinchinat, Alexandre Terefenko:
Adversarial Formal Semantics of Attack Trees and Related Problems. 162-177
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10323
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10323
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann:
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. 178-193
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10328
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10328
Felix Stutz, Damien Zufferey:
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. 194-212
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10324
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10324
Michael J. Coulombe, Jayson Lynch:
Characterizing the Decidability of Finite State Automata Team Games with Communication. 213-228

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.