Michael Fisher

	2012
134		Louise A. Dennis, Michael Fisher, Matthew P. Webster, Rafael H. Bordini: Model checking agent programming languages. Autom. Softw. Eng. 19(1): 5-63 (2012)
133		Savas Konur, Clare Dixon, Michael Fisher: Analysing robot swarm behaviour via probabilistic model checking. Robotics and Autonomous Systems 60(2): 199-213 (2012)
	2011
132		Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher: A Formal Semantics for Brahms. CLIMA 2011: 259-274
131		Matthew P. Webster, Michael Fisher, Neil Cameron, Mike Jump: Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems. SAFECOMP 2011: 228-242
130		Clare Dixon, Alan Winfield, Michael Fisher: Towards Temporal Verification of Emergent Behaviours in Swarm Robotic Systems. TAROS 2011: 336-347
129		Savas Konur, Michael Fisher: Formal Analysis of a VANET Congestion Control Protocol through Probabilistic Verification. VTC Spring 2011: 1-5
128		Jürgen Dix, Michael Fisher: Where logic and agents meet. Ann. Math. Artif. Intell. 61(1): 15-28 (2011)
127		Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu: Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011)
126		Michael Fisher: Agent deliberation in an executable temporal framework. J. Applied Logic 9(4): 223-238 (2011)
	2010
125		Jürgen Dix, Michael Fisher, Peter Novák: Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers Springer 2010
124		Savas Konur, Clare Dixon, Michael Fisher: Formal Verification of Probabilistic Swarm Behaviours. ANTS Conference 2010: 440-447
123		Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
122		Michael Fisher, Chiara Ghidini: Executable specifications of resource-bounded agents. Autonomous Agents and Multi-Agent Systems 21(3): 368-396 (2010)
121		Louise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres: Satellite Control Using Rational Agent Programming. IEEE Intelligent Systems 25(3): 92-97 (2010)
	2009
120		Manuela L. Bujorianu, Michael Fisher: Proceedings FM-09 Workshop on Formal Methods for Aerospace FMA 2009
119		Michael Fisher, Fariba Sadri, Michael Thielscher: Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers Springer 2009
118		Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Agent Based Approaches to Engineering Autonomous Space Software FMA 2009: 63-67
117		Clare Dixon, Michael Fisher, Boris Konev: Taming the Complexity of Temporal Epistemic Reasoning. FroCos 2009: 198-213
116		Rafael H. Bordini, Michael Fisher, Maarten Sierhuis: Formal verification of human-robot teamwork. HRI 2009: 267-268
115		Michael Fisher, Boris Konev, Alexei Lisitsa: Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance 2009: 44-56
114		Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin: Towards the Verification of Pervasive Systems. ECEASST 22: (2009)
113		Rafael H. Bordini, Michael Fisher, Michael Wooldridge, Willem Visser: Property-based Slicing for Agent Verification. J. Log. Comput. 19(6): 1385-1425 (2009)
112		Michael Fisher, Chiara Ghidini: Exploring the Future with Resource-Bounded Agents. Journal of Logic, Language and Information 18(1): 3-21 (2009)
	2008
111		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher: A flexible framework for verifying agent programs. AAMAS (3) 2008: 1303-1306
110		Rafael H. Bordini, Louise A. Dennis, Berndt Farwer, Michael Fisher: Automated Verification of Multi-Agent Programs. ASE 2008: 69-78
109		Louise A. Dennis, Michael Fisher: Programming Verifiable Heterogeneous Agent Systems. ProMAS 2008: 40-55
108		Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Practical First-Order Temporal Reasoning. TIME 2008: 156-163
107		Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Specifying and reasoning about uncertain agents. Int. J. Approx. Reasoning 49(1): 35-51 (2008)
	2007
