dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Lori Lorigo Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLori 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBing 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)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLori Lorigo, Fabio Pellacini: Frequency and structure of long distance scholarly collaborations in a physics community. JASIST 58(10): 1497-1502 (2007)
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLori 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)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStuart 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLori 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin: JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR 2001: 421-426
2000
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo: The Nuprl Open Logical Environment. CADE 2000: 170-176

Coauthor Index

1Stuart F. Allen [1] [5]
2Brian E. Aydemir [3]
3Eli Barzilay [3]
4Mark Bickford [5]
5Hrönn Brynjarsdóttir [9]
6Yegor Bryukhov [3]
7Robert L. Constable [1] [3] [4] [5]
8Richard Eaton [1] [3] [4] [5]
9Geri Gay (Geri K. Gay) [6] [8] [9]
10Adam Granicz [3]
11Laura A. Granka [6] [8] [9]
12Maya Haridasan [9]
13Helene Hembrooke [6] [8]
14Jason Hickey [3]
15Thorsten Joachims [6] [8] [9]
16Jon M. Kleinberg [4]
17Alexei Kopylov [3]
18Christoph Kreitz [1] [2] [3] [5]
19Vladimir Krupski [3]
20E. Moran [5]
21Aleksey Nogin [2] [3]
22Bing Pan [6] [8] [9]
23Fabio Pellacini [7] [9]
24Stephan Schmitt [2] [3]
25Carl Witty [3]
26Ling Xia [9]
27Xin Yu [3]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page