Cosimo Laneve

Available identifiers

zbMath Open laneve.cosimoMaRDI QIDQ493532

List of research outcomes

Publication	Date of Publication	Type
Liquidity analysis in resource-aware programming	2023-09-25	Paper
Implicit typing à la ML for the join-calculus	2023-05-17	Paper
Paths, computations and labels in the λ-calculus	2022-12-09	Paper
Optimal reductions in interaction systems	2022-11-02	Paper
Mobility in the CC-paradigm	2022-08-18	Paper
Statically and dynamically verifiable SLA metrics	2021-05-20	Paper
A lightweight deadlock analysis for programs with threads and reentrant locks	2021-05-04	Paper
Time analysis of actor programs	2019-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4621150	2019-02-08	Paper
Deadlock detection of Java bytecode	2018-09-06	Paper
On the dynamics of sharing graphs	2018-07-04	Paper
Deadlock analysis of unbounded process networks	2016-12-22	Paper
An algebraic theory for web service contracts	2015-09-03	Paper
A Rude Contract Language for Web Services	2015-07-10	Paper
Deadlock Detection in Linear Recursive Programs	2015-02-25	Paper
Decidability Problems for Actor Systems	2015-01-15	Paper
Deadlock Analysis of Unbounded Process Networks	2014-09-15	Paper
Expressivity in the κ Family	2014-05-13	Paper
A Simple Calculus for Proteins and Cells	2013-12-06	Paper
Decidability Problems for Actor Systems	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2906951	2012-09-05	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
PiDuce- A project for experimenting web services technologies	2009-08-21	Paper
nano\(\kappa\): A calculus for the modeling and simulation of nano devices	2008-12-12	Paper
A simple calculus for proteins and cells	2008-11-06	Paper
The Must Preorder Revisited	2008-09-18	Paper
The Pairing of Contracts and Session Types	2008-06-19	Paper
Linear forwarders	2007-10-10	Paper
Programming Languages and Systems	2007-05-02	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q5714437	2006-01-02	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3024818	2005-07-04	Paper
Formal molecular biology	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4472462	2004-08-04	Paper
Inheritance in the join calculus.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417901	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4413203	2003-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4484496	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4484502	2003-06-12	Paper
A type system for JVM threads	2003-01-21	Paper
Bisimulations in the join-calculus	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4490737	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4251115	1999-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q4222749	1998-12-10	Paper
Paths, computations and labels in the \(\lambda\)-calculus	1997-02-28	Paper
Interaction systems II: The practice of optimal reductions	1997-02-27	Paper
The discriminating power of multiplicities in the \(\lambda\)-calculus	1996-12-12	Paper
Axiomatizing permutation equivalence	1996-11-18	Paper
Split and ST bisimulation semantics	1995-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4304752	1995-04-20	Paper
Interaction Systems I: The theory of optimal reductions	1995-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4035238	1993-05-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Cosimo Laneve