`Travelled to:`

1 × Austria

1 × Germany

1 × Italy

1 × Japan

1 × Poland

1 × Spain

1 × United Kingdom

2 × Belgium

2 × USA

`Collaborated with:`

∅ A.Montanari E.S.L.Lam M.Stehr F.Pfenning M.Franceschet L.Chittaro E.S.L.Lam A.Karatsolis K.A.Harras Y.Cooper K.Oflazer N.B.Abu-Ghazaleh T.Sans

`Talks about:`

logic (8) modal (4) event (4) program (3) linear (3) model (3) cryptoprotocol (2) framework (2) calculus (2) theoret (2)

## Person: Iliano Cervesato

### DBLP: Cervesato:Iliano

### Contributed to:

### Wrote 15 papers:

- SMT-2014-LamC #reasoning #set
- Reasoning About Set Comprehensions (ESLL, IC), pp. 27–37.
- PPDP-2013-LamC #constraints #distributed #execution
- Decentralized execution of constraint handling rules for ensembles (ESLL, IC), pp. 205–216.
- ICLP-J-2012-Cervesato #compilation #logic programming #source code
- An Improved Proof-Theoretic Compilation of Logic Programs (IC), pp. 639–657.
- PPDP-2012-LamC #datalog #linear #logic #modelling
- Modeling datalog fact assertion and retraction in linear logic (ESLL, IC), pp. 67–78.
- ITiCSE-2011-Cervesato #logic
- Discovering logic through comics (IC), pp. 103–107.
- ITiCSE-2011-KaratsolisCHCOAS #communication #effectiveness
- Getting CS undergraduates to communicate effectively (AK, IC, KAH, YC, KO, NBAG, TS), pp. 283–287.
- WRLA-2004-CervesatoS05 #dependent type #logic #representation #specification
- Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (IC, MOS), pp. 183–207.
- WRLA-J-2004-CervesatoS07 #dependent type #logic #representation #specification
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (IC, MOS), pp. 3–35.
- JICSLP-1998-Cervesato #compilation #logic programming
- Proof-Theoretic Foundation of Compilation in Logic Programming (IC), pp. 115–129.
- KR-1998-CervesatoFM #calculus #complexity #model checking #quantifier
- The Complexity of Model Checking in Modal Event Calculi with Quantifiers (IC, MF, AM), pp. 368–379.
- ICLP-1997-CervesatoFM #calculus #complexity #model checking
- The Complexity of Model Checking in Modal Event Calculi (IC, MF, AM), p. 419.
- LICS-1997-CervesatoP #higher-order #linear
- Linear Higher-Order Pre-Unification (IC, FP), pp. 422–433.
- LICS-1996-CervesatoP #framework #linear #logic
- A Linear Logical Framework (IC, FP), pp. 264–275.
- ICLP-1995-CervesatoCM #calculus #framework #logic programming #order
- A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (IC, LC, AM), pp. 299–313.
- ILPS-1994-CervesatoCM #calculus
- Modal Event Calculus (IC, LC, AM), p. 675.