Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jimmy Thomson 0001

James Thomson 0001

> Home > Persons

Person information

affiliation: The Australian National University, Canberra, Australia

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/GoreT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/GoreT19
Rajeev Goré, Jimmy Thomson:
A Correct Polynomial Translation of S4 into intuitionistic Logic. J. Symb. Log. 84(2): 439-451 (2019)
2014
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GoreTW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GoreTW14
Rajeev Goré, Jimmy Thomson, Jesse Wu:
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. IJCAR 2014: 262-268
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GoreOT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GoreOT14
Rajeev Goré, Kerry Olesen, Jimmy Thomson:
Implementing Tableau Calculi Using BDDs: BDDTab System Description. IJCAR 2014: 337-343
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GoreT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GoreT13
Rajeev Goré, Jimmy Thomson:
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. CADE 2013: 275-281
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/is/AwadGHTW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/AwadGHTW12
Ahmed Awad, Rajeev Goré, Zhe Hou, James Thomson, Matthias Weidlich:
An iterative approach to synthesize business process templates from compliance rules. Inf. Syst. 37(8): 714-736 (2012)
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cade/GoreT12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GoreT12a
Rajeev Goré, Jimmy Thomson:
BDD-based automated reasoning in propositional non-classical logics: progress report. PAAR@IJCAR 2012: 43-57
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/GoreT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GoreT12
Rajeev Goré, Jimmy Thomson:
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. IJCAR 2012: 301-315
2011
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/caise/AwadGTW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AwadGTW11
Ahmed Awad, Rajeev Goré, James Thomson, Matthias Weidlich:
An Iterative Approach for Business Process Template Synthesis from Compliance Rules. CAiSE 2011: 406-421
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/time/GoreTW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/GoreTW11
Rajeev Goré, Jimmy Thomson, Florian Widmann:
An Experimental Comparison of Theorem Provers for CTL. TIME 2011: 49-56

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.