Lorigo, L., Pellacini, F. (2007). Frequency and Structure of Long Distance Collaborations amongst Physicists. Journal of the American Society for Information Science and Technology (JASIST) Volume 58, Issue 10, pp. 1497-1502.
Pan, B., Hembrooke, H., Joachims, T., Lorigo, L., Gay, G., and Granka, L. (2006). In Google we trust: Users’ decisions on rank, position and relevancy. Journal of Computer-Mediated Communication, 12(3), article 3.
Lorigo, L. (2006). Information Management in the Service of Knowledge and Discovery (abstract). PhD Dissertation, Information Science, Cornell University.
Allen, S., Constable, R., Lorigo, L. (2006). Using Formal Reference to Enhance Authority and Integrity in Online Mathematical Texts. Journal of Electronic Publishing (JEP).
Lorigo, L., Pan, B., Hembrooke, H., Joachims, T., Granka, L., Gay, G. (2005). The Influence of Task and Gender on Search and Evaluation Behavior Using Google. Information Processing and Management (IPM).
Allen, S., Bickford, M., Constable, R., Eaton, R., Lorigo, L., Moran, E. (2005). Innovations in Computational Type Theory using Nuprl. Journal of Applied Logic, 2005.
Lorigo, L., Cardie, C., Gay, G., Sengers, P. (2005). Graduate Study in Information Science at Cornell University. In CHI '05 Workshop in Human Factors in Computing Systems (Portland, OR, USA, April 02 - 07, 2005). ACM Press.
Lorigo, L., Kleinberg, J., Eaton, R., Constable, R. (2004). A Graph-Based Approach towards Discerning Inherent Structures in a Digital Library of Formal Mathematics. International Conference on Mathematical Knowledge Management, Lecture Notes in Computer Science, Springer-Verlag, 2004.
Hickey, J., Nogin, A., Constable, R., Aydemir, B., Barzilay, E., Bryukhov, Y., Eaton, R., Granicz, A., Kopylov, A., Kreitz, C., Krupski, V., Lorigo, L., Schmitt, S., Witty, C., Yu, X. (2003). MetaPRL - A Modular Logical Environment. Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003), Lecture Notes in Computer Science, Springer-Verlag, 2003.
Schmitt, S., Lorigo, L., Kreitz, C., Nogin, A. (2001). Jprover: Integrating a Connection-based Theorem Prover into Interactive Proof Assistants. International Joint Conference on Automated Reasoning (IJCAR 2001), Lecture Notes in Artificial Intelligence, Springer-Verlag, 2001.
Allen, S., Constable, R., Eaton, R., Kreitz, C., Lorigo, L. (2000). The Nuprl Logical Programming Environment. International Conference on Automated Deduction (CADE 2000), Lecture Notes in Artificial Intelligence, Springer-Verlag, 2000.