Research output per year
Research output per year
I am interested in theoretical and practical/implementational aspects of infinite-state verification, with a focus on higher-order recursion and counter systems.
Please see my personal homepage for up-to-date information and paper/software downloads.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to conference › Paper › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
Hague, M. (PI)
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research
Hague, M. (Member of programme committee)
Activity: Participating in or organising an event › Participation in conference
Hague, M. (Member of programme committee)
Activity: Participating in or organising an event › Participation in conference
Hague, M. (Member of programme committee)
Activity: Participating in or organising an event › Participation in conference
Hague, M. (Member of programme committee)
Activity: Participating in or organising an event › Participation in conference
Hague, M. (Member of programme committee)
Activity: Participating in or organising an event › Participation in conference
Hague, M. (Creator) & Ruemmer, P. (Creator), Royal Holloway, University of London, 2018
https://github.com/pruemmer/ostrich
Dataset
Hague, M. (Creator), Lin, A. (Creator) & Hong, C.-D. (Creator), Royal Holloway, University of London, 5 Dec 2018
https://royalholloway.figshare.com/articles/Data_and_Source_Code_for_Sat_CSS/7277324
Dataset