Daniele Varacca

42 papers A* 5B 10C 5Misc 1Journal 14Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Formal Construction of Threat Detections from Attack Trees. ICFEM Dumitru-Bogdan Prelipcean, Catalin Dima, Daniele Varacca
2024	—	`conf`	Promptness and Fairness in Muller LTL Formulas. FSTTCS Damien Busatto-Gaston, Youssouf Oualhadj, Léo Tible, Daniele Varacca
2023	C	`conf`	Observational Preorders for Alternating Transition Systems. EUMAS Romain Demangeon, Catalin Dima, Daniele Varacca
2022	J	`jnl`	Fairness and promptness in Muller formulas. CoRR Youssouf Oualhadj, Léo Tible, Daniele Varacca
2022	J	`jnl`	Processes against tests: On defining contextual equivalences. J. Log. Algebraic Methods Program. Clément Aubert, Daniele Varacca
2021	B	`ed.`	32nd International Conference on Concurrency Theory, CONCUR 2021, Virtual Conference, August 24-27, 2021 CONCUR Serge Haddad, Daniele Varacca
2021	—	`conf`	Process, Systems and Tests: Three Layers in Concurrent Computation. ICE Clément Aubert, Daniele Varacca
2019	J	`jnl`	Extensional Petri net. Formal Aspects Comput. Xiaoju Dong, Yuxi Fu, Daniele Varacca
2018	J	`jnl`	Banach-Mazur Parity Games and Almost-sure Winning Strategies. CoRR Youssouf Oualhadj, Léo Tible, Daniele Varacca
2018	—	`conf`	On the Reactive Nature of Financial Networks. ICTCS Silvia Crafa, Daniele Varacca
2017	J	`jnl`	Semantic Subtyping for Objects and Classes. Comput. J. Ornela Dardha, Daniele Gorla, Daniele Varacca
2016	Misc	`conf`	Place Bisimulation and Liveness for Open Petri Nets. SETTA Xiaoju Dong, Yuxi Fu, Daniele Varacca
2016	C	`conf`	Rigid Families for the Reversible π-Calculus. RC Ioana Cristescu, Jean Krivine, Daniele Varacca
2015	C	`conf`	Rigid Families for CCS and the π-calculus. ICTAC Ioana Domnina Cristescu, Jean Krivine, Daniele Varacca
2014	C	`conf`	Continuations, Processes, and Sharing. PPDP Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca
2014	J	`jnl`	Preface. Theor. Comput. Sci. Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca
2013	A*	`conf`	A Compositional Semantics for the Reversible p-Calculus. LICS Ioana Cristescu, Jean Krivine, Daniele Varacca
2013	—	`conf`	Semantic Subtyping for Objects and Classes. FMOODS/FORTE Ornela Dardha, Daniele Gorla, Daniele Varacca
2012	J	`jnl`	Computational Complexity of Interactive Behaviors CoRR Ugo Dal Lago, Tobias Heindel, Damiano Mazza, Daniele Varacca
2012	J	`jnl`	Defining Fairness in Reactive and Concurrent Systems. J. ACM Hagen Völzer, Daniele Varacca
2012	B	`conf`	Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS Silvia Crafa, Daniele Varacca, Nobuko Yoshida
2011	A*	`conf`	Continuous Random Variables. LICS Jean Goubault-Larrecq, Daniele Varacca
2010	B	`conf`	Fair Adversaries and Randomization in Two-Player Games. FoSSaCS Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca
2010	J	`jnl`	Typed event structures and the linear pi-calculus. Theor. Comput. Sci. Daniele Varacca, Nobuko Yoshida
2009	B	`conf`	Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR Matthias Schmalz, Daniele Varacca, Hagen Völzer
2009	B	`conf`	The Calculus of Handshake Configurations. FoSSaCS Luca Fossati, Daniele Varacca
2008	—	`conf`	A Petri Net Model of Handshake Protocols. ICE@ICALP Luca Fossati, Daniele Varacca
2008	J	`jnl`	Security types for dynamic web data. Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca
2008	J	`jnl`	Semantic subtyping for the pi-calculus. Theor. Comput. Sci. Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
2007	B	`conf`	Compositional Event Structure Semantics for the Internal CONCUR Silvia Crafa, Daniele Varacca, Nobuko Yoshida
2007	—	`conf`	Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS Matthias Schmalz, Hagen Völzer, Daniele Varacca
2007	—	`conf`	Probabilistic pi-Calculus and Event Structures. QAPL Daniele Varacca, Nobuko Yoshida
2006	J	`jnl`	Distributing probability over non-determinism. Math. Struct. Comput. Sci. Daniele Varacca, Glynn Winskel
2006	B	`conf`	Encoding CDuce in the Cpi-Calculus. CONCUR Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
2006	J	`jnl`	New Perspectives of Fairness. Bull. EATCS Daniele Varacca
2006	J	`jnl`	Probabilistic event structures and domains. Theor. Comput. Sci. Daniele Varacca, Hagen Völzer, Glynn Winskel
2006	A*	`conf`	Temporal Logics and Model Checking for Fairly Correct Systems. LICS Daniele Varacca, Hagen Völzer
2006	B	`conf`	Typed Event Structures and the MFPS Daniele Varacca, Nobuko Yoshida
2005	B	`conf`	Defining Fairness. CONCUR Hagen Völzer, Daniele Varacca, Ekkart Kindler
2005	A*	`conf`	Semantic Subtyping for the p-Calculus. LICS Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
2004	B	`conf`	Probabilistic Event Structures and Domains. CONCUR Daniele Varacca, Hagen Völzer, Glynn Winskel
2002	A*	`conf`	The Powerdomain of Indexed Valuations. LICS Daniele Varacca