ALBERTO
RUBIO GIMENO
Catedrático de universidad
![Foto de ALBERTO](/img/nophoto.png)
![Foto de The Microsoft Research - University of Trento Centre for Computational and Systems Biology](/img/noimage_org.png)
The Microsoft Research - University of Trento Centre for Computational and Systems Biology
Trento, ItaliaPublikationen in Zusammenarbeit mit Forschern von The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2)
2017
-
Proving termination through conditional termination
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
Compositional safety verification with Max-SMT
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015