Bozzano, Giorgio
25  Ergebnisse:
Personensuche X
?
6

Incidence of delayed bleeding in patients on antiplatelet t..:

Colombo, Giorgio ; Bonzi, Mattia ; Fiorelli, Elisa...
Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine.  29 (2021)  1 - p. , 2021
 
?
8

HCMV-controlling NKG2C+ NK cells originate from novel circu..:

Bozzano, Federica ; Della Chiesa, Mariella ; Pelosi, Andrea...
Journal of Allergy and Clinical Immunology.  147 (2021)  6 - p. 2343-2357 , 2021
 
?
 
?
 
?
12

Automatic verification of secrecy properties for linear log..:

Bozzano, Marco ; Delzanno, Giorgio
Journal of Symbolic Computation.  38 (2004)  5 - p. 1375-1415 , 2004
 
?
13

Model checking linear logic specifications:

BOZZANO, MARCO ; DELZANNO, GIORGIO ; MARTELLI, MAURIZIO
Theory and Practice of Logic Programming.  4 (2004)  5-6 - p. 573-619 , 2004
 
?
14

Automated protocol verification in linear logic:

, In: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming,
Bozzano, Marco ; Delzanno, Giorgio - p. 38-49 , 2002
 
?
15

An effective fixpoint semantics for linear logic programs:

BOZZANO, MARCO ; DELZANNO, GIORGIO ; MARTELLI, MAURIZIO
Theory and Practice of Logic Programming.  2 (2001)  1 - p. 85-122 , 2001
 
1-15