Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 316
Titolo Anno di pubblicazione Autori Unitn File
Strongly Analytic Tableaux for Normal Modal Logics 1-gen-1994 Massacci, Fabio
A uniform tableaux method for nonmonotonic modal logics 1-gen-1996 Massacci, Fabio +
Tableaux and Algorithms for Propositional Dynamic Logic with Converse 1-gen-1996 Massacci, Fabio +
Reasoning about security: a logic and a decision methods for role-based access control 1-gen-1997 Massacci, Fabio
Tableaux Methods for Formal Verification in Multi-agent Distributed Systems 1-gen-1998 Massacci, Fabio
Anytime Approximate Modal Reasoning 1-gen-1998 Massacci, Fabio
Breaking security protocols as an AI planning problem 1-gen-1998 Massacci, Fabio
Using Walk-SAT and Rel-SAT for Cryptographic Key Search 1-gen-1999 Massacci, Fabio
The Taming of the XOR 1-gen-2000 Massacci, Fabio +
Logical cryptanalysis as a SAT-problem: Encoding and analysis of the U.S. Data Encryption Standard 1-gen-2000 Massacci, Fabio +
Combining deduction and model checking into tableaux and algorithms for Converse-PDL. 1-gen-2000 Massacci, Fabio +
Reduction Rules and Universal Variables for First Order Tableaux and DPLL 1-gen-2000 Massacci, Fabio
Formal verification of cardholder registration in SET 1-gen-2000 Massacci, Fabio +
An Executable Specification Language for Planning Attacks to Security Protocols 1-gen-2000 Massacci, Fabio +
Single Step Tableaux for Modal Logics 1-gen-2000 Massacci, Fabio +
EXPTIME Tableaux for ALC 1-gen-2000 Massacci, Fabio +
Logical Cryptanalysis as a SAT-Problem: Encoding and Analysis of the U.S. Data Encryption Standard 1-gen-2000 Massacci, Fabio +
The proof complexity of analytic and clausal tableaux 1-gen-2000 Massacci, Fabio
Complementi ed esercizi di programmazione in PASCAL 1-gen-2001 Massacci, Fabio +
Programmazione con Strutture Dati in C 1-gen-2001 Massacci, Fabio +
Mostrati risultati da 1 a 20 di 316
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