Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bautista, Santiago
678  Ergebnisse:
Personensuche X
?
1

An input–output relational domain for algebraic data types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
Formal Methods in System Design.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

Lifting Numeric Relational Domains to Algebraic Data Types:

, In: Static Analysis; Lecture Notes in Computer Science,
Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 104-134 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Petr4: formal foundations for p4 data planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://doi.org/10.1145/..
 
?
4

Petr4: formal foundations for p4 data planes:

Doenges, Ryan ; Arashloo, Mina Tahmasbi ; Bautista, Santiago...
Proceedings of the ACM on Programming Languages.  5 (2021)  POPL - p. 1-32 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Numeric domains meet algebraic data types:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains,
Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît - p. 12-16 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

A sustainable scenario for Venezuelan power generation sect..:

Bautista, Santiago
Energy Policy.  44 (2012)  - p. 331-340 , 2012
Link: https://doi.org/10.1016/..
 
?
7

El "día después de mañana": pensar los futuros étnicos entr..:

Bautista Santiago, Norma
Etnografica.  , 2024
Link: https://doi.org/10.4000/..
 
?
8

Exploring Horizontal Scaling Solutions to Enhance CryptDB P..:

, In: 2023 IEEE XXX International Conference on Electronics, Electrical Engineering and Computing (INTERCON),
Bautista, Santiago Garcia ; Suntaxi, Gabriela - p. 1-8 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Infraspinatus atrophy due to Bennett lesion causing suprasc..:

Department of Radiology, Hospital General Universitario Gregorio Marañón, Spain ; Bautista, Juan Miranda ; Fernández-Jara, Javier...
Journal of Ultrasonography.  21 (2021)  85 - p. e177-e181 , 2021
Link: https://doi.org/10.15557..
 
?
10

La interacción de alumnos con discapacidad y sus pares en l..:

Bautista Santiago, Marco Antonio ; Turnbull Plaza, Bernardo ; Saad Dayan, Elisa.
Psicología Iberoamericana.  24 (2020)  1 - p. 8-18 , 2020
Link: https://doi.org/10.48102..
 
?
11

Health outcomes after the implementation of multidisciplina..:

Casanova Querol, T. ; Santiago Bautista, J.M. ; Lafuente Salinas, M....
Revista Clínica Española (English Edition).  222 (2022)  2 - p. 73-81 , 2022
Link: https://doi.org/10.1016/..
 
?
12

Investigaciones sobre sostenibilidad de los recursos natura..:

Zamora Martínez, Marisela Cristina ; Maya Martínez, Aixchel ; Uzcanga Pérez, Nelda Guadalupe...
Revista Mexicana de Ciencias Forestales.  , 2021
Link: https://doi.org/10.29298..
 
?
13

COVID-19 Related Pneumonia Detection in Lung Ultrasound:

, In: Lecture Notes in Computer Science; Pattern Recognition,
Ramirez Campos, Michael Stiven ; Saavedra Bautista, Santiago ; Alzate Guerrero, Jose Vicente.. - p. 316-324 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Lifting Numeric Relational Domains to Algebraic Data Types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
hal-03765357.  , 2023
Link: https://inria.hal.scienc..
 
?
15

Lifting Numeric Relational Domains to Algebraic Data Types ..:

Bautista, Santiago ; Jensen, Thomas ; Montagu, Benoît
hal-03765357.  , 2023
Link: https://inria.hal.scienc..
 
1-15