DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-23217-6_27,3362,ToHe,Dynamic reactive modules
10.48550/arXiv.1104.0127,3363,"KrCh,ToHe",The decidability frontier for probabilistic automata on infinite words
10.1016/j.tcs.2010.10.022,3364,ToHe,Approximation of event probabilities in noisy cellular processes
10.1007/978-3-642-19835-9_24,3365,"KrCh,ToHe",QUASY: quantitative synthesis tool
10.1007/978-3-642-22110-1_20,3366,"ToHe,KrCh",Quantitative synthesis for concurrent programs
10.1142/S0129054111008441,3381,ToHe,Formalisms for specifying Markovian population models
10.2168/LMCS-7(4:8)2011,3315,"KrCh,ToHe",Timed parity games: Complexity and robustness
null,3302,ToHe,Static scheduling in clouds
10.1109/LICS.2011.33,3356,"ToHe,KrCh",Temporal specifications with accumulative values
10.15479/AT:IST-2011-0003,5385,"ToHe,KrCh",Temporal specifications with accumulative values
10.1145/1985342.1985345,3353,ToHe,A theory of synchronous relational interfaces
10.1145/1970398.1970404,3354,"KrCh,ToHe",Qualitative concurrent parity games
10.1007/978-3-642-17511-4_7,10908,ToHe,ABC: Algebraic Bound Computation for loops
10.1007/978-3-642-12032-9_8,4361,ToHe,Forward analysis of depth-bounded processes
10.1007/978-3-642-16612-9_32,4362,ToHe,Runtime verification for software transactional memories
10.1007/978-3-642-15297-9_13,4369,ToHe,From MTL to deterministic timed automata
10.1007/978-3-642-11319-2_6,4378,ToHe,Building a calculus of data structures
10.1145/1879021.1879022,4380,ToHe,A marketplace for cloud resources
10.1109/CLOUD.2010.71,4381,ToHe,FlexPRICE: Flexible provisioning of resources in a cloud environment
10.1145/1810479.1810529,4382,ToHe,Transactions in the jungle