Michael Thomas

	2012
71		Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer: On the Parameterized Complexity of Default Logic and Autoepistemic Logic. LATA 2012: 389-400
70		Nadia Creignou, Arne Meier, Heribert Vollmer, Michael Thomas: The Complexity of Reasoning for Fragments of Autoepistemic Logic. ACM Trans. Comput. Log. 13(2): 17 (2012)
69		Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss: The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers CoRR abs/1204.1196: (2012)
68		Michael Thomas: On the applicability of Post's lattice. Inf. Process. Lett. 112(10): 386-391 (2012)
67		Samir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer: Counting classes and the fine structure between NC1 and L. Theor. Comput. Sci. 417: 36-49 (2012)
66		Michael Thomas: The Complexity of Circumscriptive Inference in Post's Lattice. Theory Comput. Syst. 50(3): 401-419 (2012)
	2011
65		Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer: Verifying Proofs in Constant Depth. MFCS 2011: 84-95
64		Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer: Proof complexity of propositional default logic. Arch. Math. Log. 50(7-8): 727-742 (2011)
63		Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer: On the Parameterized Complexity of Default Logic and Autoepistemic Logic CoRR abs/1110.0623: (2011)
62		Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Heribert Vollmer: Model Checking CTL is Almost Always Inherently Sequential Logical Methods in Computer Science 7(2): (2011)
	2010
61		Kevin S. Repasky, Amin R. Nehrir, David S. Hoffman, Michael Thomas, John L. Carlsten, Joseph A. Shaw: Observational studies of atmospheric aerosols in the lower troposphere using multiple sensors. IGARSS 2010: 2583-2586
60		Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran: Sets of Boolean Connectives That Make Argumentation Easier. JELIA 2010: 117-129
59		Nadia Creignou, Johannes Schmidt, Michael Thomas: Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. KR 2010
58		Samir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer: Counting Classes and the Fine Structure between NC1 and L. MFCS 2010: 306-317
57		Luobin Yang, Steve C. Chiu, Wei-keng Liao, Michael Thomas: High Performance Data Clustering: A Comparison Analysis of Performance for GPU, RASC, MPI, and OpenMP Implementation. PDPTA 2010: 355-361
56		Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer: Proof Complexity of Propositional Default Logic. SAT 2010: 30-43
55		Michael Thomas, Heribert Vollmer: Complexity of non-monotonic logics. Bulletin of the EATCS 102: 53-82 (2010)
54		Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Reasoning for Fragments of Autoepistemic Logic CoRR abs/1006.0220: (2010)
53		Nadia Creignou, Johannes Schmidt, Michael Thomas: Complexity Classifications for Propositional Abduction in Post's Framework CoRR abs/1006.4923: (2010)
52		Michael Thomas: On the Applicability of Post's Lattice CoRR abs/1007.2924: (2010)
51		Michael Thomas, Heribert Vollmer: Complexity of Non-Monotonic Logics CoRR abs/1009.1990: (2010)
50		Samir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer: Counting Classes and the Fine Structure between NC1 and L. Electronic Colloquium on Computational Complexity (ECCC) 17: 101 (2010)
49		Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss: The complexity of satisfiability for fragments of hybrid logic - Part I. J. Applied Logic 8(4): 409-421 (2010)
48		Pierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits. SIAM J. Comput. 39(7): 3186-3206 (2010)
47		Michael Thomas: On the complexity of fragments of nonmonotonic logics. University of Hanover 2010: 1-125
	2009
46		Michael Thomas: The Complexity of Circumscriptive Inference in Post's Lattice. LPNMR 2009: 290-302
45		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
44		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Reasoning for Fragments of Default Logic. SAT 2009: 51-64
43		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider: Model Checking CTL is Almost Always Inherently Sequential. TIME 2009: 21-28
42		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)
41		Nadia Creignou, Johannes Schmidt, Michael Thomas: Complexity of Propositional Abduction for Restricted Sets of Boolean Functions CoRR abs/0912.3134: (2009)
40		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The complexity of propositional implication. Inf. Process. Lett. 109(18): 1071-1077 (2009)
39		Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk: The Complexity of Satisfiability for Fragments of CTL and CTL*. Int. J. Found. Comput. Sci. 20(5): 901-918 (2009)
	2008
