DOI,IST REx ID,Research Group,Title of publication
null,3302,ToHe,Static scheduling in clouds
10.1109/QEST.2011.40,3355,ToHe,Quantitative evaluation of BFT protocols
10.1145/1966445.1966476,3358,ToHe,Scheduling large jobs by abstraction refinement
10.1007/s10703-011-0131-3,531,ToHe,Verification of STM on relaxed memory models
10.1007/s00446-009-0092-6,3402,,Model checking transactional memories
10.1007/978-3-642-16612-9_32,4362,ToHe,Runtime verification for software transactional memories
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
10.1007/978-3-642-11970-5_7,4395,,Verifying local transformations on relaxed memory models
null,4363,,Formalizing and Verifying Transactional Memories
10.1007/978-3-642-02658-4_26,4383,,Software transactional memory on relaxed memory models
1533,4385,,Preventing versus curing: avoiding conflicts in transactional memories
10.1145/1375581.1375626,4384,,Model checking transactional memories
10.1007/978-3-540-87779-0_21,4386,,Permissiveness in transactional memories
10.1007/978-3-540-85361-9_6,4387,,Completeness and nondeterminism in model checking transactional memories
10.1007/978-3-540-73368-3_4,4399,,Algorithms for interface synthesis