Tim French

Citado por

	Total	Desde 2019
Citas	1316	539
Índice h	20	14
Índice i10	38	21

120

2004200520062007200820092010201120122013201420152016201720182019202020212022202320245 4 15 23 27 23 30 73 45 88 111 78 87 74 72 104 77 118 79 109 49

Acceso público

Ver todo

7 artículos

5 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Mark ReynoldsProfessor of Computer Science, University of Western AustraliaDirección de correo verificada de uwa.edu.au
Hans van DitmarschCNRSDirección de correo verificada de irit.fr
John McCabe-DanstedResearch Associate, University of Western AustraliaDirección de correo verificada de uwa.edu.au
Luigi BaroneThe University of Western AustraliaDirección de correo verificada de csse.uwa.edu.au
Mohammad BehdadThe University of Western AustraliaDirección de correo verificada de student.uwa.edu.au
Mohammed BennamounWinthrop Professor - University of Western AustraliaDirección de correo verificada de uwa.edu.au
James HalesThe University of Western AustraliaDirección de correo verificada de student.uwa.edu.au
Sophie PinchinatUniv Rennes/CNRSDirección de correo verificada de irisa.fr
Barteld Kooiprofessor of logic and argumentation theory, University of GroningenDirección de correo verificada de rug.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupDirección de correo verificada de liverpool.ac.uk
Nazri KamaResearcher, Universiti Teknologi MalaysiaDirección de correo verificada de utm.my
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenDirección de correo verificada de uib.no
Petar IlievBulgarian Academy of SciencesDirección de correo verificada de math.bas.bg
Yì N. WángSun Yat-sen UniversityDirección de correo verificada de xixilogic.org
Amitava DattaProfessor of Computer Science, University of Western AustraliaDirección de correo verificada de uwa.edu.au
Thomas ÅgotnesProfessor of Information Science, University of BergenDirección de correo verificada de infomedia.uib.no
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesDirección de correo verificada de cse.unsw.edu.au
Rowan DaviesCrew Tech Lead/Principal Engineer, Commonwealth Bank of AustraliaDirección de correo verificada de cba.com.au
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaDirección de correo verificada de uwa.edu.au
Ben CaldwellCirrus WestDirección de correo verificada de cirruswest.com.au

Seguir

Tim French

The University of Western Australia

Dirección de correo verificada de uwa.edu.au


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	105	2012
Undecidability for arbitrary public announcement logic T French, H Van Ditmarsch Advances in modal logic, 23-42, 2008	85	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	48	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	44	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	32	2003
Future Event Logic-Axioms and Complexity. H van Ditmarsch, T French, S Pinchinat Advances in Modal Logic 8 (8), 77-99, 2010	30	2010
The undecidability of quantified announcements T Ågotnes, H van Ditmarsch, T French Studia Logica 104, 597-640, 2016	29	2016
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
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	26	2012
Implicit, explicit and speculative knowledge H van Ditmarsch, T French, FR Velázquez-Quesada, YN Wáng Artificial Intelligence 256, 35-67, 2018	23	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores