DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-10936-7_17,1875,ToHe,Cost-aware automatic program repair
10.15479/AT:IST-2014-148-v2-1,5411,ToHe,Compositional specifications for IOCO testing
10.15479/AT:IST-2014-171-v1-1,5416,ToHe,Model measuring for hybrid systems
10.15479/AT:IST-2014-172-v1-1,5417,ToHe,From model checking to model measuring
10.15479/AT:IST-2014-315-v1-1,5428,"ToHe,KrCh",Quantitative fair simulation games
10.1007/978-3-319-11936-6_17,2026,ToHe,Rabinizer 3: Safraless translation of ltl to small deterministic automata
10.1007/978-3-662-44584-6_18,2053,"ToHe,KrCh",Probabilistic bisimulation: Naturally on distributions
10.1007/s00285-013-0738-7,2056,"CaGu,ToHe",Markov chain aggregation and its applications to combinatorial reaction networks
10.1007/978-3-319-08867-9_31,2063,"KrCh,ToHe",CEGAR for qualitative analysis of probabilistic systems
10.1016/j.tcs.2014.08.019,1733,"ToHe,KrCh",Interface simulation distances
10.2168/LMCS-10(1:10)2014,2233,ToHe,Exact and approximate determinization of discounted-sum automata
10.1007/978-3-319-11936-6_8,2027,"KrCh,ToHe",Verification of Markov decision processes using learning algorithms
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.1145/2629686,2038,"ToHe,KrCh",Temporal specifications with accumulative values
10.1007/978-3-319-11936-6_14,1872,ToHe,Extensional crisis and proving identity
10.1145/2482767.2482789,10898,ToHe,Distributed queues in shared memory: Multicore performance and scalability through quantitative relaxation
10.4230/LIPIcs.CSL.2013.563,2243,ToHe,Elementary modal logics over transitive structures
10.1007/978-3-642-40708-6,2288,ToHe,Computational Methods in Systems Biology
10.1007/s00450-013-0251-7,2289,ToHe,Quantitative reactive modeling and verification
10.1007/978-3-642-38856-9_10,2298,ToHe,Local shape analysis for overlaid data structures