Luis María Ferrer Fioriti

Probabilistic Termination

Luis María Ferrer Fioriti, Holger Hermanns · 2014 · 124 citations · Full text

Computing, Computer Science, Mathematics +16

Probabilistic Termination

Luis María Ferrer Fioriti, Holger Hermanns · ACM SIGPLAN Notices · 2015 · 24 citations · Full text

Computing, Computer Science, Mathematics +16

Distributed probabilistic input/output automata: Expressiveness, (un)decidability and algorithms

Sergio Giro, Pedro R. D’Argenio, Luis María Ferrer Fioriti · Theoretical Computer Science · 2013 · 14 citations · Full text

Computing, Computer Science, Mathematics +11

Deciding probabilistic automata weak bisimulation: theory and practice

Luis María Ferrer Fioriti, Vahid Hashemi, Holger Hermanns et al. · Formal Aspects of Computing · 2016 · 11 citations

Computing, Computer Science, Formal Methods +11