DOI,IST REx ID,Research Group,Title of publication
10.1142/S0218195914500034,1816,HeEd,Topology-preserving watermarking of vector graphics
10.1007/978-3-319-03194-1_3,1829,ChLa,Movement templates for learning of hitting and batting
10.1007/s00454-014-9646-x,1842,"UlWa,HeEd",On the geometric ramsey number of outerplanar graphs
10.1093/molbev/msu312,1844,HaJa,Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
10.4171/120-1/3,2905,HeEd,Persistent homology: Theory and practice
10.4171/JEMS/467,1904,RoSe,Strichartz inequality for orthonormal functions
10.2168/LMCS-10(1:10)2014,2233,ToHe,Exact and approximate determinization of discounted-sum automata
10.2168/LMCS-10(1:13)2014,2234,KrCh,Markov decision processes with multiple long-run average objectives
10.1007/978-94-007-7687-6_1,2265,SiHi,Molecular pathways controlling the sequential steps of cortical projection neuron migration
10.1007/978-3-319-11936-6_8,2027,"KrCh,ToHe",Verification of Markov decision processes using learning algorithms
10.1016/j.jtbi.2014.09.041,2028,GaTk,Characterizing spiking in noisy type II neurons
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.1145/2629686,2038,"ToHe,KrCh",Temporal specifications with accumulative values
10.1007/978-3-662-44522-8_1,1903,KrCh,Partial-observation stochastic reachability and parity games
10.1145/2579821,2211,KrCh,Partial-observation stochastic games: How to win when belief fails
10.1007/978-3-662-44584-6_37,2054,KrCh,Qualitative concurrent parity games: Bounded rationality
10.1007/s00453-013-9843-7,535,KrCh,Polynomial-time algorithms for energy games with special weight structures
10.1007/978-3-319-11936-6_14,1872,ToHe,Extensional crisis and proving identity
10.5061/dryad.nc0gc,9753,SyCr,Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies
10.1007/s00236-013-0182-6,2716,KrCh,Strategy synthesis for multi-dimensional quantitative objectives