Kevin Donnelly Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2010
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Donnelly, Matthew Fluet: Transactional events. J. Funct. Program. 18(5-6): 649-706 (2008)
2007
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeremy Avigad, Kevin Donnelly: A Decision Procedure for Linear "Big O" Equations. J. Autom. Reasoning 38(4): 353-373 (2007)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1) (2007)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeremy Avigad, Kevin Donnelly: A decision procedure for linear "big O" equations. CoRR abs/cs/0701073 (2007)
2006
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Donnelly, Matthew Fluet: Transactional events. ICFP 2006: 124-135
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury: Formal semantics of weak references. ISMM 2006: 126-137
2005
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sa Cui, Kevin Donnelly, Hongwei Xi: ATS: A Language That Combines Programming with Theorem Proving. FroCoS 2005: 310-320
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kevin Donnelly, Hongwei Xi: Combining higher-order abstract syntax with first-order abstract syntax in ATS. MERLIN 2005: 58-63
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. CoRR abs/cs/0509025 (2005)
2004
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeremy Avigad, Kevin Donnelly: Formalizing O Notation in Isabelle/HOL. IJCAR 2004: 357-371
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Thu May 23 22:08:25 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page