Pedro Ojeda

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
Order-Sorted Generalization. Electron. Notes Theor. Comput. Sci. 246 (2009)
Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero
A Tool for Automated Certification of Java Source Code in Maude. Electron. Notes Theor. Comput. Sci. 248 (2009)
María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi
An Abstract Generic Framework for Web Site Verification. SAINT (2008)
María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda
A Modular Equational Generalization Algorithm. LOPSTR (2008)
María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero
A Fast Algebraic Web Verification Service. RR (2007)