DOI,IST REx ID,Research Group,Title of publication
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.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
10.1016/j.jco.2015.06.002,1792,HeEd,A Koksma-Hlawka inequality for general discrepancy systems
null,1399,"HeEd,GradSch",On the approximation of intrinsic volumes
10.1098/rspb.2015.1041,1709,KrCh,Biological auctions with multiple rewards
null,1400,"KrCh,GradSch",The subclonal evolution of cancer
10.1371/journal.pgen.1005639,1666,"NiBa,CaGu,GaTk",Dynamics of transcription factor binding site evolution