Tim French

Timothy Stewart French

	2012
52		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)
51		Laura Bozzelli, Hans P. van Ditmarsch, Tim French, James Hales, Sophie Pinchinat: Refinement Modal Logic CoRR abs/1202.3538: (2012)
50		Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun: On principal component analysis for high-dimensional XCSR. Evolutionary Intelligence 5(2): 129-138 (2012)
49		Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun: On XCSR for electronic fraud detection. Evolutionary Intelligence 5(2): 139-150 (2012)
48		Tim French, Nik Bessis, Carsten Maple, Eleana Asimakopoulou: Trust Issues on Crowd-Sourcing Methods for Urban Environmental Monitoring. IJDST 3(1): 35-47 (2012)
	2011
47		Saeed Danesh, Wei Liu, Tim French, Mark Reynolds: An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) 2011: 162-174
46		Hans P. van Ditmarsch, Tim French: On the Interactions of Awareness and Certainty. Australasian Conference on Artificial Intelligence 2011: 727-738
45		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
44		Arthur G. Money, Anne McIntyre, Anita Atwal, Georgia Spiliotopoulou, Tony Elliman, Tim French: Bringing the Home into the Hospital: Assisting the Pre-Discharge Home Visit Process Using 3D Home Visualization Software. HCI (8) 2011: 416-426
43		Hans P. van Ditmarsch, Tim French: Becoming Aware of Propositional Variables. ICLA 2011: 204-218
42		Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi: Succinctness of Epistemic Languages. IJCAI 2011: 881-886
41		Xinglong Wang, Iain McKendrick, Ian Barrett, Ian Dix, Tim French, Jun-ichi Tsujii, Sophia Ananiadou: Automatic extraction of angiogenesis bioprocess from text. Bioinformatics 27(19): 2730-2737 (2011)
40		James Hales, Tim French, Rowan Davies: Refinement Quantified Logics of Knowledge. Electr. Notes Theor. Comput. Sci. 278: 85-98 (2011)
39		Tim French, Nik Bessis, Fatos Xhafa, Carsten Maple: Towards a corporate governance trust agent scoring model for collaborative virtual organisations. IJGUC 2(2): 98-108 (2011)
	2010
38		Nik Bessis, Eleana Asimakopoulou, Tim French, Peter Norrington, Fatos Xhafa: The Big Picture, from Grids and Clouds to Crowds: A Data Collective Computational Intelligence Case Proposal for Managing Disasters. 3PGCIC 2010: 351-356
37		Timothy Stewart French, Nik Bessis, Carsten Maple: A High-Level Semiotic Trust Agent Scoring Model for Collaborative Virtual Organsations. AINA Workshops 2010: 1114-1120
36		Hans P. van Ditmarsch, Tim French, Sophie Pinchinat: Future Event Logic - Axioms and Complexity. Advances in Modal Logic 2010: 77-99
35		Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Axioms for Obligation and Robustness with Temporal Logic. DEON 2010: 66-83
34		Nazri Kama, Tim French, Mark Reynolds: Considering Patterns in Class Interactions Prediction. FGIT-ASEA 2010: 11-22
33		Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun: On the problems of using learning classifier systems for fraud detection. GECCO 2010: 1067-1068
32		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
31		Tim French, Wei Huang: Intangible Trust Requirements - How to Fill the Requirements Trust "Gap"? I-UxSED 2010: 13-17
30		Tim French, Marc Conrad, Raymond Brown: Template Free Biometric e-Banking Authentication - More Trustworthy or False Trail? ICISO 2010: 111-116
29		David G. Nidorf, Luigi Barone, Tim French: A comparative study of NEAT and XCS in Robocode. IEEE Congress on Evolutionary Computation 2010: 1-8
28		Nazri Kama, Tim French, Mark Reynolds: Impact Analysis using Class Interaction Prediction Approach. SoMeT 2010: 96-111
27		Antony Brown, Paul Sant, Nik Bessis, Tim French, Carsten Maple: Modelling Self-Led Trust Value Management in Grid and Service Oriented Infrastructures: A Graph Theoretic Social Network Mediated Approach. IJSSOE 1(4): 1-18 (2010)
	2009
26		John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat: On the Expressivity of RoCTL*. TIME 2009: 37-44
25		Szabolcs Mikulás, Mark Reynolds, Tim French: Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87
24		Hans P. van Ditmarsch, Tim French: Awareness and Forgetting of Facts and Agents. Web Intelligence/IAT Workshops 2009: 478-483
23		Tim French: Virtual Organisational Trust Requirements: Can Semiotics Help Fill The Trust Gap? IJIIT 5(2): 1-16 (2009)
22		Samia Oussena, Tim French: Integrating the Semiotic into UML via Enhancing and Cross-validating Use Case with an Enriched Domain Model. IJSKD 1(3): 15-31 (2009)
	2008
