Bisimulations for non-deterministic labelled Markov processes PR D'argenio, PS Terraf, N Wolovick Mathematical Structures in Computer Science 22 (1), 43-68, 2012 | 34 | 2012 |

Unprovability of the logical characterization of bisimulation PS Terraf Information and Computation 209 (7), 1048-1056, 2011 | 28 | 2011 |

Nondeterministic labeled Markov processes: Bisimulations and logical characterization PR D'Argenio, N Wolovick, PS Terraf, P Celayes 2009 Sixth International Conference on the Quantitative Evaluation of …, 2009 | 26 | 2009 |

Varieties with definable factor congruences P Sánchez Terraf, D Vaggione Transactions of the American Mathematical Society 361 (10), 5061-5088, 2009 | 18 | 2009 |

Stochastic non-determinism and effectivity functions EE Doberkat, PS Terraf Journal of Logic and Computation 27 (1), 357-394, 2017 | 11 | 2017 |

Compact factor congruences imply Boolean factor congruences DJ Vaggione, PS Terraf algebra universalis 51 (2), 207-213, 2004 | 10 | 2004 |

Existentially definable factor congruences PS Terraf arXiv preprint arXiv:0906.4722, 2009 | 6 | 2009 |

First steps towards a formalization of forcing E Gunther, M Pagano, PS Terraf Electronic Notes in Theoretical Computer Science 344, 119-136, 2019 | 5 | 2019 |

Bisimilarity is not Borel ^{†} PS Terraf Mathematical Structures in Computer Science 27 (7), 1265-1284, 2017 | 5 | 2017 |

Boolean Factor Congruences and Property PS Terraf arXiv preprint arXiv:0809.3815, 2008 | 4 | 2008 |

Formalization of Forcing in Isabelle/ZF E Gunther, M Pagano, PS Terraf International Joint Conference on Automated Reasoning, 221-235, 2020 | 3 | 2020 |

A theory for the semantics of stochastic and non-deterministic continuous systems CE Budde, PR D’Argenio, PS Terraf, N Wolovick International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 3 | 2012 |

Factor congruences in semilattices PS Terraf arXiv preprint arXiv:0809.3822, 2008 | 3 | 2008 |

Mechanization of separation in generic extensions E Gunther, M Pagano, PS Terraf arXiv preprint arXiv:1901.03313, 2019 | 2 | 2019 |

Semipullbacks of labelled Markov processes J Pachl, PS Terraf arXiv preprint arXiv:1706.02801, 2017 | 1 | 2017 |

Every minimal dual discriminator variety is minimal as a quasivariety X Caicedo, M Campercholi, KA Kearnes, PS Terraf, Á Szendrei, ... Algebra universalis 82 (2), 1-11, 2021 | | 2021 |

Semipullbacks of labelled Markov processes P Sánchez Terraf, J Pachl Logical Methods in Computer Science 17, 2021 | | 2021 |

Cofinality and the Delta System Lemma PS Terraf | | 2020 |

The Zhou Ordinal of Labelled Markov Processes over Separable Spaces MS Moroni, PS Terraf arXiv preprint arXiv:2005.03630, 2020 | | 2020 |

The lattice of congruences of a finite line frame C Areces, M Campercholi, D Penazzi, P Sánchez Terraf Journal of Logic and Computation 27 (8), 2653-2688, 2017 | | 2017 |