×

zbMATH — the first resource for mathematics

Hallett, Michael T.

Compute Distance To:
Author ID: hallett.michael-t Recent zbMATH articles by "Hallett, Michael T."
Published as: Hallett, M.; Hallett, Michael; Hallett, Michael T.
Documents Indexed: 22 Publications since 1979, including 5 Books

Publications by Year

Citations contained in zbMATH

17 Publications have been cited 181 times in 155 Documents Cited by Year
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
46
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.
35
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
19
1994
David Hilbert’s lectures on the foundations of geometry, 1891–1902. Zbl 1057.01009
Hallett, Michael (ed.); Majer, Ulrich (ed.)
11
2004
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.
10
2006
Analogs & duals of the MAST problem for sequences & trees. Zbl 1064.68044
Fellows, Michael; Hallett, Michael; Stege, Ulrike
10
2003
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.
9
2000
A faster FPT algorithm for the maximum agreement forest problem. Zbl 1148.68049
Hallett, Michael; McCartin, Catherine
8
2007
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.
7
2001
Hilbert’s axiomatic method and the laws of thought. Zbl 0816.00002
Hallett, Michael
7
1994
Towards a theory of mathematical research programmes. I. Zbl 0438.03004
Hallett, Michael
6
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
Analogs and duals of the MAST problem for sequences and trees. Zbl 0929.68074
Fellows, Michael; Hallett, Michael; Korostensky, Chantal; Stege, Ulrike
2
1998
On the multiple gene duplication problem. Zbl 0924.92016
Fellows, Michael; Hallett, Michael; 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
Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Zbl 1213.00060
DeVidi, David (ed.); Hallett, Michael (ed.); Clark, Peter (ed.)
1
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
DeVidi, David (ed.); Hallett, Michael (ed.); Clark, Peter (ed.)
1
2011
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.
10
2006
David Hilbert’s lectures on the foundations of geometry, 1891–1902. Zbl 1057.01009
Hallett, Michael (ed.); Majer, Ulrich (ed.)
11
2004
Analogs & duals of the MAST problem for sequences & trees. Zbl 1064.68044
Fellows, Michael; Hallett, Michael; Stege, Ulrike
10
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.
7
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.
9
2000
Analogs and duals of the MAST problem for sequences and trees. Zbl 0929.68074
Fellows, Michael; Hallett, Michael; Korostensky, Chantal; Stege, Ulrike
2
1998
On the multiple gene duplication problem. Zbl 0924.92016
Fellows, Michael; Hallett, Michael; 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.
35
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
19
1994
Hilbert’s axiomatic method and the laws of thought. Zbl 0816.00002
Hallett, Michael
7
1994
Cantorian set theory and limitation of size. (Reprint). Zbl 0656.03030
Hallett, Michael
46
1986
Towards a theory of mathematical research programmes. I. Zbl 0438.03004
Hallett, Michael
6
1979
Towards a theory of mathematical research programmes. II. Zbl 0438.03005
Hallett, Michael
2
1979
all top 5

Cited by 215 Authors

14 Fellows, Michael Ralph
11 Downey, Rodney Graham
7 Chen, Jian-er
7 Fernau, Henning
6 Bodlaender, Hans L.
6 Ternullo, Claudio
4 Cygan, Marek
4 Friedman, Sy-David
4 Pilipczuk, Marcin
4 Rosamond, Frances A.
4 Saurabh, Saket
4 Shi, Feng
4 Wang, Jianxin
3 Feng, Qilong
3 Guo, Jiong
3 Kratsch, Dieter
3 Liotta, Giuseppe
3 Lokshtanov, Daniel
3 McCartin, Catherine
3 Weber, Zach
2 Antos, Carolin
2 Avron, Arnon
2 Cesati, Marco
2 Cohen, Liron
2 Dantas da Silva, Maise
2 De Fluiter, Babette Lucie Elisabeth
2 Di Giacomo, Emilio
2 Didimo, Walter
2 Dondi, Riccardo
2 Dujmović, Vida
2 Fomin, Fedor V.
2 Gaspers, Serge
2 Grattan-Guinness, Ivor
2 Heggernes, Pinar
2 Honzik, Radek
2 Kaufmann, Michael
2 Kloks, Ton
2 Meister, Daniel
2 Mnich, Matthias
2 Niedermeier, Rolf
2 Protti, Fábio
2 Raman, Venkatesh
2 Thilikos, Dimitrios M.
2 Villanger, Yngve
2 Wood, David Ronald
1 Abrahamson, Karl A.
1 Adiga, Abhijin
1 Alam, Muhammad Jawaherul
1 Aluru, Srinivas
1 Alvarez, Carlos A.
1 Àlvarez, Carme
1 Arthur, Richard T. W.
1 Baldwin, John T.
1 Beeson, Michael J.
1 Bennett, David W.
1 Bingham, Nicholas Hugh
1 Bonizzoni, Paola
1 Bordewich, Magnus
1 Bos, Henk J. M.
1 Brading, Katherine A.
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, Roy T.
1 Corry, Leo
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 Dufour, Michel
1 Eades, Peter
1 Ebbinghaus, Heinz-Dieter
1 Eder, Günther
1 Ehrlich, Philip
1 Elberfeld, Michael
1 Erdem, Esra
1 Erdoğan, Selim T.
1 Estrella-Balderrama, Alejandro
1 Eulenstein, Oliver
1 Fan, Jia-Hao
1 Feige, Uriel
1 Ferreirós, José
1 Fertin, Guillaume
1 Fowler, J. Joseph
1 Fürer, Martin
1 Gambette, Philippe
1 Giovannini, Eduardo N.
1 Golovach, Petr A.
1 Gray, Robert J.
1 Guillemot, Sylvain
1 Gutin, Gregory Z.
1 Gwiazda, Jeremy
...and 115 more Authors
all top 5

Cited in 45 Serials

23 Theoretical Computer Science
10 Discrete Applied Mathematics
10 Synthese
10 History and Philosophy of Logic
8 Algorithmica
7 Journal of Computer and System Sciences
6 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 Annals of Pure and Applied Logic
3 Erkenntnis
3 Foundations of Science
2 Information Processing Letters
2 The Mathematical Intelligencer
2 Studia Logica
2 Historia Mathematica
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
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
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 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 Mathematical Programming. Series A. Series B
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 Computer Science Review
1 Nôus
1 European Journal of Mathematics

Citations by Year