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
1682015
Gesture-based signature authentication
C Carrizo, C Ochoa, L Massuh
US Patent 9,292,731, 2016
852016
Personal cloud computing with session migration
CJG Ochoa, MJ Allum, S Mo, SR Schroeder
US Patent 8,843,616, 2014
412014
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
412004
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
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
292005
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
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
132008
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
122016
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
Proc. of Workshop on Software Analysis and Development for Pervasive Systems …, 2004
62004
Witnessed ad-hoc uservices
R Kohn, C Ochoa, L Cino
US Patent 10,445,800, 2019
52019
Collection and management of precision user preference data
S Mo, CJ Ochoa, GDD Yaguez, V Szilagyi, E Smith
US Patent 10,095,793, 2018
52018
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
The system can't perform the operation now. Try again later.
Articles 1–20