| 2025 | CALCO | Terminal Coalgebras for Finitary Functors. | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2025 | CSL | A Complete Inference System for Probabilistic Infinite Trace Equivalence. | Corina Crstea, Lawrence S. Moss, Victoria Noquez, Todd Schmid, Alexandra Silva, Ana Sokolova |
| 2024 | AAAI | What Do Hebbian Learners Learn? Reduction Axioms for Iterated Hebbian Learning. | Caleb Schultz Kisby, Sal A. Blanco, Lawrence S. Moss |
| 2023 | CALCO | On Kripke, Vietoris and Hausdorff Polynomial Functors ((Co)algebraic pearls). | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2023 | CALCO | Fractals from Regular Behaviours. | Todd Schmid, Victoria Noquez, Lawrence S. Moss |
| 2022 | FlAIRS | The Logic of Hebbian Learning. | Caleb Kisby, Sal A. Blanco, Lawrence S. Moss |
| 2022 | ISAIM | Probabilistic ‘If-Then’ Rules: On Bayesian Conditionals and Probabilistic Implications. | Matthias Scheutz, Kamal Premaratne, Lawrence S. Moss, Avery Caulfield |
| 2021 | CALCO | Initial Algebras Without Iteration ((Co)algebraic pearls). | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2020 | AAAI | Logics for Sizes with Union or Intersection. | Caleb Kisby, Sal A. Blanco, Alex Kruckman, Lawrence S. Moss |
| 2020 | AAAI | Probing Natural Language Inference Models through Semantic Fragments. | Kyle Richardson, Hai Hu, Lawrence S. Moss, Ashish Sabharwal |
| 2020 | EMNLP | OCNLI: Original Chinese Natural Language Inference. | Hai Hu, Kyle Richardson, Liang Xu, Lu Li, Sandra Kbler, Lawrence S. Moss |
| 2020 | FOSSACS | On Well-Founded and Recursive Coalgebras. | Jir Admek, Stefan Milius, Lawrence S. Moss |
| 2018 | CADE | Implementations of Natural Logics. | Lawrence S. Moss |
| 2018 | IJCAI | Reasoning About the Sizes of Sets: Progress, Problems, and Prospects. | Lawrence S. Moss, Charlotte Raty |
| 2017 | CALCO | Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. | David Sprunger, Lawrence S. Moss |
| 2015 | AAAI | Explaining Watson: Polymath Style. | Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss |
| 2015 | WoLLIC | Syllogistic Logic with "Most". | Jrg Endrullis, Lawrence S. Moss |
| 2014 | DLT | Eigenvalues and Transduction of Morphic Sequences. | David Sprunger, William Tune, Jrg Endrullis, Lawrence S. Moss |
| 2014 | KR | Tutorials. | Alessio Lomuscio, Lawrence S. Moss, Ekaterina Ovchinnikova, Riccardo Rosati |
| 2012 | FOSSACS | Well-Pointed Coalgebras (Extended Abstract). | Jir Admek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
| 2012 | LICS | Automatic Sequences and Zip-Specifications. | Clemens Grabmayer, Jrg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
| 2011 | CSL | Power-Set Functors and Saturated Trees. | Jir Admek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
| 2011 | TARK | Connections of coalgebra and semantic modeling. | Lawrence S. Moss |
| 2010 | FOSSACS | CIA Structures and the Semantics of Recursion. | Stefan Milius, Lawrence S. Moss, Daniel Schwencke |
| 2005 | CALCO | The Category Theoretic Solution of Recursive Program Schemes. | Stefan Milius, Lawrence S. Moss |
| 1998 | TARK | The Logic of Public Announcements and Common Knowledge and Private Suspicions. | Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki |
| 1993 | ACL | A Unification-Based Parser for Relational Grammar. | David E. Johnson, Adam Meyers, Lawrence S. Moss |
| 1992 | TARK | Topological Reasoning and The Logic of Knowledge. | Lawrence S. Moss, Rohit Parikh |
| 1989 | CSL | Algebraic Operational Semantics and Occam. | Yuri Gurevich, Lawrence S. Moss |
| 1989 | LICS | Non-Well-Founded Sets Obtained from Ideal Fixed Points | Michael W. Mislove, Lawrence S. Moss, Frank J. Oles |
| 1989 | MFPS | Generalization of Final Algebra Semantics by Relativization. | Lawrence S. Moss, Satish R. Thatte |