Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Frias, Juan Pablo
42  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Precise Lazy Initialization for Programs with Complex Heap ..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),
Copia, Juan Manuel ; Molina, Facundo ; Aguirre, Nazareno... - p. 752-762 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Analysis of invariants for efficient bounded verification:

, In: Proceedings of the 19th international symposium on Software testing and analysis,
Galeotti, Juan Pablo ; Rosner, Nicolás ; López Pombo, Carlos Gustavo. - p. 25-36 , 2010
Link: https://dl.acm.org/doi/1..
 
?
3

Contributors:

, In: Food Structure Engineering and Design for Improved Nutrition, Health and Well-Being,
Acevedo-Fani, Alejandra ; Almeida, Carina ; Alvarez, M.D.... - p. xv-xx , 2023
Link: https://doi.org/10.1016/..
 
?
4

LISSA: Lazy Initialization with Specialized Solver Aid:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,
Copia, Juan Manuel ; Ponzio, Pablo ; Aguirre, Nazareno.. - p. 1-12 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

List of contributors:

, In: The Structural Integrity of Recycled Aggregate Concrete Produced with Fillers and Pozzolans,
Ademola, Daniel ; Adeniyi, Adedayo ; Adesina, Adeyemi... - p. xv-xviii , 2022
Link: https://doi.org/10.1016/..
 
?
6

Contributors:

, In: World Seas: an Environmental Evaluation,
Aastrup, Peter ; Abdel-Daim, Mohamed M. ; Aburto, Jaime A.... - p. xiii-xviii , 2019
Link: https://doi.org/10.1016/..
 
?
7

DynAlloy analyzer: a tool for the specification and analysi..:

, In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering,
Regis, Germán ; Cornejo, César ; Gutiérrez Brida, Simón... - p. 969-973 , 2017
Link: https://dl.acm.org/doi/1..
 
?
8

Contributors:

, In: The Brain of the Critically Ill Pregnant Woman,
Abdullah, Jafri Malin ; Ahmed, Ahsan ; Alvarado, Gabriela... - p. xv-xix , 2024
Link: https://doi.org/10.1016/..
 
?
9

One Ventilator, Multiple Patients:

, In: Personalized Mechanical Ventilation,
Sinclair Ávila, Jorge E. ; Herrera Berríos, Juan Pablo ; Sinclair De Frias, Jorge Enrique. - p. 147-150 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Replicability analysis of PLC PRIME networks for smart mete..:

, In: 2017 IEEE Manchester PowerTech,
Gonzalez-Sotres, Luis ; Mateo, Carlos ; Frias, Pablo.. - p. 1-1 , 2017
Link: https://doi.org/10.1109/..
 
?
11

An aggregate model of plug-in electric vehicles for primary..:

, In: 2016 IEEE Power and Energy Society General Meeting (PESGM),
Izadkhast, Seyedmahdi ; Garcia-Gonzalez, Pablo ; Frias, Pablo - p. 1-1 , 2016
Link: https://doi.org/10.1109/..
 
?
12

An aggregate model of plug-in electric vehicles including d..:

, In: 2016 IEEE Power and Energy Society General Meeting (PESGM),
Izadkhast, Seyedmahdi ; Garcia-Gonzalez, Pablo ; Frias, Pablo.. - p. 1-1 , 2016
Link: https://doi.org/10.1109/..
 
?
13

Addressing the Diet Problem with Constraint Programming Enh..:

, In: Communications in Computer and Information Science; Advances in Computing,
Maradiago Calderón, Sara Jazmín ; Dorado Muñoz, Juan José ; Díaz Frías, Juan Francisco. - p. 57-70 , 2023
Link: https://doi.org/10.1007/..
 
?
14

Environmental Aspects of the Electric Vehicle:

, In: The Role of the Electric Vehicle in the Energy Transition; Green Energy and Technology,
Marín, Pablo Frías ; De Miguel Perales, Carlos - p. 93-108 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Preprocessing of informal mathematical discourse in context..:

, In: Proceedings of the 21st ACM international conference on Information and knowledge management,
Gutiérrez de Piñerez Reyes, Raúl Ernesto ; Díaz Frías, Juan Francisco - p. 1632-1636 , 2012
Link: https://dl.acm.org/doi/1..
 
1-15