Sciweavers

84 search results - page 3 / 17
» corr 2009
Sort
View
CORR
2009
Springer
78views Education» more  CORR 2009»
15 years 5 months ago
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Luca Bortolussi, Alberto Policriti
113
Voted
CORR
2009
Springer
68views Education» more  CORR 2009»
15 years 5 months ago
How to Work with Honest but Curious Judges? (Preliminary Report)
Jun Pang, Chenyi Zhang
CORR
2009
Springer
63views Education» more  CORR 2009»
15 years 5 months ago
Modal Logic and the Approximation Induction Principle
Maciej Gazda, Wan Fokkink