default search action

combined dblp search
author search
venue search
publication search

ask others

Michael Norrish

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◁ ▶ publications with no particular coauthor community group

> Home > Persons > Michael Norrish

Publications

2025
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/itp/0001N25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/0001N25
Chun Tian, Michael Norrish:
Mechanising Böhm Trees and λη-Completeness. ITP 2025: 28:1-28:18
2023
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/itp/XuN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/XuN23
Yiming Xu, Michael Norrish:
Dependently Sorted Theorem Proving for Mathematical Foundations. ITP 2023: 33:1-33:18
2021
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChanN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChanN21
Hing-Lun Chan, Michael Norrish:
Mechanisation of the AKS Algorithm. J. Autom. Reason. 65(2): 205-256 (2021)
2020
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/XuN20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/XuN20
Yiming Xu, Michael Norrish:
Mechanised Modal Model Theory. IJCAR (1) 2020: 518-533
2019
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChanN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChanN19
Hing-Lun Chan, Michael Norrish:
Proof Pearl: Bounding Least Common Multiples with Triangles. J. Autom. Reason. 62(2): 171-192 (2019)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/ChanN19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/ChanN19a
Hing-Lun Chan, Michael Norrish:
Classification of Finite Fields with Applications. J. Autom. Reason. 63(3): 667-693 (2019)
2018
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/JantschN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/JantschN18
Simon Jantsch, Michael Norrish:
Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata. ITP 2018: 306-323
2016
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ChanN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ChanN16
Hing-Lun Chan, Michael Norrish:
Proof Pearl: Bounding Least Common Multiples with Triangles. ITP 2016: 140-150
2015
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/ChanN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/ChanN15
Hing-Lun Chan, Michael Norrish:
Mechanisation of AKS Algorithm: Part 1 - The Main Theorem. ITP 2015: 117-136
2014
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/BarthwalN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/BarthwalN14
Aditi Barthwal, Michael Norrish:
A mechanisation of some context-free language theory in HOL4. J. Comput. Syst. Sci. 80(2): 346-362 (2014)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/lcpc/NorrishS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcpc/NorrishS14
Michael Norrish, Michelle Mills Strout:
An Approach for Proving the Correctness of Inspector/Executor Transformations. LCPC 2014: 131-145
2013
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jfrea/ChanN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfrea/ChanN13
Hing-Lun Chan, Michael Norrish:
A String of Pearls: Proofs of Fermat's Little Theorem. J. Formaliz. Reason. 6(1): 63-87 (2013)
2012
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cpp/ChanN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpp/ChanN12
Hing-Lun Chan, Michael Norrish:
A String of Pearls: Proofs of Fermat's Little Theorem. CPP 2012: 188-207
2010
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BarthwalN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BarthwalN10
Aditi Barthwal, Michael Norrish:
A Formalisation of the Normal Forms of Context-Free Grammars in HOL4. CSL 2010: 95-109
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/BarthwalN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/BarthwalN10
Aditi Barthwal, Michael Norrish:
Mechanisation of PDA and Grammar Equivalence for Context-Free Languages. WoLLIC 2010: 125-135
2009
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/BarthwalN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BarthwalN09
Aditi Barthwal, Michael Norrish:
Verified, Executable Parsing. ESOP 2009: 160-174

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.