Luca Padovani
Orcid: 0000-0001-9097-1297
According to our database1,
Luca Padovani
authored at least 80 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., 2024
CoRR, 2024
Proceedings of the Coordination Models and Languages, 2024
2023
Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023
2022
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.
Log. Methods Comput. Sci., 2022
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020.
J. Log. Algebraic Methods Program., 2022
Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2020
Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
2018
J. Log. Algebraic Methods Program., 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
2017
ACM Trans. Program. Lang. Syst., 2017
2016
Math. Struct. Comput. Sci., 2016
2015
Log. Methods Comput. Sci., 2015
Proceedings of the Formal Methods for Multicore Programming, 2015
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2015
Proceedings of the Coordination Models and Languages, 2015
2014
Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
Proceedings of the Coordination Models and Languages, 2014
2013
Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Formal Techniques for Distributed Systems, 2013
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
Proceedings of the Coordination Models and Languages, 15th International Conference, 2013
2012
Proceedings of the Generative Programming and Component Engineering, 2012
2011
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Programming Languages and Systems, 2011
2010
Theor. Comput. Sci., 2010
Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
2009
Sci. Comput. Program., 2009
Proceedings of the Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, 2009
Proceedings of the Formal Methods for Web Services, 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2007
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007
2006
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006
Proceedings of the Foundations of Software Science and Computation Structures, 2006
2005
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005
Proceedings of the Compiler Construction, 14th International Conference, 2005
2004
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004
2003
On the Roles of L<sup>A</sup>T<sub>E</sub>X and MathML in Encoding and Processing Mathematical Expressions.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003
2001
Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001
Proceedings of the Extreme Markup Languages® 2001 Conference, 2001
Proceedings of the Extreme Markup Languages® 2001 Conference, 2001