An Expressive Temporal Logic for Basic LOTOS. - Alessandro Fantechi; Stefania Gnesi; Cosimo Laneve (FORTE, 1989)

The Limit of Split_n-Bisimulations for CCS Agents. - Roberto Gorrieri; Cosimo Laneve (MFCS, 1991)

Axiomatizing Permutation Equivalence in the Lambda-Calculus. - Cosimo Laneve; Ugo Montanari (ALP, 1992)

Mobility in the CC-Paradigm. - Cosimo Laneve; Ugo Montanari (MFCS, 1992)

Interaction Systems. - Andrea Asperti; Cosimo Laneve (HOA, 1993)

Optimal Reductions in Interaction Systems. - Andrea Asperti; Cosimo Laneve (TAPSOFT, 1993)

Paths in the lambda-calculus - Andrea Asperti; Vincent Danos; Cosimo Laneve; Laurent Regnier (LICS, 1994)

The Family Relation in Interaction Systems. - Andrea Asperti; Cosimo Laneve (TACS, 1994)

Distributive Evaluations of lambda-calculus. - Cosimo Laneve (Fundam. Informaticae, 1994)

Interaction Systems I: The Theory of Optimal Reductions. - Andrea Asperti; Cosimo Laneve (Math. Struct. Comput. Sci., 1994)

Comparing Lambda-calculus translations in Sharing Graphs. - Andrea Asperti; Cosimo Laneve (TLCA, 1995)

Termination, deadlock and divergence in the lambda-calculus with multiplicities. - Gérard Boudol; Cosimo Laneve (MFPS, 1995)

Paths, Computations and Labels in the lambda-Calculus. - Andrea Asperti; Cosimo Laneve (Theor. Comput. Sci., 1995)

Split and ST Bisimulation Semantics - Roberto Gorrieri; Cosimo Laneve (Inf. Comput., 1995)

The Discriminating Power of Multiplicities in the Lambda-Calculus. - Gérard Boudol; Cosimo Laneve (Inf. Comput., 1996)

Axiomatizing Permutation Equivalence. - Cosimo Laneve; Ugo Montanari (Math. Struct. Comput. Sci., 1996)

Interaction Systems II: The Practice of Optimal Reductions. - Andrea Asperti; Cosimo Laneve (Theor. Comput. Sci., 1996)

Implicit Typing à la ML for the Join-Calculus. - Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy (CONCUR, 1997)

On the Dynamics of Sharing Graphs. - Andrea Asperti; Cosimo Laneve (ICALP, 1997)

Bisimulations in the join-calculus. - Michele Boreale; Cédric Fournet; Cosimo Laneve (PROCOMET, 1998)

Calculi for Concurrent Objects (Tutorial). - Cosimo Laneve (FMOODS, 1999)

lambda-calculus, multiplicities, and the pi-calculus. - Gérard Boudol; Cosimo Laneve (Proof, Language, and Interaction, 2000)

Solo Diagrams. - Cosimo Laneve; Joachim Parrow; Björn Victor (TACS, 2001)

Bisimulations in the join-calculus. - Cédric Fournet; Cosimo Laneve (Theor. Comput. Sci., 2001)

Orchestrating Transactions in Join Calculus. - Roberto Bruni 001; Cosimo Laneve; Ugo Montanari (CONCUR, 2002)

The Fusion Machine. - Philippa Gardner; Cosimo Laneve; Lucian Wischik (CONCUR, 2002)

Graphs for Core Molecular Biology. - Vincent Danos; Cosimo Laneve (CMSB, 2003)

Core Formal Molecular Biology. - Vincent Danos; Cosimo Laneve (ESOP, 2003)

A Calculus for Long-Running Transactions. - Laura Bocchi; Cosimo Laneve; Gianluigi Zavattaro (FMOODS, 2003)

Preface. - Vincent Danos; Cosimo Laneve (BioConcur@CONCUR, 2003)

Inheritance in the join calculus. - Cédric Fournet; Cosimo Laneve; Luc Maranget; Didier Rémy (J. Log. Algebraic Methods Program., 2003)

Solos In Concert. - Cosimo Laneve; Björn Victor (Math. Struct. Comput. Sci., 2003)

A type system for JVM threads. - Cosimo Laneve (Theor. Comput. Sci., 2003)

Formal molecular biology. - Vincent Danos; Cosimo Laneve (Theor. Comput. Sci., 2004)

BoPi - A Distributed Machine for Experimenting Web Services Technologies. - Samuele Carpineti; Cosimo Laneve; Paolo Milazzo (ACSD, 2005)

