nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A cubic-time algorithm for computing the trinet distance between level-1 networks
|
Moulton, Vincent |
|
2017 |
123 |
C |
p. 36-41 6 p. |
artikel |
2 |
Composing ordered sequential consistency
|
Lev-Ari, Kfir |
|
2017 |
123 |
C |
p. 47-50 4 p. |
artikel |
3 |
Editorial Board
|
|
|
2017 |
123 |
C |
p. IFC- 1 p. |
artikel |
4 |
Faster string matching based on hashing and bit-parallelism
|
Al-Ssulami, Abdulrakeeb M. |
|
2017 |
123 |
C |
p. 51-55 5 p. |
artikel |
5 |
Finite-state concurrent programs can be expressed succinctly in triple normal form
|
Attie, Paul C. |
|
2017 |
123 |
C |
p. 8-13 6 p. |
artikel |
6 |
New results on the coarseness of bicolored point sets
|
Díaz-Báñez, J.M. |
|
2017 |
123 |
C |
p. 1-7 7 p. |
artikel |
7 |
On approximate pattern matching with thresholds
|
Zhang, Peng |
|
2017 |
123 |
C |
p. 21-26 6 p. |
artikel |
8 |
Oriented, 2-edge-colored, and 2-vertex-colored homomorphisms
|
Ochem, Pascal |
|
2017 |
123 |
C |
p. 42-46 5 p. |
artikel |
9 |
Parametric runtime verification is NP-complete and coNP-complete
|
Chen, Zhe |
|
2017 |
123 |
C |
p. 14-20 7 p. |
artikel |
10 |
Top-k Manhattan spatial skyline queries
|
Son, Wanbin |
|
2017 |
123 |
C |
p. 27-35 9 p. |
artikel |