Michael Thomas

	2009
42		Michael Thomas: The Complexity of Circumscriptive Inference in Post's Lattice. LPNMR 2009: 290-302
41		Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. MFCS 2009: 587-599
40		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Reasoning for Fragments of Default Logic. SAT 2009: 51-64
39		Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I CoRR abs/0906.1489: (2009)
38		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The complexity of propositional implication. Inf. Process. Lett. 109(18): 1071-1077 (2009)
	2008
37		Pierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits. CSL 2008: 64-78
36		Luobin Yang, Steve C. Chiu, Michael Thomas: Parallelization of PAUP Bootstrapping. PDPTA 2008: 737-741
35		Pierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits CoRR abs/0805.4072: (2008)
34		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Reasoning for Fragments of Default Logic CoRR abs/0808.3884: (2008)
33		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Propositional Implication CoRR abs/0811.0959: (2008)
32		Arne Meier, Martin Mundhenk, Michael Thomas, Heribert Vollmer: The Complexity of Satisfiability for Fragments of CTL and CTL*. Electr. Notes Theor. Comput. Sci. 223: 201-213 (2008)
	2007
31		Arshad Ali, Ashiq Anjum, Julian J. Bunn, Faisal Khan, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers: A Multi Interface Grid Discovery System CoRR abs/0707.0740: (2007)
30		Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ahsan Ikram, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers: Mobile Computing in Physics Analysis - An Indicator for eScience CoRR abs/0707.0742: (2007)
29		Ashiq Anjum, Richard McClatchey, Heinz Stockinger, Arshad Ali, Ian Willers, Michael Thomas, Muhammad Sagheer, Khawar Hasham, Omer Alvi: DIANA Scheduling Hierarchies for Optimizing Bulk Job Scheduling CoRR abs/0707.0743: (2007)
28		Richard McClatchey, Ashiq Anjum, Heinz Stockinger, Arshad Ali, Ian Willers, Michael Thomas: Scheduling in Data Intensive and Network Aware (DIANA) Grid Environments CoRR abs/0707.0862: (2007)
27		Matthias Becker, Helena Szczerbicka, Michael Thomas: Neural Networks and Optimization Algorithms Applied for Construction of Low Noise Tread Profiles. Cybernetics and Systems 38(5): 535-548 (2007)
26		Richard McClatchey, Ashiq Anjum, Heinz Stockinger, Arshad Ali, Ian Willers, Michael Thomas: Data Intensive and Network Aware (DIANA) Grid Scheduling. J. Grid Comput. 5(1): 43-64 (2007)
	2006
25		A. Bobyshev, Matt Crawford, Phil DeMar, V. Grigaliunas, M. Grigoriev, Alexander Moibenko, Donald Petravick, R. Rechenmacher, Harvey B. Newman, Julian J. Bunn, Frank van Lingen, Dan Nae, Sylvain Ravot, Conrad Steenberg, Xun Su, Michael Thomas, Yang Xia: Lambda Station: On-Demand Flow Based Routing for Data Intensive Grid Applications Over Multitopology Networks. BROADNETS 2006
24		Harvey B. Newman, Dimitri Bourilkov, Julian J. Bunn, Richard Cavanaugh, Iosif Legrand, Steven H. Low, Shawn McKee, Dan Nae, Sylvain Ravot, Conrad Steenberg, Xun Su, Michael Thomas, Frank van Lingen, Yang Xia: The Design and Demonstration of the Ultralight Testbed. BROADNETS 2006
23		Arshad Ali, Ashiq Anjum, Julian J. Bunn, Faisal Khan, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers: A Multi Interface Grid Discovery System. GRID 2006: 307-308
22		Harvey B. Newman, Dimitri Bourilkov, Julian J. Bunn, Richard Cavanaugh, Iosif Legrand, Steven H. Low, Shawn McKee, Dan Nae, Sylvain Ravot, Conrad Steenberg, Xun Su, Michael Thomas, Frank van Lingen, Yang Xia: The Design and Implementation of the Transatlantic Mission-Oriented Production and Experimental Networks. e-Science 2006: 42
21		Ashiq Anjum, Richard McClatchey, Heinz Stockinger, Arshad Ali, Ian Willers, Michael Thomas, Muhammad Sagheer, Khawar Hasham, Omer Alvi: DIANA Scheduling Hierarchies for Optimizing Bulk Job Scheduling. e-Science 2006: 89
	2005
