Tim French

Geciteerd door

	Alles	Sinds 2019
Citaties	1332	550
h-index	20	14
i10-index	38	21

120

2004200520062007200820092010201120122013201420152016201720182019202020212022202320245 4 15 23 27 23 30 73 45 88 111 78 86 74 72 105 78 118 77 110 59

Openbare toegang

Alles bekijken

7 artikelen

5 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Mark ReynoldsProfessor of Computer Science, University of Western AustraliaGeverifieerd e-mailadres voor uwa.edu.au
Hans van DitmarschCNRSGeverifieerd e-mailadres voor irit.fr
John McCabe-DanstedResearch Associate, University of Western AustraliaGeverifieerd e-mailadres voor uwa.edu.au
Luigi BaroneThe University of Western AustraliaGeverifieerd e-mailadres voor csse.uwa.edu.au
Mohammad BehdadThe University of Western AustraliaGeverifieerd e-mailadres voor student.uwa.edu.au
Mohammed BennamounWinthrop Professor - University of Western AustraliaGeverifieerd e-mailadres voor uwa.edu.au
James HalesThe University of Western AustraliaGeverifieerd e-mailadres voor student.uwa.edu.au
Sophie PinchinatUniv Rennes/CNRSGeverifieerd e-mailadres voor irisa.fr
Barteld Kooiprofessor of logic and argumentation theory, University of GroningenGeverifieerd e-mailadres voor rug.nl
Wiebe van der HoekProfessor of Computer Science, University of Liverpool, Agents GroupGeverifieerd e-mailadres voor liverpool.ac.uk
Nazri KamaResearcher, Universiti Teknologi MalaysiaGeverifieerd e-mailadres voor utm.my
Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i BergenGeverifieerd e-mailadres voor uib.no
Petar IlievBulgarian Academy of SciencesGeverifieerd e-mailadres voor math.bas.bg
Yì N. WángSun Yat-sen UniversityGeverifieerd e-mailadres voor xixilogic.org
Amitava DattaProfessor of Computer Science, University of Western AustraliaGeverifieerd e-mailadres voor uwa.edu.au
Thomas ÅgotnesProfessor of Information Science, University of BergenGeverifieerd e-mailadres voor infomedia.uib.no
Rowan DaviesCrew Tech Lead/Principal Engineer, Commonwealth Bank of AustraliaGeverifieerd e-mailadres voor cba.com.au
Ron van der MeydenProfessor, School of Computer Science and Engineering, The University of New South WalesGeverifieerd e-mailadres voor cse.unsw.edu.au
Wei LiuAssociate Professor, Computer Science, The University of Western AustraliaGeverifieerd e-mailadres voor uwa.edu.au
Ben CaldwellCirrus WestGeverifieerd e-mailadres voor cirruswest.com.au

Volgen

Tim French

The University of Western Australia

Geverifieerd e-mailadres voor uwa.edu.au


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	111	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	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	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	33	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	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	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	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs