Jimmy Thomson

According to our database, Jimmy Thomson authored at least 9 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

A Correct Polynomial Translation of S4 into intuitionistic Logic.

Rajeev Goré, Jimmy Thomson

J. Symb. Log., 2019

2014

A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description.

Rajeev Goré, Jimmy Thomson, Jesse Wu

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Implementing Tableau Calculi Using BDDs: BDDTab System Description.

Rajeev Goré, Kerry Olesen, Jimmy Thomson

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description.

Rajeev Goré, Jimmy Thomson

Proceedings of the Automated Deduction - CADE-24, 2013

2012

An iterative approach to synthesize business process templates from compliance rules.

Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich

Inf. Syst., 2012

BDD-based automated reasoning in propositional non-classical logics: progress report.

Rajeev Goré, Jimmy Thomson

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics.

Rajeev Goré, Jimmy Thomson

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

An Experimental Comparison of Theorem Provers for CTL.

Rajeev Goré, Jimmy Thomson, Florian Widmann

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

An Iterative Approach for Business Process Template Synthesis from Compliance Rules.

Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich

Proceedings of the Advanced Information Systems Engineering, 2011