Search the dblp DataBase

Publications of Author

1. Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
   The Nuprl Open Logical Environment. [Citation Graph (0, 0)][DBLP]
   CADE, 2000, pp:170-176 [Conf]
   
2. Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
   JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:421-426 [Conf]
   
3. Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable
   A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:220-235 [Conf]
   
4. Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
   MetaPRL - A Modular Logical Environment. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2003, pp:287-303 [Conf]
   
5. Lori Lorigo, Bing Pan, Helene Hembrooke, Thorsten Joachims, Laura A. Granka, Geri Gay
   The influence of task and gender on search and evaluation behavior using Google. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Manage., 2006, v:42, n:4, pp:1123-1131 [Journal]
   
6. Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
   Innovations in computational type theory using Nuprl. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:428-469 [Journal]