Sciweavers

84 search results - page 3 / 17
» corr 2009
Sort
View
CORR
2009
Springer
78views Education» more  CORR 2009»
14 years 9 months ago
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Luca Bortolussi, Alberto Policriti
57
Voted
CORR
2009
Springer
86views Education» more  CORR 2009»
14 years 9 months ago
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions
Han Chen, Pasquale Malacaria
56
Voted
CORR
2009
Springer
68views Education» more  CORR 2009»
14 years 9 months ago
How to Work with Honest but Curious Judges? (Preliminary Report)
Jun Pang, Chenyi Zhang
51
Voted
CORR
2009
Springer
63views Education» more  CORR 2009»
14 years 9 months ago
Modal Logic and the Approximation Induction Principle
Maciej Gazda, Wan Fokkink