Paul Hunter
Orcid: 0000-0002-5767-3375Affiliations:
- Université Libre de Bruxelles, ULB, Bruxelles, Belgium
- University of Oxford, Department of Computer Science, UK
- University of Cambridge, UK (PhD 2007)
- Humboldt-Universität zu Berlin, Logic and Discrete Systems group, Germany (2005-2006)
According to our database1,
Paul Hunter
authored at least 24 papers
between 2005 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
2
1
1
1
4
1
2
2
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2022
2018
2017
2016
Proceedings of the Language and Automata Theory and Applications, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
Proceedings of the Reachability Problems - 9th International Workshop, 2015
Proceedings of the Foundations of Software Science and Computation Structures, 2015
2014
Proceedings of the Reachability Problems - 8th International Workshop, 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
2012
Discret. Appl. Math., 2012
2011
Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011
2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
2008
Theor. Comput. Sci., 2008
2007
2006
2005
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005