José Sánchez

12 papers A 1C 1Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
The Impact of Robotic Process Automation in Higher Education.
ARTIIS (2)
Teresa Guarda, José Sánchez, Maria Fernanda Augusto, Washington Torres
2023 — conf
Nonlinear model predictive control of a satellite attitude dynamics in SO(3).
ICSTCC
José Sánchez, Noé Aldana, Mihai Lungu, Gerardo Flores
2018 — conf
MT for L10n: How we build and evaluate MT systems at eBay.
AMTA (2)
José Sánchez
2016 J jnl
Modular Reasoning in the Presence of Event Subtyping.
LNCS Trans. Modul. Compos.
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
2016 — conf
Reasoning tradeoffs in languages with enhanced modularity features.
MODULARITY
José Sánchez, Gary T. Leavens
2015 — conf
Modular reasoning in the presence of event subtyping.
MODULARITY
Mehdi Bagherzadeh, Robert Dyer, Rex D. Fernando, José Sánchez, Hridesh Rajan
2015 J jnl
POSTER: Self-Healing Mechanisms for Software-Defined Networks.
CoRR
José Sánchez, Imen Grida Ben Yahia, Noël Crespi
2014 J jnl
Centralized Optical-Frequency-Comb-Based RF Carrier Generator for DWDM Fiber-Wireless Access Systems.
JOCN
Xiaodan Pang, Marta Beltrán, José Sánchez, Eloy Pellicer, J. J. Vegas Olmos, Roberto Llorente, Idelfonso Tafur Monroy
2014 — conf
Static verification of ptolemyrely programs using openJML.
FOAL
José Sánchez, Gary T. Leavens
2013 — conf
DWDM fiber-wireless access system with centralized optical frequency comb-based RF carrier generation.
OFC/NFOEC
Xiaodan Pang, Marta Beltrán, José Sánchez, Eloy Pellicer, J. J. Vegas Olmos, Roberto Llorente, Idelfonso Tafur Monroy
2013 A conf
Separating Obligations of Subjects and Handlers for More Flexible Event Type Verification.
SC
José Sánchez, Gary T. Leavens
2012 C conf
A monitoring system for identification and validation of the energetic model of a building using Wireless Sensor Networks.
IECON
Elena Aguilar, Antonio Torralba, Ramón González Carvajal, Joaquín Cabezas, José Sánchez, José Manuel Salmerón