Lori Lorigo

According to our database, Lori Lorigo authored at least 9 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Eye tracking and online search: Lessons learned and challenges ahead.

Lori Lorigo, Maya Haridasan, Hrönn Brynjarsdóttir, Ling Xia, Thorsten Joachims, Geri Gay, Laura A. Granka, Fabio Pellacini, Bing Pan

J. Assoc. Inf. Sci. Technol., 2008

2007

In Google We Trust: Users' Decisions on Rank, Position, and Relevance.

Bing Pan, Helene Hembrooke, Thorsten Joachims, Lori Lorigo, Geri Gay, Laura A. Granka

J. Comput. Mediat. Commun., 2007

Frequency and structure of long distance scholarly collaborations in a physics community.

Lori Lorigo, Fabio Pellacini

J. Assoc. Inf. Sci. Technol., 2007

2006

Innovations in computational type theory using Nuprl.

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran

J. Appl. Log., 2006

The influence of task and gender on search and evaluation behavior using Google.

Lori Lorigo, Bing Pan, Helene Hembrooke, Thorsten Joachims, Laura A. Granka, Geri Gay

Inf. Process. Manag., 2006

2004

A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.

Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

MetaPRL - A Modular Logical Environment.

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

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2001

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

The Nuprl Open Logical Environment.

Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo

Proceedings of the Automated Deduction, 2000