Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

AI 2011 Advances in artificial intelligence : 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011, proceedings, , and . (2011)Dynamic Aleatoric Reasoning in Games of Bluffing and Chance., , and . AAMAS, page 1964-1966. International Foundation for Autonomous Agents and Multiagent Systems, (2019)An Investigation of Recursive Auto-associative Memory in Sentiment Detection., , , and . ADMA (1), volume 7120 of Lecture Notes in Computer Science, page 162-174. Springer, (2011)Measuring Data-Driven Ontology Changes using Text Mining., , , and . AusDM, volume 70 of CRPIT, page 39-46. Australian Computer Society, (2007)Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau., , , and . IJCAI, page 950-956. IJCAI/AAAI Press, (2016)Metric temporal logic revisited.. Acta Inf., 53 (3): 301-324 (2016)A tableau-based decision procedure for CTL.. Formal Asp. Comput., 23 (6): 739-779 (2011)Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication., and . PRICAI (2), volume 11671 of Lecture Notes in Computer Science, page 534-538. Springer, (2019)A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC, , , , and . Journal of Computing in Higher Education, (May 24, 2019)Validation Algorithms for a Secure Internet Routing PKI., and . EuroPKI, volume 5057 of Lecture Notes in Computer Science, page 17-30. Springer, (2008)