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