Sciweavers

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