| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A finite axiomatization of conditional independence and inclusion dependencies
|
Hannula, Miika
|
|
2016
|
249 |
C |
p. 121-137
17 p.
|
article
|
| 2 |
A general SOS theory for the specification of probabilistic transition systems
|
D'Argenio, Pedro R.
|
|
2016
|
249 |
C |
p. 76-109
34 p.
|
article
|
| 3 |
A Kripke logical relation for effect-based program transformations
|
Birkedal, Lars
|
|
2016
|
249 |
C |
p. 160-189
30 p.
|
article
|
| 4 |
Approximate strip packing: Revisited
|
Han, Xin
|
|
2016
|
249 |
C |
p. 110-120
11 p.
|
article
|
| 5 |
A space-efficient simulation algorithm on probabilistic automata
|
Zhang, Lijun
|
|
2016
|
249 |
C |
p. 138-159
22 p.
|
article
|
| 6 |
Bounds for online bin packing with cardinality constraints
|
Békési, József
|
|
2016
|
249 |
C |
p. 190-204
15 p.
|
article
|
| 7 |
Characterising REGEX languages by regular languages equipped with factor-referencing
|
Schmid, Markus L.
|
|
2016
|
249 |
C |
p. 1-17
17 p.
|
article
|
| 8 |
Dynamic input/output automata: A formal and compositional model for dynamic systems
|
Attie, Paul C.
|
|
2016
|
249 |
C |
p. 28-75
48 p.
|
article
|
| 9 |
Editorial Board
|
|
|
2016
|
249 |
C |
p. IFC-
1 p.
|
article
|
| 10 |
Editorial Board
|
|
|
2016
|
249 |
C |
p. i-
1 p.
|
article
|
| 11 |
Synthesis of positive logic programs for checking a class of definitions with infinite quantification
|
Galán, Francisco J.
|
|
2016
|
249 |
C |
p. 205-236
32 p.
|
article
|
| 12 |
The classification of abelian groups generated by time-varying automata and by Mealy automata over the binary alphabet
|
Woryna, Adam
|
|
2016
|
249 |
C |
p. 18-27
10 p.
|
article
|
Journal description