106		Louise A. Dennis, Michael Fisher, Anthony Hepple: Language Constructs for Multi-agent Programming. CLIMA 2007: 137-156
105		Clare Dixon, Michael Fisher, Boris Konev: Temporal Logic with Capacity Constraints. FroCos 2007: 163-177
104		Clare Dixon, Michael Fisher, Boris Konev: Tractable Temporal Reasoning. IJCAI 2007: 318-323
103		Anthony Hepple, Louise A. Dennis, Michael Fisher: A Common Basis for Agent Organisation in BDI Languages. LADS 2007: 71-88
102		Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge: A Common Semantic Basis for BDI Languages. PROMAS 2007: 124-139
101		Michael Fisher, Wiebe van der Hoek: Logics in AI: post-proceedings JELIA06 (Editorial). Ann. Math. Artif. Intell. 50(3-4): 227-229 (2007)
100		Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Efficient First-Order Temporal Logic for Infinite-State Systems CoRR abs/cs/0702036: (2007)
99		Michael Fisher, Rafael H. Bordini, Benjamin Hirsch, Paolo Torroni: Computational Logics and Agents: A Road Map of Current Technologies and Future Trends. Computational Intelligence 23(1): 61-91 (2007)
98		Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Temporal Logics of Knowledge and their Applications in Security. Electr. Notes Theor. Comput. Sci. 186: 27-42 (2007)
97		Michael Fisher, Munindar P. Singh, Diana F. Spears, Michael Wooldridge: Logic-Based Agent Verification. J. Applied Logic 5(2): 193-195 (2007)
	2006
96		Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings Springer 2006
95		Clare Dixon, Michael Fisher, Boris Konev: Is There a Future for Deductive Temporal Verification? TIME 2006: 11-18
94		Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution. ACM Trans. Comput. Log. 7(1): 108-150 (2006)
93		Maroua Bouzid, Carlo Combi, Michael Fisher, Gérard Ligozat: Guest editorial: Temporal representation and reasoning. Ann. Math. Artif. Intell. 46(3): 231-234 (2006)
92		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifying Multi-agent Programs by Model Checking. Autonomous Agents and Multi-Agent Systems 12(2): 239-256 (2006)
91		Paolo Ballarini, Michael Fisher, Michael Wooldridge: Automated Game Analysis via Probabilistic Model Checking: a case study. Electr. Notes Theor. Comput. Sci. 149(2): 125-137 (2006)
90		Michael Wooldridge, Marc-Philippe Huget, Michael Fisher, Simon Parsons: Model Checking for Multiagent Systems: the Mable Language and its Applications. International Journal on Artificial Intelligence Tools 15(2): 195-226 (2006)
	2005
89		Michael Fisher: Implementing Temporal Logics: Tools for Execution and Proof (Tutorial Paper). CLIMA 2005: 129-142
88		Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Logical Implementation of Uncertain Agents. EPIA 2005: 536-547
87		Michael Fisher: MetateM: The Story so Far. PROMAS 2005: 3-22
86		Michael Fisher, Boris Konev, Alexei Lisitsa: Practical Infinite-State Verification with Temporal Reasoning. VISSAS 2005: 91-100
85		Clare Dixon, Alexander Bolotov, Michael Fisher: Alternating automata and temporal logic normal forms. Ann. Pure Appl. Logic 135(1-3): 263-285 (2005)
84		Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Mechanising first-order temporal resolution. Inf. Comput. 199(1-2): 55-86 (2005)
83		M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev: First-Order Temporal Verification in Practice. J. Autom. Reasoning 34(3): 295-321 (2005)
	2004
82		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: State-Space Reduction Techniques in Agent Verification. AAMAS 2004: 896-903
81		Michael Fisher, Alexei Lisitsa: Monodic ASMs and Temporal Verification. Abstract State Machines 2004: 95-110
80		Cláudia Nalon, Clare Dixon, Michael Fisher: Resolution for Synchrony and No Learning. Advances in Modal Logic 2004: 231-248
79		Michael Fisher, Chiara Ghidini, Benjamin Hirsch: Programming Groups of Rational Agents. CLIMA 2004: 16-33
78		Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta: Organising Software in Active Environments. CLIMA 2004: 265-280
77		Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek: Practical Reasoning for Uncertain Agents. JELIA 2004: 82-94
76		Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek: Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. TIME 2004: 148-151
75		Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling: Introduction. Ann. Math. Artif. Intell. 41(2-4): 131-133 (2004)
74		Michael Fisher: Temporal Development Methods for Agent-Based. Autonomous Agents and Multi-Agent Systems 10(1): 41-66 (2004)
73		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Model Checking Rational Agents. IEEE Intelligent Systems 19(5): 46-52 (2004)
72		Alessandro Artale, Clare Dixon, Michael Fisher, Enrico Franconi: Editorial. J. Log. Comput. 14(1): 1 (2004)
71		Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Logics of Time and Knowledge with Interactions Relating to Synchrony. Journal of Applied Non-Classical Logics 14(4): 397-445 (2004)
	2003
