Marco Carbone - RankMe

77 papers A* 2A 3B 7C 7Misc 1Journal 32Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Cryptographic Choreographies. CoRR Sebastian Mödersheim, Simon Lund, Alessandro Bruni, Marco Carbone, Rosario Giustolisi
2026	J	`jnl`	Ensemble Machine Learning and Statistical Procedures for Dynamic Predictions of Time-to-Event Outcomes. CoRR Nina van Gerwen, Sten Willemsen, Bettina E. Hansen, Christophe Corpechot, Marco Carbone, Cynthia Levy, María-Carlota Londoño, Atsushi Tanaka, Palak Trivedi, Alejandra Villamil, Gideon M. Hirschfield, Dimitris Rizopoulos
2025	J	`jnl`	A Probabilistic Choreography Language for PRISM. CoRR Marco Carbone, Adele Veschetti
2025	J	`jnl`	A Sound and Complete Projection for Global Types. J. Autom. Reason. Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
2025	J	`jnl`	Automating liver biopsy segmentation with a robust, open-source tool for pathology research: the HOTSPoT model. npj Digit. Medicine Giorgio Cazzaniga, Vincenzo L' Imperio, Emanuela Bonoldi, María-Carlota Londoño, João Madaleno, Augusta Cipriano, Tom J. G. Gevers, Iryna V. Samarska, Özgür M. Koc, Alejandra Villamil, Maria Florencia Sanchez, Vincenza Calvaruso, Alberto Quattrocchi, Daniela Cabibi, Bastian Engel, Federica Malinverno, Elisa Merelli, Laura Cristoferi, Marco Carbone, Fabio Pagni, Pietro Invernizzi, Alessio Gerussi
2025	J	`jnl`	Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction (Artifact). Dagstuhl Artifacts Ser. Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
2025	A	`conf`	Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction. ECOOP Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
2025	J	`jnl`	Special Issue of PLACES 2022. Inf. Comput. Marco Carbone, Nobuko Yoshida
2024	C	`conf`	A Probabilistic Choreography Language for PRISM. COORDINATION Marco Carbone, Adele Veschetti
2024	J	`jnl`	Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051). Dagstuhl Reports Stephanie Balzer, Marco Carbone, Roland Kuhn, Peter Thiemann
2024	C	`conf`	The Concurrent Calculi Formalisation Benchmark. COORDINATION Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
2023	C	`conf`	A Logical Interpretation of Asynchronous Multiparty Compatibility. LOPSTR Marco Carbone, Sonia Marin, Carsten Schürmann
2023	J	`jnl`	A Logical Interpretation of Asynchronous Multiparty Compatibility. CoRR Marco Carbone, Sonia Marin, Carsten Schürmann
2023	B	`conf`	A Sound and Complete Projection for Global Types. ITP Dawit Legesse Tirore, Jesper Bengtson, Marco Carbone
2022	—	`ed.`	Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. PLACES@ETAPS Marco Carbone, Rumyana Neykova
2021	J	`jnl`	A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2021	J	`jnl`	Forwarders as Process Compatibility, Logically. CoRR Marco Carbone, Sonia Marin, Carsten Schürmann
2021	—	`conf`	Security Protocols as Choreographies. Protocols, Strands, and Logic Alessandro Bruni, Marco Carbone, Rosario Giustolisi, Sebastian Mödersheim, Carsten Schürmann
2021	J	`jnl`	Synchronous Forwarders. CoRR Marco Carbone, Sonia Marin, Carsten Schürmann
2019	J	`jnl`	A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019	B	`conf`	A Sound Algorithm for Asynchronous Session Subtyping. CONCUR Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
2019	C	`conf`	Declarative Choreographies and Liveness. FORTE Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
2018	J	`jnl`	Choreographies for Reactive Programming. CoRR Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
2018	J	`jnl`	Choreographies, logically. Distributed Comput. Marco Carbone, Fabrizio Montesi, Carsten Schürmann
2018	C	`conf`	Multiparty Classical Choreographies. LOPSTR Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
2018	J	`jnl`	Multiparty Classical Choreographies. CoRR Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
2018	J	`jnl`	On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2017	J	`jnl`	Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2017	J	`jnl`	Multiparty session types as coherence proofs. Acta Informatica Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2017	J	`jnl`	Undecidability of asynchronous session subtyping. Inf. Comput. Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2016	B	`conf`	Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types. CONCUR Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann, Philip Wadler
2016	J	`jnl`	Editorial. Formal Aspects Comput. Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich
2016	J	`jnl`	Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro
2016	J	`jnl`	Multiparty Asynchronous Session Types. J. ACM Kohei Honda, Nobuko Yoshida, Marco Carbone
2016	J	`jnl`	Undecidability of Asynchronous Session Subtyping. CoRR Mario Bravetti, Marco Carbone, Gianluigi Zavattaro
2015	B	`conf`	Multiparty Session Types as Coherence Proofs. CONCUR Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida
2015	J	`jnl`	Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2015	J	`jnl`	Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2014	B	`conf`	Choreographies, Logically. CONCUR Marco Carbone, Fabrizio Montesi, Carsten Schürmann
2014	—	`ed.`	Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. BEAT Marco Carbone
2014	C	`conf`	Progress as Compositional Lock-Freedom. COORDINATION Marco Carbone, Ornela Dardha, Fabrizio Montesi
2013	A*	`conf`	Deadlock-freedom-by-design: multiparty asynchronous global programming. POPL Marco Carbone, Fabrizio Montesi
2013	—	`conf`	ICT-powered Health Care Processes - (Position Paper). FHIES Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
2013	—	`ed.`	Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. ICE Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova
2013	—	`conf`	Sessions and Separability in Security Protocols. POST Marco Carbone, Joshua D. Guttman
2013	—	`conf`	Towards Global and Local Types for Adaptation. SEFM Workshops Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
2012	—	`conf`	Merging Multiparty Protocols in Multiparty Choreographies PLACES Marco Carbone, Fabrizio Montesi
2012	—	`ed.`	Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. ICE Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova
2012	Misc	`conf`	Refinement for Transition Systems with Responses FIT Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
2012	J	`jnl`	Structured Communication-Centered Programming for Web Services. ACM Trans. Program. Lang. Syst. Marco Carbone, Kohei Honda, Nobuko Yoshida
2012	J	`jnl`	Towards Interaction Reliability in Concurrent Applications. Sci. Ann. Comput. Sci. Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandra Silva
2012	—	`ed.`	Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers WS-FM Marco Carbone, Jean-Marc Petit
2011	—	`ed.`	Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. ICE Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone
2011	A	`conf`	Programming Services with Correlation Sets. ICSOC Fabrizio Montesi, Marco Carbone
2010	—	`conf`	A Graphical Approach to Progress for Structured Communication in Web Services ICE Marco Carbone, Søren Debois
2010	—	`conf`	A Logic for Choreographies PLACES Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
2010	—	`conf`	Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt
2009	—	`conf`	Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM Marco Carbone, Nobuko Yoshida, Kohei Honda
2009	—	`conf`	Choreographies with Secure Boxes and Compromised Principals ICE Marco Carbone, Joshua D. Guttman
2009	—	`conf`	Execution Models for Choreographies and Cryptoprotocols PLACES Marco Carbone, Joshua D. Guttman
2009	J	`jnl`	Foreword: Festschrift for Mogens Nielsen's 60th birthday. Theor. Comput. Sci. Marco Carbone, Pawel Sobocinski, Frank D. Valencia
2008	A*	`conf`	Multiparty asynchronous session types. POPL Kohei Honda, Nobuko Yoshida, Marco Carbone
2008	—	`conf`	Session-based Choreography with Exceptions. PLACES@DisCoTec Marco Carbone
2008	B	`conf`	Structured Interactional Exceptions in Session Types. CONCUR Marco Carbone, Kohei Honda, Nobuko Yoshida
2007	A	`conf`	Structured Communication-Centred Programming for Web Services. ESOP Marco Carbone, Kohei Honda, Nobuko Yoshida
2007	J	`jnl`	Web Services, Mobile Processes and Types. Bull. EATCS Kohei Honda, Nobuko Yoshida, Marco Carbone
2006	—	`conf`	A Calculus of Global Interaction based on Session Types. DCM@ICALP Marco Carbone, Kohei Honda, Nobuko Yoshida
2006	—	`conf`	Finite-Time Output Feedback Control of Linear Systems via Differential Linear Matrix Conditions. CDC Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino
2006	—	`conf`	Theoretical Aspects of Communication-Centred Programming. LIX Marco Carbone, Kohei Honda, Nobuko Yoshida
2004	—	`conf`	A Calculus for Trust Management. FSTTCS Marco Carbone, Mogens Nielsen, Vladimiro Sassone
2004	—	`conf`	Control of linear discrete-time systems over a finite-time interval. CDC Francesco Amato, Marco Ariola, Marco Carbone, Carlo Cosentino
2004	C	`conf`	Finite-time stability of discrete-time systems. ACC Francesco Amato, Marco Carbone, Marco Ariola, Carlo Cosentino
2004	—	`conf`	Unifying Annotated Discourse Hierarchies to Create a Gold Standard. SIGDIAL Workshop Marco Carbone, Ya'akov Gal, Stuart M. Shieber, Barbara J. Grosz
2003	B	`conf`	A Formal Model for Trust in Dynamic Networks. SEFM Marco Carbone, Mogens Nielsen, Vladimiro Sassone
2003	J	`jnl`	On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. Marco Carbone, Sergio Maffeis
2003	J	`jnl`	Using Trust for Secure Collaboration in Uncertain Environments. IEEE Pervasive Comput. Vinny Cahill, Elizabeth Gray, Jean-Marc Seigneur, Christian Damsgaard Jensen, Yong Chen, Brian Shand, Nathan Dimmock, Andrew Twigg, Jean Bacon, Colin English, Waleed Wagealla, Sotirios Terzis, Paddy Nixon, Giovanna Di Marzo Serugendo, Ciarán Bryce, Marco Carbone, Karl Krukow, Mogens Nielsen
2002	—	`conf`	On the Expressive Power of Polyadic Synchronisation in pi-calculus. EXPRESS Marco Carbone, Sergio Maffeis