Claudio Ochoa
Claudio Ochoa
Verified email at fi.upm.es
Title
Cited by
Cited by
Year
Gesture-based signature authentication
C Carrizo, C Ochoa, L Massuh
US Patent 9,292,731, 2016
692016
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
612015
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
382014
Dynamic slicing based on redex trails
C Ochoa, J Silva, G Vidal
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
372004
Personal cloud computing with session migration
CJG Ochoa, MJ Allum, S Mo, SR Schroeder
US Patent 8,843,616, 2014
332014
Metadata driven collaboration between applications and web services
S Mo, CJ Ochoa, GDD Yaguez, R Staudinger, V Szilagyi
US Patent 10,062,123, 2018
19*2018
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
172005
Poly-controlled partial evaluation
G Puebla, C Ochoa
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
162006
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
142005
Dynamic slicing of lazy functional programs based on redex trails
C Ochoa, J Silva, G Vidal
Higher-order and symbolic computation 21 (1-2), 147, 2008
102008
Towards CNC programming using Haskell
G Arroyo, C Ochoa, J Silva, G Vidal
Ibero-American Conference on Artificial Intelligence, 386-396, 2004
102004
Apparatus using vibrationally isolating stirling cooler system
A Rudick, J Glithero, J Graber
US Patent App. 10/095,793, 2002
102002
Poly-controlled partial evaluation in practice
C Ochoa, G Puebla
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007
92007
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
72016
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
62017
Program Specialization Based on Dynamic Slicing
C Ochoa, J Silva, G Vidal
Proceedings of Workshop on Software Analysis and Development for Pervasive …, 2004
62004
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
52005
Witnessed ad-hoc uservices
R Kohn, C Ochoa, L Cino
US Patent 10,445,800, 2019
42019
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
42017
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
The system can't perform the operation now. Try again later.
Articles 1–20