70		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge: Model checking agentspeak. AAMAS 2003: 409-416
69		Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic Temporal Resolution. CADE 2003: 397-411
68		Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Willem Visser, Michael Wooldridge: Model Checking Multi-Agent Programs with CASP. CAV 2003: 110-113
67		Boris Konev, Anatoli Degtyarev, Michael Fisher: Handling Equality in Monodic Temporal Resolution. LPAR 2003: 214-228
66		Michael Fisher, Chiara Ghidini, Benjamin Hirsch: Organising Computation through Dynamic Grouping. Objects, Agents, and Features 2003: 117-136
65		Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge: Verifiable Multi-agent Programs. PROMAS 2003: 72-89
64		Clare Dixon, Cláudia Nalon, Michael Fisher: Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. TIME 2003: 62-71
63		Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt: Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. TIME 2003: 72-82
62		Anatoli Degtyarev, Michael Fisher, Boris Konev: Monodic temporal resolution CoRR cs.LO/0306041: (2003)
	2002
61		Mark d'Inverno, Michael Luck, Michael Fisher, Chris Preist: Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000, Selected Papers Springer 2002
60		Michael Fisher, Chiara Ghidini: The abc of rational agent modelling. AAMAS 2002: 849-856
59		Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons: Model checking multi-agent systems with MABLE. AAMAS 2002: 952-959
58		Michael Fisher, Chiara Ghidini, Benjamin Hirsch: Organising Logic-Based Agents. FAABS 2002: 15-27
57		Michael Fisher, Chiara Ghidini: Agents with Bounded Temporal Resources. Foundations and Applications of Multi-Agent Systems 2002: 169-184
56		M. Carmen Fernández Gago, Michael Fisher, Clare Dixon: Algorithms for Guiding Clausal Temporal Resolution. KI 2002: 235-252
55		James Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101
54		Anatoli Degtyarev, Michael Fisher, Boris Konev: A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. TABLEAUX 2002: 85-99
53		Clare Dixon, Michael Fisher, Alexander Bolotov: Clausal resolution in a logic of rational agency. Artif. Intell. 139(1): 47-89 (2002)
52		Brandon Bennett, Clare Dixon, Michael Fisher, Ullrich Hustadt, Enrico Franconi, Ian Horrocks, Maarten de Rijke: Combinations of Modal Logics. Artif. Intell. Rev. 17(1): 1-20 (2002)
51		Alexander Bolotov, Michael Fisher, Clare Dixon: On the Relationship between [ohgr]-automata and Temporal Logic Normal Forms. J. Log. Comput. 12(4): 561-581 (2002)
50		Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Equality and Monodic First-Order Temporal Logic. Studia Logica 72(2): 147-156 (2002)
	2001
49		Anatoli Degtyarev, Michael Fisher: Towards First-Order Temporal Resolution. KI/ÖGAI 2001: 18-32
48		Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek: Reasoning about agents in the KARO framework. TIME 2001: 206-213
47		Michael Fisher, Clare Dixon, Martin Peim: Clausal temporal resolution. ACM Trans. Comput. Log. 2(1): 12-56 (2001)
	2000
46		Michael Fisher: Direct Execution of Agent Specifications. FAABS 2000: 163
45		Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek: Verification within the KARO Agent Theory. FAABS 2000: 33-47
44		Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher: Normal Forms and Proofs in Combined Modal and Temporal Logics. FroCos 2000: 73-87
43		Michael Fisher: Characterizing Simple Negotiation as Distributed Agent-Based Theorem-Proving - A Preliminary Report. ICMAS 2000: 127-134
42		Clare Dixon, Michael Fisher: Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. TIME 2000: 69-78
	1999
41		Michael Fisher, Chiara Ghidini: Programming Resource-Bounded Deliberative Agents. IJCAI 1999: 200-205
40		Alexander Bolotov, Clare Dixon, Michael Fisher: Clausal Resolution for CTL*. MFCS 1999: 137-148
39		Michael Fisher, Clare Dixon, Martin Peim: Clausal Temporal Resolution CoRR cs.LO/9907032: (1999)
38		Alexander Bolotov, Michael Fisher: A clausal resolution method for CTL branching-time temporal logic. J. Exp. Theor. Artif. Intell. 11(1): 77-93 (1999)
	1998
37		Michael Fisher: Representing Abstract Agent Architectures. ATAL 1998: 227-241
36		R. I. Scott, Michael Fisher, John A. Keane: Parallel Temporal Tableaux. Euro-Par 1998: 852-861
35		Clare Dixon, Michael Fisher: The Set of Support Strategy in Temporal Resolution. TIME 1998: 113-120
34		Clare Dixon, Michael Fisher, Michael Wooldridge: Resolution for Temporal Logics of Knowledge. J. Log. Comput. 8(3): 345-372 (1998)
33		Michael Wooldridge, Clare Dixon, Michael Fisher: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics 8(3): (1998)
	1997
