( en | de | ru )

 

Disambiguierung von "Rubio, Julio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging.

, , und . AISC/MKM/Calculemus, Volume 7362 von Lecture Notes in Computer Science, Seite 216-230. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ignacio Rubio

Felipe Rubio

Jordi Rubió i Coromina Universitat de Barcelona

Mónica Rubiolo González

Miguel Rubio

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System., , und . LOPSTR, Volume 6564 von Lecture Notes in Computer Science, Seite 37-51. Springer, (2010)Obtaining an ACL2 Specification from an Isabelle/HOL Theory., , , , , , und . AISC, Volume 8884 von Lecture Notes in Computer Science, Seite 49-63. Springer, (2014)Specifying Implementations., , und . ISSAC, Seite 245-251. ACM, (1999)ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System., , und . Calculemus/MKM, Volume 5625 von Lecture Notes in Computer Science, Seite 106-121. Springer, (2009)Generative Communication with Semantic Matching in Distributed Heterogeneous Environments., , , , und . EUROCAST, Volume 2809 von Lecture Notes in Computer Science, Seite 231-242. Springer, (2003)Certified symbolic manipulation: bivariate simplicial polynomials., , , und . ISSAC, Seite 243-250. ACM, (2013)Evasiveness Through Binary Decision Diagrams., , und . CICM, Volume 14101 von Lecture Notes in Computer Science, Seite 37-52. Springer, (2023)Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy., , , , und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 66-81. Springer, (2013)Improving Accessibility in PublicWeb Pages., , , , , und . SEPLN (Projects and Demonstrations), Volume 3516 von CEUR Workshop Proceedings, Seite 21-25. CEUR-WS.org, (2023)Zigzag persistent homology for processing neuronal images., , , und . Pattern Recognit. Lett., (2015)