Get started
Author

Gerard Allwein

Observed names: Allwein, Gerard, G. Allwein, GERARD ALLWEIN, Gerard T. Allwein
OpenAlex ID: A5070038296
Logical Reasoning with Diagrams
1996 · Gerard Allwein, Jon Barwise · Oxford University Press eBooks · 160
Kripke models for linear logic
1993 · Gerard Allwein, J. Michael Dunn · Journal of Symbolic Logic · 120
Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference
2004 · Nik Swoboda, Gerard Allwein · Software & Systems Modeling · 60
Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL
2005 · Nik Swoboda, Gerard Allwein · Electronic Notes in Theoretical Computer Science · 39
PDF
Algebraic information theory for binary channels
2010 · Keye Martin, Ira S. Moskowitz, et al. · Theoretical Computer Science · 22
PDF
Semantics Driven Hardware Design, Implementation, and Verification with ReWire
2015 · Adam Procter, William L. Harrison, et al. · 21
A New Framework for Shannon Information Theory
2004 · Gerard T. Allwein, Ira S. Moskowitz, et al. · Defense Technical Information Center (DTIC) · 16
A qualitative framework for Shannon information theories
2005 · Gerard Allwein · New Security Paradigms Workshop · 15
A Case Study of the Design and Implementation of Heterogeneous Reasoning Systems
2002 · Nik Swoboda, Gerard Allwein · Applied logic series · 15
Modeling Heterogeneous Systems
2002 · Nik Swoboda, Gerard Allwein · Lecture notes in computer science · 14
A Kripke Semantics for the Logic of Gelfand Quantales
2001 · Gerard Allwein, Wendy MacCaull · Studia Logica · 14
Algebraic Information Theory For Binary Channels
2006 · Keye Martin, Ira S. Moskowitz, et al. · Electronic Notes in Theoretical Computer Science · 12
PDF
A Principled Approach to Secure Multi-core Processor Design with ReWire
2017 · Adam Procter, William L. Harrison, et al. · ACM Transactions on Embedded Computing Systems · 10
Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference
2003 · Nik Swoboda, Gerard Allwein · Electronic Notes in Theoretical Computer Science · 10
PDF
Diagrams and Non-monotonicity in Puzzles
2004 · Benedek Nagy, Gerard Allwein · Lecture notes in computer science · 9
Hardware Synthesis from Functional Embedded Domain-Specific Languages: A Case Study in Regular Expression Compilation
2015 · Ian Graves, Adam Procter, et al. · Lecture notes in computer science · 8
The Confinement Problem in the Presence of Faults
2012 · William L. Harrison, Adam Procter, et al. · Lecture notes in computer science · 8
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software
2009 · William L. Harrison, Adam M. Procter, et al. · Lecture notes in computer science · 8
Model-driven design & synthesis of the SHA-256 cryptographic hash function in ReWire
2016 · William L. Harrison, Adam M. Procter, et al. · International Workshop on Rapid System Prototyping (RSP) · 7
Partially-ordered Modalities.
2010 · Gerard Allwein, William L. Harrison · 7
A programming model for reconfigurable computing based in functional concurrency
2016 · William L. Harrison, Ian Graves, et al. · International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) · 6
Provably Correct Development of reconfigurable hardware designs via equational reasoning
2015 · Ian Graves, Adam Procter, et al. · International Conference on Field-Programmable Technology (FPT) · 6
Intelligent Diagrammatic Interfaces: State of the Art
2002 · Bernd Meyer, Kim Marriott, et al. · Springer eBooks · 6
A Kripke semantics for linear logic
1993 · Gerard Allwein, J. Michael Dunn · 6
Semantics-directed machine architecture in ReWire
2013 · Adam Procter, William L. Harrison, et al. · International Conference on Field-Programmable Technology (FPT) · 5
Works count: 52
Citation count: 640
H-index: 12
I10-index: 14
Year
Topic
Type