| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Hybrid Automata model of social networking addiction
|
Nasti, Lucia
|
|
|
100 |
C |
p. 215-229
|
article
|
| 2 |
An axiomatic semantics for ioco s _ conformance relation
|
Gregorio-RodrÃguez, Carlos
|
|
|
100 |
C |
p. 152-184
|
article
|
| 3 |
A theory of reversibility for Erlang
|
Lanese, Ivan
|
|
|
100 |
C |
p. 71-97
|
article
|
| 4 |
A type checking algorithm for concurrent object protocols
|
Padovani, Luca
|
|
|
100 |
C |
p. 16-35
|
article
|
| 5 |
Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines
|
Prasad, Sanjiva
|
|
|
100 |
C |
p. 1-15
|
article
|
| 6 |
Bestow and atomic: Concurrent programming using isolation, delegation and grouping
|
Castegren, Elias
|
|
|
100 |
C |
p. 130-151
|
article
|
| 7 |
Data-driven modelling and probabilistic analysis of interactive software usage
|
Andrei, Oana
|
|
|
100 |
C |
p. 195-214
|
article
|
| 8 |
Demand-driven interprocedural analysis for map-based abstract domains
|
Apinis, Kalmer
|
|
|
100 |
C |
p. 57-70
|
article
|
| 9 |
Editorial Board
|
|
|
|
100 |
C |
p. ii
|
article
|
| 10 |
Finding models through graph saturation
|
Joosten, Sebastiaan J.C.
|
|
|
100 |
C |
p. 98-112
|
article
|
| 11 |
On the metric-based approximate minimization of Markov Chains
|
Bacci, Giovanni
|
|
|
100 |
C |
p. 36-56
|
article
|
| 12 |
Relation Algebra as programming language using the Ampersand compiler
|
Joosten, Stef
|
|
|
100 |
C |
p. 113-129
|
article
|
| 13 |
The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication
|
Li, Dechao
|
|
|
100 |
C |
p. 185-194
|
article
|
Journal description