| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Asymptotically optimal synthesis of reversible circuits
|
Wu, Xian
|
|
|
301 |
PA |
p.
|
artikel
|
| 2 |
Blazing a trail via matrix multiplications: A faster algorithm for non-shortest induced paths
|
Chiu, Yung-Chung
|
|
|
301 |
PA |
p.
|
artikel
|
| 3 |
Detecting causality in the presence of Byzantine processes: The case of synchronous systems
|
Misra, Anshuman
|
|
|
301 |
PA |
p.
|
artikel
|
| 4 |
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions
|
Main, James C.A.
|
|
|
301 |
PA |
p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
|
301 |
PA |
p.
|
artikel
|
| 6 |
Entropic risk for turn-based stochastic games
|
Baier, Christel
|
|
|
301 |
PA |
p.
|
artikel
|
| 7 |
Introducing variables in the evolution rules of P systems
|
Aman, Bogdan
|
|
|
301 |
PA |
p.
|
artikel
|
| 8 |
Logical equivalences, homomorphism indistinguishability, and forbidden minors
|
Seppelt, Tim
|
|
|
301 |
PA |
p.
|
artikel
|
| 9 |
Modification problems toward proper (Helly) circular-arc graphs
|
Cao, Yixin
|
|
|
301 |
PA |
p.
|
artikel
|
| 10 |
Multivariate to bivariate reduction for noncommutative polynomial factorization
|
Arvind, V.
|
|
|
301 |
PA |
p.
|
artikel
|
| 11 |
Neural-symbolic temporal decision trees for multivariate time series classification
|
Pagliarini, Giovanni
|
|
|
301 |
PA |
p.
|
artikel
|
| 12 |
Non-linear communication via graded modal session types
|
Marshall, Danielle
|
|
|
301 |
PA |
p.
|
artikel
|
| 13 |
Perspective on complexity measures targeting read-once branching programs
|
Li, Yaqiao
|
|
|
301 |
PA |
p.
|
artikel
|
| 14 |
Predictive mining of multi-temporal relations
|
Amico, Beatrice
|
|
|
301 |
PA |
p.
|
artikel
|
| 15 |
Systems of fixpoint equations: Abstraction, games, up-to techniques and local algorithms
|
Baldan, Paolo
|
|
|
301 |
PA |
p.
|
artikel
|
| 16 |
Truthful and privacy-preserving generalized linear models
|
Qiu, Yuan
|
|
|
301 |
PA |
p.
|
artikel
|
| 17 |
Unifying lower bounds for algebraic machines, semantically
|
Seiller, Thomas
|
|
|
301 |
PA |
p.
|
artikel
|
| 18 |
Weighted automata and logics meet computational complexity
|
Kostolányi, Peter
|
|
|
301 |
PA |
p.
|
artikel
|
Tijdschrift beschrijving