32		Marco Mulder, Jan Treur, Michael Fisher: Agent Modelling in METATEM and DESIRE. ATAL 1997: 193-207
31		Adam Kellett, Michael Fisher: Concurrent METATEM as a Coordination Language. COORDINATION 1997: 418-421
30		Michael Fisher: Implementing BDI-like Systems by Direct Execution. IJCAI (1) 1997: 316-321
29		Michael Fisher, Michael Wooldridge: Distributed Problem-Solving as Concurrent Theorem Proving. MAAMAW 1997: 128-140
28		Clare Dixon, Michael Fisher: Tableaux for Synchronous Systems of Knowledge and Time with Interactions. SCAI 1997: 28-39
27		Adam Kellett, Michael Fisher: Automata Representations for Concurrent METATEM. TIME 1997: 12-19
26		Alexander Bolotov, Michael Fisher: A Resolution Method For CTL Branching-Time Temporal Logic. TIME 1997: 20-27
25		Michael Fisher, Michael Wooldridge: On the Formal Specification and Verification of Multi-Agent Systems. Int. J. Cooperative Inf. Syst. 6(1): 37-66 (1997)
24		Michael Fisher: A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution. J. Log. Comput. 7(4): 429-456 (1997)
	1996
23		Michael Fisher: If Z Is the Answer, What Could the Question Possibly Be? ATAL 1996: 65-66
22		Michael Fisher, Michael Wooldridge, Clare Dixon: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. FAPR 1996: 178-192
21		Michael Fisher: Temporal Semantics for Concurrent Metatem. J. Symb. Comput. 22(5/6): 627-648 (1996)
20		Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)
	1995
19		Michael Fisher, Richard Owens: Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings Springer 1995
18		Michael Fisher, Robert Johnson, John A. Keane: Graph Structure Management in Parallel Symbolic Systems. Parallel and Distributed Computing and Systems 1995: 210-215
17		Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: An Introduction. Formal Asp. Comput. 7(5): 533-549 (1995)
	1994
16		Michael Fisher: Representing and Executing Agent-Based Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 307-323
15		Michael Wooldridge, Michael Fisher: A Decision Procedure for a Temporal Belief Logic. ICTL 1994: 317-331
14		Clare Dixon, Michael Fisher, Howard Barringer: A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429
13		Michael Fisher: A Survey of Concurrent METATEM - the Language and its Applications. ICTL 1994: 480-505
	1993
12		Michael Fisher, Michael Wooldridge: Specifying and Verifying Distributed Intelligence Systems. EPIA 1993: 13-28
11		Michael Fisher, Richard Owens: An Introduction to Executable Modal and Temporal Logics. Executable Modal and Temporal Logics 1993: 1-20
10		Michael Fisher: Towards a Semantics for Concurrent METATEM. Executable Modal and Temporal Logics 1993: 86-102
9		Michael Fisher: Concurrent METATEM - A Language for Modelling Reactive Systems. PARLE 1993: 185-196
	1992
8		Michael Fisher: A Normal Form for First-Order Temporal Formulae. CADE 1992: 370-384
7		Michael Wooldridge, Michael Fisher: A First-Order Branching Time Logic of Multi-Agent System. ECAI 1992: 234-238
6		Michael Fisher, Richard Owens: From the Past to the Future: Executing Temporal Logic Programs. LPAR 1992: 369-380
5		Michael Fisher: A Model Checker for Linear Time Temporal Logic. Formal Asp. Comput. 4(3): 299-319 (1992)
	1991
4		Michael Fisher: A Resolution Method for Temporal Logic. IJCAI 1991: 99-104
3		Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter: Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49
	1989
2		Howard Barringer, Michael Fisher, Graham Gough: Fair SMG and Linear Time Model Checking. Automatic Verification Methods for Finite State Systems 1989: 133-150
1		Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens: METATEM: A Framework for Programming in Temporal Logic. REX Workshop 1989: 94-129

Coauthor Index

