Sfoglia per Autore
Strongly Analytic Tableaux for Normal Modal Logics
1994-01-01 Massacci, Fabio
A uniform tableaux method for nonmonotonic modal logics
1996-01-01 Donini, F. M.; Massacci, Fabio; Nardi, D.; Rosati, R.
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
1996-01-01 DE GIACOMO, G.; Massacci, Fabio
Reasoning about security: a logic and a decision methods for role-based access control
1997-01-01 Massacci, Fabio
Tableaux Methods for Formal Verification in Multi-agent Distributed Systems
1998-01-01 Massacci, Fabio
Anytime Approximate Modal Reasoning
1998-01-01 Massacci, Fabio
Breaking security protocols as an AI planning problem
1998-01-01 Massacci, Fabio
Using Walk-SAT and Rel-SAT for Cryptographic Key Search
1999-01-01 Massacci, Fabio
The Taming of the XOR
2000-01-01 Baumgartner, P.; Massacci, Fabio
Logical cryptanalysis as a SAT-problem: Encoding and analysis of the U.S. Data Encryption Standard
2000-01-01 Massacci, Fabio; Marraro, L.
Combining deduction and model checking into tableaux and algorithms for Converse-PDL.
2000-01-01 G., De Giacomo; Massacci, Fabio
Reduction Rules and Universal Variables for First Order Tableaux and DPLL
2000-01-01 Massacci, Fabio
Formal verification of cardholder registration in SET
2000-01-01 G., Bella; Massacci, Fabio; L. C., Paulson; P., Tramontano
An Executable Specification Language for Planning Attacks to Security Protocols
2000-01-01 CARLUCCI AIELLO, L.; Massacci, Fabio
Single Step Tableaux for Modal Logics
2000-01-01 Massacci, Fabio; L., Marraro
EXPTIME Tableaux for ALC
2000-01-01 F. M., Donini; Massacci, Fabio
Logical Cryptanalysis as a SAT-Problem: Encoding and Analysis of the U.S. Data Encryption Standard
2000-01-01 Massacci, Fabio; L., Marraro
The proof complexity of analytic and clausal tableaux
2000-01-01 Massacci, Fabio
Complementi ed esercizi di programmazione in PASCAL
2001-01-01 Calvanese, D.; Liberatore, P.; Massacci, Fabio; Rosati, R.
Programmazione con Strutture Dati in C
2001-01-01 Calvanese, D.; Liberatore, P.; Massacci, Fabio; Rosati, R.
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