Search the dblp DataBase
Tim French :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Marc Conrad , Tim French , Wei Huang , Carsten Maple A Lightweight Model of Trust Propagation in a Multi-Client Network Environment: To What Extent Does Experience Matter?. [Citation Graph (0, 0)][DBLP ] ARES, 2006, pp:482-487 [Conf ] Tim French Bisimulation Quantified Modal Logics: Decidability. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2006, pp:147-166 [Conf ] Tim French , Ron van der Meyden , Mark Reynolds Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2004, pp:53-72 [Conf ] Tim French , Mark Reynolds A Sound and Complete Proof System for QPTL. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:127-148 [Conf ] Tim French Decidability of Quantifed Propositional Branching Time Logics. [Citation Graph (0, 0)][DBLP ] Australian Joint Conference on Artificial Intelligence, 2001, pp:165-176 [Conf ] Tim French Decidability of Propositionally Quantified Logics of Knowledge. [Citation Graph (0, 0)][DBLP ] Australian Conference on Artificial Intelligence, 2003, pp:352-363 [Conf ] Tim French Bisimulation Quantified Logics: Undecidability. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2005, pp:396-407 [Conf ] Andy Smith , Tim French The Role of Cultural Theories within International Usability. [Citation Graph (0, 0)][DBLP ] INTERACT, 2003, pp:- [Conf ] Carsten Maple , Tim French , Marc Conrad A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams. [Citation Graph (0, 0)][DBLP ] IV, 2003, pp:183-188 [Conf ] Marc Conrad , Tim French , Marcia Gibson A Pragmatic and Musically Pleasing Production System for Sonic Events. [Citation Graph (0, 0)][DBLP ] IV, 2006, pp:630-635 [Conf ] Tim French Quantified Propositional Temporal Logic with Repeating States. [Citation Graph (0, 0)][DBLP ] TIME, 2003, pp:155-165 [Conf ] Andy Smith , Lynne Dunckley , Tim French , Shailey Minocha , Yu Chang A process model for developing usable cross-cultural websites. [Citation Graph (0, 0)][DBLP ] Interacting with Computers, 2004, v:16, n:1, pp:63-91 [Journal ] Tim French , John C. McCabe-Dansted , Mark Reynolds A Temporal Logic of Robustness. [Citation Graph (0, 0)][DBLP ] FroCos, 2007, pp:193-205 [Conf ] Tim French Idempotent Transductions for Modal Logics. [Citation Graph (0, 0)][DBLP ] FroCos, 2007, pp:178-192 [Conf ] Marc Conrad , Tim French , Marianne Huchard , Carsten Maple , Sandra Pott Enriching the Object-Oriented Paradigm via Shadows in the Context of Mathematics. [Citation Graph (0, 0)][DBLP ] Journal of Object Technology, 2006, v:5, n:6, pp:- [Journal ] Undecidability for arbitrary public announcement logic. [Citation Graph (, )][DBLP ] A card-sorting probe of e-banking trust perceptions. [Citation Graph (, )][DBLP ] Axioms for Obligation and Robustness with Temporal Logic. [Citation Graph (, )][DBLP ] On the problems of using learning classifier systems for fraud detection. [Citation Graph (, )][DBLP ] An investigation of real-valued accuracy-based learning classifier systems for electronic fraud detection. [Citation Graph (, )][DBLP ] Awareness and Forgetting of Facts and Agents. [Citation Graph (, )][DBLP ] On the Expressivity of RoCTL*. [Citation Graph (, )][DBLP ] Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. [Citation Graph (, )][DBLP ] Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs. [Citation Graph (, )][DBLP ] Simulation and Information: Quantifying over Epistemic Events. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.004secs