| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Acyclically 4-colorable triangulations
|
Zhu, Enqiang
|
|
2016
|
116 |
6 |
p. 401-408
8 p.
|
artikel
|
| 2 |
A linear time algorithm to compute a maximum weighted independent set on cocomparability graphs
|
Köhler, Ekkehard
|
|
2016
|
116 |
6 |
p. 391-395
5 p.
|
artikel
|
| 3 |
A note on graph proper total colorings with many distinguishing constraints
|
Yang, Chao
|
|
2016
|
116 |
6 |
p. 396-400
5 p.
|
artikel
|
| 4 |
A randomized algorithm for long directed cycle
|
Zehavi, Meirav
|
|
2016
|
116 |
6 |
p. 419-422
4 p.
|
artikel
|
| 5 |
Black-box complexity: Advantages of memory usage
|
Storch, Tobias
|
|
2016
|
116 |
6 |
p. 428-432
5 p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
2016
|
116 |
6 |
p. IFC-
1 p.
|
artikel
|
| 7 |
Existence of home states in Petri nets is decidable
|
Best, Eike
|
|
2016
|
116 |
6 |
p. 423-427
5 p.
|
artikel
|
| 8 |
Linear-vertex kernel for the problem of packing r-stars into a graph without long induced paths
|
Barbero, Florian
|
|
2016
|
116 |
6 |
p. 433-436
4 p.
|
artikel
|
| 9 |
On the complexity of exchanging
|
Molinero, Xavier
|
|
2016
|
116 |
6 |
p. 437-441
5 p.
|
artikel
|
| 10 |
On the security of two identity-based signature schemes based on pairings
|
Qin, Zhen
|
|
2016
|
116 |
6 |
p. 416-418
3 p.
|
artikel
|
| 11 |
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System
|
Bernardeschi, Cinzia
|
|
2016
|
116 |
6 |
p. 409-415
7 p.
|
artikel
|
Tijdschrift beschrijving