Durán, Nicolás
11  results:
Search for persons X
?
2

Statistical Model Checking for $$\textsf {P}$$:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
 
?
3

On the Scalability of Compositions of Service-Oriented Appl..:

, In: Service-Oriented Computing; Lecture Notes in Computer Science,
Pozas, Nicolás ; Durán, Francisco - p. 449-463 , 2021
 
?
4

Copper Price Variation Forecasts Using Genetic Algorithms:

, In: Communications in Computer and Information Science; Applied Technologies,
 
?
5

Artificial Tracer Tests Interpretation Using Transfer Funct..:

, In: Advances in Karst Science; Eurokarst 2018, Besançon,
Sivelle, Vianney ; Labat, David ; Duran, Léa.. - p. 193-198 , 2019
 
?
6

Team IHMC's Lessons Learned from the DARPA Robotics Challen..:

, In: Springer Tracts in Advanced Robotics; The DARPA Robotics Challenge Finals: Humanoid Robots To The Rescue,
 
?
7

Introduction to the Chemical Oceanography of Frontal Zones:

, In: The Handbook of Environmental Chemistry; Chemical Oceanography of Frontal Zones,
 
?
8

MEDIIK: Design and Manufacturing of an Emergency Ventilator..:

, In: 2021 11th International Conference on Biomedical Engineering and Technology,
 
?
9

List of Contributors:

, In: Water Scarcity and Sustainable Agriculture in Semiarid Environment,
 
?
10

List of contributors:

, In: Geminivirus : Detection, Diagnosis and Management,
 
?
11

Contributors:

, In: Handbook of Nutrition, Diet and the Eye,
 
1-11