FERRARI, GIAN-LUIGI Statistiche

FERRARI, GIAN-LUIGI  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 191 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A Coordination-based Methodology for Security Protocol Verification 1-gen-2005 G., Baldi; A., Bracciali; Ferrari, GIAN-LUIGI; E., Tuosto
A Debugging Calculus for Mobile Ambients. 1-gen-2001 Ferrari, GIAN-LUIGI; Tuosto, E.
A Formal Basis for Reasoning on Programmable QoS 1-gen-2003 DE NICOLA, R; Ferrari, GIAN-LUIGI; Montanari, U; Pugliese, R; Tuosto, E.
A formal framework for secure and complying services 1-gen-2014 Basile, Davide; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
A G-Local pi-calculus 1-gen-2011 Bodei, Chiara; Ferrari, GIAN-LUIGI; Dinh, V. D.
A Language-based Approach to Autonomic Computing 1-gen-2013 De Nicola, R; Ferrari, GIAN-LUIGI; Loreti, M; Pugliese, R.
A Logic for Graphs with QoS 1-gen-2006 A., LLUCH LAFUENTE; Ferrari, GIAN-LUIGI
A LTS Semantics of Ambients via Graph Synchronization with Mobility 1-gen-2001 Ferrari, GIAN-LUIGI; Montanari, U; Tuosto, E.
A model-checking verification environment for mobile processes 1-gen-2003 Ferrari, GIAN-LUIGI; Gnesi, S.; Montanari, UGO GIOVANNI ERASMO; Pistore, M.
A Pi-Calculus with Explicit Substitutions 1-gen-1996 Ferrari, GIAN-LUIGI; Montanari, UGO GIOVANNI ERASMO; Quaglia, P.
A Pi-Calculus with Explicit Substitutions: the Late Semantics 1-gen-1994 Ferrari, GIAN-LUIGI; Montanari, U; Quaglia, P.
A Process Calculus for QoS-Aware Applications 1-gen-2005 DE NICOLA, R; Ferrari, GIAN-LUIGI; Montanari, U; Pugliese, R; Tuosto, E.
A Refinement Calculus for Mobility: Expressing Security Properties 1-gen-1999 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura
A symbolic framework for multi- faceted security protocol analysis 1-gen-2008 A., Bracciali; Ferrari, GIAN-LUIGI; E., Tuosto
A Tile-Based Coordination View of Asynchronous pi-Calculus 1-gen-1997 Ferrari, GIAN-LUIGI; Montanari, U.
A Two-Component Language for COP 1-gen-2014 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
A Two-Phase Static Analysis for Reliable Adaptation 1-gen-2014 Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio
Le Abilità Informatiche dell'Università di Pisa 1-gen-2012 Cerbai, Ilaria; Ferrari, GIAN-LUIGI
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, Carlo; Semini, Laura; Semprini, S.
Ad Hoc Network Applications: Specification, Design and Verification in Mob-adtl 1-gen-2001 Ferrari, GIAN-LUIGI; Montangero, C; Semini, Laura; Semprini, S.