Autor der Publikation

Indiscrete Models: Model Building and Model Checking over Linear Time.

, , und . ICLA, Volume 7750 von Lecture Notes in Computer Science, Seite 50-68. Springer, (2013)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC, , , , und . Journal of Computing in Higher Education, (24.05.2019)Axiomatising first-order temporal logic: until and since over linear time.. Stud Logica, 57 (2/3): 279-302 (1996)Web-based simulation of fruit fly to support biosecurity decision-making., und . Ecol. Informatics, (2012)Graph Embeddings for Non-IID Data Feature Representation Learning., , , und . AusDM, Volume 1741 von Communications in Computer and Information Science, Seite 43-57. Springer, (2022)AI 2011 Advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, proceedings, , und . (2011)Measuring Data-Driven Ontology Changes using Text Mining., , , und . AusDM, Volume 70 von CRPIT, Seite 39-46. Australian Computer Society, (2007)An Investigation of Recursive Auto-associative Memory in Sentiment Detection., , , und . ADMA (1), Volume 7120 von Lecture Notes in Computer Science, Seite 162-174. Springer, (2011)Economic feasibility of stand-alone power systems for existing distribution networks in rural areas., , , , und . ISGT Asia, Seite 1-5. IEEE, (2017)Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States., , und . Advances in Modal Logic, Seite 53-72. King's College Publications, (2004)Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication., und . PRICAI (2), Volume 11671 von Lecture Notes in Computer Science, Seite 534-538. Springer, (2019)