Paolo Parisen Toldin

According to our database, Paolo Parisen Toldin authored at least 5 papers between 2012 and 2015.

Collaborative distances:

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

2015

A higher-order characterization of probabilistic polynomial time.

Ugo Dal Lago, Paolo Parisen Toldin

Inf. Comput., 2015

2013

ICC and Probabilistic Classes.

Paolo Parisen Toldin

PhD thesis, 2013

A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs

Jean-Yves Moyen, Paolo Parisen Toldin

CoRR, 2013

A Hoare Logic for Energy Consumption Analysis.

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)

Ugo Dal Lago, Paolo Parisen Toldin

CoRR, 2012