DOI,IST REx ID,Research Group,Title of publication
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
null,1395,"SyCr,GradSch",Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
null,1404,"SyCr,GradSch",Evolution of a fungal pathogen towards individual versus social immunity in ants
null,1402,"JiFr,GradSch",Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
null,1403,"CaHe,GradSch",Forces driving epithelial spreading in zebrafish epiboly
10.1007/s10851-013-0468-x,2255,HeEd,Stable length estimates of tube-like shapes
10.1145/2582112.2582134,2159,UlWa,"Eliminating Tverberg points, I. An analogue of the Whitney trick"
10.1002/ece3.1289,2023,NiBa,Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
10.1098/rspb.2014.1679,2036,CaGu,Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
10.5061/dryad.85dn7,9741,CaGu,Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses
10.1098/rstb.2012.0528,2251,JoCs,Sharp wave/ripple network oscillations and learning-associated hippocampal maps
10.1063/1.4881536,1821,RoSe,"Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation"
10.1063/1.4884877,1822,RoSe,Introduction
10.1103/PhysRevE.89.032701,1896,"NiBa,GaTk",Mathematical model of alternative mechanism of telomere length maintenance