IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 338
Titolo Data di pubblicazione Autore(i) File
Mechanizing Multi-Agent Reasoning with Belief Contexts 1-gen-1996 Cimatti, Alessandro; Serafini, Luciano
Visual Representation of Natural Language Scene Descriptions 1-gen-1996 Enrico, Giunchiglia; Armando, Alessandro; Traverso, Paolo; Cimatti, Alessandro
Mechanizing Local Reasoning with Contexts 1-gen-1996 Bouquet, Paolo; Cimatti, Alessandro
Context-Based Formal Specification of Multi-Agent Systems 1-gen-1996 Massimo, Benerecetti; Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
Computational Reflection via Mechanized Logical Deduction 1-gen-1996 Cimatti, Alessandro; Traverso, Paolo
Planning via Model Checking: A Decision Procedure for AR 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
A Many Sorted Natural Deduction 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains 1-gen-1998 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Strong Planning in Non-Deterministic Domains via Model Checking 1-gen-1998 Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
Model Checking Safety Critical Software with SPIN: An Application to a Railway Interlocking System 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Abstraction in Planning via Model Checking 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; Roveri, Marco
Specifica formale dei protocolli Safety Layer e Connection Manager 1-gen-1998 Cimatti, Alessandro; Sebastiani, Roberto
Protocolli Safety Layer e Connection Manager: Descrizione del Codice SDL 1-gen-1998 Cimatti, Alessandro; Sebastiani, Roberto
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Mostrati risultati da 21 a 40 di 338
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