| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A language-based approach to modelling and analysis of Twitter interactions
|
Maggi, Alessandro
|
|
2017
|
87 |
C |
p. 67-91
25 p.
|
artikel
|
| 2 |
An experience in using machine learning for short-term predictions in smart transportation systems
|
Bacciu, Davide
|
|
2017
|
87 |
C |
p. 52-66
15 p.
|
artikel
|
| 3 |
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
|
Delaune, Stéphanie
|
|
2017
|
87 |
C |
p. 127-144
18 p.
|
artikel
|
| 4 |
Automated specification and verification of Web-based applications
|
ter Beek, Maurice H.
|
|
2017
|
87 |
C |
p. 51-
1 p.
|
artikel
|
| 5 |
Conflicting accounts of λ-definability
|
Jay, Barry
|
|
2017
|
87 |
C |
p. 1-3
3 p.
|
artikel
|
| 6 |
Content dependent information flow control
|
Nielson, Hanne Riis
|
|
2017
|
87 |
C |
p. 6-32
27 p.
|
artikel
|
| 7 |
Contents
|
|
|
2017
|
87 |
C |
p. iii-
1 p.
|
artikel
|
| 8 |
Editorial Board
|
|
|
2017
|
87 |
C |
p. IFC-
1 p.
|
artikel
|
| 9 |
Editorial comments on the short note by Barry Jay
|
Panangaden, Prakash
|
|
2017
|
87 |
C |
p. 4-
1 p.
|
artikel
|
| 10 |
Formal methods for web security
|
Bugliesi, Michele
|
|
2017
|
87 |
C |
p. 110-126
17 p.
|
artikel
|
| 11 |
Join inverse categories and reversible recursion
|
Kaarsgaard, Robin
|
|
2017
|
87 |
C |
p. 33-50
18 p.
|
artikel
|
| 12 |
Preface for the 27th Nordic Workshop on Programming Theory (NWPT 2015)
|
Aceto, Luca
|
|
2017
|
87 |
C |
p. 5-
1 p.
|
artikel
|
| 13 |
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015)
|
Castellani, Ilaria
|
|
2017
|
87 |
C |
p. 93-
1 p.
|
artikel
|
| 14 |
Some undecidable properties of SOS specifications
|
Klin, Bartek
|
|
2017
|
87 |
C |
p. 94-109
16 p.
|
artikel
|
Tijdschrift beschrijving