nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A finite axiomatization of conditional independence and inclusion dependencies
|
Hannula, Miika |
|
2016 |
249 |
C |
p. 121-137 17 p. |
artikel |
2 |
A general SOS theory for the specification of probabilistic transition systems
|
D'Argenio, Pedro R. |
|
2016 |
249 |
C |
p. 76-109 34 p. |
artikel |
3 |
A Kripke logical relation for effect-based program transformations
|
Birkedal, Lars |
|
2016 |
249 |
C |
p. 160-189 30 p. |
artikel |
4 |
Approximate strip packing: Revisited
|
Han, Xin |
|
2016 |
249 |
C |
p. 110-120 11 p. |
artikel |
5 |
A space-efficient simulation algorithm on probabilistic automata
|
Zhang, Lijun |
|
2016 |
249 |
C |
p. 138-159 22 p. |
artikel |
6 |
Bounds for online bin packing with cardinality constraints
|
Békési, József |
|
2016 |
249 |
C |
p. 190-204 15 p. |
artikel |
7 |
Characterising REGEX languages by regular languages equipped with factor-referencing
|
Schmid, Markus L. |
|
2016 |
249 |
C |
p. 1-17 17 p. |
artikel |
8 |
Dynamic input/output automata: A formal and compositional model for dynamic systems
|
Attie, Paul C. |
|
2016 |
249 |
C |
p. 28-75 48 p. |
artikel |
9 |
Editorial Board
|
|
|
2016 |
249 |
C |
p. IFC- 1 p. |
artikel |
10 |
Editorial Board
|
|
|
2016 |
249 |
C |
p. i- 1 p. |
artikel |
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. |
artikel |
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. |
artikel |