| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Algorithm for the Sequence Alignment with Gap Penalty Problem using Multiway Divide-and-Conquer and Matrix Transposition
|
Shubham,
|
|
|
173 |
C |
p.
|
artikel
|
| 2 |
A non-clausal tableau calculus for MinSat
|
Fiorino, Guido
|
|
|
173 |
C |
p.
|
artikel
|
| 3 |
A polylogarithmic approximation algorithm for 2-edge-connected dominating set
|
Belgi, Amir
|
|
|
173 |
C |
p.
|
artikel
|
| 4 |
Cluster deletion revisited
|
Tsur, Dekel
|
|
|
173 |
C |
p.
|
artikel
|
| 5 |
Cryptanalysis and improvements of an efficient certificate-based proxy signature scheme for IIoT environments
|
Zhu, Fei
|
|
|
173 |
C |
p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
|
173 |
C |
p.
|
artikel
|
| 7 |
End vertices of graph searches on bipartite graphs
|
Zou, Meibiao
|
|
|
173 |
C |
p.
|
artikel
|
| 8 |
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules
|
Echenim, Mnacho
|
|
|
173 |
C |
p.
|
artikel
|
| 9 |
List k-colouring P t -free graphs: A Mim-width perspective
|
Brettell, Nick
|
|
|
173 |
C |
p.
|
artikel
|
| 10 |
Online single-machine scheduling to minimize the linear combination of makespans of two agents
|
Lu, Xiwen
|
|
|
173 |
C |
p.
|
artikel
|
| 11 |
Palindromic trees for a sliding window and its applications
|
Mieno, Takuya
|
|
|
173 |
C |
p.
|
artikel
|
| 12 |
Quantum attacks on Sum of Even-Mansour pseudorandom functions
|
Shinagawa, Kazuo
|
|
|
173 |
C |
p.
|
artikel
|
| 13 |
Waypoint routing on bounded treewidth graphs
|
Schierreich, Šimon
|
|
|
173 |
C |
p.
|
artikel
|
Tijdschrift beschrijving