| 2024 | A Certifying Algorithm for Linear (and Integer) Feasibility in Horn Constraint Systems. Piotr Wojciechowski, K. Subramani |
| 2024 | An Axiomatic Category-Based Access Control Model for Smart Homes. Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham |
| 2024 | Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae. Jordina Francès de Mas |
| 2024 | Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. Christophe Ringeissen, Laurent Vigneron |
| 2024 | Deciding Knowledge Problems Modulo Classes of Permutative Theories. Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2024 | Impact and Performance of Randomized Test-Generation Using Prolog. Marcus Gelderie, Maximilian Luff, Maximilian Peltzer |
| 2024 | Improving Logic Programs by Adding Functions. Michael Hanus |
| 2024 | Introducing Quantification into a Hierarchical Graph Rewriting Language. Haruto Mishina, Kazunori Ueda |
| 2024 | Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings Juliana Bowles, Harald Søndergaard |
| 2024 | Parallel Assembly Synthesis. Jingmei Hu, Stephen Chong, Margo I. Seltzer |
| 2024 | Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro |
| 2024 | Proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting Systems. Takahito Aoto |
| 2024 | Rewriting Induction for Higher-Order Constrained Term Rewriting Systems. Kasper Hagens, Cynthia Kop |
| 2024 | Towards Specification-Guarded Refactoring. Adam D. Barwell, Christopher Brown, Susmit Sarkar |