Kevin Donnelly

	2010
15		Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets: The Complexity of Restricted Variants of the Stable Paths Problem. Fundam. Inform. 103(1-4): 69-87 (2010)
	2009
14		Francis M. Tyers, Kevin Donnelly: apertium-cy - a collaboratively-developed free RBMT system for Welsh to English. Prague Bull. Math. Linguistics 91: 57-66 (2009)
	2008
13		Kevin Donnelly, Matthew Fluet: Transactional events. J. Funct. Program. 18(5-6): 649-706 (2008)
	2007
12		Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
11		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1): (2007)
10		Jeremy Avigad, Kevin Donnelly: A decision procedure for linear "big O" equations CoRR abs/cs/0701073: (2007)
9		Kevin Donnelly, Hongwei Xi: A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. Electr. Notes Theor. Comput. Sci. 174(5): 109-125 (2007)
8		Jeremy Avigad, Kevin Donnelly: A Decision Procedure for Linear "Big O" Equations. J. Autom. Reasoning 38(4): 353-373 (2007)
	2006
7		Kevin Donnelly, Matthew Fluet: Transactional events. ICFP 2006: 124-135
6		Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury: Formal semantics of weak references. ISMM 2006: 126-137
	2005
5		Sa Cui, Kevin Donnelly, Hongwei Xi: ATS: A Language That Combines Programming with Theorem Proving. FroCos 2005: 310-320
4		Kevin Donnelly, Hongwei Xi: Combining higher-order abstract syntax with first-order abstract syntax in ATS. MERLIN 2005: 58-63
3		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem CoRR abs/cs/0509025: (2005)
	2004
2		Jeremy Avigad, Kevin Donnelly: Formalizing O Notation in Isabelle/HOL. IJCAR 2004: 357-371
1		Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park: The Inverse Method for the Logic of Bunched Implications. LPAR 2004: 466-480

Coauthor Index

1	Jeremy Avigad	[2] [3] [8] [10] [11]
2	Manuel M. T. Chakravarty	[12]
3	Sa Cui	[5]
4	Matthew Fluet	[7] [13]
5	Tyler Gibson	[1]
6	David Gray	[3] [11]
7	J. J. Hallett	[6]
8	Simon L. Peyton Jones	[12]
9	Assaf J. Kfoury (A. J. Kfoury)	[6] [15]
10	Neelakantan R. Krishnaswami (Neel Krishnaswami)	[1]
11	Andrei Lapets	[15]
12	Stephen Magill	[1]
13	Sungwoo Park	[1]
14	Paul Raff	[3] [11]
15	Martin Sulzmann	[12]
16	Francis M. Tyers	[14]
17	Hongwei Xi	[4] [5] [9]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page