Professor Matthew Hague

  1. 2022
  2. E-pub ahead of print

    Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

    Chen, T., Flores Lamas, A., Hague, M., Han, Z., Hu, D., Kan, S., Lin, A., Ruemmer, P. & Wu, Z., 12 Jan 2022, (E-pub ahead of print) Principles of Programming Languages 2022. ACM, Vol. 6. p. 1-31 31 p. 45

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2021
  4. Published

    Collapsible Pushdown Parity Games

    Hague, M., Serre, O., Carayol, A., Ong, C-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.

    Research output: Contribution to journalArticlepeer-review

  5. 2020
  6. E-pub ahead of print

    A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type

    Chen, T., Hague, M., He, J., Hu, D., Lin, A., Ruemmer, P. & Wu, Z., 12 Oct 2020, (E-pub ahead of print) p. 325-342. 18 p.

    Research output: Contribution to conferencePaperpeer-review

  7. E-pub ahead of print

    Monadic Decomposition in Integer Linear Arithmetic

    Hague, M., Lin, A., Ruemmer, P. & Wu, Z., 24 Jun 2020, (E-pub ahead of print) International Joint Conference on Automated Reasoning: IJCAR 2020. Springer-Verlag, p. 122-140 19 p. (Lecture Notes in Computer Science; vol. 12166).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. 2019
  9. Published

    Strings at MOSCA

    Hague, M., 6 Nov 2019, 22nd SIGLOG Newsletter, October 2019, 22, p. 4-22 19 p.

    Research output: Contribution to non-peer-reviewed publicationInternet publication

  10. Published

    CSS Minification via Constraint Solving

    Hague, M., Lin, A. & Hong, C-D., 21 Jun 2019, In: ACM Transactions on Programming Languages and Systems. 41, 2, p. 1-76 76 p., 12.

    Research output: Contribution to journalArticlepeer-review

  11. E-pub ahead of print

    Decision procedures for path feasibility of string-manipulating programs with complex operations

    Chen, T., Hague, M., Lin, A., Rümmer, P. & Wu, Z., 2 Jan 2019, (E-pub ahead of print) p. 1-30. 30 p.

    Research output: Contribution to conferencePaperpeer-review

  12. 2018
  13. Published

    Decidable models of integer-manipulating programs with recursive parallelism

    Hague, M. & Lin, A., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 24-37 14 p.

    Research output: Contribution to journalArticlepeer-review

  14. Published

    Optimal Strategies in Pushdown Reachability Games

    Hague, M. & Carayol, A., 20 Aug 2018, International Symposium on Mathematical Foundations of Computer Science. p. 1-14 14 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Published

    Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems

    Hague, M., Meyer, R., Muskalla, S. & Zimmermann, M., 20 Aug 2018, International Symposium of Mathematical Foundations of Computer Science. p. 1-15 15 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 117).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 Next