| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics
|
Nalon, Cláudia
|
|
2015
|
312 |
C |
p. 125-141
17 p.
|
article
|
| 2 |
A Dependent Type Theory with Abstractable Names
|
Pitts, Andrew M.
|
|
2015
|
312 |
C |
p. 19-50
32 p.
|
article
|
| 3 |
A Framework for Developing Stand-Alone Certifiers
|
Sternagel, Christian
|
|
2015
|
312 |
C |
p. 51-67
17 p.
|
article
|
| 4 |
A Framework for the Analysis of Access Control Policies with Emergency Management
|
Alves, Sandra
|
|
2015
|
312 |
C |
p. 89-105
17 p.
|
article
|
| 5 |
A Symbolic Model for Timed Concurrent Constraint Programming
|
Arias, Jaime
|
|
2015
|
312 |
C |
p. 161-177
17 p.
|
article
|
| 6 |
Enabling Synchronous and Asynchronous Communications in CSP for SOC
|
Al-Humaimeedy, Abeer S.
|
|
2015
|
312 |
C |
p. 69-88
20 p.
|
article
|
| 7 |
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus
|
Tasistro, Álvaro
|
|
2015
|
312 |
C |
p. 215-230
16 p.
|
article
|
| 8 |
Network-Conscious π-calculus – A Model of Pastry
|
Montanari, Ugo
|
|
2015
|
312 |
C |
p. 3-17
15 p.
|
article
|
| 9 |
On Graph Calculi for Multi-modal Logics
|
Veloso, Paulo A.S.
|
|
2015
|
312 |
C |
p. 231-252
22 p.
|
article
|
| 10 |
Practical Extraction of Evidence Terms From Common-knowledge Reasoning
|
Novak, Natalia
|
|
2015
|
312 |
C |
p. 143-160
18 p.
|
article
|
| 11 |
Preface
|
Ayala-Rincón, Mauricio
|
|
2015
|
312 |
C |
p. 1-2
2 p.
|
article
|
| 12 |
Proving Concurrent Constraint Programming Correct, Revisited
|
Olarte, Carlos
|
|
2015
|
312 |
C |
p. 179-195
17 p.
|
article
|
| 13 |
Skalpel: A Type Error Slicer for Standard ML
|
Rahli, Vincent
|
|
2015
|
312 |
C |
p. 197-213
17 p.
|
article
|
| 14 |
Yet Another Bijection Between Sequent Calculus and Natural Deduction
|
Englander, Cecilia
|
|
2015
|
312 |
C |
p. 107-124
18 p.
|
article
|
Journal description