| 2007 | A Complete and Compact Propositional Deontic Logic. Pablo F. Castro, T. S. E. Maibaum |
| 2007 | A Framework for Incorporating Trust into Formal Systems Development. Fredrik Degerlund, Kaisa Sere |
| 2007 | A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. Rafael del Vado Vírseda |
| 2007 | A Logical Calculus for Modelling Interferences. Christophe Fouqueré |
| 2007 | A Randomized Algorithm for BBCSPs in the Prover-Verifier Model. K. Subramani |
| 2007 | Algebraic Semantics for Compensable Transactions. Jing Li, Huibiao Zhu, Jifeng He |
| 2007 | Automatic Refinement of Split Binary Semaphore. Damián Barsotti, Javier O. Blanco |
| 2007 | Axiomatizing Extended Temporal Logic Fragments Via Instantiation. Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
| 2007 | Bisimulations for a Distributed Higher Order Zining Cao |
| 2007 | Building Extended Canonizers by Graph-Based Deduction. Silvio Ranise, Christelle Scharff |
| 2007 | C-clock-WS: A Timed Service-Oriented Calculus. Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
| 2007 | Composing Transformations to Optimize Linear Code. Thomas Noll, Stefan Rieger |
| 2007 | Controlling Process Modularity in Mobile Computing. Takashi Kitamura, Huimin Lin |
| 2007 | Data-Distributions in Virginia Niculescu |
| 2007 | Deciding Weak Bisimilarity of Normed Context-Free Processes Using Tableau. Xinxin Liu, Haiyan Chen |
| 2007 | Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems. Yinghua Chen, Bican Xia, Lu Yang, Naijun Zhan, Chaochen Zhou |
| 2007 | Distributed Time-Asynchronous Automata. Catalin Dima, Ruggero Lanotte |
| 2007 | Domain Theory: Practice and Theories A Discussion of Possible Research Topics. Dines Bjørner |
| 2007 | FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio |
| 2007 | Failures: Their Definition, Modelling and Analysis. Brian Randell, Maciej Koutny |
| 2007 | Linear Context Free Languages. Roussanka Loukanova |
| 2007 | Linking Semantic Models. Jifeng He |
| 2007 | Mobile Ambients with Timers and Types. Bogdan Aman, Gabriel Ciobanu |
| 2007 | On Equality Predicates in Algebraic Specification Languages. Masaki Nakamura, Kokichi Futatsugi |
| 2007 | On the Expressive Power of QLTL. Zhilin Wu |
| 2007 | Quasi-interpretation Synthesis by Decomposition. Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux |
| 2007 | Reflection and Preservation of Properties in Coalgebraic (bi)Simulations. Ignacio Fábregas, Miguel Palomino, David de Frutos-Escrig |
| 2007 | Regular Linear Temporal Logic. Martin Leucker, César Sánchez |
| 2007 | Skolem Machines and Geometric Logic. John Fisher, Marc Bezem |
| 2007 | Stepwise Development of Simulink Models Using the Refinement Calculus Framework. Pontus Boström, Lionel Morel, Marina Waldén |
| 2007 | Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Cliff B. Jones, Zhiming Liu, Jim Woodcock |
| 2007 | Tree Components Programming: An Application to XML. Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo |
| 2007 | Verifying Lock-Freedom Using Well-Founded Orders. Robert Colvin, Brijesh Dongol |