ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
RUBÉN RAFAEL
RUBIO CUÉLLAR
Profesor ayudante
Publicaciones en las que colabora con RUBÉN RAFAEL RUBIO CUÉLLAR (4)
2023
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2022
-
Improving Database Learning with an Automatic Judge
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
LearnSQL: un juez para el aprendizaje de las bases de datos
Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288
-
Theorem Proving for Maude Specifications Using Lean
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)