Lori Lorigo
Publications by Year
Research Areas
Logic, programming, and type systems, Information Retrieval and Search Behavior, Advanced Database Systems and Queries, Logic, Reasoning, and Knowledge, Misinformation and Its Impacts
Most-Cited Works
- → In Google We Trust: Users’ Decisions on Rank, Position, and Relevance(2007)698 cited
- → The influence of task and gender on search and evaluation behavior using Google(2005)248 cited
- → Eye tracking and online search: Lessons learned and challenges ahead(2008)186 cited
- → The Nuprl Open Logical Environment(2000)51 cited
- → MetaPRL – A Modular Logical Environment(2003)50 cited
- → JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants(2001)36 cited
- → Eye Monitoring in Online Search(2008)35 cited
- → Frequency and structure of long distance scholarly collaborations in a physics community(2007)19 cited
- → A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics(2004)3 cited
- Visualizing Paths in Context(2008)