Tim French

Cited by

	All	Since 2016
Citations	879	362
h-index	17	10
i10-index	27	10

120

20032004200520062007200820092010201120122013201420152016201720182019202020214 5 3 14 19 27 22 29 68 44 85 107 77 82 60 57 81 72 8

Co-authors

Mark ReynoldsProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Hans van DitmarschCNRSVerified email at loria.fr
John McCabe-DanstedResearch Associate, University of Western AustraliaVerified email at uwa.edu.au
Mohammad BehdadThe University of Western AustraliaVerified email at student.uwa.edu.au
Mohammed BennamounThe University of Western AustraliaVerified email at uwa.edu.au
James HalesThe University of Western AustraliaVerified email at student.uwa.edu.au
Barteld Kooiprofessor of logic and argumentation theory, University of GroningenVerified email at rug.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupVerified email at liverpool.ac.uk
Petar IlievIRIT (Univ. Toulouse)Verified email at irit.fr
Amitava DattaProfessor of Computer Science, University of Western AustraliaVerified email at uwa.edu.au
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.au
Rowan DaviesSoftware Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
Fernando R. Velazquez QuesadaInstitute for Logic, Language and ComputationVerified email at uva.nl
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Professor Graham KendallProvost, CEO and Pro-Vice Chancellor, University of NottinghamVerified email at nottingham.edu.my
Philip HingstonA/Professor of Computer Science, Edith Cowan UniversityVerified email at philiphingston.com
Wei LiuSenior Lecturer, Computer Science, The University of Western AustraliaVerified email at uwa.edu.au
Szabolcs MikulasSenior Lecturer, Department of Computer Science and Information Systems, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk

Tim French

The University of Western Australia

Verified email at uwa.edu.au


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Undecidability for arbitrary public announcement logic. T French, HP van Ditmarsch Advances in modal logic 7, 23-42, 2008	67	2008
Nature-inspired techniques in the context of fraud detection M Behdad, L Barone, M Bennamoun, T French IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2012	63	2012
Bisimulation quantifiers for modal logics TN French University of Western Australia, 2006	58	2006
Simulation and information: Quantifying over epistemic events H Van Ditmarsch, T French International Workshop on Knowledge Representation for Agents and Multi …, 2008	45	2008
Decidability of quantifed propositional branching time logics T French Australian Joint Conference on Artificial Intelligence, 165-176, 2001	42	2001
On the succinctness of some modal logics T French, W Van Der Hoek, P Iliev, B Kooi Artificial Intelligence 197, 56-85, 2013	36	2013
Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014	32	2014
A sound and complete proof system for QPTL T French, M Reynolds	30	2002
Succinctness of epistemic languages T French, W Van Der Hoek, P Iliev, B Kooi Twenty-Second International Joint Conference on Artificial Intelligence, 2011	28	2011
Becoming aware of propositional variables H Van Ditmarsch, T French Indian Conference on Logic and Its Applications, 204-218, 2011	28	2011
Awareness and forgetting of facts and agents H Van Ditmarsch, T French 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and …, 2009	26	2009
Future Event Logic-Axioms and Complexity. H Van Ditmarsch, T French, S Pinchinat Advances in Modal Logic 8 (8), 77-99, 2010	23	2010
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012	22	2012
A temporal logic of robustness T French, JC Mc Cabe-Dansted, M Reynolds International Symposium on Frontiers of Combining Systems, 193-205, 2007	22	2007
Quantified propositional temporal logic with repeating states T French 10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003	22	2003
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. T French, R van der Meyden, M Reynolds Advances in Modal Logic 5, 53-72, 2004	19	2004
Knowledge, awareness, and bisimulation H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng arXiv preprint arXiv:1310.6410, 2013	17	2013
On XCSR for electronic fraud detection M Behdad, L Barone, T French, M Bennamoun Evolutionary Intelligence 5 (2), 139-150, 2012	16	2012
Action models for knowledge and awareness. H Van Ditmarsch, T French, FR Velázquez-Quesada AAMAS, 1091-1098, 2012	15	2012
Synthesis for temporal logic over the reals T French, JM Cabe-dansted, M Reynolds	14	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors