Sfoglia per Autore
A Bottom-Up Characterization of Finite Success
1993-01-01 Delzanno, Giorgio; Martelli, Maurizio
Objects in Forum
1995-01-01 Delzanno, Giorgio; Martelli, Maurizio
A Linear Logic Calculus Objects
1996-01-01 M., Bugliesi; Delzanno, Giorgio; L., Liquori; Martelli, Maurizio
A Specification Logic for Concurrent Object-Oriented Programming
1999-01-01 Delzanno, Giorgio; Galmiche, D.; Martelli, Maurizio
Verification of Infinite-State Systems in Constraint Logic Programming
1999-01-01 Delzanno, Giorgio; A., Podelski
Model Checking in CLP
1999-01-01 Delzanno, Giorgio; Podelski, A.
Multi-Agent Systems Development as a Software Engineering Enterprise
1999-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; F., Zini
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
1999-01-01 Bozzano, M.; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; Zini, F.
Constraint-Based Analysis of Broadcast Protocols
1999-01-01 Delzanno, Giorgio; J., Esparza; A., Podelski
Automatic Verification of Parameterized Cache Coherence Protocols
2000-01-01 Delzanno, Giorgio
A bottom-up semantics for linear logic programs
2000-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Verification of Consistency Protocols via Infinite-State Symbolic Model Checking
2000-01-01 Delzanno, Giorgio
Object calculi in linear logic
2000-01-01 Bugliesi, M.; Delzanno, Giorgio; Liquori, L.; Martelli, Maurizio
Symbolic Representation of Upward-Closed Sets
2000-01-01 Delzanno, Giorgio; J. F., Raskin
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
2001-01-01 Delzanno, Giorgio; S., Etalle
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and lambda Prolog - A Case-study
2001-01-01 Delzanno, Giorgio
Proofs as computations in linear logic
2001-01-01 Delzanno, Giorgio; Martelli, Maurizio
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
2001-01-01 Carvajal Schiaffino, R.; Delzanno, Giorgio; Chiola, G.
An Assertional Language for the Verification of Systems Parametric in Several Dimensions
2001-01-01 Delzanno, Giorgio
Model Checking Communication Protocols
2001-01-01 P., Argón; Delzanno, Giorgio; S., Mukhopadhyay; A., Podelski
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