Pedro Ojeda

According to our database, Pedro Ojeda authored at least 5 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Order-Sorted Generalization.

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

A Tool for Automated Certification of Java Source Code in Maude.

Mauricio Alba-Castro, María Alpuente, Santiago Escobar, Pedro Ojeda, Daniel Romero

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

An Abstract Generic Framework for Web Site Verification.

María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

A Modular Equational Generalization Algorithm.

María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

2007

A Fast Algebraic Web Verification Service.

María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007