Gian-Luigi Ferrari

146 papers A* 2A 2B 15C 14Misc 2Journal 37Unranked 70

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Evaluating Security Properties in the Execution of Quantum Circuits. CoRR Paolo Bernardi, Antonio Brogi, Gian-Luigi Ferrari, Giuseppe Bisicchia
2024	—	`conf`	Klaim in the Making. ISoLA (1) Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto
2024	—	`conf`	Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. ISoLA (1) Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari
2023	—	`ch.`	Risk Estimation in IoT Systems. Challenges of Software Verification Chiara Bodei, Gian-Luigi Ferrari, Letterio Galletta, Pierpaolo Degano
2023	J	`jnl`	Secure Partitioning of Cloud Applications, with Cost Look-Ahead. Future Internet Alessandro Bocci, Stefano Forti, Roberto Guanciale, Gian-Luigi Ferrari, Antonio Brogi
2022	—	`conf`	Secure Partitioning of Composite Cloud Applications. ESOCC Alessandro Bocci, Roberto Guanciale, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi
2022	B	`conf`	Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations. CCGRID Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi
2021	J	`jnl`	Modelling and analysing IoT systems. J. Parallel Distributed Comput. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2021	—	`conf`	Placing FaaS in the Fog, Securely. ITASEC Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi
2021	J	`jnl`	Secure FaaS orchestration in the fog: how far are we? Computing Alessandro Bocci, Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi
2021	C	`conf`	Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020	J	`jnl`	A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2020	J	`jnl`	Controller synthesis of service contracts with variability. Sci. Comput. Program. Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
2020	J	`jnl`	Secure Cloud-Edge Deployments, with Trust. Future Gener. Comput. Syst. Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi
2020	—	`conf`	Security Metrics at Work on the Things in IoT Systems. From Lambda Calculus to Cybersecurity Through Program Analysis Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019	—	`conf`	Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
2019	J	`jnl`	Programming in a context-aware language. J. Supercomput. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019	—	`conf`	Revealing the Trajectories of KLAIM Tuples, Statically. Models, Languages, and Tools for Concurrent and Distributed Programming Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2019	J	`jnl`	Secure Cloud-Edge Deployments, with Trust. CoRR Stefano Forti, Gian-Luigi Ferrari, Antonio Brogi
2018	C	`conf`	A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2018	—	`conf`	Secure Apps in the Fog: Anything to Declare? ESOCC Workshops Antonio Brogi, Gian-Luigi Ferrari, Stefano Forti
2017	J	`jnl`	Checking global usage of resources handled with local policies. Sci. Comput. Program. Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
2017	B	`conf`	Experimenting with a Context-Aware Language. PaCT Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2017	J	`jnl`	Regular and context-free nominal traces. Acta Informatica Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2017	—	`conf`	Specifying variability in service contracts. VaMoS Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Pierpaolo Degano, Gian-Luigi Ferrari
2017	J	`jnl`	Tracing where IoT data are collected and aggregated. Log. Methods Comput. Sci. Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	—	`conf`	A Step Towards Checking Security in IoT. ICE Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	J	`jnl`	A Two-Component Language for Adaptation: Design, Semantics and Program Analysis. IEEE Trans. Software Eng. Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	J	`jnl`	Automata for Specifying and Orchestrating Service Contracts. Log. Methods Comput. Sci. Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2016	—	`conf`	Event-driven Adaptation in COP. PLACES Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	—	`conf`	Last Mile's Resources. Semantics, Logics, and Calculi Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	C	`conf`	Playing with Our CAT and Communication-Centric Applications. FORTE Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2016	J	`jnl`	Relating two automata-based models of orchestration and choreography. J. Log. Algebraic Methods Program. Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2016	J	`jnl`	Tracing where IoT data are collected and aggregated. CoRR Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2016	C	`conf`	Where Do Your IoT Ingredients Come From? COORDINATION Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015	—	`conf`	A Context-Oriented Extension of F#. FOCLASA Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2015	J	`jnl`	Model checking usage policies. Math. Struct. Comput. Sci. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2015	—	`conf`	Pierpaolo Degano. Programming Languages with Applications to Biology and Security Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
2015	—	`ed.`	Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday Programming Languages with Applications to Biology and Security Chiara Bodei, Gian-Luigi Ferrari, Corrado Priami
2014	—	`conf`	A Two-Component Language for COP. COP@ECOOP Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2014	B	`conf`	A Two-Phase Static Analysis for Reliable Adaptation. SEFM Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
2014	J	`jnl`	A formal framework for secure and complying services. J. Supercomput. Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2014	—	`conf`	Automata for Analysing Service Contracts. TGC Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2014	—	`conf`	From Orchestration to Choreography through Contract Automata. ICE Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
2013	B	`conf`	Secure and Unfailing Services. PaCT Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
2013	C	`conf`	Towards Nominal Context-Free Model-Checking. CIAA Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2012	—	`conf`	Formalising Security in Ubiquitous and Cloud Scenarios. CISIM Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012	C	`conf`	Nominal Automata for Resource Usage Control. CIAA Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2012	C	`conf`	Types for Coordinating Secure Behavioural Variations. COORDINATION Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012	—	`conf`	Typing Context-Dependent Behavioural Variation PLACES Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2011	—	`conf`	A Language-Based Approach to Autonomic Computing. FMCO Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese
2011	—	`conf`	Applying Process Analysis to the Italian eGovernment Enterprise Architecture. WS-FM Roberto Bruni, Andrea Corradini, Gian-Luigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo
2011	—	`ch.`	Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2011	—	`ch.`	Model-Driven Development of Long Running Transactions. Results of the SENSORIA Project Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2011	B	`conf`	On Quantitative Security Policies. PaCT Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2011	—	`conf`	Predicting global usages of resources endowed with local policies FOCLASA Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
2010	J	`jnl`	Event based choreography. Sci. Comput. Program. Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2010	—	`conf`	Refactoring Long Running Transactions: A Case Study. TGC Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2010	—	`conf`	Safer in the Clouds (Extended Abstract) ICE Chiara Bodei, Viet Dung Dinh, Gian-Luigi Ferrari
2009	—	`conf`	Choreography Rehearsal. WS-FM Chiara Bodei, Gian-Luigi Ferrari
2009	J	`jnl`	Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2009	J	`jnl`	Planning and verifying service composition. J. Comput. Secur. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2008	C	`conf`	Checking Correctness of Transactional Behaviors. FORTE Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2008	J	`jnl`	Debugging Distributed Systems with Causal Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2008	—	`conf`	Event-Based Service Coordination. Concurrency, Graphs and Models Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2008	—	`conf`	Global Coordination Policies for Services. FACS Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2008	—	`conf`	Hard Life with Weak Binders. EXPRESS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008	—	`conf`	History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto
2008	—	`conf`	Model Checking Usage Policies. TGC Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008	—	`conf`	Refactoring Long Running Transactions. WS-FM Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2008	J	`jnl`	Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2008	—	`conf`	Ugo Montanari and Software Verification. Concurrency, Graphs and Models Gian-Luigi Ferrari
2007	—	`conf`	Co-Algebraic Models for Quantitative Spatial Logics. QAPL Vincenzo Ciancia, Gian-Luigi Ferrari
2007	—	`conf`	Secure Service Orchestration. FOSAD Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2007	B	`conf`	Types and Effects for Resource Usage Analysis. FoSSaCS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino
2006	A	`conf`	Event Based Service Coordination over Dynamic and Heterogeneous Networks. ICSOC Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2006	C	`conf`	JSCL: A Middleware for Service Coordination. FORTE Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo
2006	—	`conf`	Security Issues in Service Composition. FMOODS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2006	—	`conf`	Types and Effects for Secure Service Orchestration. CSFW Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005	C	`conf`	A Process Calculus for QoS-Aware Applications. COORDINATION Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2005	—	`conf`	Checking Risky Events Is Enough for Local Policies. ICTCS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005	J	`jnl`	Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types. Theor. Comput. Sci. Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2005	—	`conf`	Enforcing Secure Service Composition. CSFW Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005	—	`conf`	From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM Roberto Bruni, Gian-Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto
2005	B	`conf`	History-Based Access Control with Local Policies. FoSSaCS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005	B	`conf`	Model Checking for Nominal Calculi. FoSSaCS Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2005	B	`conf`	Modelling Fusion Calculus using HD-Automata. CALCO Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
2005	—	`conf`	Policy framings for access control. WITS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2005	—	`conf`	Synchronised Hyperedge Replacement as a Model for Service Oriented Computing. FMCO Gian-Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo Montanari, Emilio Tuosto
2004	—	`conf`	A Coordination-based Methodology for Security Protocol Verification. WISP@ICATPN Giacomo Baldi, Andrea Bracciali, Gian-Luigi Ferrari, Emilio Tuosto
2004	C	`ed.`	Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings COORDINATION Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith
2004	J	`jnl`	MetaKlaim: a type safe multi-stage language for global computing. Math. Struct. Comput. Sci. Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2004	J	`jnl`	Stack inspection and secure program transformations. Int. J. Inf. Sec. Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2004	—	`conf`	Topic 15: Mobile Computing. Euro-Par Sajal K. Das, Jiannong Cao, Jie Wu, Gian-Luigi Ferrari
2004	—	`conf`	Verication On The Web Of Mobile Systems. VVEIS Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Roberto Raggi, Gianluca Trentanni, Emilio Tuosto
2004	—	`conf`	Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits. WSFM Michael Baldamus, Jesper Bengtson, Gian-Luigi Ferrari, Roberto Raggi
2003	—	`conf`	A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2003	J	`jnl`	A model-checking verification environment for mobile processes. ACM Trans. Softw. Eng. Methodol. Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
2003	—	`conf`	Program Transformations under Dynamic Security Policies. MEFISTO Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2003	—	`conf`	Security-Aware Program Transformations. ICTCS Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2003	—	`conf`	The Klaim Project: Theory and Practice. Global Computing Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002	—	`conf`	From Co-algebraic Specifications to Implementation: The Mihda Toolkit. FMCO Gian-Luigi Ferrari, Ugo Montanari, Roberto Raggi, Emilio Tuosto
2002	—	`conf`	Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2002	—	`conf`	Guardians for Ambient-based Monitoring. F-WAN@ICALP Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2002	J	`jnl`	Mark, a Reasoning Kit for Mobility. Autom. Softw. Eng. Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
2002	B	`conf`	Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation. FoSSaCS Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore
2002	Misc	`conf`	Security and Dynamic Compositions of Open Systems. PDPTA Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto
2001	—	`conf`	A LTS Semantics of Ambients via Graph Synchronization with Mobility. ICTCS Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto
2001	Misc	`conf`	A debugging calculus for mobile ambients. SAC Gian-Luigi Ferrari, Emilio Tuosto
2001	—	`conf`	Global Types and Network Services. ConCoord Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	—	`conf`	Higher-Order Types and Meta-Programming for Global Computing. TOSCA Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	—	`conf`	MetaKlaim: Meta-programming for Global Computing. SAIG Gian-Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
2001	J	`jnl`	On the semantics of durational actions. Theor. Comput. Sci. Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore
2001	—	`conf`	Security Issues in Component-based Design. ConCoord Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari, Emilio Tuosto
2001	—	`conf`	Static Analysis for Stack Inspection. ConCoord Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari
2000	—	`conf`	Calculi for Network Aware Programming. WOA Gian-Luigi Ferrari, Rosario Pugliese, Emilio Tuosto
2000	C	`conf`	Mobile Agents Coordination in Mob COORDINATION Gian-Luigi Ferrari, Carlo Montangero, Laura Semini, Simone Semprini
2000	—	`conf`	Mobile Applications in X-KLAIM. WOA Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
2000	B	`conf`	Programming Access Control: The KLAIM Experience. CONCUR Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
2000	J	`jnl`	Tile Formats for Located and Mobile Systems. Inf. Comput. Gian-Luigi Ferrari, Ugo Montanari
2000	J	`jnl`	Types for access control. Theor. Comput. Sci. Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri
1999	—	`conf`	Types as Specifications of Access Policies. Secure Internet Programming Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1998	C	`conf`	Interactive Mobile Agents in X-Klaim. WETICE Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari
1998	J	`jnl`	KLAIM: A Kernel Language for Agents Interaction and Mobility. IEEE Trans. Software Eng. Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1998	J	`jnl`	Parameterized Structured Operational Semantics. Fundam. Informaticae Gian-Luigi Ferrari, Ugo Montanari
1998	A*	`conf`	Verifying Mobile Processes in the HAL Environment. CAV Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997	B	`conf`	A Tile-Based Coordination View of Asynchronous pi-Calculus. MFCS Gian-Luigi Ferrari, Ugo Montanari
1997	A	`conf`	An Automated Based Verification Environment for Mobile Processes. TACAS Gian-Luigi Ferrari, Gianluigi Ferro, Stefania Gnesi, Ugo Montanari, Marco Pistore, Gioia Ristori
1997	J	`jnl`	Atomicity and Concurrency Control in Process Calculi. Fundam. Informaticae Gian-Luigi Ferrari
1997	C	`conf`	Coordinating Mobile Agents via Blackboards and Access Rights. COORDINATION Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1997	—	`conf`	Eager, busy-waiting and lazy actions in timed computation? EXPRESS Flavio Corradini, Gian-Luigi Ferrari, Marco Pistore
1997	—	`conf`	Locality Based Linda: Programming with Explicit Localities. TAPSOFT Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1997	J	`jnl`	Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations. Math. Struct. Comput. Sci. Gian-Luigi Ferrari, Ugo Montanari, Miranda Mowbray
1997	—	`conf`	Tiles for concurrent and located calculi? EXPRESS Gian-Luigi Ferrari, Ugo Montanari
1996	J	`jnl`	A Pi-Calculus with Explicit Substitutions. Theor. Comput. Sci. Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1995	—	`conf`	Dynamic Matrices and the Cost Analysis of Concurrent Programs. AMAST Gian-Luigi Ferrari, Ugo Montanari
1995	B	`conf`	The Weak Late pi-Calculus Semantics as Observation Equivalence. CONCUR Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1994	B	`conf`	A Pi-Calculus with Explicit Substitutions: the Late Semantics. MFCS Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia
1991	—	`conf`	An Extended Expansion Theorem. TAPSOFT, Vol.2 Gian-Luigi Ferrari, Roberto Gorrieri, Ugo Montanari
1991	—	`conf`	On Causality Observed Incrementally, Finally. TAPSOFT, Vol.1 Gian-Luigi Ferrari
1991	B	`conf`	The Observation Algebra of Spatial Pomsets. CONCUR Gian-Luigi Ferrari, Ugo Montanari
1990	A*	`conf`	Implicative Formulae in the "Proofs as Computations" Analogy. POPL Andrea Asperti, Gian-Luigi Ferrari, Roberto Gorrieri
1990	—	`conf`	Observational Logics and Concurrency Models. FSTTCS Rocco De Nicola, Gian-Luigi Ferrari
1990	J	`jnl`	RSF: A Formalism for Executable Requirement Specifications. IEEE Trans. Software Eng. Michela Degl'Innocenti, Gian-Luigi Ferrari, Giuliano Pacini, Franco Turini
1990	—	`conf`	Towards the Unification of Models for Concurrency. CAAP Gian-Luigi Ferrari, Ugo Montanari
1990	—	`conf`	Transition Systems with Algebraic Structure as Models of Computations. Semantics of Systems of Concurrent Processes Andrea Corradini, Gian-Luigi Ferrari, Ugo Montanari