AAAAAA
Results:
1-10
|
Results: 10
Authors:
Bodei, C
Degano, P
Nielson, F
Nielson, HR
Citation: C. Bodei et al., Static analysis for the pi-calculus with applications to security, INF COMPUT, 168(1), 2001, pp. 68-92
Authors:
Degano, P
Priami, C
Citation: P. Degano et C. Priami, Enhanced operational semantics: A tool for describing and analyzing concurrent systems, ACM C SURV, 33(2), 2001, pp. 135-176
Authors:
Bodei, C
Degano, P
Priami, C
Citation: C. Bodei et al., Names of the pi-calculus agents handled locally, THEOR COMP, 253(2), 2001, pp. 155-184
Authors:
Nottegar, C
Priami, C
Degano, P
Citation: C. Nottegar et al., Performance evaluation of mobile processes via abstract machines, IEEE SOFT E, 27(10), 2001, pp. 867-889
Authors:
Anderson, RP
Degano, P
Godkin, AJ
Jewell, DP
Hill, AVS
Citation: Rp. Anderson et al., In vivo antigen challenge in celiac disease identifies a single transglutaminase-modified peptide as the dominant A-gliadin T-cell epitope, NAT MED, 6(3), 2000, pp. 337-342
Authors:
Degano, P
Gorrieri, R
Marchetti-Spaccamela, A
Wegner, P
Citation: P. Degano et al., Computing Surveys' Electronic Symposium on the Theory of Computation, ACM C SURV, 31, 1999, pp. 223-225
Authors:
Degano, P
Gorrieri, R
Marchetti-Spaccamela, A
Citation: P. Degano et al., ICALP '97 - Foreword, THEOR COMP, 221(1-2), 1999, pp. 1-1
Authors:
Degano, P
Priami, C
Citation: P. Degano et C. Priami, Non-interleaving semantics for mobile processes, THEOR COMP, 216(1-2), 1999, pp. 237-270
Authors:
Degano, P
Schneider, J
Hannan, CM
Gilbert, SC
Hill, AVS
Citation: P. Degano et al., Gene gun intradermal DNA immunization followed by boosting with modified vaccinia virus Ankara: enhanced CD8+T cell immunogenicity and protective efficacy in the influenza and malaria models, VACCINE, 18(7-8), 1999, pp. 623-632
Authors:
Degano, P
Priami, C
Leth, L
Thomsen, B
Citation: P. Degano et al., Causality for debugging mobile agents, ACT INFORM, 36(5), 1999, pp. 335-374
Risultati:
1-10
|