Gerard Allwein

	2009
14		William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein: Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software. DSL 2009: 20-44
	2008
13		William L. Harrison, Gerard Allwein, Andy Gill, Adam M. Procter: Asynchronous Exceptions as an Effect. MPC 2008: 153-176
12		J. McDermott, Gerard Allwein: A formalism for visual security protocol modeling. J. Vis. Lang. Comput. 19(2): 153-181 (2008)
	2006
11		Keye Martin, Ira S. Moskowitz, Gerard Allwein: Algebraic Information Theory For Binary Channels. Electr. Notes Theor. Comput. Sci. 158: 289-306 (2006)
	2005
10		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		Benedek Nagy, Gerard Allwein: Diagrams and Non-monotonicity in Puzzles. Diagrams 2004: 82-96
8		Gerard Allwein: A qualitative framework for Shannon information theories. NSPW 2004: 23-31
7		Gerard Allwein, Hilmi Demir, Lee Pike: Logics for Classes of Boolean Monoids. Journal of Logic, Language and Information 13(3): 241-266 (2004)
6		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		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		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	Jason Agron	[14]
2	Dolores Cañamero	[2]
3	Tom Con	[2]
4	Hilmi Demir	[7]
5	J. Michael Dunn	[1]
6	Giuseppe De Giacomo	[2]
7	Andy Gill	[13]
8	William L. Harrison	[13] [14]
9	Garrin Kimmell	[14]
10	Michael L. Littman	[2]
11	Wendy MacCaull	[3]
12	Kim Marriott	[2]
13	Keye Martin	[11]
14	J. McDermott	[12]
15	Bernd Meyer	[2]
16	Ira S. Moskowitz	[11]
17	Benedek Nagy	[9]
18	Lee Pike	[7]
19	Adam M. Procter	[13] [14]
20	Nik Swoboda	[4] [5] [6] [10]
21	Glenn S. Wasson	[2]
22	Barbara Webb	[2]
23	Marie desJardins	[2]

Colors in the list of coauthors