DOI,IST REx ID,Research Group,Title of publication
10.1145/2837614.2837650,1439,ToHe,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
10.4230/LIPIcs.SNAPL.2015.90,1498,ToHe,The need for language support for fault-tolerant distributed systems
10.1007/978-3-642-54013-4_10,1392,ToHe,A logic-based framework for verifying consensus algorithms
10.1145/2491956.2462184,2301,ToHe,P: Safe asynchronous event-driven programming
10.1007/978-3-642-39799-8_54,2447,ToHe,Automating separation logic using SMT
10.15479/at:ista:1405,1405,"ToHe,GradSch",Analysis of dynamic message passing programs
10.1007/978-3-642-36742-7_5,2847,ToHe,Structural Counter Abstraction
10.1016/j.jtbi.2012.02.021,2848,"KrCh,ToHe",Evolutionary game dynamics in populations with different learners
10.1007/978-3-642-27940-9_29,3251,ToHe,Ideal abstractions for well structured transition systems
null,3302,ToHe,Static scheduling in clouds
10.1145/1966445.1966476,3358,ToHe,Scheduling large jobs by abstraction refinement
10.15479/AT:IST-2010-0001,5391,ToHe,Model checking of linearizability of concurrent list implementations
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.1007/978-3-642-14295-6_41,4390,ToHe,Model checking of linearizability of concurrent list implementations
10.1007/978-3-642-12029-9_19,4396,ToHe,Shape refinement through explicit heap analysis
10.1007/978-3-642-12032-9_8,4361,ToHe,Forward analysis of depth-bounded processes
null,4397,,CSIsat: Interpolation for LA+EUF