- Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. Blockchain 2022: 87-96 - Martín Ceresa, César Sánchez:
Multi: A Formal Playground for Multi-Smart Contract Interaction. FMBC@CAV 2022: 5:1-5:16 - Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CONCUR 2022: 27:1-27:16 - Wilson Libardo Pantoja Yepez, César Alberto Collazos Ordóñez, David Erazo, Diana Carolina Sanchez:
Heuristics for interface design in telemedicine systems. HCI-COLLAB 2022: 52-60 - Carlos Cortés, Jesús Gutiérrez, Pablo Pérez, Irene Viola, Pablo César, Narciso García:
Impact of Self-View Latency on Quality of Experience: Analysis of Natural Interaction in XR Environments. ICIP 2022: 3131-3135 - Oscar Real-Moreno, Julio C. Rodríguez-Quiñonez, Oleg Sergiyenko, Wendy Flores-Fuentes, Moises J. Castro-Toscano, Jesús Elías Miranda-Vega, Paolo Mercorelli, Jorge Alejandro Valdez-Rodríguez, Gabriel Trujillo-Hernández, Jonathan J. Sanchez-Castro:
A Quadrant Approach of Camera Calibration Method for Depth Estimation Using a Stereo Vision System. IECON 2022: 1-6 - Jesus O. Santos-Sanchez, Mauricio A. Rojas-Casas, Oleg Sergiyenko, Julio C. Rodríguez-Quiñonez, Wendy Flores-Fuentes, César A. Sepúlveda-Valdez, Ruben Alaniz-Plata, Vera Tyrsa, Paolo Mercorelli:
Analysis of the construction of an autonomous robot to improve its energy efficiency when traveling through irregular terrain. IECON 2022: 1-6 - Paola Patricia Ariza-Colpas, Guillermo Hernandez-Sanchez, Guillermo Serrano-Torné, Marlon Alberto Piñeres-Melo, Shariq Aziz Butt, Roberto Cesar Morales-Ortega:
Intelligent Multi-tariff Payment Collection System for Inter-Municipal Buses in the Department of Atlántico - Colombia. ICHI 2022: 361-372 - Joel Antonio Trejo-Sánchez, Francisco Javier Hernández-López, Miguel Ángel Uh Zapata, José Luis López-Martínez, Daniel Fajardo-Delgado, Julio Cesar Ramírez Pacheco:
Teaching High-Performance Computing in Developing Countries: A Case Study in Mexican Universities. IPDPS Workshops 2022: 338-345 - Mário Saldanha, Gustavo Sanchez, César A. M. Marcon, Luciano Agostini:
Fast Transform Decision Scheme for VVC Intra-Frame Prediction Using Decision Trees. ISCAS 2022: 1948-1952 - Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, Sebastián Uchitel:
Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification. ISoLA (1) 2022: 397-414 - Felipe Gorostiaga, César Sánchez:
Monitorability of Expressive Verdicts. NFM 2022: 693-712 - Margarita Capretto, Martín Ceresa, César Sánchez:
Transaction Monitoring of Smart Contracts. RV 2022: 162-180 - Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199 - Marta Orduna, Jesús Gutiérrez, Alejandro Sánchez, Julián Cabrera, César Díaz, Pablo Pérez, Narciso García:
Evaluation of the Performance of an Immersive System for Tele-education. IMX 2022: 209-220 - César Jesús-Valls, Thorsten Lux, Federico Sánchez:
Data-driven detector signal characterization with constrained bottleneck autoencoders. CoRR abs/2203.04604 (2022) - Montserrat Hermo, Paqui Lucio, César Sánchez:
A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications. CoRR abs/2206.01492 (2022) - Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Antonio Russo, César Sánchez:
Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers. CoRR abs/2206.11845 (2022) - Margarita Capretto, Martín Ceresa, César Sánchez:
Transaction Monitoring of Smart Contracts. CoRR abs/2207.02517 (2022) - Laura Bozzelli, Adriano Peron, César Sánchez:
Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties. CoRR abs/2207.02956 (2022) - Ramsés J. Sánchez, Lukas Conrads, Pascal Welke, Kostadin Cvejoski, César Ojeda:
Hidden Schema Networks. CoRR abs/2207.03777 (2022) - Hannes Kallwies, Martin Leucker, César Sánchez:
Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions. CoRR abs/2207.05678 (2022) - Martín Ceresa, César Sánchez:
Multi: a Formal Playground for Multi-Smart Contract Interaction. CoRR abs/2207.06681 (2022) - Kostadin Cvejoski, Ramsés J. Sánchez, César Ojeda:
The future is different: Large pre-trained language models fail in prediction tasks. CoRR abs/2211.00384 (2022) - 2021
- Paloma Cáceres Garcia de Marina, José María Cavero Barca, Carlos E. Cuesta, Miguel Ángel Garrido Blázquez, Irene Garrigós, César González-Mora, Jose-Norberto Mazón, Almudena Sierra-Alonso, Belén Vela, José Jacobo Zubcoff:
Open Data Consumption Through the Generation of Disposable Web APIs. IEEE Access 9: 76354-76363 (2021) - Joaquin Mass-Sanchez, César Vargas Rosales, Erica Ruiz-Ibarra, Adolfo Espinoza-Ruiz, Javier Vázquez Castillo, Armando García-Berumen:
Weighted Multilateration Algorithm With a Correcting Factor for Mobile Wireless Sensor Networks. IEEE Access 9: 161937-161958 (2021) - Alejandro Aragón Zavala, Pablo Angueira, Jon Montalban, César Vargas Rosales:
Radio Propagation in Terrestrial Broadcasting Television Systems: A Comprehensive Survey. IEEE Access 9: 34789-34817 (2021) - Miguel Sánchez Brito, Francisco J. Luna Rosas, Ricardo Mendoza-González, Gustavo Jesus Vázquez-Zapién, Julio Cesar Martínez Romo, Mónica Maribel Mata-Miranda:
Type 2 diabetes diagnosis assisted by machine learning techniques through the analysis of FTIR spectra of saliva. Biomed. Signal Process. Control. 69: 102855 (2021) - Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour:
Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods Syst. Des. 58(1-2): 126-159 (2021) - Sandy Bolufé, Cesar A. Azurdia-Meza, Sandra Céspedes, Samuel Montejo Sánchez:
Impact of Awareness Control on V2V-Based Overtaking Application in Autonomous Driving. IEEE Commun. Lett. 25(4): 1373-1377 (2021)