Tim French

Cited by

	All	Since 2020
Citations	1344	461
h-index	21	12
i10-index	38	19

120

20042005200620072008200920102011201220132014201520162017201820192020202120222023202420255 4 15 23 27 23 30 73 45 88 111 78 86 76 70 105 79 118 77 113 63 8

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 irit.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
Nazri KamaResearcher, Universiti Teknologi MalaysiaVerified email at utm.my
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenVerified email at uib.no
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
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
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesVerified email at cse.unsw.edu.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	114	2012
Undecidability for arbitrary public announcement logic T French, H Van Ditmarsch Advances in modal logic, 23-42, 2008	86	2008
Bisimulation quantifiers for modal logics TN French University of Western Australia, 2006	68	2006
Simulation and information: Quantifying over epistemic events H van Ditmarsch, T French International Workshop on Knowledge Representation for Agents and Multi …, 2008	53	2008
On the succinctness of some modal logics T French, W van Der Hoek, P Iliev, B Kooi Artificial Intelligence 197, 56-85, 2013	50	2013
Decidability of quantifed propositional branching time logics T French AI 2001: Advances in Artificial Intelligence: 14th Australian Joint …, 2001	48	2001
Refinement modal logic L Bozzelli, H van Ditmarsch, T French, J Hales, S Pinchinat Information and Computation 239, 303-339, 2014	45	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
A sound and complete proof system for QPTL T French, M Reynolds	39	1998
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
Quantified propositional temporal logic with repeating states T French 10th International Symposium on Temporal Representation and Reasoning, 2003 …, 2003	34	2003
Future Event Logic-Axioms and Complexity. H van Ditmarsch, T French, S Pinchinat Advances in Modal Logic 8 (8), 77-99, 2010	31	2010
The undecidability of quantified announcements T Ågotnes, H van Ditmarsch, T French Studia Logica 104, 597-640, 2016	30	2016
Succinctness of epistemic languages T French, W Van Der Hoek, P Iliev, B Kooi Twenty-Second International Joint Conference on Artificial Intelligence, 2011	30	2011
A temporal logic of robustness T French, JC Mc Cabe-Dansted, M Reynolds Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007	28	2007
Action models for knowledge and awareness. H van Ditmarsch, T French, FR Velázquez-Quesada AAMAS, 1091-1098, 2012	27	2012
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. J Hales, T French, R Davies Advances in Modal Logic 9, 317-338, 2012	27	2012
Implicit, explicit and speculative knowledge H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Artificial Intelligence 256, 35-67, 2018	25	2018
Knowledge, awareness, and bisimulation H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng arXiv preprint arXiv:1310.6410, 2013	23	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	22	2004

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