Tim French
Impact in
- Artificial Intelligence top 5%
- Logic, Reasoning, and Knowledge
- Logic, programming, and type systems
- Multi-Agent Systems and Negotiation
- Semantic Web and Ontologies
- Software top 10%
Papers in
- Software 9
-
- Formal Methods in Verification 20
- Advanced Algebra and Logic 8
- Co-authors
- Hans van DitmarschMark ReynoldsRachel Cardell‐OliverLuigi BaroneLynne DunckleyAndy SmithCharles A. SchmuttenmaerShaíley Minocha
- Journals
- Journal of Clinical Oncology (3 papers)IEEE Access (2 papers)Journal of Applied Non-Classical Logics (2 papers)Journal of Logic and Computation (2 papers)Theoretical Computer Science (2 papers)
- Partner nations
- AustraliaUnited KingdomUnited States
In The Last Decade
Tim French
131 papers receiving 1.2k citations
Peers
Comparison fields: 5 of 137
- Artificial Intelligence 435
- Software 45
- Computational Theory and Mathematics 172
- Human-Computer Interaction 56
- Information Systems and Management 56
Countries citing papers authored by Tim French
This map shows the geographic impact of Tim French's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Tim French with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Tim French more than expected).
Fields of papers citing papers by Tim French
This network shows the impact of papers produced by Tim French. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Tim French. The network helps show where Tim French may publish in the future.
Co-authors
The 25 scholars most cited alongside Tim French, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2024 | 0 | |
| 2 | 2023 | 5 | |
| 3 | 2023 | 7 | |
| 4 | 2019 | 6 | |
| 5 | 2017 | 8 | |
| 6 | Design Patterns Consideration in Class Interactions Prediction Development | 2015 | 1 |
| 7 | How far can automatic translation engines be used as a tool for stylistic analysis | 2012 | 1 |
| 8 | Synthesis for Temporal Logic over the Reals | 2012 | 7 |
| 9 | 2012 | 7 | |
| 10 | Culture and e-Culture through a semiotic lens: E-banking localization | 2012 | 3 |
| 11 | 2011 | 7 | |
| 12 | 2010 | 49 | |
| 13 | Undecidability for arbitrary public announcement logic | 2008 | 33 |
| 14 | Bisimulation Quantified Modal Logics: Decidability | 2006 | 2 |
| 15 | 2002 | 14 | |
| 16 | The future of global distribution systems. | 1998 | 14 |
| 17 | No-frills airlines in Europe. | 1996 | 1 |
| 18 | Transport: Charter airlines in Europe. | 1995 | 3 |
| 19 | European airport capacities and airport congestion. | 1994 | 7 |
| 20 | The US and European airline commissions. | 1993 | 2 |
About Tim French
Tim French is a scholar working on Software, Computational Theory and Mathematics, Artificial Intelligence, Human-Computer Interaction and Hardware and Architecture, having authored 139 papers that have together received 1.3k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (27 papers), Logic, programming, and type systems (21 papers), Formal Methods in Verification (20 papers), Multi-Agent Systems and Negotiation (14 papers), Semantic Web and Ontologies (9 papers), Advanced Algebra and Logic (8 papers), Access Control and Trust (7 papers) and Evolutionary Algorithms and Applications (6 papers). The work is most often cited by research in Artificial Intelligence (435 citations), Software (45 citations), Computational Theory and Mathematics (172 citations), Human-Computer Interaction (56 citations) and Information Systems and Management (56 citations). Tim French has collaborated with scholars based in Australia, United Kingdom and United States. Frequent co-authors include Hans van Ditmarsch, Mark Reynolds, Rachel Cardell‐Oliver, Luigi Barone, Lynne Dunckley, Andy Smith, Charles A. Schmuttenmaer, Shaíley Minocha, Hans P. van Ditmarsch and Mohammed Bennamoun. Their work appears in journals such as Journal of Clinical Oncology, IEEE Access, Journal of Applied Non-Classical Logics, Journal of Logic and Computation and Theoretical Computer Science.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.