I agree that this site is using cookies. You can find further informations here.
X
Gutiérrez, Raúl
66  results:
Bookchapter (Online) X
Search for persons X
?
1

Confluence Framework: Proving Confluence with CONFident:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Gutiérrez, Raúl ; Vítores, Miguel ; Lucas, Salvador - p. 24-43 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Work Accident Investigation Software According to the Legal..:

, In: Lecture Notes in Networks and Systems; Advances in Artificial Intelligence, Software and Systems Engineering,
Gutiérrez, Raúl ; Guerra, Karla - p. 403-410 , 2021
Link: https://doi.org/10.1007/..
 
?
3

An Optimizing Protocol Transformation for Constructor Finit..:

, In: Computer Security – ESORICS 2020; Lecture Notes in Computer Science,
Aparicio-Sánchez, Damián ; Escobar, Santiago ; Gutiérrez, Raúl. - p. 230-250 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Automatically Proving and Disproving Feasibility Conditions:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Gutiérrez, Raúl ; Lucas, Salvador - p. 416-435 , 2020
Link: https://doi.org/10.1007/..
 
?
5

mu-term: Verify Termination Properties Automatically (Syste..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Gutiérrez, Raúl ; Lucas, Salvador - p. 436-447 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Automatic Generation of Logical Models with AGES:

, In: Lecture Notes in Computer Science; Automated Deduction – CADE 27,
Gutiérrez, Raúl ; Lucas, Salvador - p. 287-299 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Latinx Child Health: Challenges and Opportunities to Build ..:

, In: New and Emerging Issues in Latinx Health,
Linton, Julie M. ; Gutierrez, J. Raul - p. 63-95 , 2019
Link: https://doi.org/10.1007/..
 
?
8

An Information Visualization Application Case to Understand..:

, In: Communications in Computer and Information Science; Human-Computer Interaction,
Bazurto-Gomez, Nychol ; Torres, J. Carlos ; Gutierrez, Raul... - p. 44-56 , 2018
Link: https://doi.org/10.1007/..
 
?
9

The Three Waves of Dialectic in the Republic:

, In: Plato's Styles and Characters,
Gutiérrez, Raúl - p. 15-32 , 2015
Link: https://doi.org/10.1515/..
 
?
10

Calculation of Secondary Electron Yield of Alloys: Single P..:

, In: 2021 22nd International Vacuum Electronics Conference (IVEC),
Gutierrez, Raul E. ; Matanovic, Ivana ; Polak, Maciej P.... - p. 1-2 , 2021
Link: https://doi.org/10.1109/..
 
?
11

Prototipo para el reconocimiento de entidades nombradas en ..:

, In: 2015 10th Computing Colombian Conference (10CCC),
Castillo Molina, Camilo Andres ; Gutierrez, Raul E. ; Solarte, Oswaldo - p. 364-371 , 2015
Link: https://doi.org/10.1109/..
 
?
12

Burnout Syndrome and Its Relationship to Working Schedule: ..:

, In: Emerging Research in Intelligent Systems; Lecture Notes in Networks and Systems,
Gavilanes, Vinicio ; Morales, Jenniffer ; Piedra-González, Juan. - p. 203-216 , 2024
Link: https://doi.org/10.1007/..
 
?
13

A Measurement Strategy for io_uring Performance in the Envo..:

, In: 2023 XLIX Latin American Computer Conference (CLEI),
Martinez, Lucas O. ; Raul, Gutierrez S. ; Cernuzzi, Luca - p. 1-10 , 2023
Link: https://doi.org/10.1109/..
 
?
14

Analysis of WEB Browsers of HSTS Security Under the MITM Ma..:

, In: Communications in Computer and Information Science; Knowledge Management in Organizations,
Bareño-Gutiérrez, Raúl ; Sevillano, Alexandra María López ; Díaz-Piraquive, Flor Nancy. - p. 331-344 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Risks Found in Electronic Payment Cards on Integrated Publi..:

, In: 2019 Congreso Internacional de Innovación y Tendencias en Ingenieria (CONIITI ),
Ivan Felipe, Mojica Sanchez ; Sergio Andres, Leal Valero ; Raul, Bareno Gutierrez - p. 1-6 , 2019
Link: https://doi.org/10.1109/..
 
1-15