Sciweavers

31 search results - page 1 / 7
» fct 2005
Sort
View
70
Voted
FCT
2005
Springer
15 years 3 months ago
A Type System for Computationally Secure Information Flow
Peeter Laud, Varmo Vene
54
Voted
FCT
2005
Springer
15 years 3 months ago
Algorithms for Graphs Embeddable with Few Crossings Per Edge
Alexander Grigoriev, Hans L. Bodlaender
FCT
2005
Springer
15 years 3 months ago
On Approximating Real-World Halting Problems
Sven Köhler, Christian Schindelhauer, Martin ...