JESÚS
CORREAS FERNÁNDEZ
Profesor contratado doctor
![Foto de JESÚS](/img/nophoto.png)
![Foto de Technical University of Darmstadt](/img/noimage_org.png)
Technical University of Darmstadt
Darmstadt, AlemaniaPublicacións en colaboración con investigadores/as de Technical University of Darmstadt (1)
2013
-
Automatic inference of bounds on resource consumption
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)