Probabilistic satisfiability

Min-max Relations in Combinatorial Optimization

Longest paths in graphs

Factored Markov decision processes with Imprecise Transition Probabilities

Randomness extraction from weak random sources

Performace of systems with geo-replicated data with eventual consistency and timeline...

Real-time dynamic programming for Markov Decision Processes with Imprecise Proba...

Contributions for gaze interaction with virtual keyboards

Covering graphs by nontrivial paths

Detection of SLA Violations in Web Service Choreography