Sciweavers

31 search results - page 1 / 7
» fct 2005
Sort
View
86
Voted
FCT
2005
Springer
15 years 6 months ago
A Type System for Computationally Secure Information Flow
Peeter Laud, Varmo Vene
68
Voted
FCT
2005
Springer
15 years 6 months ago
Algorithms for Graphs Embeddable with Few Crossings Per Edge
Alexander Grigoriev, Hans L. Bodlaender
69
Voted
FCT
2005
Springer
15 years 6 months ago
Improved Algorithms and Complexity Results for Power Domination in Graphs
Jiong Guo, Rolf Niedermeier, Daniel Raible
69
Voted
FCT
2005
Springer
15 years 6 months ago
On Approximating Real-World Halting Problems
Sven Köhler, Christian Schindelhauer, Martin ...
89
Voted
FCT
2005
Springer
15 years 6 months ago
On the Complexity of Uniformly Mixed Nash Equilibria and Related Regular Subgraph Problems
Vincenzo Bonifaci, Ugo Di Iorio, Luigi Laura