| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form
|
Hunsberger, Luke
|
|
|
293 |
C |
p.
|
article
|
| 2 |
Are bundles good deals for first-order modal logic?
|
Liu, Mo
|
|
|
293 |
C |
p.
|
article
|
| 3 |
Asymptotic elimination of partially continuous aggregation functions in directed graphical models
|
Koponen, Vera
|
|
|
293 |
C |
p.
|
article
|
| 4 |
Breaking Goppa-based McEliece with hints
|
Kirshanova, Elena
|
|
|
293 |
C |
p.
|
article
|
| 5 |
Can Romeo and Juliet meet? Or rendezvous games with adversaries on graphs
|
Fomin, Fedor V.
|
|
|
293 |
C |
p.
|
article
|
| 6 |
Complexity classification of the eight-vertex model
|
Cai, Jin-Yi
|
|
|
293 |
C |
p.
|
article
|
| 7 |
Editorial Board
|
|
|
|
293 |
C |
p.
|
article
|
| 8 |
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines
|
Bédard, Alexis
|
|
|
293 |
C |
p.
|
article
|
| 9 |
Hypernormalisation in an abstract setting
|
Garner, Richard
|
|
|
293 |
C |
p.
|
article
|
| 10 |
mrNISC from LWE with polynomial modulus
|
Shiehian, Sina
|
|
|
293 |
C |
p.
|
article
|
| 11 |
Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric
|
Cachet, Chloe
|
|
|
293 |
C |
p.
|
article
|
| 12 |
On tightness of Tsaknakis-Spirakis descent methods for approximate Nash equilibria
|
Chen, Zhaohua
|
|
|
293 |
C |
p.
|
article
|
| 13 |
Reducing the number of disjuncts in DTPs
|
Raffaele, Alice
|
|
|
293 |
C |
p.
|
article
|
| 14 |
The bang calculus revisited
|
Bucciarelli, Antonio
|
|
|
293 |
C |
p.
|
article
|
| 15 |
Traceable constant-size multi-authority credentials
|
Hébant, Chloé
|
|
|
293 |
C |
p.
|
article
|
Journal description