nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A language hierarchy of binary relations
|
Brough, Tara |
|
|
275 |
C |
p. |
artikel |
2 |
An efficient eCK secure identity based Two Party Authenticated Key Agreement scheme with security against active adversaries
|
Daniel, Renu Mary |
|
|
275 |
C |
p. |
artikel |
3 |
An extended coding theorem with application to quantum complexities
|
Epstein, Samuel |
|
|
275 |
C |
p. |
artikel |
4 |
A parametric framework for reversible π-calculi
|
Medić, Doriana |
|
|
275 |
C |
p. |
artikel |
5 |
Arrow update synthesis
|
van Ditmarsch, Hans |
|
|
275 |
C |
p. |
artikel |
6 |
A structured view on weighted counting with relations to counting, quantum computation and applications
|
de Campos, Cassio P. |
|
|
275 |
C |
p. |
artikel |
7 |
Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS
|
Cai, Jin-Yi |
|
|
275 |
C |
p. |
artikel |
8 |
Bounding the dimension of points on a line
|
Lutz, Neil |
|
|
275 |
C |
p. |
artikel |
9 |
Breakpoint distance and PQ-trees
|
Jiang, Haitao |
|
|
275 |
C |
p. |
artikel |
10 |
Cell-like P systems with evolutional symport/antiport rules and membrane creation
|
Song, Bosheng |
|
|
275 |
C |
p. |
artikel |
11 |
Computational fuzzy extractors
|
Fuller, Benjamin |
|
|
275 |
C |
p. |
artikel |
12 |
Distributability of mobile ambients
|
Peters, Kirstin |
|
|
275 |
C |
p. |
artikel |
13 |
Editorial Board
|
|
|
|
275 |
C |
p. |
artikel |
14 |
Granularity of wagers in games and the possibility of saving
|
Barmpalias, George |
|
|
275 |
C |
p. |
artikel |
15 |
Learning families of algebraic structures from informant
|
Bazhenov, Nikolay |
|
|
275 |
C |
p. |
artikel |
16 |
Minimum Label s-t Cut has large integrality gaps
|
Zhang, Peng |
|
|
275 |
C |
p. |
artikel |
17 |
Online recognition of dictionary with one gap
|
Amir, Amihood |
|
|
275 |
C |
p. |
artikel |
18 |
On the universal steganography of optimal rate
|
Berndt, Sebastian |
|
|
275 |
C |
p. |
artikel |
19 |
Perfect failure detection with very few bits
|
Fraigniaud, Pierre |
|
|
275 |
C |
p. |
artikel |
20 |
PPLite: Zero-overhead encoding of NNC polyhedra
|
Becchi, Anna |
|
|
275 |
C |
p. |
artikel |
21 |
Reachability of scope-bounded multistack pushdown systems
|
La Torre, Salvatore |
|
|
275 |
C |
p. |
artikel |
22 |
Reversibility of computations in graph-walking automata
|
Kunc, Michal |
|
|
275 |
C |
p. |
artikel |
23 |
Revisiting Deutsch-Jozsa algorithm
|
Qiu, Daowen |
|
|
275 |
C |
p. |
artikel |
24 |
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
|
Bian, Zhengbing |
|
|
275 |
C |
p. |
artikel |
25 |
Team equivalences for finite-state machines with silent moves
|
Gorrieri, Roberto |
|
|
275 |
C |
p. |
artikel |
26 |
The generic combinatorial algorithm for image matching with classes of projective transformations
|
Rosenke, Christian |
|
|
275 |
C |
p. |
artikel |
27 |
The link-calculus for open multiparty interactions
|
Bodei, Chiara |
|
|
275 |
C |
p. |
artikel |
28 |
Time-bounded termination analysis for probabilistic programs with delays
|
Xu, Ming |
|
|
275 |
C |
p. |
artikel |
29 |
Unique solutions of contractions, CCS, and their HOL formalisation
|
Tian, Chun |
|
|
275 |
C |
p. |
artikel |
30 |
Weighted models for higher-order computation
|
Laird, James |
|
|
275 |
C |
p. |
artikel |
31 |
WQO dichotomy for 3-graphs
|
Lasota, Sławomir |
|
|
275 |
C |
p. |
artikel |