1	Myrto Arapinis	[114]
2	Alessandro Artale	[72]
3	Paolo Ballarini	[91]
4	Howard Barringer	[1] [2] [3] [14] [17] [20]
5	Brandon Bennett	[52]
6	Alexander Bolotov	[26] [38] [40] [51] [53] [85]
7	Rafael H. Bordini	[65] [68] [70] [73] [82] [92] [99] [102] [110] [111] [113] [116] [134]
8	Maroua Bouzid	[93]
9	James Brotherston	[55]
10	Derek Brough	[20]
11	Manuela L. Bujorianu	[120] [127]
12	Paolo Busetta	[78]
13	Muffy Calder (Muffy Thomas)	[114]
14	Neil Cameron	[131]
15	Carlo Combi	[93]
16	Anatoli Degtyarev	[49] [50] [54] [55] [62] [63] [67] [69] [84] [94]
17	Louise A. Dennis	[102] [103] [106] [109] [110] [111] [114] [118] [121] [123] [132] [134]
18	Jürgen Dix	[75] [125] [128]
19	Clare Dixon	[14] [22] [28] [33] [34] [35] [39] [40] [42] [44] [45] [47] [48] [51] [52] [53] [56] [63] [64] [71] [72] [76] [80] [83] [84] [85] [95] [98] [100] [104] [105] [108] [117] [124] [130] [132] [133]
20	Berndt Farwer	[102] [110] [111]
21	Nivea de Carvalho Ferreira	[77] [88] [107]
22	Enrico Franconi	[52] [72]
23	Dov M. Gabbay	[1] [3] [17] [20]
24	M. Carmen Fernández Gago	[56] [76] [83] [98]
25	Chiara Ghidini	[41] [57] [58] [60] [66] [78] [79] [112] [122]
26	Graham Gough	[1] [2] [17] [20]
27	Philip D. Gray	[114]
28	Anthony Hepple	[103] [106]
29	Benjamin Hirsch	[58] [66] [78] [79] [99]
30	Ian M. Hodkinson	[20]
31	Wiebe van der Hoek	[45] [48] [76] [77] [88] [96] [98] [101] [107]
32	Ian Horrocks	[52]
33	Marc-Philippe Huget	[59] [90]
34	Anthony Hunter	[3] [20]
35	Ullrich Hustadt	[44] [45] [48] [52] [63] [83] [84]
36	Robert Johnson	[18]
37	Mike Jump	[131]
38	John A. Keane	[18] [36]
39	Adam Kellett	[27] [31]
40	Boris Konev	[54] [62] [63] [67] [69] [83] [84] [86] [94] [95] [96] [100] [104] [105] [108] [115] [117]
41	Savas Konur	[114] [124] [129] [133]
42	Hector J. Levesque	[75]
43	Gérard Ligozat (Gerard Ligozat)	[93]
44	Nicholas Lincoln	[118] [121] [123]
45	Alexei Lisitsa	[50] [55] [81] [86] [96] [100] [108] [115] [118] [121] [123]
46	Michael Luck	[61]
47	Peter McBrien	[20]
48	John-Jules Ch. Meyer	[45] [48]
49	Alice Miller	[114]
50	Marco Mulder	[32]
51	Cláudia Nalon	[64] [71] [80]
52	Peter Novák	[125]
53	Richard Owens	[1] [6] [11] [17] [19] [20]
54	Carmen Pardavila	[68] [70]
55	Simon Parsons	[59] [90]
56	Corina S. Pasareanu	[127]
57	Martin Peim	[39] [47]
58	Chris Preist	[61]
59	Mark Reynolds	[20]
60	Maarten de Rijke	[52]
61	Eike Ritter	[114]
62	Mark Ryan (Mark Dermot Ryan)	[114]
63	Fariba Sadri	[119]
64	Sven Schewe	[114]
65	Renate A. Schmidt	[44] [45] [48]
66	R. I. Scott	[36]
67	Maarten Sierhuis	[116] [132]
68	Munindar P. Singh	[97]
69	Diana F. Spears (Diana F. Gordon-Spears, Diana F. Gordon)	[97]
70	Leon Sterling	[75]
71	Richard Stocker	[132]
72	Michael Thielscher	[119]
73	Paolo Torroni	[99]
74	Jan Treur	[32]
75	Chris Unsworth	[114]
76	Sandor M. Veres	[118] [121] [123]
77	Willem Visser	[65] [68] [73] [82] [92] [113]
78	Matthew P. Webster	[131] [134]
79	Alan Winfield	[130]
80	Michael Wooldridge (Michael J. Wooldridge)	[7] [12] [15] [22] [25] [29] [33] [34] [59] [65] [68] [70] [73] [82] [90] [91] [92] [97] [102] [113]
81	Rehana Yasmin	[114]
82	Mark d'Inverno	[61]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page