Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Riccardo
Last name:	Pucella
DBLP:	p/RPucella
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 10 of 93  

Select a publication
Show	Title	Venue	Rating	Date
	Journal article Joseph Y. Halpern, Riccardo Pucella. Dealing with logical omniscience: Expressiveness and pragmatics.	Artif. Intell. 2011, Volume 175	(0)	2011
	Conference paper Jesse A. Tov, Riccardo Pucella. Practical affine types.	Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 2011	(0)	2011
	Journal article Johannes Borgström, Andrew D. Gordon, Riccardo Pucella. Roles, stacks, histories: A triple for Hoare.	J. Funct. Program. 2011, Volume 21	(0)	2011
	Conference paper Jesse A. Tov, Riccardo Pucella. A theory of substructural types and control.	Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011 2011	(0)	2011
	Conference paper Riccardo Pucella, Fred B. Schneider. Independence from obfuscation: A semantic framework for diversity.	Journal of Computer Security 2010, Volume 18	(0)	2010
	Journal article Riccardo Pucella. SIGACT news logic column 21.	SIGACT News 2010, Volume 41	(0)	2010
	Conference paper Jesse A. Tov, Riccardo Pucella. Stateful Contracts for Affine Types.	Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings 2010	(0)	2010
	Journal article Joseph Y. Halpern, Riccardo Pucella. Evidence with uncertain likelihoods.	Synthese 2009, Volume 171	(0)	2009
	Conference paper Christos Dimoulas, Riccardo Pucella, Matthias Felleisen. Future contracts.	Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal 2009	(0)	2009
	Conference paper Daniel Brown, Riccardo Pucella. Categories of Timed Stochastic Relations.	Electr. Notes Theor. Comput. Sci. 2009, Volume 249	(0)	2009

Show item 1 to 10 of 93  

Your query returned 93 matches in the database.