Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems. - Jan de Muijnck-Hughes; Ishbel Duncan (SERE (Companion), 2012)

Security Pattern Evaluation. - Ishbel Duncan; Jan de Muijnck-Hughes (SOSE, 2014)

Machine checkable design patterns using dependent types and domain specific goal-oriented modelling languages. - Jan de Muijnck-Hughes (2016)

A Short Note on Collecting Dependently Typed Values. - Jan de Muijnck-Hughes (CoRR, 2018)

A Typing Discipline for Hardware Interfaces. - Jan de Muijnck-Hughes; Wim Vanderbauwhede (ECOOP, 2019)

Value-Dependent Session Design in a Dependently Typed Language. - Jan de Muijnck-Hughes; Edwin C. Brady; Wim Vanderbauwhede (PLACES@ETAPS, 2019)

A Typing Discipline for Hardware Interfaces (Artifact). - Jan de Muijnck-Hughes; Wim Vanderbauwhede (Dagstuhl Artifacts Ser., 2019)

A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). - Jan de Muijnck-Hughes; Edwin C. Brady; Wim Vanderbauwhede (ECOOP, 2020)

A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). - Jan de Muijnck-Hughes; Edwin C. Brady; Wim Vanderbauwhede (Dagstuhl Artifacts Ser., 2020)

Type-Driven Development with Idris. - Jan de Muijnck-Hughes (J. Funct. Program., 2020)

Type Theory as a Language Workbench. - Jan de Muijnck-Hughes; Guillaume Allais; Edwin C. Brady (Eelco Visser Commemorative Symposium, 2023)

Wiring Circuits Is Easy as {0, 1, ω}, or Is It... - Jan de Muijnck-Hughes; Wim Vanderbauwhede (ECOOP, 2023)

Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact). - Jan de Muijnck-Hughes; Wim Vanderbauwhede (Dagstuhl Artifacts Ser., 2023)