21		Tim French, Hans P. van Ditmarsch: Undecidability for arbitrary public announcement logic. Advances in Modal Logic 2008: 23-42
20		Hans P. van Ditmarsch, Tim French: Simulation and Information: Quantifying over Epistemic Events. KRAMAS 2008: 51-65
	2007
19		Tim French, Kecheng Liu, Mark Springett: A card-sorting probe of e-banking trust perceptions. BCS HCI (1) 2007: 45-53
18		Tim French: Idempotent Transductions for Modal Logics. FroCos 2007: 178-192
17		Tim French, John Christopher McCabe-Dansted, Mark Reynolds: A Temporal Logic of Robustness. FroCos 2007: 193-205
	2006
16		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
15		Tim French: Bisimulation Quantified Modal Logics: Decidability. Advances in Modal Logic 2006: 147-166
14		Marc Conrad, Tim French, Marcia Gibson: A Pragmatic and Musically Pleasing Production System for Sonic Events. IV 2006: 630-635
13		Marc Conrad, Tim French, Carsten Maple, Sijing Zhang: Preparing computing students for culturally diverse e-mediated IT projects. Interact. Techn. Smart Edu. 3(3): 185-195 (2006)
12		Giovanna D'Agostino, Giacomo Lenzi, Tim French: µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. Journal of Applied Non-Classical Logics 16(3-4): 297-310 (2006)
11		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): 107-126 (2006)
	2005
10		Tim French: Bisimulation Quantified Logics: Undecidability. FSTTCS 2005: 396-407
	2004
9		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		Marc Conrad, Tim French: Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs. ITiCSE 2004: 254
7		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		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		Carsten Maple, Tim French, Marc Conrad: A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams. IV 2003: 183-188
3		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		Tim French: Decidability of Quantifed Propositional Branching Time Logics. Australian Joint Conference on Artificial Intelligence 2001: 165-176

Coauthor Index

1	Omar I. Al-Bataineh	[52]
2	Sophia Ananiadou	[41]
3	Eleana Asimakopoulou	[38] [48]
4	Anita Atwal	[44]
5	Luigi Barone	[29] [32] [33] [45] [49] [50]
6	Ian Barrett	[41]
7	Mohammad Behdad	[32] [33] [45] [49] [50]
8	Mohammed Bennamoun	[32] [33] [45] [49] [50]
9	Nik Bessis	[27] [37] [38] [39] [48]
10	Laura Bozzelli	[51]
11	Antony Brown	[27]
12	Raymond Brown	[30]
13	Yu Chang	[7]
14	Marc Conrad	[4] [8] [11] [13] [14] [16] [30]
15	Giovanna D'Agostino	[12]
16	Saeed Danesh	[47]
17	Rowan Davies	[40]
18	Hans P. van Ditmarsch	[20] [21] [24] [36] [43] [46] [51]
19	Ian Dix	[41]
20	Lynne Dunckley	[7]
21	Tony Elliman (Anthony D. Elliman)	[44]
22	Marcia Gibson	[14]
23	James Hales	[40] [51]
24	Wiebe van der Hoek	[42]
25	Wei Huang	[16] [31]
26	Marianne Huchard	[11]
27	Petar Iliev	[42]
28	Nazri Kama	[28] [34]
29	Barteld P. Kooi	[42]
30	Giacomo Lenzi	[12]
31	Kecheng Liu	[19]
32	Wei Liu	[47]
33	Carsten Maple	[4] [11] [13] [16] [27] [37] [39] [48]
34	John Christopher McCabe-Dansted	[17] [26] [35]
35	Anne McIntyre	[44]
36	Iain McKendrick	[41]
37	Ron van der Meyden	[9]
38	Szabolcs Mikulás	[25]
39	Shailey Minocha	[7]
40	Arthur G. Money	[44]
41	David G. Nidorf	[29]
42	Peter Norrington	[38]
43	Samia Oussena	[22]
44	Sophie Pinchinat	[26] [36] [51]
45	Sandra Pott	[11]
46	Mark Reynolds	[2] [9] [17] [25] [26] [28] [34] [35] [47] [52]
47	Paul Sant	[27]
48	Andy Smith	[5] [7]
49	Georgia Spiliotopoulou	[44]
50	Mark V. Springett (Mark Springett)	[19]
51	Jun-ichi Tsujii	[41]
52	Xinglong Wang	[41]
53	Terry Woodings	[52]
54	Fatos Xhafa	[38] [39]
55	Sijing Zhang	[13]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page