| 2008 | An Infinitely-Often One-Way Function Based on an Average-Case Assumption. | Edward A. Hirsch, Dmitry Itsykson |
| 2008 | Labelled Calculi for Lukasiewicz Logics. | Didier Galmiche, Yakoub Salhi |
| 2008 | One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. | Murdoch Gabbay, Dominic P. Mulligan |
| 2008 | On a Graph Calculus for Algebras of Relations. | Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
| 2008 | On the Formal Semantics of IF-Like Logics. | Santiago Figueira, Daniel Gorn, Rafael Grimson |
| 2008 | Time Complexity and Convergence Analysis of Domain Theoretic Picard Method. | Amin Farjudian, Michal Konecn |
| 2008 | Propositional Dynamic Logic as a Logic of Belief Revision. | Jan van Eijck, Yanjing Wang |
| 2008 | Interval Additive Generators of Interval T-Norms. | Graaliz Pereira Dimuro, Benjamn R. C. Bedregal, Renata Hax Sander Reiser, Regivan Hugo Nunes Santiago |
| 2008 | On the Descriptive Complexity of Linear Algebra. | Anuj Dawar |
| 2008 | Inter-deriving Semantic Artifacts for Object-Oriented Programming. | Olivier Danvy, Jacob Johannsen |
| 2008 | Nominal Matching and Alpha-Equivalence. | Christophe Calvs, Maribel Fernndez |
| 2008 | Towards Ontology Evolution in Physics. | Alan Bundy, Michael Chan |
| 2008 | A Propositional Dynamic Logic for CCS Programs. | Mario R. F. Benevides, Luis Menasch Schechter |
| 2008 | Reasoning with Uncertainty by Nmatrix-Metric Semantics. | Ofer Arieli, Anna Zamansky |
| 2008 | Expressive Power and Decidability for Memory Logics. | Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera |
| 2008 | Conjunctive Grammars and Alternating Pushdown Automata. | Tamar Aizikowitz, Michael Kaminski |
| 2007 | Ant Colony Optimization with Adaptive Fitness Function for Satisfiability Testing. | Marcos Villagra, Benjamn Barn |
| 2007 | A Modal Distributive Law (abstract). | Yde Venema |
| 2007 | A Sketch of a Dynamic Epistemic Semiring. | Kim Solin |
| 2007 | Behavioural Differential Equations and Coinduction for Binary Trees. | Alexandra Silva, Jan J. M. M. Rutten |
| 2007 | Interval Valued QL-Implications. | Renata Hax Sander Reiser, Graaliz Pereira Dimuro, Benjamn R. C. Bedregal, Regivan Hugo Nunes Santiago |
| 2007 | Autonomous Programmable Biomolecular Devices Using Self-assembled DNA Nanostructures. | John H. Reif, Thomas H. LaBean |
| 2007 | Computational Interpretations of Classical Linear Logic. | Paulo Oliva |
| 2007 | Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus. | Michael Moortgat |
| 2007 | Spin Networks, Quantum Topology and Quantum Computation. | Louis H. Kauffman, Samuel J. Lomonaco |