DOI,IST REx ID,Title of publication
10.1007/978-3-540-69850-0_7,3872,Value iteration
DOI: 10.1007/978-3-540-78929-1_6,3873,Controller synthesis with budget constraints
10.1007/978-3-540-78929-1_7,3874,Trading infinite memory for uniform randomness in timed games
10.1007/978-3-540-78499-9_22,3875,Model-checking omega-regular properties of interval Markov chains
10.1007/978-3-540-85778-5_10,3876,Timed parity games: complexity and robustness
10.1007/978-3-540-85361-9_14,3877,Environment assumptions for synthesis
10.1007/978-3-540-89330-1_7,3878,The complexity of coverage
10.1007/978-3-540-87531-4_28,3879,Quantitative languages
10.1007/978-3-540-85361-9,3880,Strategy construction for parity games with imperfect information
10.1186/1741-7007-6-11,3903,"The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches"
10.1007/s00114-008-0430-8,3905,Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior
10.1371/journal.pone.0003838,3906,The evolution of invasiveness in garden ants
10.1098/rsbl.2008.0355,3907,Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants
10.1111/j.1600-065X.2008.00592.x,3939,The microanatomy of T-cell responses
10.1016/j.smim.2007.12.009,3940,The extracellular matrix of the spleen as a potential organizer of immune cell compartments
10.1038/nature06887,3941,Rapid leukocyte migration by integrin-independent flowing and squeezing
10.1084/jem.20070846,3942,Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation
10.1172/JCI34694,3943,Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin
10.1038/nmeth.1220,3944,Lifeact: a versatile marker to visualize F-actin
10.1016/j.imbio.2008.07.025,3945,The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1