( en | de | ru )

 

Disambiguation of "Reynolds, Mark"

Author of the publication

copydeleteadd this publication to your clipboard
Indiscrete Models: Model Building and Model Checking over Linear Time.

, , and . ICLA, volume 7750 of Lecture Notes in Computer Science, page 50-68. Springer, (2013)

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.

Thomas Reynolds

Alexandra Reynolds

Margret Reynolds

James Reynolds

York Reynolds

 

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)Axiomatising first-order temporal logic: until and since over linear time.. Stud Logica, 57 (2/3): 279-302 (1996)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)Web-based simulation of fruit fly to support biosecurity decision-making., and . Ecol. Informatics, (2012)Graph Embeddings for Non-IID Data Feature Representation Learning., , , and . AusDM, volume 1741 of Communications in Computer and Information Science, page 43-57. Springer, (2022)Economic feasibility of stand-alone power systems for existing distribution networks in rural areas., , , , and . ISGT Asia, page 1-5. IEEE, (2017)Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States., , and . Advances in Modal Logic, page 53-72. King's College Publications, (2004)A Tableau for Bundled Strategies., and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 22-37. Springer, (2015)Measuring Data-Driven Ontology Changes using Text Mining., , , and . AusDM, volume 70 of CRPIT, page 39-46. Australian Computer Society, (2007)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)