| 2011/07/18 |
G. Barbalias
|
Universality probability of a prefix free machine |
| 2011/06/24 |
Y. N. Moschovakis
|
Horner's rule is optimal for Polynomial 0-testing |
| 2011/06/10 |
T. Muller
|
Random Geometric Graphs |
| 2011/05/27 |
D. Fotakis
|
Winner-Imposing Strategyproof Mechanisms for Multiple Facility Location Games |
| 2011/05/20 |
A. Sirokofskich
|
Decidability of algebraic theories |
| 2011/05/13 |
A. T. Pagourtzis
|
Distributed broadcasting with few transmissions in ad hoc radio networks |
| 2011/05/06 |
A. Sidiropoulos
|
Stochastic topological simplification, and its algorithmic applications |
| 2011/04/15 |
I. Giotis
|
Approximation Algorithms for Correlation Clustering |
| 2011/04/08 |
P. Karazeris
|
Coalgebras, data types and modal logic |
| 2011/04/01 |
C. Kornaros
|
The weak regularity principle |
| 2011/03/18 |
K. Papalamprou
|
From graphs and matrices to matroids: algorithms and optimization |
| 2011/02/25 |
D. Coudert
|
Parameterized Algorithms for Shared Risk Link Groups |
| 2011/01/28 |
C. Georgiou
|
Fooling Strong LP and SDP Relaxations for Vertex Cover |
| 2011/01/24 |
B. Courcelle
|
Special tree-width and the verification of monadic second-order Properties |
| 2010/12/10 |
A. Grigoriev
|
Scheduling jobs with time-resource tradeoff via nonlinear programming |
| 2010/11/26 |
P. Karazeris
|
Coalgebras, datatypes and modal logic |
| 2010/11/19 |
I. Sau
|
Dyhamic programming for graphs on surfaces |
| 2010/11/05 |
M. Kaminski
|
Graphs within graphs—an algorithmic look at containment relations |
| 2010/10/22 |
Y. N. Moschovakis
|
The Axiomatic Derivation Of Absolute Lower Bounds |
| 2010/10/15 |
E. Zachos
|
Martin Davis: ENGINES OF LOGIC |
| 2010/10/08 |
C. Dimitracopoulos
|
The party problem and the incompleteness of Peano Arithmetic |
| 2010/10/01 |
D. Paulusma
|
The k-in-a-Path problem for claw-free graphs |