20		Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Saima Iqbal, Richard McClatchey, Harvey B. Newman, S. Yousaf Shah, Tony Solomonides, Conrad Steenberg, Michael Thomas, Frank van Lingen, Ian Willers: Heterogeneous Relational Databases for a Grid-Enabled Analysis Environment. ICPP Workshops 2005: 34-41
19		Frank van Lingen, Conrad Steenberg, Michael Thomas, Ashiq Anjum, Tahir Azim, Faisal Khan, Harvey B. Newman, Arshad Ali, Julian J. Bunn, Iosif Legrand: The Clarens Web Service Framework for Distributed Scientific Analysis in Grid Projects. ICPP Workshops 2005: 45-52
18		Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Atif Mehmood, Richard McClatchey, Harvey B. Newman, Waqas ur Rehman, Conrad Steenberg, Michael Thomas, Frank van Lingen, Ian Willers, Muhammad Adeel Zafar: Resource Management Services for a Grid Analysis Environment. ICPP Workshops 2005: 53-60
17		Julian J. Bunn, Frank van Lingen, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Arshad Ali, Ashiq Anjum, Tahir Azim, Faisal Khan, Waqas ur Rehman, Richard McClatchey, Jang-uk In: JClarens: A Java Framework for Developing and Deploying Web Services for Grid Computing. ICWS 2005: 141-148
16		JiHyun Choi, DongWoo Lee, Rudrapatna S. Ramakrishna, Michael Thomas, Harvey B. Newman: Design and Implementation of DAG-Based Co-scheduling of RPC in the Grid. International Conference on Computational Science (3) 2005: 196-204
15		Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Atif Mehmood, Richard McClatchey, Harvey B. Newman, Waqas ur Rehman, Conrad Steenberg, Michael Thomas, Frank van Lingen, Ian Willers, Muhammad Adeel Zafar: Resource Management Services for a Grid Analysis Environment CoRR abs/cs/0504033: (2005)
14		Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Saima Iqbal, Richard McClatchey, Harvey B. Newman, S. Yousaf Shah, Tony Solomonides, Conrad Steenberg, Michael Thomas, Frank van Lingen, Ian Willers: Heterogeneous Relational Databases for a Grid-enabled Analysis Environment CoRR abs/cs/0504034: (2005)
13		Michael Thomas, Conrad Steenberg, Frank van Lingen, Harvey B. Newman, Julian J. Bunn, Arshad Ali, Richard McClatchey, Ashiq Anjum, Tahir Azim, Waqas ur Rehman, Faisal Khan, Jang-uk In: JClarens: A Java Framework for Developing and Deploying Web Services for Grid Computing CoRR abs/cs/0504044: (2005)
	2004
12		Michael Thomas, William C. Regli: Peer-to-Peer Data Lookup for Multi-agent Systems. AP2PC 2004: 201-212
11		Naveed Ahmad, Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ali Hassan, Ahsan Ikram, Frank van Lingen, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers: Distributed Analysis and Load Balancing System for Grid Enabled Analysis on Hand-Held Devices Using Multi-agents Systems. GCC 2004: 947-950
10		Arshad Ali, Ashiq Anjum, Tahir Azim, Michael Thomas, Conrad Steenberg, Harvey B. Newman, Julian J. Bunn, Rizwan Haider, Waqas ur Rehman: JClarens: A Java Based Interactive Physics Analysis Environment for Data Intensive Applications. ICWS 2004: 716-723
9		Arshad Ali, Ashiq Anjum, Atif Mehmood, Richard McClatchey, Ian Willers, Julian J. Bunn, Harvey B. Newman, Michael Thomas, Conrad Steenberg: A Taxonomy and Survey of Grid Resource Planning and Reservation Systems for Grid Enabled Analysis Environment CoRR cs.DC/0407012: (2004)
8		Naveed Ahmad, Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ali Hassan, Ahsan Ikram, Frank van Lingen, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers: Distributed Analysis and Load Balancing System for Grid Enabled Analysis on Hand-held devices using Multi-Agents Systems CoRR cs.DC/0407013: (2004)
7		Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bunn, Ahsan Ikram, Richard McClatchey, Harvey B. Newman, Conrad Steenberg, Michael Thomas, Ian Willers: A Grid-enabled Interface to Condor for Interactive Analysis on Handheld and Resource-limited Devices CoRR cs.DC/0407014: (2004)
6		Frank Katritzke, Wolfgang Merzenich, Michael Thomas: Enhancements of partitioning techniques for image compression using weighted finite automata. Theor. Comput. Sci. 313(1): 133-144 (2004)
	2003
