|
1.
|
|
|
|
|
2.
|
|
An Introduction to Cryptocomplexity
|
|
|
3.
|
|
|
|
|
4.
|
|
Determinism, Randomization, Advice
|
|
|
5.
|
|
|
|
|
6.
|
|
Transition Systems and CCS
|
|
|
7.
|
|
A Uniform Approach
|
|
|
8.
|
|
With Applications in Computer Science
|
|
|
9.
|
|
A Framework for Specification and Analysis of...
|
|
|
10.
|
|
|
|
|
11.
|
|
Coq'Art: the Calculus of Inductive Constructions
|
|
|
12.
|
|
A Lambda Calculus Perspective
|
|
|
13.
|
|
|
|
|
14.
|
|
|
|
|
15.
|
|
Abstraction and Modelling
|
|
|
16.
|
|
Incremental Modeling of Dynamic Behaviors
|
|
|
17.
|
|
|
|
|
18.
|
|
Specification of Systems and Languages
|
|
|
19.
|
|
|
|
|
20.
|
|
From Technology to Algorithms
|
|