Tim French

Cited by

	All	Since 2018
Citations	1255	556
h-index	20	15
i10-index	38	21

120

2003200420052006200720082009201020112012201320142015201620172018201920202021202220235 5 3 14 21 25 24 29 72 45 88 111 78 88 74 73 105 78 113 83 100

Public access

View all

7 articles

5 articles

available

not available

Based on funding mandates

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
Luigi BaroneThe University of Western AustraliaVerified email at csse.uwa.edu.au
Mohammad BehdadThe University of Western AustraliaVerified email at student.uwa.edu.au
Mohammed BennamounWinthrop Professor - University of Western AustraliaVerified email at uwa.edu.au
James HalesThe University of Western AustraliaVerified email at student.uwa.edu.au
Sophie PinchinatUniv Rennes/CNRSVerified email at irisa.fr
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
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenVerified email at uib.no
Nazri KamaResearcher, Universiti Teknologi MalaysiaVerified email at utm.my
Petar IlievBulgarian Academy of SciencesVerified email at math.bas.bg
Yì N. WángSun Yat-sen UniversityVerified email at xixilogic.org
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
Thomas ÅgotnesProfessor of Information Science, University of BergenVerified email at infomedia.uib.no
Rowan DaviesCrew Tech Lead/Principal Engineer, Commonwealth Bank of AustraliaVerified email at cba.com.au
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaVerified email at uwa.edu.au
Ben CaldwellCirrus WestVerified email at cirruswest.com.au

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
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	96	2012
Undecidability for arbitrary public announcement logic. T French, HP van Ditmarsch Advances in modal logic 7, 23-42, 2008	81	2008
Bisimulation quantifiers for modal logics TN French University of Western Australia, 2006	63	2006
Simulation and information: Quantifying over epistemic events H van Ditmarsch, T French International Workshop on Knowledge Representation for Agents and Multi …, 2008	52	2008
Decidability of quantifed propositional branching time logics T French AI 2001: Advances in Artificial Intelligence: 14th Australian Joint …, 2001	47	2001
On the succinctness of some modal logics T French, W van Der Hoek, P Iliev, B Kooi Artificial Intelligence 197, 56-85, 2013	44	2013
Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014	43	2014
Becoming aware of propositional variables H Van Ditmarsch, T French Logic and Its Applications: 4th Indian Conference, ICLA 2011, Delhi, India …, 2011	39	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	35	2009
A sound and complete proof system for QPTL T French, M Reynolds	34	2003
Quantified propositional temporal logic with repeating states T French 10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003	32	2003
Succinctness of epistemic languages T French, W Van Der Hoek, P Iliev, B Kooi Twenty-Second International Joint Conference on Artificial Intelligence, 2011	29	2011
Future Event Logic-Axioms and Complexity. H van Ditmarsch, T French, S Pinchinat Advances in Modal Logic 8 (8), 77-99, 2010	29	2010
The undecidability of quantified announcements T Ågotnes, H van Ditmarsch, T French Studia Logica 104, 597-640, 2016	28	2016
Action models for knowledge and awareness. H van Ditmarsch, T French, FR Velázquez-Quesada AAMAS, 1091-1098, 2012	27	2012
A temporal logic of robustness T French, JC Mc Cabe-Dansted, M Reynolds Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007	26	2007
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012	25	2012
Knowledge, awareness, and bisimulation H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng arXiv preprint arXiv:1310.6410, 2013	24	2013
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	23	2004
Implicit, explicit and speculative knowledge H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Artificial Intelligence 256, 35-67, 2018	21	2018

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

Follow

Cited by

Co-authors