DOI,IST REx ID,Research Group,Title of publication
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
10.1109/isit.2015.7282898,22173,,High-girth matrices and polarization
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
10.1145/2766896,1633,ChWo,High-resolution brittle fracture simulation with boundary elements
10.1002/2014wr016102,22495,,Abiotic and biotic controls of soil moisture spatiotemporal variability and the occurrence of hysteresis
10.1002/2014jf003232,22509,,Stochastic assessment of climate impacts on hydrology and geomorphology of semiarid headwater basins using a physically based model
