| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A type and effect system for activation flow of components in Android programs
|
Choi, Kwanghoon
|
|
2014
|
114 |
11 |
p. 620-627
8 p.
|
artikel
|
| 2 |
Constant-space quantum interactive proofs against multiple provers
|
Yamakami, Tomoyuki
|
|
2014
|
114 |
11 |
p. 611-619
9 p.
|
artikel
|
| 3 |
Corrigendum to “Note on covering monotone orthogonal polygons” [Inf. Process. Lett. 104(6) (2007) 220–227]
|
Lingas, Andrzej
|
|
2014
|
114 |
11 |
p. 646-654
9 p.
|
artikel
|
| 4 |
CPL+: An improved approach for evaluating the local completeness of event logs
|
Yang, Hedong
|
|
2014
|
114 |
11 |
p. 607-610
4 p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
2014
|
114 |
11 |
p. IFC-
1 p.
|
artikel
|
| 6 |
Efficient algorithms for the longest common subsequence in k-length substrings
|
Deorowicz, Sebastian
|
|
2014
|
114 |
11 |
p. 634-638
5 p.
|
artikel
|
| 7 |
Enhanced utilization bound of Rate-Monotonic scheduling in Controller Area Networks
|
Park, Moonju
|
|
2014
|
114 |
11 |
p. 603-606
4 p.
|
artikel
|
| 8 |
Estimating the number of connected components in sublinear time
|
Berenbrink, Petra
|
|
2014
|
114 |
11 |
p. 639-642
4 p.
|
artikel
|
| 9 |
Holographic algorithms on bases of rank 2
|
Fu, Zhiguo
|
|
2014
|
114 |
11 |
p. 585-590
6 p.
|
artikel
|
| 10 |
On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
|
Gyssens, Marc
|
|
2014
|
114 |
11 |
p. 628-633
6 p.
|
artikel
|
| 11 |
On the complexity of role updating feasibility problem in RBAC
|
Lu, Jianfeng
|
|
2014
|
114 |
11 |
p. 597-602
6 p.
|
artikel
|
| 12 |
Red-black trees with relative node keys
|
Holenderski, Mike
|
|
2014
|
114 |
11 |
p. 591-596
6 p.
|
artikel
|
| 13 |
The frequent paucity of trivial strings
|
Lutz, Jack H.
|
|
2014
|
114 |
11 |
p. 643-645
3 p.
|
artikel
|
Tijdschrift beschrijving