Neil Thapen
According to our database1,
Neil Thapen
authored at least 36 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Electron. Colloquium Comput. Complex., 2024
Proceedings of the 15th Innovations in Theoretical Computer Science Conference, 2024
2022
2021
Log. Methods Comput. Sci., 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
2019
Electron. Colloquium Comput. Complex., 2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
2018
2017
2016
2014
ACM Trans. Comput. Log., 2014
Electron. Colloquium Comput. Complex., 2014
Electron. Colloquium Comput. Complex., 2014
2012
Ann. Pure Appl. Log., 2012
2011
Ann. Pure Appl. Log., 2011
Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem.
Arch. Math. Log., 2011
2009
2008
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails.
J. Symb. Log., 2008
2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
2005
2004
Proceedings of the 19th Annual IEEE Conference on Computational Complexity (CCC 2004), 2004
2002
Ann. Pure Appl. Log., 2002