| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A higher-order characterization of probabilistic polynomial time
|
Dal Lago, Ugo
|
|
2015
|
241 |
C |
p. 114-141
28 p.
|
article
|
| 2 |
An abstract approach to stratification in linear logic
|
Boudes, Pierre
|
|
2015
|
241 |
C |
p. 32-61
30 p.
|
article
|
| 3 |
Approximate periodicity
|
Amir, Amihood
|
|
2015
|
241 |
C |
p. 215-226
12 p.
|
article
|
| 4 |
Checking determinism of regular expressions with counting
|
Chen, Haiming
|
|
2015
|
241 |
C |
p. 302-320
19 p.
|
article
|
| 5 |
Computability and realizability for interactive computations
|
Broy, Manfred
|
|
2015
|
241 |
C |
p. 277-301
25 p.
|
article
|
| 6 |
Developments in implicit computational complexity
|
Marion, Jean-Yves
|
|
2015
|
241 |
C |
p. 1-2
2 p.
|
article
|
| 7 |
Editorial Board
|
|
|
2015
|
241 |
C |
p. IFC-
1 p.
|
article
|
| 8 |
Editorial Board
|
|
|
2015
|
241 |
C |
p. i-
1 p.
|
article
|
| 9 |
Entropy of regular timed languages
|
Asarin, Eugene
|
|
2015
|
241 |
C |
p. 142-176
35 p.
|
article
|
| 10 |
Formal security proofs with minimal fuss: Implicit computational complexity at work
|
Nowak, David
|
|
2015
|
241 |
C |
p. 96-113
18 p.
|
article
|
| 11 |
Normality and two-way automata
|
Carton, Olivier
|
|
2015
|
241 |
C |
p. 264-276
13 p.
|
article
|
| 12 |
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
|
Baillot, Patrick
|
|
2015
|
241 |
C |
p. 3-31
29 p.
|
article
|
| 13 |
Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques
|
Motallebi, Hassan
|
|
2015
|
241 |
C |
p. 321-348
28 p.
|
article
|
| 14 |
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
|
Zheng, Shenggen
|
|
2015
|
241 |
C |
p. 197-214
18 p.
|
article
|
| 15 |
Quantitative classical realizability
|
Brunel, Aloïs
|
|
2015
|
241 |
C |
p. 62-95
34 p.
|
article
|
| 16 |
Session typing and asynchronous subtyping for the higher-order π-calculus
|
Mostrous, Dimitris
|
|
2015
|
241 |
C |
p. 227-263
37 p.
|
article
|
| 17 |
The complexity of multi-mean-payoff and multi-energy games
|
Velner, Yaron
|
|
2015
|
241 |
C |
p. 177-196
20 p.
|
article
|
Journal description