5		Ashiq Anjum, Arshad Ali, Tahir Azim, Ahsan Ikram, Julian J. Bunn, Harvey B. Newman, Conrad Steenberg, Michael Thomas: Investigating the Role of Handheld Devices in the Accomplishment of Grid-Enabled Analysis Environment. GCC (2) 2003: 913-917
4		Conrad Steenberg, Eric Aslakson, Julian J. Bunn, Harvey B. Newman, Michael Thomas, Frank van Lingen: Clarens Client and Server Applications CoRR cs.DC/0306001: (2003)
3		Conrad Steenberg, Eric Aslakson, Julian J. Bunn, Harvey B. Newman, Michael Thomas, Frank van Lingen: The Clarens web services architecture CoRR cs.DC/0306002: (2003)
	2001
2		Frank Katritzke, Wolfgang Merzenich, Michael Thomas: Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata. CIAA 2001: 177-189
	2000
1		Michael Thomas: Ferroelectric Molecular Optical Storage Nanotechnology. IEEE Symposium on Mass Storage Systems 2000: 211-216

Coauthor Index

1	Naveed Ahmad	[8] [11]
2	Arshad Ali	[5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [21] [23] [26] [28] [29] [30] [31]
3	Omer Alvi	[21] [29]
4	Ashiq Anjum	[5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [21] [23] [26] [28] [29] [30] [31]
5	Eric Aslakson	[3] [4]
6	Tahir Azim	[5] [7] [8] [10] [11] [13] [14] [15] [17] [18] [19] [20] [30]
7	Matthias Becker	[27]
8	Olaf Beyersdorff	[33] [34] [38] [40]
9	A. Bobyshev	[25]
10	Dimitri Bourilkov	[22] [24]
11	Julian J. Bunn	[3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [22] [23] [24] [25] [30] [31]
12	Richard Cavanaugh	[22] [24]
13	Steve C. Chiu	[36]
14	JiHyun Choi	[16]
15	Matt Crawford	[25]
16	Phil DeMar	[25]
17	V. Grigaliunas	[25]
18	M. Grigoriev	[25]
19	Rizwan Haider	[10]
20	Khawar Hasham	[21] [29]
21	Ali Hassan	[8] [11]
22	Ahsan Ikram	[5] [7] [8] [11] [30]
23	Jang-uk In	[13] [17]
24	Saima Iqbal	[14] [20]
25	Frank Katritzke	[2] [6]
26	Faisal Khan	[13] [17] [19] [23] [31]
27	DongWoo Lee	[16]
28	Iosif Legrand	[19] [22] [24]
29	Frank van Lingen	[3] [4] [8] [11] [13] [14] [15] [17] [18] [19] [20] [22] [24] [25]
30	Steven H. Low	[22] [24]
31	Richard McClatchey	[7] [8] [9] [11] [13] [14] [15] [17] [18] [20] [21] [23] [26] [28] [29] [30] [31]
32	Shawn McKee	[22] [24]
33	Pierre McKenzie	[35] [37]
34	Atif Mehmood	[9] [15] [18]
35	Arne Meier	[32] [33] [34] [38] [39] [40] [41]
36	Wolfgang Merzenich	[2] [6]
37	Alexander Moibenko	[25]
38	Martin Mundhenk	[32] [39] [41]
39	Dan Nae	[22] [24] [25]
40	Harvey B. Newman	[3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [30] [31]
41	Donald Petravick	[25]
42	Rudrapatna S. Ramakrishna	[16]
43	Sylvain Ravot	[22] [24] [25]
44	R. Rechenmacher	[25]
45	William C. Regli	[12]
46	Waqas ur Rehman	[10] [13] [15] [17] [18]
47	Muhammad Sagheer	[21] [29]
48	Thomas Schneider	[39] [41]
49	S. Yousaf Shah	[14] [20]
50	Tony Solomonides	[14] [20]
51	Conrad Steenberg	[3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [22] [23] [24] [25] [30] [31]
52	Heinz Stockinger	[21] [26] [28] [29]
53	Xun Su	[22] [24] [25]
54	Helena Szczerbicka	[27]
55	Heribert Vollmer	[32] [33] [34] [35] [37] [38] [40]
56	Volker Weber	[39] [41]
57	Felix Weiss	[39] [41]
58	Ian Willers	[7] [8] [9] [11] [14] [15] [18] [20] [21] [23] [26] [28] [29] [30] [31]
59	Yang Xia	[22] [24] [25]
60	Luobin Yang	[36]
61	Muhammad Adeel Zafar	[15] [18]

Colors in the list of coauthors