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 |