| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A distributed enumeration algorithm and applications to all pairs shortest paths, diameter…
|
Métivier, Y.
|
|
2016
|
247 |
C |
p. 141-151
11 p.
|
article
|
| 2 |
A framework for compositional verification of multi-valued systems via abstraction-refinement
|
Meller, Yael
|
|
2016
|
247 |
C |
p. 169-202
34 p.
|
article
|
| 3 |
Approximate matching between a context-free grammar and a finite-state automaton
|
Ko, Sang-Ki
|
|
2016
|
247 |
C |
p. 278-289
12 p.
|
article
|
| 4 |
Combined schemes for signature and encryption: The public-key and the identity-based setting
|
González Vasco, María Isabel
|
|
2016
|
247 |
C |
p. 1-10
10 p.
|
article
|
| 5 |
Distance constraint satisfaction problems
|
Bodirsky, Manuel
|
|
2016
|
247 |
C |
p. 87-105
19 p.
|
article
|
| 6 |
Editorial Board
|
|
|
2016
|
247 |
C |
p. IFC-
1 p.
|
article
|
| 7 |
Editorial Board
|
|
|
2016
|
247 |
C |
p. i-
1 p.
|
article
|
| 8 |
Efficient approximation of optimal control for continuous-time Markov games
|
Fearnley, John
|
|
2016
|
247 |
C |
p. 106-129
24 p.
|
article
|
| 9 |
Existential second-order logic and modal logic with quantified accessibility relations
|
Hella, Lauri
|
|
2016
|
247 |
C |
p. 217-234
18 p.
|
article
|
| 10 |
Finite state incompressible infinite sequences
|
Calude, Cristian S.
|
|
2016
|
247 |
C |
p. 23-36
14 p.
|
article
|
| 11 |
Hybrid behaviour of Markov population models
|
Bortolussi, Luca
|
|
2016
|
247 |
C |
p. 37-86
50 p.
|
article
|
| 12 |
Introduction to clarithmetic II
|
Japaridze, Giorgi
|
|
2016
|
247 |
C |
p. 290-312
23 p.
|
article
|
| 13 |
No Future without (a hint of) Past
|
Pardo (Ordentlich), Dorit
|
|
2016
|
247 |
C |
p. 203-216
14 p.
|
article
|
| 14 |
On the isomorphism problem for Helly circular-arc graphs
|
Köbler, Johannes
|
|
2016
|
247 |
C |
p. 266-277
12 p.
|
article
|
| 15 |
On the role of update constraints and text-types in iterative learning
|
Jain, Sanjay
|
|
2016
|
247 |
C |
p. 152-168
17 p.
|
article
|
| 16 |
Parameterized complexity of the anchored k-core problem for directed graphs
|
Chitnis, Rajesh
|
|
2016
|
247 |
C |
p. 11-22
12 p.
|
article
|
| 17 |
Re-visiting axioms of information systems
|
Huang, Mengqiao
|
|
2016
|
247 |
C |
p. 130-140
11 p.
|
article
|
| 18 |
Smoothed model checking for uncertain Continuous-Time Markov Chains
|
Bortolussi, Luca
|
|
2016
|
247 |
C |
p. 235-253
19 p.
|
article
|
| 19 |
Topology recognition with advice
|
Fusco, Emanuele G.
|
|
2016
|
247 |
C |
p. 254-265
12 p.
|
article
|
Journal description