Santiago Escobar

发表

José Meseguer, Angel Cuenca-Ortega, Santiago Escobar, 2020, Fundam. Informaticae.
Angel Cuenca-Ortega, Santiago Escobar, José Meseguer, 2018, LOPSTR.
María Alpuente, Santiago Escobar, Moreno Falaschi, 2010, Theor. Comput. Sci..
María Alpuente, Santiago Escobar, José Iborra, 2009, Theor. Comput. Sci..
José Meseguer, Paliath Narendran, Santiago Escobar, 2013, CADE.
José Meseguer, Santiago Escobar, Ralf Sasse, 2010, J. Log. Algebraic Methods Program..
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2009, FOSAD.
José Meseguer, Santiago Escobar, Prasanna Thati, 2004, RTA.
Salvador Lucas, María Alpuente, Santiago Escobar, 2006, Theory and Practice of Logic Programming.
Santiago Escobar, Santiago Escobar, 2004, AI Commun..
Santiago Escobar, Santiago Escobar, 2014, Lecture Notes in Computer Science.
Demis Ballis, Santiago Escobar, Julia Sapina, 2021, Theory Pract. Log. Program..
D. Ballis, M. Alpuente, J. Sapiña, 2021, J. Log. Algebraic Methods Program..
José Meseguer, Santiago Escobar, Prasanna Thati, 2007, WFLP.
Santiago Escobar, Prasanna Thati, U. Polit, 2004 .
José Meseguer, Santiago Escobar, Ralf Sasse, 2010, STM.
María Alpuente, Santiago Escobar, José Iborra, 2008, ICLP.
Francisco Durán, José Meseguer, Santiago Escobar, 2018, WRLA@ETAPS.
José Meseguer, Santiago Escobar, J. Meseguer, 2014 .
José Meseguer, Angel Cuenca-Ortega, Santiago Escobar, 2020, J. Log. Algebraic Methods Program..
José Meseguer, Santiago Escobar, Kyungmin Bae, 2013, RTA.
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, PROLE.
M. Alpuente, D. Ballis, J. Sapiña, 2023, J. Log. Algebraic Methods Program..
Santiago Escobar, Santiago Escobar, 2018, WRLA@ETAPS.
Santiago Escobar, Santiago Escobar, 2014, Specification, Algebra, and Software.
Santiago Escobar, Catherine A. Meadows, José Meseguer, 2016, PPDP.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2016, ArXiv.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2014, STM.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2014, HotSoS '14.
Santiago Escobar, Mauricio Alba-Castro, María Alpuente, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
María Alpuente, Santiago Escobar, Mauricio Alba-Castro, 2009, FMCO.
Santiago Escobar, Catherine Meadows, Antonio Gonz'alez-Burgueno, 2018, LPAR.
Salvador Lucas, María Alpuente, Santiago Escobar, 2002, LOPSTR.
Santiago Escobar, S. Escobar, Santiago Escobar, 2011 .
Salvador Lucas, María Alpuente, Demis Ballis, 2003, APPIA-GULP-PRODE.
José Meseguer, María Alpuente, Santiago Escobar, 2014, JELIA.
José Meseguer, Santiago Escobar, Michael Katelman, 2008, 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
José Meseguer, María Alpuente, Santiago Escobar, 2009, WFLP.
José Meseguer, Santiago Escobar, Ralf Sasse, 2009, WRLA.
José Meseguer, María Alpuente, Santiago Escobar, 2009, LOPSTR.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2006, Theor. Comput. Sci..
Salvador Lucas, María Alpuente, Santiago Escobar, 2002, WFLP.
José Meseguer, Santiago Escobar, J. Meseguer, 2007, RTA.
José Meseguer, Santiago Escobar, Andrew Cholewa, 2015, Sci. Comput. Program..
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, RTA.
José Meseguer, Santiago Escobar, Catherine A. Meadows, 2015, Programming Languages with Applications to Biology and Security.
María Alpuente, Santiago Escobar, José Iborra, 2011, Log. J. IGPL.
José Meseguer, Paliath Narendran, Santiago Escobar, 2011, PPDP.
J. Meseguer, R. Sasse, Santiago Escobar, 2010, J. Log. Algebraic Methods Program..
María Alpuente, Santiago Escobar, José Iborra, 2008, RTA.
María Alpuente, Santiago Escobar, José Iborra, 2011 .
J. Meseguer, C. Meadows, J. Sapiña, 2020, INDOCRYPT.