38		Pierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits. CSL 2008: 64-78
37		Luobin Yang, Steve C. Chiu, Michael Thomas: Parallelization of PAUP Bootstrapping. PDPTA 2008: 737-741
36		Pierre McKenzie, Michael Thomas, Heribert Vollmer: Extensional Uniformity for Boolean Circuits CoRR abs/0805.4072: (2008)
35		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Reasoning for Fragments of Default Logic CoRR abs/0808.3884: (2008)
34		Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer: The Complexity of Propositional Implication CoRR abs/0811.0959: (2008)
33		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
32		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)
31		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)
30		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)
29		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)
28		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)
27		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
26		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
25		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
24		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
23		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
22		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
21		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
20		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
19		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
18		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
17		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
16		John Sample, Frank P. McCreedy, Michael Thomas: Managing Distributed Geographical Data Streams with the GIDB Portal System. Stream Data Management 2005: 133-151
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] [18] [19] [20] [21] [22] [24] [27] [29] [30] [31] [32]
3	Omer Alvi	[22] [30]
4	Ashiq Anjum	[5] [7] [8] [9] [10] [11] [13] [14] [15] [18] [19] [20] [21] [22] [24] [27] [29] [30] [31] [32]
5	Eric Aslakson	[3] [4]
6	Tahir Azim	[5] [7] [8] [10] [11] [13] [14] [15] [18] [19] [20] [21] [31]
7	Matthias Becker	[28]
8	Olaf Beyersdorff	[34] [35] [40] [43] [44] [56] [62] [64] [65]
9	A. Bobyshev	[26]
10	Dimitri Bourilkov	[23] [25]
11	Julian J. Bunn	[3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [18] [19] [20] [21] [23] [24] [25] [26] [31] [32]
12	John L. Carlsten	[61]
13	Richard Cavanaugh	[23] [25]
14	Steve C. Chiu	[37] [57]
15	JiHyun Choi	[17]
16	Matt Crawford	[26]
17	Nadia Creignou	[41] [53] [54] [59] [60] [70]
18	Samir Datta	[50] [58] [65] [67]
19	Phil DeMar	[26]
20	Stefan Göller	[69]
21	V. Grigaliunas	[26]
22	M. Grigoriev	[26]
23	Rizwan Haider	[10]
24	Khawar Hasham	[22] [30]
25	Ali Hassan	[8] [11]
26	David S. Hoffman	[61]
27	Ahsan Ikram	[5] [7] [8] [11] [31]
28	Jang-uk In	[13] [18]
29	Saima Iqbal	[14] [21]
30	Frank Katritzke	[2] [6]
31	Faisal Khan	[13] [18] [20] [24] [32]
32	DongWoo Lee	[17]
33	Iosif Legrand	[20] [23] [25]
34	Wei-keng Liao	[57]
35	Frank van Lingen	[3] [4] [8] [11] [13] [14] [15] [18] [19] [20] [21] [23] [25] [26]
36	Steven H. Low	[23] [25]
37	Meena Mahajan	[50] [58] [65] [67]
38	Richard McClatchey	[7] [8] [9] [11] [13] [14] [15] [18] [19] [21] [22] [24] [27] [29] [30] [31] [32]
39	Frank P. McCreedy	[16]
40	Shawn McKee	[23] [25]
41	Pierre McKenzie	[36] [38] [48]
42	Atif Mehmood	[9] [15] [19]
43	Arne Meier	[33] [34] [35] [39] [40] [42] [43] [44] [45] [49] [54] [56] [62] [63] [64] [69] [70] [71]
44	Wolfgang Merzenich	[2] [6]
45	Alexander Moibenko	[26]
46	Sebastian Müller	[56] [64]
47	Martin Mundhenk	[33] [39] [42] [43] [45] [49] [62] [69]
48	Dan Nae	[23] [25] [26]
49	Amin R. Nehrir	[61]
50	Harvey B. Newman	[3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [17] [18] [19] [20] [21] [23] [24] [25] [26] [31] [32]
51	Donald Petravick	[26]
52	Rudrapatna S. Ramakrishna	[17]
53	B. V. Raghavendra Rao	[50] [58] [67]
54	Sylvain Ravot	[23] [25] [26]
55	R. Rechenmacher	[26]
56	William C. Regli	[12]
57	Waqas ur Rehman	[10] [13] [15] [18] [19]
58	Kevin S. Repasky	[61]
59	Muhammad Sagheer	[22] [30]
60	John Sample	[16]
61	Gido Scharfenberger-Fabian	[65]
62	Johannes Schmidt	[41] [53] [59] [60] [63] [71]
63	Thomas Schneider	[42] [43] [45] [49] [62] [69]
64	S. Yousaf Shah	[14] [21]
65	Joseph A. Shaw	[61]
66	Tony Solomonides	[14] [21]
67	Karteek Sreenivasaiah	[65]
68	Conrad Steenberg	[3] [4] [5] [7] [8] [9] [10] [11] [13] [14] [15] [18] [19] [20] [21] [23] [24] [25] [26] [31] [32]
69	Heinz Stockinger	[22] [27] [29] [30]
70	Xun Su	[23] [25] [26]
71	Helena Szczerbicka	[28]
72	Heribert Vollmer	[33] [34] [35] [36] [38] [39] [40] [43] [44] [48] [50] [51] [54] [55] [56] [58] [62] [63] [64] [65] [67] [70] [71]
73	Volker Weber	[42] [45] [49]
74	Felix Weiss (Felix Weiß)	[42] [45] [49] [69]
75	Ian Willers	[7] [8] [9] [11] [14] [15] [19] [21] [22] [24] [27] [29] [30] [31] [32]
76	Stefan Woltran	[60]
77	Yang Xia	[23] [25] [26]
78	Luobin Yang	[37] [57]
79	Muhammad Adeel Zafar	[15] [19]

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