| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Correction: Directed capacity-preserving subgraphs: hardness and exact polynomial algorithms
|
Chimani, Markus
|
|
|
62 |
3 |
|
artikel
|
| 2 |
Gray-box runtime enforcement of hyperproperties
|
Hsu, Tzu-Han
|
|
|
62 |
3 |
|
artikel
|
| 3 |
Novel tree-search method for synthesizing SMT strategies
|
Lu, Zhengyang John
|
|
|
62 |
3 |
|
artikel
|
| 4 |
On integer linear programs for treewidth based on perfect elimination orderings (extended version)
|
Mallach, Sven
|
|
|
62 |
3 |
|
artikel
|
| 5 |
On the 3-tree core of plane graphs
|
Mondal, Debajyoti
|
|
|
62 |
3 |
|
artikel
|
| 6 |
Parameterized lower bounds for the weighted vertex cover problem in trees
|
Wojciechowski, P.
|
|
|
62 |
3 |
|
artikel
|
| 7 |
Preserving hyperproperties of programs using primitives with consensus number 2
|
Attiya, Hagit
|
|
|
62 |
3 |
|
artikel
|
| 8 |
Reasoning over n-indexed sequences in SMT
|
Ait-El-Hara, Hichem Rami
|
|
|
62 |
3 |
|
artikel
|
| 9 |
The Primitive Deficiency of two Primitive Strings
|
Echi, Othman
|
|
|
62 |
3 |
|
artikel
|
| 10 |
Tracy, traces, and transducers: computable counterexamples and explanations for HyperLTL model-checking
|
Winter, Sarah
|
|
|
62 |
3 |
|
artikel
|
Tijdschrift beschrijving