Sciweavers

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