| Bisimulations for non-deterministic labelled Markov processes PR D'argenio, PS Terraf, N Wolovick Mathematical Structures in Computer Science 22 (1), 43-68, 2012 | 43 | 2012 |
| Unprovability of the logical characterization of bisimulation PS Terraf Information and Computation 209 (7), 1048-1056, 2011 | 32 | 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 | 32 | 2009 |
| Varieties with definable factor congruences P Sánchez Terraf, D Vaggione Transactions of the American Mathematical Society 361 (10), 5061-5088, 2009 | 21 | 2009 |
| Stochastic non-determinism and effectivity functions EE Doberkat, PS Terraf Journal of Logic and Computation 27 (1), 357-394, 2017 | 15 | 2017 |
| Compact factor congruences imply Boolean factor congruences DJ Vaggione, PS Terraf algebra universalis 51 (2), 207-213, 2004 | 12 | 2004 |
| Formalization of forcing in Isabelle/ZF E Gunther, M Pagano, P Sánchez Terraf International Joint Conference on Automated Reasoning, 221-235, 2020 | 7 | 2020 |
| First steps towards a formalization of forcing E Gunther, M Pagano, PS Terraf Electronic Notes in Theoretical Computer Science 344, 119-136, 2019 | 7 | 2019 |
| A theory for the semantics of stochastic and non-deterministic continuous systems CE Budde, PR D’Argenio, P Sánchez Terraf, N Wolovick International Autumn School on Rigorous Dependability Analysis Using Model …, 2012 | 7 | 2012 |
| Existentially definable factor congruences PS Terraf Acta Scientiarum Mathematicarum 76, 49-53, 2010 | 7 | 2010 |
| Semipullbacks of labelled Markov processes J Pachl, PS Terraf Logical methods in computer science 17, 2021 | 6 | 2021 |
| Factor congruences in semilattices PS Terraf arXiv preprint arXiv:0809.3822, 2008 | 6 | 2008 |
| The independence of the continuum hypothesis in isabelle/zf E Gunther, M Pagano, PS Terraf, M Steinberg Arch. Formal Proofs 2022, 2022 | 5 | 2022 |
| Every minimal dual discriminator variety is minimal as a quasivariety X Caicedo, M Campercholi, KA Kearnes, PS Terraf, A Szendrei, ... Algebra universalis 82 (2), 36, 2021 | 5 | 2021 |
| 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 |
| Mechanization of separation in generic extensions E Gunther, M Pagano, PS Terraf arXiv preprint arXiv:1901.03313, 2019 | 3 | 2019 |
| Transitive models of fragments of ZFC E Gunther, M Pagano, PS Terraf, M Steinberg Archive of Formal Proofs, 2022 | 2 | 2022 |
| Directly indecomposables in semidegenerate varieties of connected po-groupoids P Sánchez Terraf Order 25 (4), 377-386, 2008 | 2 | 2008 |
| The formal verification of the ctm approach to forcing E Gunther, M Pagano, PS Terraf, M Steinberg Annals of Pure and Applied Logic 175 (5), 103413, 2024 | 1 | 2024 |
