We stand with Ukraine  

Paolo Parisen Toldin

According to our database1, Paolo Parisen Toldin authored at least 5 papers between 2011 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
ICC and Probabilistic Classes.
[BibTeX]
[DOI]
Paolo Parisen Toldin
PhD thesis, 2013

A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs
[BibTeX]
[DOI]
Jean-Yves Moyen
,
Paolo Parisen Toldin
CoRR, 2013

A Hoare Logic for Energy Consumption Analysis.
[BibTeX]
[DOI]
Rody Kersten
,
Paolo Parisen Toldin
,
Bernard van Gastel
,
Marko C. J. D. van Eekelen
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012
An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version)
[BibTeX]
[DOI]
Ugo Dal Lago
,
Paolo Parisen Toldin
CoRR, 2012

2011
A Higher-Order Characterization of Probabilistic Polynomial Time.
[BibTeX]
[DOI]
Ugo Dal Lago
,
Paolo Parisen Toldin
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011


  Loading...