IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 147
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
Multi-Agent Systems Development as a Software Engineering Enterprise 1-gen-1999 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio; Mascardi, Viviana; F., Zini
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.
Constraint-Based Analysis of Broadcast Protocols 1-gen-1999 Delzanno, Giorgio; J., Esparza; A., Podelski
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.
Symbolic Representation of Upward-Closed Sets 1-gen-2000 Delzanno, Giorgio; J. F., Raskin
Verification of Consistency Protocols via Infinite-State Symbolic Model Checking 1-gen-2000 Delzanno, Giorgio
A bottom-up semantics for linear logic programs 1-gen-2000 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Object calculi in linear logic 1-gen-2000 Bugliesi, M.; Delzanno, Giorgio; Liquori, L.; Martelli, Maurizio
Automatic Verification of Parameterized Cache Coherence Protocols 1-gen-2000 Delzanno, Giorgio
Constraint-based Deductive Model Checking 1-gen-2001 Delzanno, Giorgio; Podelski, A.
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols 1-gen-2001 Delzanno, Giorgio; S., Etalle
An Assertional Language for the Verification of Systems Parametric in Several Dimensions 1-gen-2001 Delzanno, Giorgio
On the relations between disjunctive and linear logic programming 1-gen-2001 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
Constraint-Based Verification of Client-Server Protocols 1-gen-2001 Delzanno, Giorgio; T., Bultan
An embedding of calculi for negation as failure into linear logic 1-gen-2001 Delzanno, Giorgio; Martelli, Maurizio
Mostrati risultati da 1 a 20 di 147
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