nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A linear-time algorithm for the center problem in weighted cycle graphs
|
Eom, Taekang |
|
|
186 |
C |
p. |
artikel |
2 |
Branching bisimulation semantics for quantum processes
|
Wu, Hao |
|
|
186 |
C |
p. |
artikel |
3 |
Correcting matrix products over the ring of integers
|
Wu, Yu-Lun |
|
|
186 |
C |
p. |
artikel |
4 |
Editorial Board
|
|
|
|
186 |
C |
p. |
artikel |
5 |
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities
|
Guelev, Dimitar P. |
|
|
186 |
C |
p. |
artikel |
6 |
Learning-augmented maximum flow
|
Polak, Adam |
|
|
186 |
C |
p. |
artikel |
7 |
Long directed detours: Reduction to 2-Disjoint Paths
|
Jacob, Ashwin |
|
|
186 |
C |
p. |
artikel |
8 |
On size-independent sample complexity of ReLU networks
|
Sellke, Mark |
|
|
186 |
C |
p. |
artikel |
9 |
Prenex universal first-order safety properties
|
Dundua, Besik |
|
|
186 |
C |
p. |
artikel |
10 |
Recognizing LBFS trees of bipartite graphs
|
Scheffler, Robert |
|
|
186 |
C |
p. |
artikel |
11 |
Red Blue Set Cover problem on axis-parallel hyperplanes and other objects
|
Abidha, V.P. |
|
|
186 |
C |
p. |
artikel |
12 |
Regular resolution effectively simulates resolution
|
Buss, Sam |
|
|
186 |
C |
p. |
artikel |
13 |
Robust scheduling for minimizing maximum lateness on a serial-batch processing machine
|
Wu, Wei |
|
|
186 |
C |
p. |
artikel |
14 |
Skolem and positivity completeness of ergodic Markov chains
|
Vahanwala, Mihir |
|
|
186 |
C |
p. |
artikel |
15 |
Smaller kernels for two vertex deletion problems
|
Tsur, Dekel |
|
|
186 |
C |
p. |
artikel |
16 |
Sparsifying Count Sketch
|
Verma, Bhisham Dev |
|
|
186 |
C |
p. |
artikel |
17 |
Splitting NP-complete sets infinitely
|
Zhang, Liyu |
|
|
186 |
C |
p. |
artikel |
18 |
The autocorrelation of a class of quaternary sequences of length pq with high complexity
|
Yan, Feifei |
|
|
186 |
C |
p. |
artikel |
19 |
The group factorization problem in finite groups of Lie type
|
Hong, Haibo |
|
|
186 |
C |
p. |
artikel |
20 |
Tight inapproximability of Nash equilibria in public goods games
|
Do Dinh, Jérémi |
|
|
186 |
C |
p. |
artikel |