Sciweavers

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