| Logical reasoning with diagrams G Allwein, J Barwise Oxford University Press, 1996 | 410 | 1996 |
| Language, proof and logic J Barwise, J Etchemendy, G Allwein, D Barker-Plummer, A Liu CSLI publications, 2002 | 376 | 2002 |
| Kripke models for linear logic G Allwein, JM Dunn The Journal of Symbolic Logic 58 (2), 514-545, 1993 | 154 | 1993 |
| Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference N Swoboda, G Allwein Software & Systems Modeling 3, 136-149, 2004 | 71 | 2004 |
| Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL N Swoboda, G Allwein Electronic Notes in Theoretical Computer Science 134, 153-187, 2005 | 48 | 2005 |
| Duality for bounded lattices G Allwein, C Hartonas Indiana University Logic Group Preprint Series, IULG-93-25, 1993 | 28 | 1993 |
| Algebraic information theory for binary channels K Martin, IS Moskowitz, G Allwein Electronic Notes in Theoretical Computer Science 158, 289-306, 2006 | 26 | 2006 |
| A qualitative framework for Shannon information theories G Allwein Proceedings of the 2004 workshop on New security paradigms, 23-31, 2004 | 26 | 2004 |
| A Kripke semantics for the logic of Gelfand quantales G Allwein, W MacCaull Studia Logica 68, 173-228, 2001 | 22 | 2001 |
| Toward the rigorous use of diagrams in reasoning about hardware SD Johnson, J Barwise, G Allwein Logical reasoning with diagrams, 201-224, 1996 | 20 | 1996 |
| Semantics driven hardware design, implementation, and verification with ReWire A Procter, WL Harrison, I Graves, M Becchi, G Allwein Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages …, 2015 | 19 | 2015 |
| A case study of the design and implementation of heterogeneous reasoning systems N Swoboda, G Allwein Logical and computational aspects of model-based reasoning, 3-20, 2002 | 19 | 2002 |
| A new framework for Shannon information theory G Allwein, IS Moskowitz, LW Chang NRL Memorandum Report: NRL/MR/5540-04-8748, January 30, 2004, 2004 | 17 | 2004 |
| Modeling heterogeneous systems N Swoboda, G Allwein International Conference on Theory and Application of Diagrams, 131-145, 2002 | 17 | 2002 |
| Duality for bounded lattices. Indiana University Logic Group G Allwein, C Hartonas Preprint Series, IULG-93-25, 1993 | 16 | 1993 |
| The duality of algebraic and Kripke models for linear logic GT Allwein Indiana University, 1992 | 15 | 1992 |
| A principled approach to secure multi-core processor design with ReWire A Procter, WL Harrison, I Graves, M Becchi, G Allwein ACM Transactions on Embedded Computing Systems (TECS) 16 (2), 1-25, 2017 | 14 | 2017 |
| Partially-ordered Modalities. G Allwein, WL Harrison Advances in Modal Logic 8, 1-21, 2010 | 14 | 2010 |
| Simulation logic G Allwein, WL Harrison, D Andrews Logic and Logical Philosophy 23 (3), 277–299-277–299, 2014 | 13 | 2014 |
| A Kripke semantics for linear logic G Allwein, JM Dunn Journal of Symbolic Logic 58, 1993 | 13 | 1993 |
