Sfoglia per Autore  

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