Paolo Parisen Toldin

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Probabilistic Logic

Deterministic Finite State Automata

Energy Consumption

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Ugo Dal Lago, Paolo Parisen Toldin
A higher-order characterization of probabilistic polynomial time. Inf. Comput. 241 (2015)
Rody Kersten, Paolo Parisen Toldin, Bernard van Gastel, Marko C. J. D. van Eekelen
A Hoare Logic for Energy Consumption Analysis. FOPARA (2013)
Jean-Yves Moyen, Paolo Parisen Toldin
A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs CoRR (2013)
Ugo Dal Lago, Paolo Parisen Toldin
An Higher-Order Characterization of Probabilistic Polynomial Time (Long Version) CoRR (2012)
Ugo Dal Lago, Paolo Parisen Toldin
A Higher-Order Characterization of Probabilistic Polynomial Time. FOPARA (2011)