PiDuce: A Process Calculus with Native XML Datatypes. - Allen L. Brown Jr.; Cosimo Laneve; L. Gregory Meredith (EPEW/WS-FM, 2005)

Foundations of Web Transactions. - Cosimo Laneve; Gianluigi Zavattaro (FoSSaCS, 2005)

web-pi at Work. - Cosimo Laneve; Gianluigi Zavattaro (TGC, 2005)

A Rude Contract Language for Web Services. - Samuele Carpineti; Cosimo Laneve (APC 25, 2005)

A Basic Contract Language for Web Services. - Samuele Carpineti; Cosimo Laneve (ESOP, 2006)

Smooth Orchestrators. - Cosimo Laneve; Luca Padovani (FoSSaCS, 2006)

A Formal Account of Contracts for Web Services. - Samuele Carpineti; Giuseppe Castagna; Cosimo Laneve; Luca Padovani (WS-FM, 2006)

Modelization and Simulation of Nano Devices in $ mathtt{nano} kappa$ Calculus. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (CMSB, 2007)

The Must Preorder Revisited. - Cosimo Laneve; Luca Padovani (CONCUR, 2007)

Linear forwarders. - Philippa Gardner; Cosimo Laneve; Lucian Wischik (Inf. Comput., 2007)

The Pairing of Contracts and Session Types. - Cosimo Laneve; Luca Padovani (Concurrency, Graphs and Models, 2008)

Expressivity in the kappa Family. - Cosimo Laneve; Antonio Vitale (MFPS, 2008)

nanoK: A calculus for the modeling and simulation of nano devices. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (Theor. Comput. Sci., 2008)

A simple calculus for proteins and cells. - Cosimo Laneve; Fabien Tarissan (Theor. Comput. Sci., 2008)

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. - Giorgio Delzanno; Cinzia Di Giusto; Maurizio Gabbrielli; Cosimo Laneve; Gianluigi Zavattaro (CMSB, 2009)

From Biochemistry to Stochastic Processes. - Cosimo Laneve; Sylvain Pradalier; Gianluigi Zavattaro (QAPL, 2009)

PiDuce - A project for experimenting Web services technologies. - Samuele Carpineti; Cosimo Laneve; Luca Padovani (Sci. Comput. Program., 2009)

The Expressive Power of Synchronizations. - Cosimo Laneve; Antonio Vitale (LICS, 2010)

The Interval Analysis of Multilinear Expressions. - Cosimo Laneve; Tudor A. Lascu; Vania Sordoni (TAPAS@SAS, 2010)

Reversible structures. - Luca Cardelli; Cosimo Laneve (CMSB, 2011)

Analysis of Deadlocks in Object Groups. - Elena Giachino; Cosimo Laneve (FMOODS/FORTE, 2011)

Reversibility in Massive Concurrent Systems. - Luca Cardelli; Cosimo Laneve (Sci. Ann. Comput. Sci., 2011)

A Beginner's Guide to the DeadLock Analysis Model. - Elena Giachino; Cosimo Laneve (TGC, 2012)

Deadlock Analysis of Concurrent Objects: Theory and Practice. - Elena Giachino; Carlo Augusto Grazia; Cosimo Laneve; Michael Lienhardt; Peter Y. H. Wong (IFM, 2013)

Engineering virtualized services. - Elvira Albert; Frank S. de Boer; Reiner Hähnle; Einar Broch Johnsen; Cosimo Laneve (NordiCloud, 2013)

Deadlock Analysis of Unbounded Process Networks. - Elena Giachino; Naoki Kobayashi 001; Cosimo Laneve (CONCUR, 2014)

Towards the Typing of Resource Deployment. - Elena Giachino; Cosimo Laneve (ISoLA (2), 2014)

Deadlock Detection in Linear Recursive Programs. - Elena Giachino; Cosimo Laneve (SFM, 2014)

Decidability Problems for Actor Systems. - Frank S. de Boer; Mohammad Mahdi Jaghoori; Cosimo Laneve; Gianluigi Zavattaro (Log. Methods Comput. Sci., 2014)

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. - Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun (FACS, 2015)

Time complexity of concurrent programs. - Elena Giachino; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun (CoRR, 2015)

An algebraic theory for web service contracts. - Cosimo Laneve; Luca Padovani (Formal Aspects Comput., 2015)

Statically and Dynamically Verifiable SLA Metrics. - Elena Giachino; Stijn de Gouw; Cosimo Laneve; Behrooz Nobakht (Theory and Practice of Formal Methods, 2016)

