The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Tim French 0002 Timothy Noel French ( http://dblp.L3S.de/Authors/Tim_French_0002 )

URL (Homepage):  http://www.web.uwa.edu.au/people/tim.french  Author page on DBLP  Author page in RDF  Community of Tim French 0002 in ASPL-2

Publication years (Num. hits)
2001-2009 (17) 2010-2012 (24) 2013-2014 (19) 2015-2018 (19) 2019 (5)
Publication types (Num. hits)
article(28) inproceedings(56)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 15 keywords

Results
Found 85 publication records. Showing 84 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Tim French 0002, Andrew Gozzard, Mark Reynolds A Modal Aleatoric Calculus for Probabilistic Reasoning. Search on Bibsonomy ICLA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French 0002, Lyndon While Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. Search on Bibsonomy CEC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Andrew Gozzard, Mark Reynolds Aleatoric Dynamic Epistemic Logic for Learning Agents. Search on Bibsonomy PRICAI (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Andrew Gozzard, Mark Reynolds Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Tim French 0002, Rustam Galimullin, Hans van Ditmarsch, Natasha Alechina Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng Implicit, explicit and speculative knowledge. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Andrew Gozzard, Mark Reynolds A modal aleatoric calculus for probabilistic reasoning: extended version. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, James Hales Positive Announcements. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ray Barker, Aaron Hurst, Ridge Shrubsall, Ghulam Mubashar Hassan, Tim French 0002 A Low-Cost Hardware-in-the-Loop Agent-Based Simulation Testbed for Autonomous Vehicles. Search on Bibsonomy AIM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lewis Tolonen, Tim French 0002, Mark Reynolds Population Based Methods for Optimising Infinite Behaviours of Timed Automata. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wesley Cox, Tim French 0002, Mark Reynolds, Lyndon While A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Omar I. Al-Bataineh, Mark Reynolds, Tim French 0002 Finding minimum and maximum termination time of timed automata models with cyclic behaviour. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Quantifying over boolean announcements. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wesley Cox, Tim French 0002, Mark Reynolds, Lyndon While A Genetic Algorithm for Truck Dispatching in Mining. Search on Bibsonomy GCAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Callan Bright, Lyndon While, Tim French 0002, Mark Reynolds Using market-based optimisation to solve the dynamic vehicle routing problem. Search on Bibsonomy SSCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Omar I. Al-Bataineh, Mark Reynolds, Tim French 0002 Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds A complete axiomatization of a temporal logic with obligation and robustness. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ben Caldwell, Rachel Cardell-Oliver, Tim French 0002 Learning Time Delay Mealy Machines From Programmable Logic Controllers. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Mark Reynolds, Tim French 0002 Modelling Systems over General Linear Time. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French The Undecidability of Quantified Announcements. Search on Bibsonomy Studia Logica The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Synthesis for continuous time. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Tim French 0002, Sophie Pinchinat, Mark Reynolds Expressiveness and succinctness of a logic of robustness. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Omar I. Al-Bataineh, Mark Reynolds, Tim French 0002 Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuki Osada, Mark Reynolds, Tim French 0002 Hourglass Systems. Search on Bibsonomy ACSC The full citation details ... 2015 DBLP  BibTeX  RDF
1Yuki Osada, Tim French 0002, Mark Reynolds, Harry Smallbone Hourglass Automata. Search on Bibsonomy GandALF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim French 0002, James Hales, Edwin Tay A composable language for action models. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Semantics for Knowledge and Change of Awareness. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Tim French 0002, James Hales, Sophie Pinchinat Refinement modal logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tim French 0002, James Hales, Edwin Tay A Composable Language for Action Models. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Omar I. Al-Bataineh, Mark Reynolds, Tim French 0002 Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. Search on Bibsonomy FORMATS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Ågotnes, Hans van Ditmarsch, Tim French 0002 The undecidability of group announcements. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Tim French 0002, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi On the succinctness of some modal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Deepak Garg 0003, Amitava Datta, Tim French 0002 A novel bipartite graph approach for selection and prioritisation of test cases. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1John Christopher McCabe-Dansted, Tim French 0002, Mark Reynolds, Sophie Pinchinat Specifying Robustness. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yi Nicholas Wang Knowledge, Awareness, and Bisimulation. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Verifying Temporal Properties in Real Models. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Indiscrete Models: Model Building and Model Checking over Linear Time. Search on Bibsonomy ICLA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohammad Behdad, Tim French 0002 Online learning classifiers in dynamic environments with incomplete feedback. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada, Yì N. Wáng Knowledge, awareness, and bisimulation. Search on Bibsonomy TARK The full citation details ... 2013 DBLP  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Model Checking General Linear Temporal Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds An Algebraic System of Temporal Structures. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Complexity of Model Checking over General Linear Time. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ji Bian, Tim French 0002, Mark Reynolds An Efficient Tableau for Linear Time Temporal Logic. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohammad Behdad, Tim French 0002, Luigi Barone, Mohammed Bennamoun On principal component analysis for high-dimensional XCSR. Search on Bibsonomy Evolutionary Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohammad Behdad, Luigi Barone, Tim French 0002, Mohammed Bennamoun On XCSR for electronic fraud detection. Search on Bibsonomy Evolutionary Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohammad Behdad, Luigi Barone, Mohammed Bennamoun, Tim French 0002 Nature-Inspired Techniques in the Context of Fraud Detection. Search on Bibsonomy IEEE Trans. Systems, Man, and Cybernetics, Part C The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Deepak Garg 0003, Amitava Datta, Tim French 0002 New test case prioritization strategies for regression testing of web applications. Search on Bibsonomy Int. J. Systems Assurance Engineering and Management The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Hans van Ditmarsch, Tim French 0002, James Hales, Sophie Pinchinat Refinement Modal Logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Omar I. Al-Bataineh, Mark Reynolds, Tim French 0002, Terry Woodings Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002, Fernando R. Velázquez-Quesada Action models for knowledge and awareness. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Deepak Garg 0003, Amitava Datta, Tim French 0002 A Two-Level Prioritization Approach for Regression Testing of Web Applications. Search on Bibsonomy APSEC Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1James Hales, Tim French 0002, Rowan Davies Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Synthesis for Temporal Logic over the Reals. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2012 DBLP  BibTeX  RDF
1Omar I. Al-Bataineh, Tim French 0002, Terry Woodings Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1James Hales, Tim French 0002, Rowan Davies Refinement Quantified Logics of Knowledge. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Becoming Aware of Propositional Variables. Search on Bibsonomy ICLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mohammad Behdad, Tim French 0002, Luigi Barone, Mohammed Bennamoun PCA for improving the performance of XCSF in classification of high-dimensional problems. Search on Bibsonomy GECCO (Companion) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi Succinctness of Epistemic Languages. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saeed Danesh, Wei Liu 0006, Tim French 0002, Mark Reynolds An Investigation of Recursive Auto-associative Memory in Sentiment Detection. Search on Bibsonomy ADMA (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 On the Interactions of Awareness and Certainty. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David G. Nidorf, Luigi Barone, Tim French 0002 A comparative study of NEAT and XCS in Robocode. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nazri Kama, Tim French 0002, Mark Reynolds Impact Analysis using Class Interaction Prediction Approach. Search on Bibsonomy SoMeT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mohammad Behdad, Tim French 0002, Luigi Barone, Mohammed Bennamoun On the problems of using learning classifier systems for fraud detection. Search on Bibsonomy GECCO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF xcsr, learning classifier systems, fraud detection, genetics-based machine learning
1Mohammad Behdad, Luigi Barone, Tim French 0002, Mohammed Bennamoun An investigation of real-valued accuracy-based learning classifier systems for electronic fraud detection. Search on Bibsonomy GECCO (Companion) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF XCSR, netw ork intrusion detection, learning classifier systems, fraud detection, genetics-based machine learning
1Hans van Ditmarsch, Tim French 0002, Sophie Pinchinat Future Event Logic - Axioms and Complexity. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Nazri Kama, Tim French 0002, Mark Reynolds Considering Patterns in Class Interactions Prediction. Search on Bibsonomy FGIT-ASEA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds Axioms for Obligation and Robustness with Temporal Logic. Search on Bibsonomy DEON The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tim French 0002 Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap? Search on Bibsonomy IJIIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Awareness and forgetting of facts and agents. Search on Bibsonomy Information processing, rational belief change and social interaction The full citation details ... 2009 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Tim French 0002 Awareness and Forgetting of Facts and Agents. Search on Bibsonomy Web Intelligence/IAT Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Szabolcs Mikulás, Mark Reynolds, Tim French 0002 Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF temporal logic, epistemic logic, complete axiomatizations
1John Christopher McCabe-Dansted, Tim French 0002, Mark Reynolds, Sophie Pinchinat On the Expressivity of RoCTL*. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reliability, Robustness, time, logic, CTL
1Hans P. van Ditmarsch, Tim French 0002 Simulation and Information: Quantifying over Epistemic Events. Search on Bibsonomy KRAMAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic
1Tim French 0002, Hans P. van Ditmarsch Undecidability for arbitrary public announcement logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Tim French 0002 Idempotent Transductions for Modal Logics. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds A Temporal Logic of Robustness. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF RoCTL*, QCTL*, Robustness, Modal Logic, Decidability, Branching Time Logic
1Giovanna D'Agostino, Giacomo Lenzi, Tim French 0002 µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tim French 0002 Bisimulation Quantified Modal Logics: Decidability. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
1Tim French 0002 Bisimulation Quantified Logics: Undecidability. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Ron van der Meyden, Mark Reynolds Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Tim French 0002 Quantified Propositional Temporal Logic with Repeating States. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tim French 0002 Decidability of Propositionally Quantified Logics of Knowledge. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Mark Reynolds A Sound and Complete Proof System for QPTL. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2002 DBLP  BibTeX  RDF
1Tim French 0002 Decidability of Quantifed Propositional Branching Time Logics. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #84 of 84 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license