- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j5 |      | Lori Lorigo, Maya Haridasan, Hrönn Brynjarsdóttir, Ling Xia, Thorsten Joachims, Geri Gay, Laura A. Granka, Fabio Pellacini, Bing Pan: Eye tracking and online search: Lessons learned and challenges ahead. JASIST 59(7): 1041-1052 (2008) |
| 2007 | ||
| j4 | | Lori Lorigo, Fabio Pellacini: Frequency and structure of long distance scholarly collaborations in a physics community. JASIST 58(10): 1497-1502 (2007) |
| j3 | | Bing Pan, Helene Hembrooke, Thorsten Joachims, Lori Lorigo, Geri Gay, Laura A. Granka: In Google We Trust: Users' Decisions on Rank, Position, and Relevance. J. Computer-Mediated Communication 12(3): 801-823 (2007) |
| 2006 | ||
| j2 | | 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. Inf. Process. Manage. 42(4): 1123-1131 (2006) |
| j1 | | Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran: Innovations in computational type theory using Nuprl. J. Applied Logic 4(4): 428-469 (2006) |
| 2004 | ||
| c4 | | 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. MKM 2004: 220-235 |
| 2003 | ||
| c3 | | 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. TPHOLs 2003: 287-303 |
| 2001 | ||
| c2 | | Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin: JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR 2001: 421-426 |
| 2000 | ||
| c1 | | Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo: The Nuprl Open Logical Environment. CADE 2000: 170-176 |
Colors in the list of coauthors
Last update Sat May 18 20:25:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page