Riccardo Pucella

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3384076	2021-12-14	Paper
Categories of timed stochastic relations	2016-05-10	Paper
Practical affine types	2014-04-10	Paper
On equivalences for a class of timed regular expressions	2013-09-11	Paper
A coalgebraic approach to Kleene algebra with tests	2013-08-23	Paper
Modeling adversaries in a logic for security protocol analysis	2012-04-03	Paper
Roles, stacks, histories: A triple for Hoare	2011-07-25	Paper
Dealing with logical omniscience: expressiveness and pragmatics	2011-06-17	Paper
Roles, Stacks, Histories: A Triple for Hoare	2010-10-26	Paper
A Runs-and-Systems Semantics for Logics of Announcements	2010-08-31	Paper
Stateful Contracts for Affine Types	2010-05-04	Paper
Evidence with uncertain likelihoods	2010-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3624009	2009-04-28	Paper
Characterizing and reasoning about probabilistic and non-probabilistic expectation	2008-12-21	Paper
Probabilistic Algorithmic Knowledge	2007-10-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
Phantom types and subtyping	2007-03-08	Paper
Deductive Algorithmic Knowledge	2006-07-03	Paper
Validating a web service security abstraction by typing	2005-12-13	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
A coalgebraic approach to Kleene algebra with tests	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4411135	2003-07-07	Paper

This page was built for person: Riccardo Pucella