Executable contracts for Elixir
Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Published in Journal of logical and algebraic methods in programming (01.01.2025)
Get full text
Journal Article
A Model-Driven Approach to Teaching Concurrency
Carro, Manuel, Herranz, Angel, Marino, Julio
Published in ACM transactions on computing education (01.01.2013)
Published in ACM transactions on computing education (01.01.2013)
Get more information
Journal Article
Constraint logic programming with a relational machine
Gallego Arias, Emilio Jesús, Lipton, James, Mariño, Julio
Published in Formal aspects of computing (01.01.2017)
Published in Formal aspects of computing (01.01.2017)
Get full text
Journal Article
Synthesis of verifiable concurrent Java components from formal models
Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel
Published in Software and systems modeling (01.02.2019)
Published in Software and systems modeling (01.02.2019)
Get full text
Journal Article
Implementing Constructive Intensional Negation
Mariño, Julio, Moreno-Navarro, Juan José, Munoz-Hernandez, Susana
Published in New generation computing (01.11.2008)
Published in New generation computing (01.11.2008)
Get full text
Journal Article
Abstract 011: Regression of Left Ventricle Hypertrophy and Improvement of Ventricular Dysfunction After Renal Revascularization is Dependent of Blood Pressure Response and Etiology of Renal Artery Stenosis
Bortolotto, Luiz, Macedo, Thiago A, Kajita, Luis J, Marino, Julio C, De Lima, Jose J
Published in Hypertension (Dallas, Tex. 1979) (01.09.2018)
Published in Hypertension (Dallas, Tex. 1979) (01.09.2018)
Get full text
Journal Article
A Tool for the Integration of Constraint Solving in Spreadsheets
Fernández-Soriano, Ana María, Mariño, Julio, Herranz, Ángel
Published in Electronic notes in theoretical computer science (05.05.2012)
Published in Electronic notes in theoretical computer science (05.05.2012)
Get full text
Journal Article
Property-Based Testing of JSON Based Web Services
Fredlund, Lars Ake, Benac Earle, Clara, Herranz, Angel, Marino, Julio
Published in 2014 IEEE International Conference on Web Services (01.06.2014)
Published in 2014 IEEE International Conference on Web Services (01.06.2014)
Get full text
Conference Proceeding
Sperm chromatin stability and their relationship with fertilization rate in Sheep of the Junín race
Unchupaico-Payano, Ide, Alponte-Sierra, Alberto, Quispe-Eulogio, Carlos, Ancco-Goméz, Edith, Huamán-De La Cruz, Alex, Mariño-Alfaro, Julio, Patiño-Rivera, Alberto, Lavado-Meza, Carmencita, Huanca-Rojas, Lupe, Bazán-Alonso, Luis
Published in Revista científica (Universidad del Zulia. Facultad de Ciencias Veterinarias. División de Investigación) (28.09.2022)
Published in Revista científica (Universidad del Zulia. Facultad de Ciencias Veterinarias. División de Investigación) (28.09.2022)
Get full text
Journal Article
Applying Property-Based Testing in Teaching Safety-Critical System Programming
Fredlund, Lars-Ake, Herranz, Angel, Marino, Julio
Published in 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (01.08.2015)
Published in 2015 41st Euromicro Conference on Software Engineering and Advanced Applications (01.08.2015)
Get full text
Conference Proceeding