Actors may synchronize, safely! - Elena Giachino; Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (PPDP, 2016)

A framework for deadlock detection in core ABS. - Elena Giachino; Cosimo Laneve; Michael Lienhardt (Softw. Syst. Model., 2016)

Analysis of Synchronisations in Stateful Active Objects. - Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea (IFM, 2017)

Deadlock Detection of Java Bytecode. - Cosimo Laneve; Abel Garcia (LOPSTR, 2017)

Deadlock analysis of unbounded process networks. - Naoki Kobayashi 001; Cosimo Laneve (Inf. Comput., 2017)

Static analysis of cloud elasticity. - Abel Garcia; Cosimo Laneve; Michael Lienhardt (Sci. Comput. Program., 2017)

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. - Frank S. de Boer; Elena Giachino; Stijn de Gouw; Reiner Hähnle; Einar Broch Johnsen; Cosimo Laneve; Ka I Pun; Gianluigi Zavattaro (VORTEX@ECOOP/ISSTA, 2018)

On the Prediction of Smart Contracts' Behaviours. - Cosimo Laneve; Claudio Sacerdoti Coen; Adele Veschetti (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Deadlock Analysis of Wait-Notify Coordination. - Cosimo Laneve; Luca Padovani (The Art of Modelling Computational Systems, 2019)

Time analysis of actor programs. - Cosimo Laneve; Michael Lienhardt; Ka I Pun; Guillermo Román-Díez (J. Log. Algebraic Methods Program., 2019)

A lightweight deadlock analysis for programs with threads and reentrant locks. - Cosimo Laneve (Sci. Comput. Program., 2019)

A Formal Analysis of the Bitcoin Protocol. - Cosimo Laneve; Adele Veschetti (Gabbrielli's Festschrift, 2020)

Pacta sunt servanda: legal contracts in Stipula. - Silvia Crafa; Cosimo Laneve; Giovanni Sartor (CoRR, 2021)

Programming Legal Contracts - A Beginners Guide to Stipula. - Silvia Crafa; Cosimo Laneve (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Liquidity Analysis in Resource-Aware Programming. - Silvia Crafa; Cosimo Laneve (FACS, 2022)

Legal Contracts Amending with [inline-graphic not available: see fulltext]. - Cosimo Laneve; Alessandro Parenti; Giovanni Sartor (COORDINATION, 2023)

Programming Contract Amending. - Cosimo Laneve; Alessandro Parenti; Giovanni Sartor (JSAI-isAI Workshops, 2023)

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. - Stefano Bistarelli; Rocco De Nicola; Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Concurr. Comput. Pract. Exp., 2023)

Serverless Scheduling Policies based on Cost Analysis. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (TiCSA@ETAPS, 2023)

Resilience of Hybrid Casper Under Varying Values of Parameters. - Letterio Galletta; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (Distributed Ledger Technol. Res. Pract., 2023)

Pacta sunt servanda: Legal contracts in Stipula. - Silvia Crafa; Cosimo Laneve; Giovanni Sartor; Adele Veschetti (Sci. Comput. Program., 2023)

Liquidity analysis in resource-aware programming. - Cosimo Laneve (J. Log. Algebraic Methods Program., 2023)

Analyzing the Fairness of Proof of Stake Ethereum. - Stefano Bistarelli; Cosimo Laneve; Ivan Mercanti; Adele Veschetti (DLT, 2024)

Draft Better Contracts. - Cosimo Laneve; Alessandro Parenti; Giovanni Sartor (JURIX, 2024)

A Stochastic Analysis of the Gasper Protocol. - Cosimo Laneve; Sergio Solmonte; Adele Veschetti (PerCom Workshops, 2024)

Reachability Analysis in Micro-Stipula. - Cosimo Laneve (PPDP, 2024)

Leveraging static analysis for cost-aware serverless scheduling policies. - Giuseppe De Palma; Saverio Giallorenzo; Cosimo Laneve; Jacopo Mauro; Matteo Trentin; Gianluigi Zavattaro (Int. J. Softw. Tools Technol. Transf., 2024)

Decidability Problems for Micro-Stipula. - Giorgio Delzanno; Cosimo Laneve; Arnaud Sangnier; Gianluigi Zavattaro (COORDINATION, 2025)

Assessing Code Understanding in LLMs. - Cosimo Laneve; Alvise Spanò; Dalila Ressi; Sabina Rossi; Michele Bugliesi (FORTE, 2025)