IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 69
Titolo Data di pubblicazione Autore(i) File
The Complexity of Model Checking in Modal Event Calculi 1-gen-1997 I., Cervesato; Franceschet, Massimo; Montanari, Angelo
Modal Event Calculi with Preconditions 1-gen-1997 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
The Complexity of Model Checking in Modal Event Calculi with Quantifiers 1-gen-1998 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Event Calculi with Explicit Quantifiers 1-gen-1998 Cervesato, I; Franceschet, Massimo; Montanari, Angelo
Indexing by Shape of Image Databases Based on Extended Grid Files 1-gen-1999 Combi, Carlo; Foresti, Gian Luca; Franceschet, Massimo; Montanari, Angelo
A graph-theoretic approach to efficiently reasoning about partially ordered events in the Event Calculus 1-gen-1999 Franceschet, Massimo; Montanari, Angelo
A Hierarchy of Modal Event Calculi: Expressiveness and Complexity 1-gen-2000 I., Cervesato; Franceschet, Massimo; Montanari, Angelo
A Guided Tour Through some Extensions of the Event Calculus 1-gen-2000 Cervesato, Iliano; Franceschet, Massimo; Montanari, Angelo
Pairing transitive closure and reduction to efficiently reason about partially ordered events 1-gen-2000 Franceschet, M.; Montanari, A.
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in (Modal) Event Calculus 1-gen-2000 Franceschet, Massimo; Montanari, Angelo
Model Checking for Combined Logics 1-gen-2000 Franceschet, Massimo; Montanari, Angelo; M., DE RIJKE
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events 1-gen-2000 Franceschet, Massimo; Montanari, Angelo
A combined approach to temporal logics for time granularity 1-gen-2001 Franceschet, Massimo; Montanari, Angelo
Towards an automata-theoretic counterpart of combined temporal logics 1-gen-2001 Franceschet, Massimo; Montanari, Angelo
Time Granularities in Databases, Data Mining, and Temporal Reasoning, by Claudio Bettini, Sushil Jajodia, and Sean X. Wang (book review) 1-gen-2002 Franceschet, Massimo; Montanari, Angelo
A logical approach to represent and reason about calendars 1-gen-2002 C., Combi; Franceschet, Massimo; A., Peron
Branching within Time: an Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity 1-gen-2003 Franceschet, Massimo; Montanari, Angelo
Definability and Decidability of Binary Predicates for Time Granularity 1-gen-2003 Franceschet, Massimo; Montanari, Angelo; Peron, A; Sciavicco, G.
Hybrid Logics on Linear Structures: Expressivity and Complexity 1-gen-2003 Franceschet, Massimo; M., DE RIJKE; Holger, Schlingloff
Model checking for hybrid logics 1-gen-2003 Franceschet, Massimo; M., DE RIJKE
Mostrati risultati da 1 a 20 di 69
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