Mario Coppo

According to our database1, Mario Coppo
  • authored at least 65 papers between 1977 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Isomorphism of intersection and union types.
Mathematical Structures in Computer Science, 2017

Data-driven adaptation for smart sessions.
J. Log. Algebr. Meth. Program., 2017

2016
Global progress for dynamically interleaved multiparty sessions.
Mathematical Structures in Computer Science, 2016

Partial and Complete Processes in Multiparty Sessions.
Electr. Notes Theor. Comput. Sci., 2016

Parallel Monitors for Self-adaptive Sessions.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Retractions in Intersection Types.
Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

2015
Self-adaptive multiparty sessions.
Service Oriented Computing and Applications, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.
Proceedings of the Formal Methods for Multicore Programming, 2015

2014
On Isomorphism of "Functional" Intersection and Union Types.
Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Parallel stochastic systems biology in the cloud.
Briefings in Bioinformatics, 2014

Self-Adaptive Monitors for Multiparty Sessions.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations.
Electr. Notes Theor. Comput. Sci., 2013

Isomorphism of "Functional" Intersection Types.
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Parallel Stochastic Simulators in System Biology: The Evolution of the Species.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012
Simulation techniques for the calculus of wrapped compartments.
Theor. Comput. Sci., 2012

Toward Isomorphism of Intersection and Union types.
Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

2011
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis.
Trans. Computational Systems Biology, 2011

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

A Spatial Calculus of Wrapped Compartments
CoRR, 2011

Constraints for Service Contracts.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

On Designing Multicore-Aware Simulators for Biological Systems.
Proceedings of the 19th International Euromicro Conference on Parallel, 2011

On Parallelizing On-Line Statistics for Stochastic Biological Simulations.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

2010
Hybrid Calculus of Wrapped Compartments
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

On Designing Multicore-aware Simulators for Biological Systems
CoRR, 2010

Stochastic Calculus of Wrapped Compartments
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

2009
Amalgamating sessions and methods in object-oriented languages with generics.
Theor. Comput. Sci., 2009

Modelling an Ammonium Transporter with SCLS.
Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

2008
Foreword.
Theory Comput. Syst., 2008

Types for ambient and process mobility.
Mathematical Structures in Computer Science, 2008

Structured Communications with Concurrent Constraints.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Asynchronous Session Types and Progress for Object Oriented Languages.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2005
Preface.
Electr. Notes Theor. Comput. Sci., 2005

A Mobility Calculus with Local and Dependent Types.
Proceedings of the Processes, 2005

2004
Dynamic and Local Typing for Mobile Ambients.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003
Mobility Types for Mobile Processes in Mobile Ambients.
Electr. Notes Theor. Comput. Sci., 2003

Decidability Properties of Recursive Types.
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002
Strictness, totality, and non-standard-type inference.
Theor. Comput. Sci., 2002

A Fully Abstract Model for Higher-Order Mobile Ambients.
Proceedings of the Verification, 2002

2001
A Fully Abstract Model for Mobile Ambients.
Electr. Notes Theor. Comput. Sci., 2001

Incremental Inference of Partial Types.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Type Inference with Recursive Type Equations.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000
Type-Based Useless-Code Elimination for Functional Programs.
Proceedings of the Semantics, 2000

1997
On Strictness and Totality.
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996
Refinement Types for Program Analysis.
Proceedings of the Static Analysis, Third International Symposium, 1996

1995
Principal Types and Unification for a Simple Intersection Type System
Inf. Comput., October, 1995

1993
Type Inference, Abstract Interpretation and Strictness Analysis.
Theor. Comput. Sci., 1993

1992
A Complete Type Inference Algorithm for Simple Intersection Types.
Proceedings of the CAAP '92, 1992

1991
Type Inference with Recursive Types: Syntax and Semantics
Inf. Comput., May, 1991

1987
Type Theories, Normal Forms and D_\infty-Lambda-Models
Inf. Comput., February, 1987

1986
Type inference and logical relations
Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985
A Completeness Theorem for Recursively Defined Types.
Proceedings of the Automata, 1985

1984
Completeness of Type Assignment in Continuous Lambda Models.
Theor. Comput. Sci., 1984

1983
A Filter Lambda Model and the Completeness of Type Assignment.
J. Symb. Log., 1983

On the Semantics of Polymorphism.
Acta Inf., 1983

Completeness Results for a Polymorphic Type System.
Proceedings of the CAAP'83, 1983

Applicative Information Systems.
Proceedings of the CAAP'83, 1983

1981
Functional Characters of Solvable Terms.
Math. Log. Q., 1981

1980
An extension of the basic functionality theory for the λ-calculus.
Notre Dame Journal of Formal Logic, 1980

An Extended Polymorphic Type System for Applicative Languages.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.
Proceedings of the Automata, 1979

1978
A new type assignment for λ-terms.
Arch. Math. Log., 1978

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.
Proceedings of the Automata, 1978

1977
Termination Tests inside lambda-Calculus.
Proceedings of the Automata, 1977


  Loading...