Kripke Models for Linear Logic. - Gerard Allwein; J. Michael Dunn (J. Symb. Log., 1993)

The AAAI Fall Symposia. - Giuseppe De Giacomo; Marie desJardins; Dolores Cañamero; Glenn S. Wasson; Michael L. Littman; Gerard Allwein; Kim Marriott; Bernd Meyer 001; Barbara Webb; Tom Con (AI Mag., 1999)

A Kripke Semantics for the Logic of Gelfand Quantales. - Gerard Allwein; Wendy MacCaull (Stud Logica, 2001)

Intelligent Diagrammatic Interfaces: State of the Art. - Bernd Meyer 001; Kim Marriott; Gerard Allwein (Diagrammatic Representation and Reasoning, 2002)

Modeling Heterogeneous Systems. - Nik Swoboda; Gerard Allwein (Diagrams, 2002)

Diagrams and Non-monotonicity in Puzzles. - Benedek Nagy; Gerard Allwein (Diagrams, 2004)

A qualitative framework for Shannon information theories. - Gerard Allwein (NSPW, 2004)

Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. - Nik Swoboda; Gerard Allwein (Euler, 2004)

Logics for Classes of Boolean Monoids. - Gerard Allwein; Hilmi Demir; Lee Pike (J. Log. Lang. Inf., 2004)

Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. - Nik Swoboda; Gerard Allwein (Softw. Syst. Model., 2004)

Asynchronous Exceptions as an Effect. - William L. Harrison; Gerard Allwein; Andy Gill; Adam M. Procter (MPC, 2008)

A formalism for visual security protocol modeling. - J. McDermott; Gerard Allwein (J. Vis. Lang. Comput., 2008)

Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. - William L. Harrison; Adam M. Procter; Jason Agron; Garrin Kimmell; Gerard Allwein (DSL, 2009)

Partially-ordered Modalities. - Gerard Allwein; William L. Harrison (Advances in Modal Logic, 2010)

Algebraic information theory for binary channels. - Keye Martin; Ira S. Moskowitz; Gerard Allwein (Theor. Comput. Sci., 2010)

The Confinement Problem in the Presence of Faults. - William L. Harrison; Adam M. Procter; Gerard Allwein (ICFEM, 2012)

Capacity of an intensity interferometry channel. - Pedro N. Safier; Ira S. Moskowitz; Gerard Allwein (CISS, 2013)

Semantics-directed machine architecture in ReWire. - Adam M. Procter; William L. Harrison; Ian Graves; Michela Becchi; Gerard Allwein (FPT, 2013)

Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation. - Ian Graves; Adam M. Procter; William L. Harrison; Michela Becchi; Gerard Allwein (ARC, 2015)

Provably Correct Development of reconfigurable hardware designs via equational reasoning. - Ian Graves; Adam M. Procter; William L. Harrison; Gerard Allwein (FPT, 2015)

Semantics Driven Hardware Design, Implementation, and Verification with ReWire. - Adam M. Procter; William L. Harrison; Ian Graves; Michela Becchi; Gerard Allwein (LCTES, 2015)

A programming model for reconfigurable computing based in functional concurrency. - William L. Harrison; Ian Graves; Adam M. Procter; Michela Becchi; Gerard Allwein (ReCoSoC, 2016)

Model-driven design & synthesis of the SHA-256 cryptographic hash function in rewire. - William L. Harrison; Adam M. Procter; Gerard Allwein (RSP, 2016)

A core calculus for secure hardware: its formal semantics and proof system. - Thomas N. Reynolds; Adam M. Procter; William L. Harrison; Gerard Allwein (MEMOCODE, 2017)

A Principled Approach to Secure Multi-core Processor Design with ReWire. - Adam M. Procter; William L. Harrison; Ian Graves; Michela Becchi; Gerard Allwein (ACM Trans. Embed. Comput. Syst., 2017)

Language Abstractions for Hardware-based Control-Flow Integrity Monitoring. - William L. Harrison; Gerard Allwein (ReConFig, 2018)

Semantics-Directed Prototyping of Hardware Runtime Monitors. - William L. Harrison; Gerard Allwein (RSP, 2018)

The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware. - Thomas N. Reynolds; Adam M. Procter; William L. Harrison; Gerard Allwein (ACM Trans. Embed. Comput. Syst., 2019)

Verifiable Security Templates for Hardware. - William L. Harrison; Gerard Allwein (DATE, 2020)

Strongly bounded termination with applications to security and hardware synthesis. - Thomas N. Reynolds; William L. Harrison; Rohit Chadha; Gerard Allwein (TyDe@ICFP, 2020)

A Mechanized Semantic Metalanguage for High Level Synthesis. - William L. Harrison; Chris Hathhorn; Gerard Allwein (PPDP, 2021)