Lori Lorigo

Publication Activity (10 Years)

Years Active: 2000-2008
Publications (10 Years): 0

Publications

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. J. Assoc. Inf. Sci. Technol. 59 (7) (2008)
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. Comput. Mediat. Commun. 12 (3) (2007)
Lori Lorigo, Fabio Pellacini
Frequency and structure of long distance scholarly collaborations in a physics community. J. Assoc. Inf. Sci. Technol. 58 (10) (2007)
Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
Innovations in computational type theory using Nuprl. J. Appl. Log. 4 (4) (2006)
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. Manag. 42 (4) (2006)
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)
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)
Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR (2001)
Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
The Nuprl Open Logical Environment. CADE (2000)