| 2008 |
|---|
| 17 | EE | Tim French,
Hans P. van Ditmarsch:
Undecidability for arbitrary public announcement logic.
Advances in Modal Logic 2008: 23-42 |
| 2007 |
|---|
| 16 | EE | Tim French:
Idempotent Transductions for Modal Logics.
FroCos 2007: 178-192 |
| 15 | EE | Tim French,
John C. McCabe-Dansted,
Mark Reynolds:
A Temporal Logic of Robustness.
FroCos 2007: 193-205 |
| 2006 |
|---|
| 14 | EE | 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?.
ARES 2006: 482-487 |
| 13 | EE | Tim French:
Bisimulation Quantified Modal Logics: Decidability.
Advances in Modal Logic 2006: 147-166 |
| 12 | EE | Marc Conrad,
Tim French,
Marcia Gibson:
A Pragmatic and Musically Pleasing Production System for Sonic Events.
IV 2006: 630-635 |
| 11 | EE | Marc Conrad,
Tim French,
Marianne Huchard,
Carsten Maple,
Sandra Pott:
Enriching the Object-Oriented Paradigm via Shadows in the Context of Mathematics.
Journal of Object Technology 5(6): (2006) |
| 2005 |
|---|
| 10 | EE | Tim French:
Bisimulation Quantified Logics: Undecidability.
FSTTCS 2005: 396-407 |
| 2004 |
|---|
| 9 | EE | 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 |
| 8 | EE | Marc Conrad,
Tim French:
Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs.
ITiCSE 2004: 254 |
| 7 | EE | Andy Smith,
Lynne Dunckley,
Tim French,
Shailey Minocha,
Yu Chang:
A process model for developing usable cross-cultural websites.
Interacting with Computers 16(1): 63-91 (2004) |
| 2003 |
|---|
| 6 | EE | Tim French:
Decidability of Propositionally Quantified Logics of Knowledge.
Australian Conference on Artificial Intelligence 2003: 352-363 |
| 5 | | Andy Smith,
Tim French:
The Role of Cultural Theories within International Usability.
INTERACT 2003 |
| 4 | EE | Carsten Maple,
Tim French,
Marc Conrad:
A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams.
IV 2003: 183-188 |
| 3 | EE | Tim French:
Quantified Propositional Temporal Logic with Repeating States.
TIME 2003: 155-165 |
| 2002 |
|---|
| 2 | | Tim French,
Mark Reynolds:
A Sound and Complete Proof System for QPTL.
Advances in Modal Logic 2002: 127-148 |
| 2001 |
|---|
| 1 | EE | Tim French:
Decidability of Quantifed Propositional Branching Time Logics.
Australian Joint Conference on Artificial Intelligence 2001: 165-176 |
