IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 63
Titolo Tipologia Data di pubblicazione Autore(i) File
Reformulating queries: Theory and practice 4.1 Articoli in Atti di convegno 2017 Benedikt, M.; Kostylev, E. V.; Mogavero, F.; Tsamoura, E.
Reasoning about graded strategy quantifiers 1.1 Articolo in rivista 2017 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Reasoning about strategies: On the satisfiability problem 1.1 Articolo in rivista 2017 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries 4.1 Articoli in Atti di convegno 2017 Bova, Simone; Mogavero, Fabio
Preface to the Special Issue on SR 2014 7.1 Curatore o Editor di Libri Scientifici 2017 Mogavero, F.; Murano, A.; Vardi, M. Y.
Cycle Detection in Computation Tree Logic 4.1 Articoli in Atti di convegno 2016 Fontaine, Gaelle; Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Sorrentino, Loredana
Solving parity games via priority promotion 2.1 Contributo in volume (Capitolo o Saggio) 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Relentful strategic reasoning in alternating-Time temporal logic 1.1 Articolo in rivista 2016 Mogavero, Fabio; Murano, Aniello; Vardi, Moshe Y.
Improving Priority Promotion for Parity Games 2.1 Contributo in volume (Capitolo o Saggio) 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
A Delayed Promotion Policy for Parity Games 4.1 Articoli in Atti di convegno 2016 Benerecetti, Massimo; Dell'Erba, Daniele; Mogavero, Fabio
Binding Forms in First-Order Logic 4.1 Articoli in Atti di convegno 2015 Mogavero, Fabio; Perelli, Giuseppe
Reasoning about substructures and games 1.1 Articolo in rivista 2015 Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
On promptness in parity games 1.1 Articolo in rivista 2015 Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
On the Counting of Strategies 4.1 Articoli in Atti di convegno 2015 Malvone, Vadim; Mogavero, Fabio; Murano, Aniello; Sorrentino, Loredana
Special issue on SR 2013 7.1 Curatore o Editor di Libri Scientifici 2015 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014 7.1 Curatore o Editor di Libri Scientifici 2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
Second International Workshop on Strategic Reasoning, SR 2014 7.1 Curatore o Editor di Libri Scientifici 2014 Mogavero, Fabio; Murano, Aniello; Moshe Y., Vardi
A Behavioral Hierarchy of Strategy Logic 4.1 Articoli in Atti di convegno 2014 Mogavero, Fabio; Murano, Aniello; Sauro, Luigi
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications 4.1 Articoli in Atti di convegno 2014 Petr, Cermak; Alessio, Lomuscio; Mogavero, Fabio; Murano, Aniello
Reasoning About Strategies: On the Model-Checking Problem 1.1 Articolo in rivista 2014 Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Moshe Y., Vardi
Mostrati risultati da 21 a 40 di 63
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile