DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-016-0256-5,1338,ToHe,From non-preemptive to preemptive scheduling using synchronization synthesis
10.1007/s00236-016-0278-x,1351,"ToHe,CaGu,NiBa",Model checking the evolution of gene regulatory networks
10.1111/cgf.12941,1367,ChWo,Adaptive physically based models in computer graphics
10.1016/j.nahs.2016.04.006,1407,"ToHe,KrCh",Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
null,14205,FrLo,A unified optimization view on generalized matching pursuit and Frank-Wolfe
null,14206,FrLo,Greedy algorithms for cone constrained optimization with convergence guarantees
10.1016/j.jsc.2016.03.008,1433,HeEd,Phat - Persistent homology algorithms toolbox
10.1371/journal.ppat.1006758,540,GaNo,Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein
10.1371/journal.pgen.1007122,541,CaGu,Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
10.5772/intechopen.69712,545,JiFr,Vascular tissue development and regeneration in the model plant arabidopsis
null,5450,E-Lib,Implementing the institutional data repository IST DataRep
10.15479/AT:IST-2017-870-v1-1,5455,KrCh,Optimal Dyck reachability for data-dependence and alias analysis
10.15479/AT:IST-2017-872-v1-1,5456,KrCh,Data-centric dynamic partial order reduction
10.1103/PhysRevE.96.060401,548,GaTk,Maximum entropy modeling of metabolic networks by constraining growth-rate moments predicts coexistence of phenotypes
10.4204/EPTCS.259.3,549,ToHe,Causality-based model checking
10.1214/17-ECP97,550,LaEr,Singularities of the density of states of random Gram matrices
10.4230/LIPIcs.MFCS.2017.61,551,KrCh,Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
10.4230/LIPIcs.MFCS.2017.39,552,KrCh,Faster algorithms for mean-payoff parity games
10.4230/LIPIcs.MFCS.2017.55,553,KrCh,Strategy complexity of concurrent safety games
10.15479/AT:ISTA:51,5559,KrCh,Strong amplifiers of natural selection