Michael Thomas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
16
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CogSci | Categories from dimensions: Population-level computational modelling of neurodevelopmental conditions. | Qidong Song, Michael Thomas |
| 2019 | CogSci | Modeling socioeconomic effects on the development of brain and behavior. | Selma Dndar-Coecke, Michael Thomas |
| 2017 | CogSci | The role of spatial skills in mathematics cognition: Evidence from children aged 5-10 years. | Katie Gilligan, Alex Hodgkiss, Michael Thomas, Emily K. Farran |
| 2017 | CogSci | Spatial Cognition and Science: The Role of Intrinsic and Extrinsic Spatial Skills from Seven to Eleven Years. | Alex Hodgkiss, Katie Gilligan, Michael Thomas, Andrew K. Tolmie, Emily K. Farran |
| 2017 | ICCE | Exploring Teachers' Pedagogical Design Thinking in Game-based Learning. | Mingfong Jan, Wan-Lin Yang, Michael Thomas |
| 2014 | ICCE | Interactive Whiteboards in Classrooms: Debates, Issues, and Impeding Factors. | Mas Nida Md. Khambari, Dawnene Hassett, Michael Thomas, Su Luan Wong |
| 2012 | AiML | The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. | Stefan Gller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Wei |
| 2012 | LATA | On the Parameterized Complexity of Default Logic and Autoepistemic Logic. | Arne Meier, Johannes Schmidt, Michael Thomas, Heribert Vollmer |
| 2011 | MFCS | Verifying Proofs in Constant Depth. | Olaf Beyersdorff, Samir Datta, Meena Mahajan, Gido Scharfenberger-Fabian, Karteek Sreenivasaiah, Michael Thomas, Heribert Vollmer |
| 2010 | IGARSS | Observational studies of atmospheric aerosols in the lower troposphere using multiple sensors. | Kevin S. Repasky, Amin R. Nehrir, David S. Hoffman, Michael Thomas, John L. Carlsten, Joseph A. Shaw |
| 2010 | JELIA | Sets of Boolean Connectives That Make Argumentation Easier. | Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran |
| 2010 | KR | Complexity of Propositional Abduction for Restricted Sets of Boolean Functions. | Nadia Creignou, Johannes Schmidt, Michael Thomas |
| 2010 | MFCS | Counting Classes and the Fine Structure between NC | Samir Datta, Meena Mahajan, B. V. Raghavendra Rao, Michael Thomas, Heribert Vollmer |
| 2010 | PDPTA | High Performance Data Clustering: A Comparison Analysis of Performance for GPU, RASC, MPI, and OpenMP Implementation. | Luobin Yang, Steve C. Chiu, Wei-keng Liao, Michael Thomas |
| 2010 | SAT | Proof Complexity of Propositional Default Logic. | Olaf Beyersdorff, Arne Meier, Sebastian Mller, Michael Thomas, Heribert Vollmer |
| 2009 | LPNMR | The Complexity of Circumscriptive Inference in Post's Lattice. | Michael Thomas |
| 2009 | MFCS | The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. | Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss |
| 2009 | SAT | The Complexity of Reasoning for Fragments of Default Logic. | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer |
| 2009 | TIME | Model Checking CTL is Almost Always Inherently Sequential. | Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider |
| 2008 | CSL | Extensional Uniformity for Boolean Circuits. | Pierre McKenzie, Michael Thomas, Heribert Vollmer |
| 2008 | PDPTA | Parallelization of PAUP Bootstrapping. | Luobin Yang, Steve C. Chiu, Michael Thomas |
| 2006 | Broadnets | Lambda Station: On-Demand Flow Based Routing for Data Intensive Grid Applications Over Multitopology Networks. | A. Bobyshev, Matt Crawford, Phil DeMar, V. Grigaliunas, M. Grigoriev, Alexander Moibenko, Donald Petravick, Ron Rechenmacher, Harvey B. Newman, Julian J. Bunn, Frank van Lingen, Dan Nae, Sylvain Ravot, Conrad Steenberg, Xun Su, Michael Thomas, Yang Xia |
| 2006 | Broadnets | The Design and Demonstration of the Ultralight Testbed. | 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 |
| 2005 | ICCS | Design and Implementation of DAG-Based Co-scheduling of RPC in the Grid. | JiHyun Choi, DongWoo Lee, Rudrapatna S. Ramakrishna, Michael Thomas, Harvey B. Newman |
| 2005 | ICWS | JClarens: A Java Framework for Developing and Deploying Web Services for Grid Computing. | 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 |
| 2004 | ICWS | JClarens: A Java Based Interactive Physics Analysis Environment for Data Intensive Applications. | Arshad Ali, Ashiq Anjum, Tahir Azim, Michael Thomas, Conrad Steenberg, Harvey B. Newman, Julian J. Bunn, Rizwan Haider, Waqas ur Rehman |