• The University of Western Australia (M002), 35 Stirling Highway,

    6009 Perth

    Australia

  • 396 Citations
  • 11 h-Index
20012019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Sublogics of a branching time logic of robustness

McCabe-Dansted, J., Dixon, C., French, T. & Reynolds, M., 1 Jun 2019, In : Information and Computation. 266, p. 126-160 35 p.

Research output: Contribution to journalArticle

Open Access
2018

Implicit, explicit and speculative knowledge

van Ditmarsch, H., French, T., Velázquez-Quesada, F. R. & Wáng, Y. N., 1 Mar 2018, In : Artificial Intelligence. 256, p. 35-67 33 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2017

Finding minimum and maximum termination time of timed automata models with cyclic behaviour

Al-Bataineh, O., Reynolds, M. & French, T., 22 Feb 2017, In : Theoretical Computer Science. 665, p. 87-104 18 p.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
157 Downloads (Pure)
2016

Learning Time Delay Mealy Machines from Programmable Logic Controllers

Caldwell, B., Cardell-Oliver, R. M. & French, T. N., 2016, In : IEEE Transactions on Automation Science and Engineering. 13, 2, p. 1155-1164 10 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

The Undecidability of Quantified Announcements

Ågotnes, T., Van Ditmarsch, H. & French, T., 2016, In : Studia Logica. 104, 4, p. 597-640

Research output: Contribution to journalArticle

6 Citations (Scopus)
2015

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Al-Bataineh, O., Reynolds, M. & French, T., 2015, In : FORMAL ASPECTS OF COMPUTING. 27, 5-6, p. 917-949

Research output: Contribution to journalArticle

6 Citations (Scopus)

Expressiveness and succinctness of a logic of robustness

Mccabe-Dansted, J., French, T., Pinchinat, S. & Reynolds, M., 2015, In : Journal of Applied Non-Classical Logics. 25, 3, p. 193-228

Research output: Contribution to journalArticle

2 Citations (Scopus)

Synthesis for continuous time

French, T., Mccabe-Dansted, J. & Reynolds, M., 23 Aug 2015, In : Theoretical Computer Science. 594, p. 201-222

Research output: Contribution to journalArticle

2 Citations (Scopus)
2014

Refinement modal logic

Bozzelli, L., Van Ditmarsch, H. P., French, T., Hales, J. & Pinchinat, S., 2014, In : Information and Computation. 239, p. 303-339

Research output: Contribution to journalArticle

18 Citations (Scopus)

Semantics for Knowledge and Change of Awareness

Van Ditmarsch, H. P. & French, T., 2014, In : Journal of Logic, Language and Information. 23, 2, p. 169-195

Research output: Contribution to journalArticle

8 Citations (Scopus)
2013

A novel bipartite graph approach for selection and prioritisation of test cases

Garg, D., Datta, A. & French, T., 2013, In : ACM SIGSOFT Software Engineering Notes. 38, 6, p. 1-6

Research output: Contribution to journalArticle

On the succinctness of some modal logics

French, T., Van Der Hoek, W., Iliev, P. & Kooi, B. P., 2013, In : Artificial Intelligence. 197, p. 56-85

Research output: Contribution to journalArticle

Open Access
24 Citations (Scopus)
2012

Nature-inspired techniques in the context of fraud detection

Behdad, M., Barone, L., Bennamoun, M. & French, T., 2012, In : IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews. 42, 6, p. 1273 - 1290

Research output: Contribution to journalArticle

35 Citations (Scopus)

On principal component analysis for high-dimensional XCSR

Behdad, M., French, T., Barone, L. & Bennamoun, M., 2012, In : Evolutionary Intelligence. 5, p. 129-138

Research output: Contribution to journalArticle

5 Citations (Scopus)

On XCSR for electronic fraud detection

Behdad, M., Barone, L., French, T. & Bennamoun, M., 2012, In : Evolutionary Intelligence. 5, p. 139-150

Research output: Contribution to journalArticle

11 Citations (Scopus)
2007

A Temporal Logic of Robustness

French, T., Mccabe-Dansted, J. C. & Reynolds, M., 2007, In : Lecture Notes in Computer Science. 4720, p. 193-205

Research output: Contribution to journalArticle

15 Citations (Scopus)

Idempotent Transductions for Modal Logics

French, T., 2007, In : Lecture Notes in Artificial Intelligence. 4720, p. 178-192

Research output: Contribution to journalArticle

2006

U-Programs, Uniform Interpolation and Bisimulation Quantifiers for Modal Logics

French, T., D'Agostino, G. & Lenzi, G., 2006, In : Journal of Applied Non-Classical Logics. 16, 40271, p. 297-309

Research output: Contribution to journalArticle

1 Citation (Scopus)
2005

Bisimulation Quantified Logics: Undecidability

French, T., 2005, In : Lecture Notes in Computer Science. 3821, p. 396-407

Research output: Contribution to journalArticle

2 Citations (Scopus)
2003

Decidability of Propositionally Quantified logics of Knowledge

French, T., 2003, In : Lecture Notes in Artificial Inteligence. 2903, p. 352-363

Research output: Contribution to journalArticle

3 Citations (Scopus)
2001

Decidability of quantified propositional branching time logics

French, T., 2001, In : Lecture Notes in Artificial Intelligence. 2256, N/A, p. 165-176

Research output: Contribution to journalArticle