Concepedia

Gerard Allwein

GA

Statistics

Publications

10

Citations

318

H-Index

10

Active since

1993

Affiliations

United States Naval Research Laboratory(Current)

Universidad Politécnica de Madrid

Indiana University Bloomington

Naval Research Laboratory Information Technology Division

University of Missouri

Gerard Allwein is an author at United States Naval Research Laboratory specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsEntropyVerificationAutomated ReasoningInformationHardware SystemsHardware SecurityFormal Verification

Publications per year

1993–2017

10

Publications

10

Kripke models for linear logic

Gerard Allwein, J. Michael Dunn · Journal of Symbolic Logic · 1993 · 117 citations

Applied Logic, Computational Logic, Kripke Models +12

Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference

Nik Swoboda, Gerard Allwein · Software & Systems Modeling · 2004 · 60 citations

Artificial Intelligence, Engineering, Machine Learning +5

Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL

Nik Swoboda, Gerard Allwein · Electronic Notes in Theoretical Computer Science · 2005 · 39 citations · Full text

Algebraic information theory for binary channels

Keye Martin, Ira S. Moskowitz, Gerard Allwein · Theoretical Computer Science · 2010 · 22 citations

Channel Capacity Estimation, Entropy, Multi-terminal Information Theory +2

Semantics Driven Hardware Design, Implementation, and Verification with ReWire

Adam Procter, William L. Harrison, Ian Graves et al. · 2015 · 20 citations

Hardware Modeling, Engineering, Hardware Verification Language +16

1–5 of 10