| 75 | | Datta, A. | Derek, A. | Mitchell, J.C. | Roy, A. |
| | Protocol Composition Logic (PCL) |
| | Electronic Notes in Theoretical Computer Science, Volume 172, 2007-04-01, Pages 311-358 |
| 40 | | Selinger, P. |
| | Dagger Compact Closed Categories and Completely Positive Maps. (Extended Abstract) |
| | Electronic Notes in Theoretical Computer Science, Volume 170, 2007-03-06, Pages 139-163 |
| 37 | | Robbes, R. | Lanza, M. |
| | A Change-based Approach to Software Evolution |
| | Electronic Notes in Theoretical Computer Science, Volume 166, Issue SPEC. ISS., 2007-01-03, Pages 93-109 |
| 34 | | Cuppens, F. | Cuppens-Boulahia, N. | Ghorbel, M.B. |
| | High Level Conflict Management Strategies in Advanced Access Control Models |
| | Electronic Notes in Theoretical Computer Science, Volume 186, Issue SPEC. ISS., 2007-07-14, Pages 3-26 |
| 32 | | Ren, F. |
| | Affective Information Processing and Recognizing Human Emotion |
| | Electronic Notes in Theoretical Computer Science, Volume 225, Issue C, 2009-01-02, Pages 39-50 |
| 31 | | Bloem, R. | Galler, S. | Jobstmann, B. | Piterman, N. | Pnueli, A. | Weiglhofer, M. |
| | Specify, Compile, Run: Hardware from PSL |
| | Electronic Notes in Theoretical Computer Science, Volume 190, Issue 4, 2007-11-02, Pages 3-16 |
| 29 | | John, M. | Ewald, R. | Uhrmacher, A.M. |
| | A Spatial Extension to the π Calculus |
| | Electronic Notes in Theoretical Computer Science, Volume 194, Issue 3, 2008-01-20, Pages 133-148 |
| 26 | | Yoshida, N. | Vasconcelos, V.T. |
| | Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication |
| | Electronic Notes in Theoretical Computer Science, Volume 171, Issue 4, 2007-07-10, Pages 73-93 |
| 24 | | Nielsen, M. | Krukow, K. | Sassone, V. |
| | A Bayesian Model for Event-based Trust |
| | Electronic Notes in Theoretical Computer Science, Volume 172, 2007-04-01, Pages 499-521 |
| 23 | | Clouston, R.A. | Pitts, A.M. |
| | Nominal Equational Logic |
| | Electronic Notes in Theoretical Computer Science, Volume 172, 2007-04-01, Pages 223-257 |
