Daniele Varacca

According to our database, Daniele Varacca authored at least 38 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Promptness and Fairness in Muller LTL Formulas.

Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible, Daniele Varacca

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

Observational Preorders for Alternating Transition Systems.

Romain Demangeon, Catalin Dima, Daniele Varacca

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Processes against tests: On defining contextual equivalences.

Clément Aubert, Daniele Varacca

J. Log. Algebraic Methods Program., 2022

Fairness and promptness in Muller formulas.

Youssouf Oualhadj, Léo Tible, Daniele Varacca

CoRR, 2022

2021

Process, Systems and Tests: Three Layers in Concurrent Computation.

Clément Aubert, Daniele Varacca

Proceedings of the Proceedings 14th Interaction and Concurrency Experience, 2021

2019

Extensional Petri net.

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Formal Aspects Comput., 2019

2018

Banach-Mazur Parity Games and Almost-sure Winning Strategies.

Youssouf Oualhadj, Léo Tible, Daniele Varacca

CoRR, 2018

On the Reactive Nature of Financial Networks.

Silvia Crafa, Daniele Varacca

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

2017

Semantic Subtyping for Objects and Classes.

Ornela Dardha, Daniele Gorla, Daniele Varacca

Comput. J., 2017

2016

Place Bisimulation and Liveness for Open Petri Nets.

Xiaoju Dong, Yuxi Fu, Daniele Varacca

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Rigid Families for the Reversible π-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the Reversible Computation - 8th International Conference, 2016

2015

Rigid Families for CCS and the π-calculus.

Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

2014

Preface.

Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca

Theor. Comput. Sci., 2014

Continuations, Processes, and Sharing.

Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2013

A Compositional Semantics for the Reversible p-Calculus.

Ioana Cristescu, Jean Krivine, Daniele Varacca

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Defining Fairness in Reactive and Concurrent Systems.

Hagen Völzer, Daniele Varacca

J. ACM, 2012

Computational Complexity of Interactive Behaviors

Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca

CoRR, 2012

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2011

Continuous Random Variables.

Jean Goubault-Larrecq, Daniele Varacca

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Typed event structures and the linear pi-calculus.

Daniele Varacca, Nobuko Yoshida

Theor. Comput. Sci., 2010

Fair Adversaries and Randomization in Two-Player Games.

Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

The Calculus of Handshake Configurations.

Luca Fossati, Daniele Varacca

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Counterexamples in Probabilistic LTL Model Checking for Markov Chains.

Matthias Schmalz, Daniele Varacca, Hagen Völzer

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

Security types for dynamic web data.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca

Theor. Comput. Sci., 2008

Semantic subtyping for the pi-calculus.

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca

Theor. Comput. Sci., 2008

A Petri Net Model of Handshake Protocols.

Luca Fossati, Daniele Varacca

Proceedings of the First Interaction and Concurrency Experiences Workshop, 2008

2007

Probabilistic pi-Calculus and Event Structures.

Daniele Varacca, Nobuko Yoshida

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths.

Matthias Schmalz, Hagen Völzer, Daniele Varacca

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007

Compositional Event Structure Semantics for the Internal <i>pi</i> -Calculus.

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Probabilistic event structures and domains.

Daniele Varacca, Hagen Völzer, Glynn Winskel

Theor. Comput. Sci., 2006

Distributing probability over non-determinism.

Daniele Varacca, Glynn Winskel

Math. Struct. Comput. Sci., 2006

Typed Event Structures and the <i>pi</i>-Calculus: Extended Abstract.

Daniele Varacca, Nobuko Yoshida

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

New Perspectives of Fairness.

Daniele Varacca

Bull. EATCS, 2006

Temporal Logics and Model Checking for Fairly Correct Systems.

Daniele Varacca, Hagen Völzer

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

Encoding CDuce in the Cpi-Calculus.

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Semantic Subtyping for the p-Calculus.

Giuseppe Castagna, Rocco De Nicola, Daniele Varacca

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Defining Fairness.

Hagen Völzer, Daniele Varacca, Ekkart Kindler

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2002

The Powerdomain of Indexed Valuations.

Daniele Varacca

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002