Pedro Sánchez Terraf

Researcher CONICET (Adjunto)
text hidden; JavaScript is required / home page

Pedro Sánchez Terraf obtained the MS degree (Licenciatura) in Mathematics at the Universidad Nacional de Córdoba (Argentina) in 2001. He also did his PhD in Mathematics at the same university under the supervision of Diego Vaggione, in Universal Algebra (2007).

Currently, Pedro is reviewer for Zentralblatt MATH and his research interests concern both Markov Decision Processes and Universal Algebra (with connections with modal logic).


C. E. Budde, D'Argenio, P. R., Sánchez Terraf, P., and Wolovick, N., A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems, in Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, vol. 8453, A. Remke and Stoelinga, M. Springer Berlin Heidelberg, 2014, pp. 67-86.PDF icon paper-513.pdf (976.31 KB)
P. R. D'Argenio, Sánchez Terraf, P., and Wolovick, N., Bisimulations for non-deterministic labelled Markov processes, Mathematical Structures in Computer Science, vol. 22, no. 1, pp. 43 - 68, 2012.PDF icon paper-39.pdf (250.46 KB)
P. Sánchez Terraf, Boolean factor Congruences and Property (*), International Journal of Algebra and Computation, vol. 21, pp. 931-950, 2011.
P. Sánchez Terraf and Vaggione, D., Varieties with Definable Factor Congruences, Trans. Amer. Math. Soc., vol. 361, pp. 5061–5088, 2009.


Powered by Drupal