DOI,IST REx ID,Research Group,Title of publication
10.1145/2745799,1808,ToHe,Guest editors' introduction to special issue on computational methods in systems biology
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-662-46681-0_47,1835,"ToHe,CaGu,NiBa",Model checking gene regulatory networks
10.1007/978-3-662-46669-8_5,1836,ToHe,Segment abstraction for worst-case execution time analysis
10.1109/TAC.2014.2364971,1840,"CaGu,ToHe",Optimal Kullback-Leibler aggregation via information bottleneck
10.1007/s00236-015-0215-4,1846,"ToHe,KrCh",Refinement checking on parametric modal transition systems
10.1145/2699430,1856,"KrCh,ToHe",Measuring and synthesizing systems in probabilistic environments
10.1145/2688906,1861,"ToHe,GaTk",Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks
10.1145/2701001,1866,ToHe,The equivalence problem for finite automata: Technical perspective
10.1007/978-3-319-15317-9_19,1882,"ToHe,KrCh",Compositionality for quantitative specifications
10.1145/2676726.2677008,1992,ToHe,Succinct representation of concurrent trace sets
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-335-v1-1,5439,ToHe,The target discounted-sum problem
10.15479/AT:ISTA:28,5549,"KrCh,ToHe",Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
10.3389/fenvs.2015.00042,10794,"ToHe,GaTk",Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
10.4204/EPTCS.169.5,1702,ToHe,Generalised interpolation by solving recursion free-horn clauses
10.1016/j.tcs.2014.08.019,1733,"ToHe,KrCh",Interface simulation distances
10.1007/978-3-319-13338-6_6,1869,ToHe,Suraq - a controller synthesis tool using uninterpreted functions
10.4230/LIPIcs.FSTTCS.2014.431,1870,ToHe,Lipschitz robustness of finite-state transducers
10.1007/978-3-319-11936-6_14,1872,ToHe,Extensional crisis and proving identity