|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 14 keywords
|
|
|
|
|
Results
Found 71 publication records. Showing 71 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Thomas |
On the applicability of Post's lattice.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Felix Weiss |
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Michael Thomas |
The Complexity of Circumscriptive Inference in Post's Lattice. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Arne Meier, Heribert Vollmer, Michael Thomas |
The Complexity of Reasoning for Fragments of Autoepistemic Logic. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer |
On the Parameterized Complexity of Default Logic and Autoepistemic Logic. |
LATA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer |
On the Parameterized Complexity of Default Logic and Autoepistemic Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Heribert Vollmer |
Model Checking CTL is Almost Always Inherently Sequential |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer |
Proof complexity of propositional default logic. |
Arch. Math. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer |
Verifying Proofs in Constant Depth. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thomas |
On the complexity of fragments of nonmonotonic logics. |
|
2010 |
RDF |
|
| 1 | 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) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Volker Weber, Felix Weiss |
The complexity of satisfiability for fragments of hybrid logic - Part I. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thomas |
On the Applicability of Post's Lattice |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Arne Meier, Michael Thomas, Heribert Vollmer |
The Complexity of Reasoning for Fragments of Autoepistemic Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thomas, Heribert Vollmer |
Complexity of Non-Monotonic Logics |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Johannes Schmidt, Michael Thomas |
Complexity Classifications for Propositional Abduction in Post's Framework |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Thomas, Heribert Vollmer |
Complexity of non-monotonic logics. |
Bulletin of the EATCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pierre McKenzie, Michael Thomas, Heribert Vollmer |
Extensional Uniformity for Boolean Circuits. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Sebastian Müller, Michael Thomas, Heribert Vollmer |
Proof Complexity of Propositional Default Logic. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer |
Counting Classes and the Fine Structure between NC1 and L. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran |
Sets of Boolean Connectives That Make Argumentation Easier. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Creignou, Johannes Schmidt, Michael Thomas |
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer |
The complexity of propositional implication. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk |
The Complexity of Satisfiability for Fragments of CTL and CTL*. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Volker Weber, Felix Weiss |
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nadia Creignou, Johannes Schmidt, Michael Thomas |
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002 |
Model Checking CTL is Almost Always Inherently Sequential. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
Model checking, complexity, temporal logic |
| 1 | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer |
The Complexity of Reasoning for Fragments of Default Logic. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Volker Weber, Felix Weiss |
The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
Post’s lattice, complexity, satisfiability, decidability, hybrid logic |
| 1 | Michael Thomas |
The Complexity of Circumscriptive Inference in Post's Lattice. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arne Meier, Martin Mundhenk, Michael Thomas, Heribert Vollmer |
The Complexity of Satisfiability for Fragments of CTL and CTL*. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre McKenzie, Michael Thomas, Heribert Vollmer |
Extensional Uniformity for Boolean Circuits |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer |
The Complexity of Propositional Implication |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer |
The Complexity of Reasoning for Fragments of Default Logic |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Luobin Yang, Steve C. Chiu, Michael Thomas |
Parallelization of PAUP Bootstrapping. |
PDPTA |
2008 |
DBLP BibTeX RDF |
|
| 1 | Pierre McKenzie, Michael Thomas, Heribert Vollmer |
Extensional Uniformity for Boolean Circuits. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
descriptive complexity, uniformity, Boolean circuits |
| 1 | Matthias Becker, Helena Szczerbicka, Michael Thomas |
Neural Networks and Optimization Algorithms Applied for Construction of Low Noise Tread Profiles. |
Cybernetics and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Richard McClatchey, Ashiq Anjum, Heinz Stockinger, Arshad Ali, Ian Willers, Michael Thomas |
Scheduling in Data Intensive and Network Aware (DIANA) Grid Environments |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP BibTeX RDF |
|
| 1 | Richard McClatchey, Ashiq Anjum, Heinz Stockinger, Arshad Ali, Ian Willers, Michael Thomas |
Data Intensive and Network Aware (DIANA) Grid Scheduling. |
J. Grid Comput. |
2007 |
DBLP DOI BibTeX RDF |
scheduling algorithm, meta scheduling, data intensive, peer-to-peer architectures, network awareness |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | John Sample, Frank P. McCreedy, Michael Thomas |
Managing Distributed Geographical Data Streams with the GIDB Portal System. |
Stream Data Management |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Katritzke, Wolfgang Merzenich, Michael Thomas |
Enhancements of partitioning techniques for image compression using weighted finite automata. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2004 |
DBLP BibTeX RDF |
|
| 1 | Michael Thomas, William C. Regli |
Peer-to-Peer Data Lookup for Multi-agent Systems. |
AP2PC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Conrad Steenberg, Eric Aslakson, Julian J. Bunn, Harvey B. Newman, Michael Thomas, Frank van Lingen |
The Clarens web services architecture |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Conrad Steenberg, Eric Aslakson, Julian J. Bunn, Harvey B. Newman, Michael Thomas, Frank van Lingen |
Clarens Client and Server Applications |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Katritzke, Wolfgang Merzenich, Michael Thomas |
Enhancements of Partitioning Techniques for Image Compression Using Weighted Finite Automata. |
CIAA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Thomas |
Ferroelectric Molecular Optical Storage Nanotechnology. |
IEEE Symposium on Mass Storage Systems |
2000 |
DBLP BibTeX RDF |
|
Displaying result #1 - #71 of 71 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")