Semantics-Based Design for Secure Web Services
Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.
Published in IEEE transactions on software engineering (01.01.2008)
Published in IEEE transactions on software engineering (01.01.2008)
Get full text
Journal Article
Modelling biochemical pathways through enhanced π-calculus
Curti, M., Degano, P., Priami, C., Baldari, C.T.
Published in Theoretical computer science (28.09.2004)
Published in Theoretical computer science (28.09.2004)
Get full text
Journal Article
Conference Proceeding
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
Dégano, Pilar, Schneider, Jörg, Hannan, Carolyn M, Gilbert, Sarah C, Hill, Adrian V.S
Published in Vaccine (12.11.1999)
Published in Vaccine (12.11.1999)
Get full text
Journal Article
Safety of DNA and modified vaccinia virus Ankara vaccines against liver-stage P. falciparum malaria in non-immune volunteers
Moorthy, V.S., McConkey, S., Roberts, M., Gothard, P., Arulanantham, N., Degano, P., Schneider, J., Hannan, C., Roy, M., Gilbert, S.C., Peto, T.E.A., Hill, A.V.S.
Published in Vaccine (16.05.2003)
Published in Vaccine (16.05.2003)
Get full text
Journal Article
Performance evaluation of mobile processes via abstract machines
Nottegar, C., Priami, C., Degano, P.
Published in IEEE transactions on software engineering (01.10.2001)
Published in IEEE transactions on software engineering (01.10.2001)
Get full text
Journal Article
Authentication primitives for secure protocol specifications
Bodei, C., Degano, P., Focardi, R., Priami, C.
Published in Future generation computer systems (01.05.2005)
Published in Future generation computer systems (01.05.2005)
Get full text
Journal Article
Flow logic for Dolev–Yao secrecy in cryptographic processes
Bodei, C., Degano, P., Nielson, F., Riis Nielson, H.
Published in Future generation computer systems (01.05.2002)
Published in Future generation computer systems (01.05.2002)
Get full text
Journal Article
Relating two automata-based models of orchestration and choreography
Basile, D., Degano, P., Ferrari, G.L., Tuosto, E.
Published in Journal of logical and algebraic methods in programming (01.04.2016)
Published in Journal of logical and algebraic methods in programming (01.04.2016)
Get full text
Journal Article
DNA-based vaccines for malaria: a heterologous prime-boost immunisation strategy
Hill, A V, Reece, W, Gothard, P, Moorthy, V, Roberts, M, Flanagan, K, Plebanski, M, Hannan, C, Hu, J T, Anderson, R, Degano, P, Schneider, J, Prieur, E, Sheu, E, Gilbert, S C
Published in Developments in biologicals (2000)
Get more information
Published in Developments in biologicals (2000)
Journal Article
Reversal of the inhibitory effects of calcitonin gene-related peptide (CGRP) and amylin on insulin secretion by the 8–37 fragment of human CGRP
Silvestre, Ramona A., Salas, Mercedes, Dégano, Pilar, Peiró, Elena, Marco, José
Published in Biochemical pharmacology (09.06.1993)
Published in Biochemical pharmacology (09.06.1993)
Get full text
Journal Article
Automatic validation of protocol narration
Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Riis Nielson, H.
Published in 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings (2003)
Published in 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings (2003)
Get full text
Conference Proceeding