DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-46681-0_50,1838,KrCh,Assume-guarantee synthesis for concurrent reactive programs with partial information
10.1007/978-3-662-46681-0_12,1839,KrCh,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
10.1109/TAC.2014.2364971,1840,"CaGu,ToHe",Optimal Kullback-Leibler aggregation via information bottleneck
10.1109/TPAMI.2014.2363465,1841,VlKo,A new look at reweighted message passing
10.4171/JEMS/548,1508,LaEr,Gap universality of generalized Wigner and β ensembles
10.2168/LMCS-11(1:20)2015,1832,ToHe,Aspect-oriented linearizability proofs
10.1007/978-3-662-47666-6_10,1610,"KrCh,ToHe",Edit distance for pushdown automata
10.1109/LICS.2015.32,1657,"KrCh,ToHe",Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v2-1,5435,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-318-v1-1,5429,KrCh,Unifying two views on multiple mean-payoff objectives in Markov decision processes
10.15479/AT:IST-2015-334-v1-1,5438,KrCh,Edit distance for pushdown automata
10.1109/LICS.2015.34,1661,KrCh,Improved algorithms for one-pair and k-pair Streett objectives
10.1371/journal.pcbi.1004541,1566,CaHe,An exploration of the universe of polyglutamine structures
10.1371/journal.pcbi.1004541.s001,9714,CaHe,An exploration of the universe of polyglutamine structures - submission to PLOS journals
10.1137/140993934,1555,HeEd,Rich bifurcation structure in a two patch vaccination model
10.5281/zenodo.33178,1525,E-Lib,"Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA"
10.1016/j.ipl.2014.09.001,2034,KrCh,Probabilistic opacity for Markov decision processes
10.1016/j.jtbi.2015.07.011,1542,"NiBa,CaGu",Toward a unifying framework for evolutionary processes
10.1109/LICS.2015.72,1656,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2015-170-v2-2,5436,"KrCh,ToHe",Nested weighted automata