The Nuprl Open Logical Environment. - Stuart F. Allen; Robert L. Constable; Richard Eaton; Christoph Kreitz; Lori Lorigo (CADE, 2000)

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. - Stephan Schmitt; Lori Lorigo; Christoph Kreitz; Aleksey Nogin (IJCAR, 2001)

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; et al. (TPHOLs, 2003)

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 (MKM, 2004)

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)

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)

Frequency and structure of long distance scholarly collaborations in a physics community. - Lori Lorigo; Fabio Pellacini (J. Assoc. Inf. Sci. Technol., 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)

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)