Edit Profile (opens in new tab) Hallett, Michael T. Co-Author Distance Author ID: hallett.michael-t Published as: Hallett, Michael; Hallett, Michael T.; Hallett, M. more...less Documents Indexed: 18 Publications since 1979, including 1 Book 5 Contributions as Editor · 3 Further Contributions Software Indexed: 1 Package Co-Authors: 25 Co-Authors with 16 Joint Publications 1,026 Co-Co-Authors all top 5 Co-Authors 6 single-authored 9 Fellows, Michael Ralph 4 Majer, Ulrich 4 McCartin, Catherine 3 Dujmović, Vida 3 Ewald, William Bragg 3 Kitching, Matthew 3 Liotta, Giuseppe 3 Nishimura, Naomi 3 Ragde, Prabhakar L. 3 Sieg, Wilfried 3 Stege, Ulrike 3 Suderman, Matthew 3 Urquhart, Alasdair 3 Whitesides, Sue H. 3 Wood, David Ronald 2 Avigad, Jeremy 2 Bodlaender, Hans L. 2 Detlefsen, Michael E. 2 Giaquinto, Marcus 2 Hafner, Johannes 2 Mancosu, Paolo 2 Manders, Kenneth Lawrence 2 McLarty, Colin 2 Rosamond, Frances A. 2 Tappenden, Jamie 2 Wareham, H. Todd 1 DeVidi, David 1 Downey, Rodney Graham 1 Dummett, Michael Anthony Eardley 1 Gathier, Y. 1 Hellman, Geoffrey 1 Hilbert, David 1 Irvine, Andrew David 1 Kapron, Bruce M. 1 Korostensky, Chantal 1 Lagergren, Jens 1 Maddy, Penelope J. 1 Rosamond, Fran 1 Schlimm, Dirk 1 Warnow, Tandy J. all top 5 Serials 2 The British Journal for the Philosophy of Science 1 Theoretical Computer Science 1 Journal of Algorithms 1 Algorithmica 1 Theory of Computing Systems 1 Oxford Logic Guides 1 The Western Ontario Series in Philosophy of Science all top 5 Fields 15 Mathematical logic and foundations (03-XX) 10 History and biography (01-XX) 10 Computer science (68-XX) 8 General and overarching topics; collections (00-XX) 5 Combinatorics (05-XX) 3 Geometry (51-XX) 3 Biology and other natural sciences (92-XX) 2 Category theory; homological algebra (18-XX) 1 Number theory (11-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 223 times in 190 Documents Cited by ▼ Year ▼ The philosophy of mathematical practice. Zbl 1163.03001 122 2008 Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030 Hallett, Michael 45 1986 Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy (extended abstract). Zbl 1345.68152 Bodlaender, Hans L.; Fellows, Michael R.; Hallett, Michael T. 45 1994 David Hilbert’s lectures on the foundations of geometry, 1891–1902. Zbl 1057.01009 21 2004 The parameterized complexity of some problems in logic and linguistics. Zbl 0946.03046 Downey, Rodney G.; Fellows, Michael R.; Kapron, Bruce M.; Hallett, Michael T.; Wareham, H. Todd 21 1994 David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. Zbl 1275.03002 Hilbert, David 17 2013 A fixed-parameter approach to 2-layer planarization. Zbl 1095.68081 Dujmović, Vida; Fellows, Michael; Hallett, Michael; Kitching, Matthew; Liotta, Giuseppe; McCartin, Catherine; Nishimura, Naomi; Ragde, Prabhakar; Rosamond, Fran; Suderman, Matthew; Whitesides, Sue; Wood, David R. 14 2006 The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs. Zbl 0945.68145 Bodlaender, Hans L.; Fellows, Michael R.; Hallett, Michael T.; Wareham, H. Todd; Warnow, Tandy J. 14 2000 Analogs & duals of the MAST problem for sequences & trees. Zbl 1064.68044 Fellows, Michael; Hallett, Michael; Stege, Ulrike 12 2003 The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004 11 2011 A faster FPT algorithm for the maximum agreement forest problem. Zbl 1148.68049 Hallett, Michael; McCartin, Catherine 8 2007 Towards a theory of mathematical research programmes. I. Zbl 0438.03004 Hallett, Michael 8 1979 On the parameterized complexity of layered graph drawing. Zbl 1006.68544 Dujmović, V.; Fellows, M.; Hallett, M.; Kitching, M.; Liotta, G.; McCartin, C.; Nishimura, N.; Ragde, P.; Rosamond, F.; Suderman, M.; Whitesides, S.; Wood, D. R. 8 2001 Hilbert’s axiomatic method and the laws of thought. Zbl 0816.00002 Hallett, Michael 8 1994 A fixed-parameter approach to two-layer planarization. Zbl 1054.68576 Dujmović, V.; Fellows, M.; Hallett, M.; Kitching, M.; Liotta, Giuseppe; McCartin, C.; Nishimura, N.; Ragde, P.; Rosamond, F.; Suderman, M.; Whitesides, S.; Wood, David R. 5 2002 On the multiple gene duplication problem. Zbl 0924.92016 Fellows, Michael; Hallett, Michael; Stege, Ulrike 3 1998 Towards a theory of mathematical research programmes. II. Zbl 0438.03005 Hallett, Michael 3 1979 Analogs and duals of the MAST problem for sequences and trees. Zbl 0929.68074 Fellows, Michael; Hallett, Michael; Korostensky, Chantal; Stege, Ulrike 2 1998 Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Zbl 1213.00060 2 2011 Absoluteness and the Skolem paradox. Zbl 1256.03011 Hallett, Michael 2 2011 Hunting for functionally analogous genes. Zbl 1044.68630 Hallett, Michael T.; Lagergren, Jens 1 2000 Frege on creation. Zbl 1465.03008 Hallett, Michael 1 2019 Frege on creation. Zbl 1465.03008 Hallett, Michael 1 2019 David Hilbert’s lectures on the foundations of arithmetic and logic, 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm. Zbl 1275.03002 Hilbert, David 17 2013 The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004 11 2011 Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Zbl 1213.00060 2 2011 Absoluteness and the Skolem paradox. Zbl 1256.03011 Hallett, Michael 2 2011 The philosophy of mathematical practice. Zbl 1163.03001 122 2008 A faster FPT algorithm for the maximum agreement forest problem. Zbl 1148.68049 Hallett, Michael; McCartin, Catherine 8 2007 A fixed-parameter approach to 2-layer planarization. Zbl 1095.68081 Dujmović, Vida; Fellows, Michael; Hallett, Michael; Kitching, Matthew; Liotta, Giuseppe; McCartin, Catherine; Nishimura, Naomi; Ragde, Prabhakar; Rosamond, Fran; Suderman, Matthew; Whitesides, Sue; Wood, David R. 14 2006 David Hilbert’s lectures on the foundations of geometry, 1891–1902. Zbl 1057.01009 21 2004 Analogs & duals of the MAST problem for sequences & trees. Zbl 1064.68044 Fellows, Michael; Hallett, Michael; Stege, Ulrike 12 2003 A fixed-parameter approach to two-layer planarization. Zbl 1054.68576 Dujmović, V.; Fellows, M.; Hallett, M.; Kitching, M.; Liotta, Giuseppe; McCartin, C.; Nishimura, N.; Ragde, P.; Rosamond, F.; Suderman, M.; Whitesides, S.; Wood, David R. 5 2002 On the parameterized complexity of layered graph drawing. Zbl 1006.68544 Dujmović, V.; Fellows, M.; Hallett, M.; Kitching, M.; Liotta, G.; McCartin, C.; Nishimura, N.; Ragde, P.; Rosamond, F.; Suderman, M.; Whitesides, S.; Wood, D. R. 8 2001 The hardness of perfect phylogeny, feasible register assignment and other problems on thin colored graphs. Zbl 0945.68145 Bodlaender, Hans L.; Fellows, Michael R.; Hallett, Michael T.; Wareham, H. Todd; Warnow, Tandy J. 14 2000 Hunting for functionally analogous genes. Zbl 1044.68630 Hallett, Michael T.; Lagergren, Jens 1 2000 On the multiple gene duplication problem. Zbl 0924.92016 Fellows, Michael; Hallett, Michael; Stege, Ulrike 3 1998 Analogs and duals of the MAST problem for sequences and trees. Zbl 0929.68074 Fellows, Michael; Hallett, Michael; Korostensky, Chantal; Stege, Ulrike 2 1998 Beyond NP-completeness for problems of bounded width: hardness for the W hierarchy (extended abstract). Zbl 1345.68152 Bodlaender, Hans L.; Fellows, Michael R.; Hallett, Michael T. 45 1994 The parameterized complexity of some problems in logic and linguistics. Zbl 0946.03046 Downey, Rodney G.; Fellows, Michael R.; Kapron, Bruce M.; Hallett, Michael T.; Wareham, H. Todd 21 1994 Hilbert’s axiomatic method and the laws of thought. Zbl 0816.00002 Hallett, Michael 8 1994 Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030 Hallett, Michael 45 1986 Towards a theory of mathematical research programmes. I. Zbl 0438.03004 Hallett, Michael 8 1979 Towards a theory of mathematical research programmes. II. Zbl 0438.03005 Hallett, Michael 3 1979 all cited Publications top 5 cited Publications all top 5 Cited by 246 Authors 17 Fellows, Michael Ralph 11 Downey, Rodney Graham 10 Bodlaender, Hans L. 7 Chen, Jian-er 7 Fernau, Henning 7 Rosamond, Frances A. 6 Ternullo, Claudio 5 Kratsch, Dieter 5 Liotta, Giuseppe 5 Saurabh, Saket 4 Cygan, Marek 4 Friedman, Sy-David 4 Pilipczuk, Marcin L. 4 Shi, Feng 4 Wang, Jianxin 3 Avron, Arnon 3 Corry, Leo 3 Dantas da Silva, Maise 3 Dondi, Riccardo 3 Eder, Günther 3 Feng, Qilong 3 Gaspers, Serge 3 Guo, Jiong 3 Heggernes, Pinar 3 Kloks, Ton 3 Lokshtanov, Daniel 3 McCartin, Catherine 3 Meister, Daniel 3 Weber, Zach 3 Wood, David Ronald 2 Àlvarez, Carme 2 Antos, Carolin 2 Bonizzoni, Paola 2 Brading, Katherine A. 2 Cesati, Marco 2 Cohen, Liron 2 De Fluiter, Babette Lucie Elisabeth 2 Di Giacomo, Emilio 2 Didimo, Walter 2 Dujmović, Vida 2 Fomin, Fedor V. 2 Fürer, Martin 2 Grattan-Guinness, Ivor 2 Guillemot, Sylvain 2 Hermelin, Danny 2 Honzik, Radek 2 Kasiviswanathan, Shiva Prasad 2 Kaufmann, Michael 2 Mnich, Matthias 2 Müller, Haiko 2 Niedermeier, Rolf 2 Pambuccian, Victor V. 2 Protti, Fábio 2 Raman, Venkatesh 2 Rutter, Ignaz 2 Ryckman, Thomas A. 2 Serna Iglesias, Maria José 2 Souza, Uéverton S. 2 Tappini, Alessandra 2 Thilikos, Dimitrios M. 2 Villanger, Yngve 2 Zehavi, Meirav 1 Abrahamson, Karl A. 1 Adiga, Abhijin 1 Agrawal, Akanksha 1 Alam, Muhammad Jawaherul 1 Aluru, Srinivas 1 Antonutti Marfori, Marianna 1 Arana, Andrew 1 Arthur, Richard T. W. 1 Baldwin, John T. 1 Bellomo, Anna 1 Bernardini, Giulia 1 Bingham, Nicholas Hugh 1 Bordewich, Magnus 1 Bos, Henk J. M. 1 Brooks, Daniel R. 1 Bueno, Otávio 1 Burton, Benjamin A. 1 Cai, Liming 1 Cartwright, Helen Morris 1 Chang, Wen-Chieh 1 Chen, Wenbin 1 Clarke-Doane, Justin 1 Colton, Simon 1 Cook, Kathryn 1 Cook, Roy T. 1 De Bianchi, Silvia 1 De Risi, Vincenzo 1 Della Vedova, Gianluca 1 Demopoulos, William 1 Dom, Michael 1 dos Santos Souza, Uéverton 1 Eades, Peter 1 Ebbinghaus, Heinz-Dieter 1 Ehrlich, Philip 1 Elberfeld, Michael 1 Engelfriet, Joost 1 Erdem, Esra 1 Erdoğan, Selim T. ...and 146 more Authors all top 5 Cited in 52 Serials 22 Theoretical Computer Science 12 Synthese 11 Discrete Applied Mathematics 10 History and Philosophy of Logic 8 Journal of Computer and System Sciences 8 Algorithmica 8 The Review of Symbolic Logic 5 Notre Dame Journal of Formal Logic 4 Archive for History of Exact Sciences 4 Journal of Discrete Algorithms 3 The Mathematical Intelligencer 3 Erkenntnis 3 Foundations of Science 2 Information Processing Letters 2 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 2 Studia Logica 2 The Bulletin of Symbolic Logic 2 Theory of Computing Systems 2 Journal of Combinatorial Optimization 2 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 2 Computer Science Review 1 Journal of Mathematical Biology 1 Beiträge zur Algebra und Geometrie 1 ACM Transactions on Mathematical Software 1 Journal of Combinatorial Theory. Series B 1 Journal of Geometry 1 Journal of Philosophical Logic 1 Operations Research Letters 1 Annals of Pure and Applied Logic 1 Journal of Computer Science and Technology 1 Discrete & Computational Geometry 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of Parallel and Distributed Computing 1 Computational Geometry 1 Historia Mathematica 1 Bulletin of the American Mathematical Society. New Series 1 Mathematical Programming. Series A. Series B 1 Georgian Mathematical Journal 1 The Electronic Journal of Combinatorics 1 Journal of Graph Algorithms and Applications 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 RAIRO. Theoretical Informatics and Applications 1 Discrete Optimization 1 Science in China. Series F 1 Logical Methods in Computer Science 1 Science in Context 1 Journal of Formalized Reasoning 1 Axiomathes 1 Nôus 1 European Journal of Mathematics 1 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 27 Fields 92 Computer science (68-XX) 61 Mathematical logic and foundations (03-XX) 56 Combinatorics (05-XX) 41 History and biography (01-XX) 28 General and overarching topics; collections (00-XX) 15 Biology and other natural sciences (92-XX) 10 Geometry (51-XX) 6 Operations research, mathematical programming (90-XX) 3 Relativity and gravitational theory (83-XX) 2 Measure and integration (28-XX) 2 Probability theory and stochastic processes (60-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year