DOI,IST REx ID,Title of publication
10.1103/PhysRevLett.104.016401,385,STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
null,3850,Polygonal reconstruction from approximate offsets
10.1007/978-3-642-14162-1_50,3851,Energy parity games
10.4204/EPTCS.25.6,3852,Discounting in games across time scales
10.1007/978-3-642-15375-4_19,3853,Mean-payoff automaton expressions
10.1007/978-3-642-15375-4_20,3854,Obliging games
10.1007/978-3-642-15155-2_24,3855,Qualitative analysis of partially-observable Markov Decision Processes
10.1007/978-3-642-15155-2_23,3856,Randomness for free
10.1007/978-3-642-15643-4_1,3857,Probabilistic Automata on infinite words: decidability and undecidability results
10.1007/978-3-642-16242-8_1,3858,The complexity of partial-observation parity games
10.1007/978-3-642-15297-9,3859,Formal modeling and analysis of timed systems
10.4230/LIPIcs.FSTTCS.2010.505,3860,Generalized mean-payoff and energy games
10.1016/j.ic.2009.07.004,3861,Strategy logic
10.1145/1805950.1805953,3862,Quantitative languages
10.1016/j.ic.2009.09.006,3863,Strategy construction for parity games with imperfect information
10.1007/978-3-642-14295-6_34,3864,Measuring and synthesizing systems in probabilistic environments
10.1007/978-3-642-12029-9_21,3865,Analyzing the impact of change in multi-threaded programs
10.1007/978-3-642-14295-6_36,3866,Robustness in the presence of liveness
10.2168/LMCS-6(3:10)2010,3867,Expressiveness and closure properties for quantitative languages
10.2168/LMCS-6(3:13)2010,3868,Algorithms for game metrics