( en | de | ru )

 

Disambiguierung von "Ortiz, James Jerson"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ArThUR: A Tool for Markov Logic Network.

, , , und . OTM Workshops, Volume 8842 von Lecture Notes in Computer Science, Seite 319-328. Springer, (2014)

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.

Richard Ortiz Ortiz

Adrían Enrique Ortiz Rojas

Michael James

Audrein James

Katherine James

 

Weitere Publikationen von Autoren mit dem selben Namen

Memory Event Clocks., , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 198-212. Springer, (2010)Multi-timed Bisimulation for Distributed Timed Automata., , und . NFM, Volume 10227 von Lecture Notes in Computer Science, Seite 52-67. (2017)ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques., , , und . INFORSID, Seite 421-436. (2013)ArThUR: A Tool for Markov Logic Network., , , und . OTM Workshops, Volume 8842 von Lecture Notes in Computer Science, Seite 319-328. Springer, (2014)Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks. University of Namur, Belgium, (2023)Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques., , , und . IC, Seite 319-329. (2013)Distributed Event Clock Automata - Extended Abstract., , und . CIAA, Volume 6807 von Lecture Notes in Computer Science, Seite 250-263. Springer, (2011)MLν: A Distributed Real-Time Modal Logic., , und . NFM, Volume 11460 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2019)