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

A Hoare Logic for Energy Consumption Analysis. - Rody Kersten; Paolo Parisen Toldin; Bernard van Gastel; Marko C. J. D. van Eekelen (FOPARA, 2013)

A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs - Jean-Yves Moyen; Paolo Parisen Toldin (CoRR, 2013)

ICC and Probabilistic Classes. - Paolo Parisen Toldin (2013)

A higher-order characterization of probabilistic polynomial time. - Ugo Dal Lago; Paolo Parisen Toldin (Inf. Comput., 2015)