×

Hallett, Michael T.

Author ID: hallett.michael-t Recent zbMATH articles by "Hallett, Michael T."
Published as: Hallett, Michael; Hallett, Michael T.; Hallett, M.

Publications by Year

Citations contained in zbMATH Open

21 Publications have been cited 210 times in 180 Documents Cited by Year
The philosophy of mathematical practice. Zbl 1163.03001
89
2008
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.
44
1994
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
43
1986
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 geometry, 1891–1902. Zbl 1057.01009
17
2004
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
16
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.
13
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
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 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
7
1979
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
Analogs and duals of the MAST problem for sequences and trees. Zbl 0929.68074
Fellows, Michael; Hallett, Michael; Korostensky, Chantal; Stege, Ulrike
2
1998
Towards a theory of mathematical research programmes. II. Zbl 0438.03005
Hallett, Michael
2
1979
Absoluteness and the Skolem paradox. Zbl 1256.03011
Hallett, Michael
1
2011
Hunting for functionally analogous genes. Zbl 1044.68630
Hallett, Michael T.; Lagergren, Jens
1
2000
Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Zbl 1213.00060
1
2011
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
16
2013
The philosophy of mathematical practice. Paperback edition of the 2008 original. Zbl 1230.03004
11
2011
Absoluteness and the Skolem paradox. Zbl 1256.03011
Hallett, Michael
1
2011
Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Zbl 1213.00060
1
2011
The philosophy of mathematical practice. Zbl 1163.03001
89
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
17
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.
13
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.
44
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
43
1986
Towards a theory of mathematical research programmes. I. Zbl 0438.03004
Hallett, Michael
7
1979
Towards a theory of mathematical research programmes. II. Zbl 0438.03005
Hallett, Michael
2
1979
all top 5

Cited by 236 Authors

17 Fellows, Michael Ralph
11 Downey, Rodney Graham
9 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 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 Avron, Arnon
2 Bonizzoni, Paola
2 Brading, Katherine A.
2 Cesati, Marco
2 Cohen, Liron
2 Corry, Leo
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 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 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.
1 Eschen, Elaine M.
1 Estrella-Balderrama, Alejandro
...and 136 more Authors
all top 5

Cited in 49 Serials

22 Theoretical Computer Science
11 Discrete Applied Mathematics
11 Synthese
10 History and Philosophy of Logic
8 Journal of Computer and System Sciences
8 Algorithmica
8 The Review of Symbolic Logic
4 Archive for History of Exact Sciences
4 Notre Dame Journal of Formal Logic
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 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 Journal of Automated Reasoning
1 Journal of Parallel and Distributed Computing
1 Computational Geometry
1 Historia Mathematica
1 Mathematical Programming. Series A. Series B
1 The Electronic Journal of Combinatorics
1 The Bulletin of Symbolic Logic
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

Citations by Year