Gerard Allwein

2008
13	EE	William L. Harrison, Gerard Allwein, Andy Gill, Adam Procter: Asynchronous Exceptions as an Effect. MPC 2008: 153-176
12	EE	J. McDermott, Gerard Allwein: A formalism for visual security protocol modeling. J. Vis. Lang. Comput. 19(2): 153-181 (2008)
2006
11	EE	Keye Martin, Ira S. Moskowitz, Gerard Allwein: Algebraic Information Theory For Binary Channels. Electr. Notes Theor. Comput. Sci. 158: 289-306 (2006)
2005
10	EE	Nik Swoboda, Gerard Allwein: Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electr. Notes Theor. Comput. Sci. 134: 153-187 (2005)
2004
9	EE	Benedek Nagy, Gerard Allwein: Diagrams and Non-monotonicity in Puzzles. Diagrams 2004: 82-96
8	EE	Gerard Allwein: A qualitative framework for Shannon information theories. NSPW 2004: 23-31
7	EE	Gerard Allwein, Hilmi Demir, Lee Pike: Logics for Classes of Boolean Monoids. Journal of Logic, Language and Information 13(3): 241-266 (2004)
6	EE	Nik Swoboda, Gerard Allwein: Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. Software and System Modeling 3(2): 136-149 (2004)
2003
5	EE	Nik Swoboda, Gerard Allwein: Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
2002
4	EE	Nik Swoboda, Gerard Allwein: Modeling Heterogeneous Systems. Diagrams 2002: 131-145
2001
3		Gerard Allwein, Wendy MacCaull: A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica 68(2): 173-228 (2001)
1999
2		Giuseppe De Giacomo, Marie desJardins, Dolores Cañamero, Glenn S. Wasson, Michael L. Littman, Gerard Allwein, Kim Marriott, Bernd Meyer, Barbara Webb, Tom Con: The AAAI Fall Symposia. AI Magazine 20(3): 87-89 (1999)
1993
1		Gerard Allwein, J. Michael Dunn: Kripke Models for Linear Logic. J. Symb. Log. 58(2): 514-545 (1993)

Coauthor Index

1	Dolores Cañamero	[2]
2	Tom Con	[2]
3	Hilmi Demir	[7]
4	J. Michael Dunn	[1]
5	Giuseppe De Giacomo	[2]
6	Andy Gill	[13]
7	William L. Harrison	[13]
8	Michael L. Littman	[2]
9	Wendy MacCaull	[3]
10	Kim Marriott	[2]
11	Keye Martin	[11]
12	J. McDermott	[12]
13	Bernd Meyer	[2]
14	Ira S. Moskowitz	[11]
15	Benedek Nagy	[9]
16	Lee Pike	[7]
17	Adam Procter	[13]
18	Nik Swoboda	[4] [5] [6] [10]
19	Glenn S. Wasson	[2]
20	Barbara Webb	[2]
21	Marie desJardins	[2]

Colors in the list of coauthors