Follow
Claudio Ochoa
Claudio Ochoa
Verified email at fi.upm.es
Title
Cited by
Cited by
Year
Channel navigation in connected media devices through keyword selection
CJ Ochoa, S Mo, V Szilagyi, E Smith, GDD Yaguez
US Patent App. 13/997,382, 2015
1632015
Gesture-based signature authentication
C Carrizo, C Ochoa, L Massuh
US Patent 9,292,731, 2016
842016
Real-time mapping and navigation of multiple media types through a metadata-based infrastructure
S Mo, CJ Ochoa, GDD Yaguez, R Staudinger
US Patent App. 13/977,833, 2014
402014
Personal cloud computing with session migration
CJG Ochoa, MJ Allum, S Mo, SR Schroeder
US Patent 8,843,616, 2014
392014
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
392004
Lightweight program specialization via Dynamic Slicing
C Ochoa, J Silva, G Vidal
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005
252005
Lightening the software production process in a CMM level 5 framework
P Maller, C Ochoa, J Silva
IEEE Latin America Transactions 3 (1), 15-22, 2005
182005
Poly-controlled partial evaluation
G Puebla, C Ochoa
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
152006
Methods and apparatus for keyword-based, non-linear navigation of video streams and other content
S Mo, CJ Ochoa, V Szilagyi, E Smith
US Patent 9,407,892, 2016
112016
Dynamic slicing of lazy functional programs based on redex trails
C Ochoa, J Silva, G Vidal
Higher-order and symbolic computation 21, 147-192, 2008
112008
Towards CNC programming using Haskell
G Arroyo, C Ochoa, J Silva, G Vidal
Ibero-American Conference on Artificial Intelligence, 386-396, 2004
102004
Poly-controlled partial evaluation in practice
C Ochoa, G Puebla
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
92007
Method and apparatus for streaming metadata between devices using JavaScript and HTML5
R Staudinger, C Ochoa, V Szilagyi, S Mo
US Patent 9,848,032, 2017
82017
Removing superfluous versions in polyvariant specialization of prolog programs
C Ochoa, G Puebla, M Hermenegildo
International Symposium on Logic-Based Program Synthesis and Transformation …, 2005
62005
Program Specialization Based on Dynamic Slicing
C Ochoa, J Silva, G Vidal
Proceedings of Workshop on Software Analysis and Development for Pervasive …, 2004
62004
Use of discovery to understand user behavior, interests and preferences
S Mo, CJ Ochoa, GDD Yaguez, SR Schroeder, V Szilagyi, E Smith
US Patent 9,652,457, 2017
52017
A slicing tool for lazy functional logic programs
C Ochoa, J Silva, G Vidal
European Workshop on Logics in Artificial Intelligence, 498-501, 2006
42006
A Lightweight Approach to Program Specialization
C Ochoa, J Silva, G Vidal
Proceedings of the IV Jornadas de Programación y Lenguajes (PROLE’04), 41-54, 0
4
Real-time topic-relevant targeted advertising linked to media experiences
S Mo, V Szilagyi, CJ Ochoa, SR Schroeder
US Patent App. 13/995,995, 2014
32014
A Study on the Practicality of Poly-Controlled Partial Evaluation
C Ochoa, G Puebla
Electronic Notes in Theoretical Computer Science 177, 137-151, 2007
32007
The system can't perform the operation now. Try again later.
Articles 1–20