default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCosimo Laneve
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j29]Giuseppe De Palma
, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Leveraging static analysis for cost-aware serverless scheduling policies. Int. J. Softw. Tools Technol. Transf. 26(6): 781-796 (2024)- [c73]Stefano Bistarelli, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Analyzing the Fairness of Proof of Stake Ethereum. DLT 2024 - [c72]Cosimo Laneve, Alessandro Parenti, Giovanni Sartor:
Draft Better Contracts. JURIX 2024: 95-106 - [c71]Cosimo Laneve, Sergio Solmonte, Adele Veschetti:
A Stochastic Analysis of the Gasper Protocol. PerCom Workshops 2024: 518-523 - [c70]Cosimo Laneve:
Reachability Analysis in Micro-Stipula. PPDP 2024: 17:1-17:12 - 2023
- [j28]Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35(16) (2023) - [j27]Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti:
Resilience of Hybrid Casper Under Varying Values of Parameters. Distributed Ledger Technol. Res. Pract. 2(1): 5:1-5:25 (2023) - [j26]Cosimo Laneve:
Liquidity analysis in resource-aware programming. J. Log. Algebraic Methods Program. 135: 100889 (2023) - [j25]Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti:
Pacta sunt servanda: Legal contracts in Stipula. Sci. Comput. Program. 225: 102911 (2023) - [c69]Cosimo Laneve, Alessandro Parenti, Giovanni Sartor:
Legal Contracts Amending with [inline-graphic not available: see fulltext]. COORDINATION 2023: 253-270 - [c68]Cosimo Laneve, Alessandro Parenti, Giovanni Sartor:
Programming Contract Amending. JSAI-isAI Workshops 2023: 19-34 - [c67]Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS 2023: 40-52 - 2022
- [c66]Silvia Crafa, Cosimo Laneve:
Programming Legal Contracts - A Beginners Guide to Stipula. The Logic of Software. A Tasting Menu of Formal Methods 2022: 129-146 - [c65]Silvia Crafa, Cosimo Laneve:
Liquidity Analysis in Resource-Aware Programming. FACS 2022: 205-221 - 2021
- [i6]Silvia Crafa, Cosimo Laneve, Giovanni Sartor:
Pacta sunt servanda: legal contracts in Stipula. CoRR abs/2110.11069 (2021) - 2020
- [c64]Cosimo Laneve, Adele Veschetti:
A Formal Analysis of the Bitcoin Protocol. Gabbrielli's Festschrift 2020: 2:1-2:17
2010 – 2019
- 2019
- [j24]Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez:
Time analysis of actor programs. J. Log. Algebraic Methods Program. 105: 1-27 (2019) - [j23]Cosimo Laneve:
A lightweight deadlock analysis for programs with threads and reentrant locks. Sci. Comput. Program. 181: 64-81 (2019) - [c63]Cosimo Laneve, Luca Padovani:
Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems 2019: 50-67 - [c62]Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti:
On the Prediction of Smart Contracts' Behaviours. From Software Engineering to Formal Methods and Tools, and Back 2019: 397-415 - 2018
- [c61]Cosimo Laneve:
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks. FM 2018: 608-624 - [c60]Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro:
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA 2018: 1-15 - 2017
- [j22]Naoki Kobayashi, Cosimo Laneve:
Deadlock analysis of unbounded process networks. Inf. Comput. 252: 48-70 (2017) - [j21]Abel Garcia, Cosimo Laneve, Michael Lienhardt:
Static analysis of cloud elasticity. Sci. Comput. Program. 147: 27-53 (2017) - [c59]Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea:
Analysis of Synchronisations in Stateful Active Objects. IFM 2017: 195-210 - [c58]Cosimo Laneve, Abel Garcia:
Deadlock Detection of Java Bytecode. LOPSTR 2017: 37-53 - [i5]Abel Garcia, Cosimo Laneve:
Deadlock detection of Java Bytecode. CoRR abs/1709.04152 (2017) - 2016
- [j20]Elena Giachino, Cosimo Laneve, Michael Lienhardt:
A framework for deadlock detection in core ABS. Softw. Syst. Model. 15(4): 1013-1048 (2016) - [c57]Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht:
Statically and Dynamically Verifiable SLA Metrics. Theory and Practice of Formal Methods 2016: 211-225 - [c56]Elena Giachino, Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea:
Actors may synchronize, safely! PPDP 2016: 118-131 - 2015
- [j19]Cosimo Laneve, Luca Padovani:
An algebraic theory for web service contracts. Formal Aspects Comput. 27(4): 613-640 (2015) - [c55]Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS 2015: 199-216 - [c54]Abel Garcia, Cosimo Laneve, Michael Lienhardt:
Static analysis of cloud elasticity. PPDP 2015: 125-136 - [i4]Elena Giachino, Cosimo Laneve, Michael Lienhardt:
A framework for deadlock detection in core ABS. CoRR abs/1511.04926 (2015) - [i3]Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time complexity of concurrent programs. CoRR abs/1511.05104 (2015) - 2014
- [j18]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014) - [c53]Elena Giachino, Naoki Kobayashi, Cosimo Laneve:
Deadlock Analysis of Unbounded Process Networks. CONCUR 2014: 63-77 - [c52]Elena Giachino, Cosimo Laneve:
Towards the Typing of Resource Deployment. ISoLA (2) 2014: 88-103 - [c51]Elena Giachino, Cosimo Laneve:
Deadlock Detection in Linear Recursive Programs. SFM 2014: 26-64 - 2013
- [c50]Cosimo Laneve, Luca Padovani:
An Algebraic Theory for Web Service Contracts. IFM 2013: 301-315 - [c49]Elena Giachino, Carlo Augusto Grazia, Cosimo Laneve, Michael Lienhardt, Peter Y. H. Wong:
Deadlock Analysis of Concurrent Objects: Theory and Practice. IFM 2013: 394-411 - [c48]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [i2]Elena Giachino, Cosimo Laneve:
Deadlock detection in linear recursive programs. CoRR abs/1310.7449 (2013) - 2012
- [c47]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. CONCUR 2012: 562-577 - [c46]Elena Giachino, Cosimo Laneve:
A Beginner's Guide to the DeadLock Analysis Model. TGC 2012: 49-63 - 2011
- [j17]Luca Cardelli, Cosimo Laneve:
Reversibility in Massive Concurrent Systems. Sci. Ann. Comput. Sci. 21(2): 175-198 (2011) - [c45]Luca Cardelli, Cosimo Laneve:
Reversible structures. CMSB 2011: 131-140 - [c44]Elena Giachino, Cosimo Laneve:
Analysis of Deadlocks in Object Groups. FMOODS/FORTE 2011: 168-182 - [i1]Luca Cardelli, Cosimo Laneve:
Reversibility in Massive Concurrent Systems. CoRR abs/1108.3419 (2011) - 2010
- [c43]Cosimo Laneve, Antonio Vitale:
The Expressive Power of Synchronizations. LICS 2010: 382-391 - [c42]Cosimo Laneve, Tudor A. Lascu, Vania Sordoni:
The Interval Analysis of Multilinear Expressions. TAPAS@SAS 2010: 43-53 - [e3]Cosimo Laneve, Jianwen Su:
Web Services and Formal Methods, 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6194, Springer 2010, ISBN 978-3-642-14457-8 [contents]
2000 – 2009
- 2009
- [j16]Samuele Carpineti, Cosimo Laneve, Luca Padovani:
PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74(10): 777-811 (2009) - [c41]Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172 - [c40]Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes. QAPL 2009: 167-185 - 2008
- [j15]Cosimo Laneve, Fabien Tarissan:
A simple calculus for proteins and cells. Theor. Comput. Sci. 404(1-2): 127-141 (2008) - [j14]Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1): 17-30 (2008) - [c39]Cosimo Laneve, Luca Padovani:
The Pairing of Contracts and Session Types. Concurrency, Graphs and Models 2008: 681-700 - [c38]Cosimo Laneve, Antonio Vitale:
Expressivity in the kappa Family. MFPS 2008: 97-109 - 2007
- [j13]Philippa Gardner, Cosimo Laneve, Lucian Wischik:
Linear forwarders. Inf. Comput. 205(10): 1526-1550 (2007) - [c37]Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro:
Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB 2007: 168-183 - [c36]Cosimo Laneve, Luca Padovani:
The Must Preorder Revisited. CONCUR 2007: 212-225 - [e2]Vincent Danos, Cosimo Laneve:
Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 180(3), Elsevier 2007 [contents] - 2006
- [c35]Samuele Carpineti, Cosimo Laneve:
A Basic Contract Language for Web Services. ESOP 2006: 197-213 - [c34]Cosimo Laneve, Luca Padovani:
Smooth Orchestrators. FoSSaCS 2006: 32-46 - [c33]Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani:
A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162 - [c32]Cosimo Laneve, Fabien Tarissan:
A Simple Calculus for Proteins and Cells. MeCBIC@ICALP 2006: 139-154 - 2005
- [c31]Samuele Carpineti, Cosimo Laneve, Paolo Milazzo:
BoPi - A Distributed Machine for Experimenting Web Services Technologies. ACSD 2005: 202-211 - [c30]Allen L. Brown Jr., Cosimo Laneve, L. Gregory Meredith:
PiDuce: A Process Calculus with Native XML Datatypes. EPEW/WS-FM 2005: 18-34 - [c29]Cosimo Laneve, Gianluigi Zavattaro:
Foundations of Web Transactions. FoSSaCS 2005: 282-298 - [c28]Cosimo Laneve, Gianluigi Zavattaro:
web-pi at Work. TGC 2005: 182-194 - [c27]Samuele Carpineti, Cosimo Laneve:
A Rude Contract Language for Web Services. APC 25 2005: 147-152 - 2004
- [j12]Vincent Danos, Cosimo Laneve:
Formal molecular biology. Theor. Comput. Sci. 325(1): 69-110 (2004) - 2003
- [j11]Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy:
Inheritance in the join calculus. J. Log. Algebraic Methods Program. 57(1-2): 23-69 (2003) - [j10]Cosimo Laneve, Björn Victor:
Solos In Concert. Math. Struct. Comput. Sci. 13(5): 657-683 (2003) - [j9]Cosimo Laneve:
A type system for JVM threads. Theor. Comput. Sci. 290(1): 741-778 (2003) - [c26]Vincent Danos, Cosimo Laneve:
Graphs for Core Molecular Biology. CMSB 2003: 34-46 - [c25]Philippa Gardner, Cosimo Laneve, Lucian Wischik:
Linear Forwarders. CONCUR 2003: 408-422 - [c24]Vincent Danos, Cosimo Laneve:
Core Formal Molecular Biology. ESOP 2003: 302-318 - [c23]Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro:
A Calculus for Long-Running Transactions. FMOODS 2003: 124-138 - [c22]Vincent Danos, Cosimo Laneve:
Preface. BioConcur@CONCUR 2003: 1-2 - [e1]Carlo Blundo, Cosimo Laneve:
Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings. Lecture Notes in Computer Science 2841, Springer 2003, ISBN 3-540-20216-1 [contents] - 2002
- [c21]Roberto Bruni, Cosimo Laneve, Ugo Montanari:
Orchestrating Transactions in Join Calculus. CONCUR 2002: 321-337 - [c20]Philippa Gardner, Cosimo Laneve, Lucian Wischik:
The Fusion Machine. CONCUR 2002: 418-433 - 2001
- [j8]Cédric Fournet, Cosimo Laneve:
Bisimulations in the join-calculus. Theor. Comput. Sci. 266(1-2): 569-603 (2001) - [c19]Cosimo Laneve, Joachim Parrow, Björn Victor:
Solo Diagrams. TACS 2001: 127-144 - 2000
- [c18]Gérard Boudol, Cosimo Laneve:
lambda-calculus, multiplicities, and the pi-calculus. Proof, Language, and Interaction 2000: 659-690 - [c17]Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy:
Inheritance in the Join Calculus. FSTTCS 2000: 397-408
1990 – 1999
- 1999
- [c16]Cosimo Laneve:
Calculi for Concurrent Objects (Tutorial). FMOODS 1999 - [c15]Cosimo Laneve, Björn Victor:
Solos in Concert. ICALP 1999: 513-523 - 1998
- [c14]Michele Boreale, Cédric Fournet, Cosimo Laneve:
Bisimulations in the join-calculus. PROCOMET 1998: 68-86 - 1997
- [c13]Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy:
Implicit Typing à la ML for the Join-Calculus. CONCUR 1997: 196-212 - [c12]Andrea Asperti, Cosimo Laneve:
On the Dynamics of Sharing Graphs. ICALP 1997: 259-269 - 1996
- [j7]Gérard Boudol, Cosimo Laneve:
The Discriminating Power of Multiplicities in the Lambda-Calculus. Inf. Comput. 126(1): 83-102 (1996) - [j6]Cosimo Laneve, Ugo Montanari:
Axiomatizing Permutation Equivalence. Math. Struct. Comput. Sci. 6(3): 219-249 (1996) - [j5]Andrea Asperti, Cosimo Laneve:
Interaction Systems II: The Practice of Optimal Reductions. Theor. Comput. Sci. 159(2): 191-244 (1996) - 1995
- [j4]Roberto Gorrieri, Cosimo Laneve:
Split and ST Bisimulation Semantics. Inf. Comput. 118(2): 272-288 (1995) - [j3]Andrea Asperti, Cosimo Laneve:
Paths, Computations and Labels in the lambda-Calculus. Theor. Comput. Sci. 142(2): 277-297 (1995) - [c11]Andrea Asperti, Cosimo Laneve:
Comparing Lambda-calculus translations in Sharing Graphs. TLCA 1995: 1-15 - [c10]Gérard Boudol, Cosimo Laneve:
Termination, deadlock and divergence in the lambda-calculus with multiplicities. MFPS 1995: 32-45 - 1994
- [j2]Cosimo Laneve:
Distributive Evaluations of lambda-calculus. Fundam. Informaticae 20(4): 333-352 (1994) - [j1]Andrea Asperti, Cosimo Laneve:
Interaction Systems I: The Theory of Optimal Reductions. Math. Struct. Comput. Sci. 4(4): 457-504 (1994) - [c9]Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier:
Paths in the lambda-calculus. LICS 1994: 426-436 - [c8]Andrea Asperti, Cosimo Laneve:
The Family Relation in Interaction Systems. TACS 1994: 366-384 - 1993
- [c7]Andrea Asperti, Cosimo Laneve:
Interaction Systems. HOA 1993: 1-19 - [c6]Andrea Asperti, Cosimo Laneve:
Paths, Computations and Labels in the Lambda-Calculus. RTA 1993: 152-167 - [c5]Andrea Asperti, Cosimo Laneve:
Optimal Reductions in Interaction Systems. TAPSOFT 1993: 485-500 - 1992
- [c4]Cosimo Laneve, Ugo Montanari:
Axiomatizing Permutation Equivalence in the Lambda-Calculus. ALP 1992: 350-363 - [c3]Cosimo Laneve, Ugo Montanari:
Mobility in the CC-Paradigm. MFCS 1992: 336-345 - 1991
- [c2]Roberto Gorrieri, Cosimo Laneve:
The Limit of Split_n-Bisimulations for CCS Agents. MFCS 1991: 170-180
1980 – 1989
- 1989
- [c1]Alessandro Fantechi, Stefania Gnesi, Cosimo Laneve:
An Expressive Temporal Logic for Basic LOTOS. FORTE 1989: 261-276
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
