Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Tim French 0002

Timothy Noel French

> Home > Persons

Person information

affiliation: University of Western Australia, Perth, WA, Australia

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/AlviFCBA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/AlviFCBA24
Maira Alvi, Tim French, Rachel Cardell-Oliver, Damien Batstone, Naveed Akhtar:
Enhanced Deep Predictive Modeling of Wastewater Plants With Limited Data. IEEE Trans. Ind. Informatics 20(2): 1920-1930 (2024)
2023
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ao/WoodsFHB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ao/WoodsFHB23
Caitlin Woods, Tim French, Melinda Hodkiewicz, Tyler Bikaun:
An ontology for maintenance procedure documentation. Appl. Ontology 18(2): 169-206 (2023)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlechinaDFG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlechinaDFG23
Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin:
The Expressivity of Quantified Group Announcements. J. Log. Comput. 33(6): 1122-1151 (2023)
2022
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/AlviFCKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/AlviFCKW22
Maira Alvi, Tim French, Rachel Cardell-Oliver, Philip Keymer, Andrew Ward:
Cost Effective Soft Sensing for Wastewater Treatment Facilities. IEEE Access 10: 55694-55708 (2022)
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/DitmarschF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DitmarschF22
Hans van Ditmarsch, Tim French:
Quantifying over Boolean announcements. Log. Methods Comput. Sci. 18(1) (2022)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/swevo/RosenbergFRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/swevo/RosenbergFRW22
Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While:
Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches. Swarm Evol. Comput. 68: 101018 (2022)
2021
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/DitmarschFH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/DitmarschFH21
Hans van Ditmarsch, Tim French, James Hales:
Positive Announcements. Stud Logica 109(3): 639-681 (2021)
2018
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/DitmarschFVW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/DitmarschFVW18
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Implicit, explicit and speculative knowledge. Artif. Intell. 256: 35-67 (2018)
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Al-BatainehR017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Al-BatainehR017
Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Theor. Comput. Sci. 665: 87-104 (2017)
2016
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/FrenchMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/FrenchMR16
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
A complete axiomatization of a temporal logic with obligation and robustness. J. Log. Comput. 26(5): 1439-1467 (2016)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/AgotnesDF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/AgotnesDF16
Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French:
The Undecidability of Quantified Announcements. Stud Logica 104(4): 597-640 (2016)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/tase/CaldwellCF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tase/CaldwellCF16
Ben Caldwell, Rachel Cardell-Oliver, Tim French:
Learning Time Delay Mealy Machines From Programmable Logic Controllers. IEEE Trans Autom. Sci. Eng. 13(2): 1155-1164 (2016)
2015
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/Al-BatainehRF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/Al-BatainehRF15
Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Formal Aspects Comput. 27(5-6): 917-949 (2015)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/McCabe-DanstedF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/McCabe-DanstedF15
John Christopher McCabe-Dansted, Tim French, Sophie Pinchinat, Mark Reynolds:
Expressiveness and succinctness of a logic of robustness. J. Appl. Non Class. Logics 25(3): 193-228 (2015)
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FrenchMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FrenchMR15
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for continuous time. Theor. Comput. Sci. 594: 201-222 (2015)
2014
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BozzelliDFHP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BozzelliDFHP14
Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat:
Refinement modal logic. Inf. Comput. 239: 303-339 (2014)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/DitmarschF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/DitmarschF14
Hans van Ditmarsch, Tim French:
Semantics for Knowledge and Change of Awareness. J. Log. Lang. Inf. 23(2): 169-195 (2014)
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/FrenchHIK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FrenchHIK13
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
On the succinctness of some modal logics. Artif. Intell. 197: 56-85 (2013)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/GargDF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/GargDF13
Deepak Garg, Amitava Datta, Tim French:
A novel bipartite graph approach for selection and prioritisation of test cases. ACM SIGSOFT Softw. Eng. Notes 38(6): 1-6 (2013)
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/evi/BehdadFBB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/evi/BehdadFBB12
Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun:
On principal component analysis for high-dimensional XCSR. Evol. Intell. 5(2): 129-138 (2012)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/evi/BehdadBFB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/evi/BehdadBFB12
Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun:
On XCSR for electronic fraud detection. Evol. Intell. 5(2): 139-150 (2012)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/saem/GargDF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/saem/GargDF12
Deepak Garg, Amitava Datta, Tim French:
New test case prioritization strategies for regression testing of web applications. Int. J. Syst. Assur. Eng. Manag. 3(4): 300-309 (2012)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tsmc/BehdadBBF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsmc/BehdadBBF12
Mohammad Behdad, Luigi Barone, Mohammed Bennamoun, Tim French:
Nature-Inspired Techniques in the Context of Fraud Detection. IEEE Trans. Syst. Man Cybern. Part C 42(6): 1273-1290 (2012)
2009
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ijiit/French09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijiit/French09
Tim French:
Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap? Int. J. Intell. Inf. Technol. 5(2): 1-16 (2009)
2006
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/DAgostinoLF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/DAgostinoLF06
Giovanna D'Agostino, Giacomo Lenzi, Tim French:
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. J. Appl. Non Class. Logics 16(3-4): 297-310 (2006)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/Alvi0KC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/Alvi0KC24
Maira Alvi, Tim French, Philip Keymer, Rachel Cardell-Oliver:
Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning. AAAI 2024: 23020-23026
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/000224
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/000224
Tim French:
Aleatoric Predicates: Reasoning about Marbles. AAMAS 2024: 2267-2269
[c72]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/coling/Bikaun0SLH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coling/Bikaun0SLH24
Tyler K. Bikaun, Tim French, Michael Stewart, Wei Liu, Melinda Hodkiewicz:
MaintIE: A Fine-Grained Annotation Schema and Benchmark for Information Extraction from Maintenance Short Texts. LREC/COLING 2024: 10939-10951
2023
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/acl/Nguyen0LS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl/Nguyen0LS23
Chau Nguyen, Tim French, Wei Liu, Michael Stewart:
SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries. ACL (Findings) 2023: 11931-11946
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/ZhaoLFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/ZhaoLFS23
Ziyu Zhao, Wei Liu, Tim French, Michael Stewart:
CySpider: A Neural Semantic Parsing Corpus with Baseline Models for Property Graphs. AI (2) 2023: 120-132
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/eacl/NguyenFLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eacl/NguyenFLS23
Chau Nguyen, Tim French, Wei Liu, Michael Stewart:
CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs. EACL 2023: 1728-1743
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/French23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/French23
Tim French:
Aleatoric Propositions: Reasoning About Coins. WoLLIC 2023: 227-243
2022
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/ausdm/ZhaoSL0H22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausdm/ZhaoSL0H22
Ziyu Zhao, Michael Stewart, Wei Liu, Tim French, Melinda Hodkiewicz:
Natural Language Query for Technical Knowledge Graph Navigation. AusDM 2022: 176-191
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/RosenbergRFW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/RosenbergRFW22
Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While:
Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. CEC 2022: 1-10
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AlviC022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AlviC022
Maira Alvi, Rachel Cardell-Oliver, Tim French:
Utilizing autoencoders to improve transfer learning when sensor data is sparse. BuildSys@SenSys 2022: 500-503
2021
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/WoodsG0H21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/WoodsG0H21
Caitlin Woods, Mark A. Griffin, Tim French, Melinda Hodkiewicz:
Using Job Characteristics to Inform Interface Design for Industrial Maintenance Procedures. CHI 2021: 180:1-180:10
[c63]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/0002S21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/0002S21
Tim French, Thomas Smoker:
An Aleatoric Description Logic for Probabilistic Reasoning. Description Logics 2021
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/emnlp/Bikaun0HS021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emnlp/Bikaun0HS021
Tyler Bikaun, Tim French, Melinda Hodkiewicz, Michael Stewart, Wei Liu:
LexiClean: An annotation tool for rapid multi-task lexical normalisation. EMNLP (Demos) 2021: 212-219
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/Rosenberg0RW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/Rosenberg0RW21
Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While:
A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. GECCO 2021: 618-626
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ozchi/WoodsGH021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ozchi/WoodsGH021
Caitlin Woods, Mark A. Griffin, Melinda Hodkiewicz, Tim French:
Digitisation of maintenance work management - a work design perspective: Lessons Learned in an Industry Study. OZCHI 2021: 159-164
[c59]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-11498
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-11498
Hans van Ditmarsch, Tim French, Rustam Galimullin:
No Finite Model Property for Logics of Quantified Announcements. TARK 2021: 129-138
2019
[c58]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/0002GDA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0002GDA19
Tim French, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina:
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. AAMAS 2019: 953-961
[c57]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/0002GR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/0002GR19
Tim French, Andrew Gozzard, Mark Reynolds:
Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. AAMAS 2019: 1964-1966
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/RosenbergFR0W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/RosenbergFR0W19
Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French, Lyndon While:
Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. CEC 2019: 2498-2505
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/FrenchGR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/FrenchGR19
Tim French, Andrew Gozzard, Mark Reynolds:
A Modal Aleatoric Calculus for Probabilistic Reasoning. ICLA 2019: 52-63
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/ozchi/WoodsHF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ozchi/WoodsHF19
Caitlin Woods, Melinda Hodkiewicz, Tim French:
Requirements for Adaptive User Interfaces for Industrial Maintenance Procedures: A discussion of context, requirements and research opportunities. OZCHI 2019: 322-326
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/0002GR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/0002GR19
Tim French, Andrew Gozzard, Mark Reynolds:
Aleatoric Dynamic Epistemic Logic for Learning Agents. PRICAI (1) 2019: 433-445
2018
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/aimech/BarkerHSHF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aimech/BarkerHSHF18
Ray Barker, Aaron Hurst, Ridge Shrubsall, Ghulam Mubashar Hassan, Tim French:
A Low-Cost Hardware-in-the-Loop Agent-Based Simulation Testbed for Autonomous Vehicles. AIM 2018: 1015-1020
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/Cox0RW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/Cox0RW18
Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Australasian Conference on Artificial Intelligence 2018: 410-418
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/time/Tolonen0R18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Tolonen0R18
Lewis Tolonen, Tim French, Mark Reynolds:
Population Based Methods for Optimising Infinite Behaviours of Timed Automata. TIME 2018: 22:1-22:22
2017
[c49]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/gcai/Cox0RW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gcai/Cox0RW17
Wesley Cox, Tim French, Mark Reynolds, Lyndon While:
A Genetic Algorithm for Truck Dispatching in Mining. GCAI 2017: 93-106
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/icsrs/Smoker00H17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsrs/Smoker00H17
Thomas M. Smoker, Tim French, Wei Liu, Melinda R. Hodkiewicz:
Applying cognitive computing to maintainer-collected data. ICSRS 2017: 543-551
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ssci/BrightW0R17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssci/BrightW0R17
Callan Bright, Lyndon While, Tim French, Mark Reynolds:
Using market-based optimisation to solve the dynamic vehicle routing problem. SSCI 2017: 1-8
2016
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/time/McCabe-DanstedR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/McCabe-DanstedR16
John Christopher McCabe-Dansted, Mark Reynolds, Tim French:
Modelling Systems over General Linear Time. TIME 2016: 130-139
2015
[c45]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/acsc/OsadaRF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsc/OsadaRF15
Yuki Osada, Mark Reynolds, Tim French:
Hourglass Systems. ACSC 2015: 119-123
2014
[c44]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/FrenchHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/FrenchHT14
Tim French, James Hales, Edwin Tay:
A Composable Language for Action Models. Advances in Modal Logic 2014: 197-216
[c43]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/atal/AgotnesDF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/AgotnesDF14
Thomas Ågotnes, Hans van Ditmarsch, Tim French:
The undecidability of group announcements. AAMAS 2014: 893-900
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/Al-BatainehRF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/Al-BatainehRF14
Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. FORMATS 2014: 38-52
[c41]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/OsadaFRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OsadaFRS14
Yuki Osada, Tim French, Mark Reynolds, Harry Smallbone:
Hourglass Automata. GandALF 2014: 175-188
2013
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/BianFR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/BianFR13
Ji Bian, Tim French, Mark Reynolds:
An Efficient Tableau for Linear Time Temporal Logic. Australasian Conference on Artificial Intelligence 2013: 289-300
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/BehdadF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/BehdadF13
Mohammad Behdad, Tim French:
Online learning classifiers in dynamic environments with incomplete feedback. IEEE Congress on Evolutionary Computation 2013: 1786-1793
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/FrenchMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/FrenchMR13
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA 2013: 50-68
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/FrenchMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/FrenchMR13
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Verifying Temporal Properties in Real Models. LPAR 2013: 309-323
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/FrenchMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/FrenchMR13
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Model Checking General Linear Temporal Logic. TABLEAUX 2013: 119-133
[c35]
- view
  - electronic edition @ tark.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/tark/DitmarschFVW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/DitmarschFVW13
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yì N. Wáng:
Knowledge, awareness, and bisimulation. TARK 2013
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/time/FrenchMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/FrenchMR13
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
An Algebraic System of Temporal Structures. TIME 2013: 81-88
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/time/FrenchMR13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/FrenchMR13a
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Complexity of Model Checking over General Linear Time. TIME 2013: 107-114
2012
[c32]
- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/aamas/DitmarschFV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/DitmarschFV12
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada:
Action models for knowledge and awareness. AAMAS 2012: 1091-1098
[c31]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/FrenchMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/FrenchMR12
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Synthesis for Temporal Logic over the Reals. Advances in Modal Logic 2012: 217-238
[c30]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/HalesFD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/HalesFD12
James Hales, Tim French, Rowan Davies:
Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. Advances in Modal Logic 2012: 317-338
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/GargDF12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/GargDF12
Deepak Garg, Amitava Datta, Tim French:
A Two-Level Prioritization Approach for Regression Testing of Web Applications. APSEC Workshops 2012: 150-153
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/time/Al-BatainehFW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/Al-BatainehFW12
Omar I. Al-Bataineh, Tim French, Terry Woodings:
Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. TIME 2012: 65-72
2011
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/adma/DaneshLFR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adma/DaneshLFR11
Saeed Danesh, Wei Liu, Tim French, Mark Reynolds:
An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) 2011: 162-174
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/DitmarschF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/DitmarschF11
Hans van Ditmarsch, Tim French:
On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence 2011: 727-738
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/BehdadFBB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/BehdadFBB11
Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun:
PCA for improving the performance of XCSF in classification of high-dimensional problems. GECCO (Companion) 2011: 361-368
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/DitmarschF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/DitmarschF11
Hans van Ditmarsch, Tim French:
Becoming Aware of Propositional Variables. ICLA 2011: 204-218
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/FrenchHIK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FrenchHIK11
Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi:
Succinctness of Epistemic Languages. IJCAI 2011: 881-886
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HalesFD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HalesFD11
James Hales, Tim French, Rowan Davies:
Refinement Quantified Logics of Knowledge. M4M/LAMAS 2011: 85-98
2010
[c21]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/DitmarschFP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/DitmarschFP10
Hans van Ditmarsch, Tim French, Sophie Pinchinat:
Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/NidorfBF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/NidorfBF10
David G. Nidorf, Luigi Barone, Tim French:
A comparative study of NEAT and XCS in Robocode. IEEE Congress on Evolutionary Computation 2010: 1-8
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/FrenchMR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/FrenchMR10
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Axioms for Obligation and Robustness with Temporal Logic. DEON 2010: 66-83
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fgit/KamaFR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fgit/KamaFR10
Nazri Kama, Tim French, Mark Reynolds:
Considering Patterns in Class Interactions Prediction. FGIT-ASEA 2010: 11-22
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/BehdadFBB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/BehdadFBB10
Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun:
On the problems of using learning classifier systems for fraud detection. GECCO 2010: 1067-1068
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/gecco/BehdadBFB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gecco/BehdadBFB10
Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun:
An investigation of real-valued accuracy-based learning classifier systems for electronic fraud detection. GECCO (Companion) 2010: 1893-1900
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/somet/KamaFR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/somet/KamaFR10
Nazri Kama, Tim French, Mark Reynolds:
Impact Analysis using Class Interaction Prediction Approach. SoMeT 2010: 96-111
2009
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/DitmarschF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/DitmarschF09
Hans van Ditmarsch, Tim French:
Awareness and Forgetting of Facts and Agents. Web Intelligence/IAT Workshops 2009: 478-483
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/time/McCabe-DanstedFRP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/McCabe-DanstedFRP09
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
On the Expressivity of RoCTL*. TIME 2009: 37-44
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/time/MikulasRF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/MikulasRF09
Szabolcs Mikulás, Mark Reynolds, Tim French:
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87
2008
[c11]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/FrenchD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/FrenchD08
Tim French, Hans P. van Ditmarsch:
Undecidability for arbitrary public announcement logic. Advances in Modal Logic 2008: 23-42
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kramas/DitmarschF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kramas/DitmarschF08
Hans P. van Ditmarsch, Tim French:
Simulation and Information: Quantifying over Epistemic Events. KRAMAS 2008: 51-65
2007
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/French07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/French07
Tim French:
Idempotent Transductions for Modal Logics. FroCoS 2007: 178-192
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/FrenchMR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/FrenchMR07
Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
A Temporal Logic of Robustness. FroCoS 2007: 193-205
2006
[c7]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/French06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/French06
Tim French:
Bisimulation Quantified Modal Logics: Decidability. Advances in Modal Logic 2006: 147-166
2005
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/French05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/French05
Tim French:
Bisimulation Quantified Logics: Undecidability. FSTTCS 2005: 396-407
2004
[c5]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/FrenchMR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/FrenchMR04
Tim French, Ron van der Meyden, Mark Reynolds:
Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic 2004: 53-72
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/French03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/French03
Tim French:
Decidability of Propositionally Quantified Logics of Knowledge. Australian Conference on Artificial Intelligence 2003: 352-363
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/time/French03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/French03
Tim French:
Quantified Propositional Temporal Logic with Repeating States. TIME 2003: 155-165
2002
[c2]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/FrenchR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/FrenchR02
Tim French, Mark Reynolds:
A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148
2001
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/French01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/French01
Tim French:
Decidability of Quantifed Propositional Branching Time Logics. Australian Joint Conference on Artificial Intelligence 2001: 165-176

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2022
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/2022a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/2022a
Haris Aziz, Débora Corrêa, Tim French:
AI 2022: Advances in Artificial Intelligence - 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings. Lecture Notes in Computer Science 13728, Springer 2022, ISBN 978-3-031-22694-6 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-13240
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-13240
Cris Cunha, Wei Liu, Tim French, Ajmal Mian:
Q-Cogni: An Integrated Causal Reinforcement Learning Framework. CoRR abs/2302.13240 (2023)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-01080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-01080
Ziyu Zhao, Wei Liu, Tim French, Michael Stewart:
Rel2Graph: Automated Mapping From Relational Databases to a Unified Property Knowledge Graph. CoRR abs/2310.01080 (2023)
2022
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-00903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-00903
Hans van Ditmarsch, Tim French, Rustam Galimullin:
Satisfiability of Quantified Boolean Announcements. CoRR abs/2206.00903 (2022)
2021
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-13036
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-13036
Tim French, Tom Smoker:
Aleatoric Description Logic for Probailistic Reasoning (Long Version). CoRR abs/2108.13036 (2021)
2018
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1803-01696
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-01696
Hans van Ditmarsch, Tim French, James Hales:
Positive Announcements. CoRR abs/1803.01696 (2018)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-11741
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-11741
Tim French, Andrew Gozzard, Mark Reynolds:
A modal aleatoric calculus for probabilistic reasoning: extended version. CoRR abs/1812.11741 (2018)
2017
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-05310
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-05310
Hans van Ditmarsch, Tim French:
Quantifying over boolean announcements. CoRR abs/1712.05310 (2017)
2016
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Al-BatainehRF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Al-BatainehRF16
Omar I. Al-Bataineh, Mark Reynolds, Tim French:
Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. CoRR abs/1610.09795 (2016)
2014
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FrenchHT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FrenchHT14
Tim French, James Hales, Edwin Tay:
A composable language for action models. CoRR abs/1406.2103 (2014)
2013
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/McCabe-DanstedFRP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/McCabe-DanstedFRP13
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
Specifying Robustness. CoRR abs/1309.4416 (2013)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DitmarschFVW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DitmarschFVW13
Hans van Ditmarsch, Tim French, Fernando R. Velázquez-Quesada, Yi Nicholas Wang:
Knowledge, Awareness, and Bisimulation. CoRR abs/1310.6410 (2013)
2012
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1201-3416
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-3416
Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings:
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. CoRR abs/1201.3416 (2012)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1202-3538
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-3538
Laura Bozzelli, Hans van Ditmarsch, Tim French, James Hales, Sophie Pinchinat:
Refinement Modal Logic. CoRR abs/1202.3538 (2012)
2009
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dagstuhl/DitmarschF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/DitmarschF09
Hans van Ditmarsch, Tim French:
Awareness and forgetting of facts and agents. Information processing, rational belief change and social interaction 2009

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.