DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-44584-6_9,2052,KrCh,Parameterized model checking of rendezvous systems
10.1007/978-3-662-44584-6_18,2053,"ToHe,KrCh",Probabilistic bisimulation: Naturally on distributions
10.1007/s00285-013-0738-7,2056,"CaGu,ToHe",Markov chain aggregation and its applications to combinatorial reaction networks
10.1007/978-3-662-44415-3_16,2057,ChLa,Majority vote of diverse classifiers for late fusion
10.1145/2601097.2601126,2058,ChWo,Blending liquids
10.1007/s00709-014-0616-1,2059,EvBe,The influence of heat stress on auxin distribution in transgenic B napus microspores and microspore derived embryos
10.1007/s00709-014-0620-5,2061,JiFr,Cellular events during interfascicular cambium ontogenesis in inflorescence stems of Arabidopsis
10.1126/science.1255263,2062,PeJo,Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function
10.1007/978-3-319-08867-9_31,2063,"KrCh,ToHe",CEGAR for qualitative analysis of probabilistic systems
10.1002/cne.23654,2064,RySh,Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus
10.1007/978-3-662-45803-7_36,10793,UlWa,Clustered planarity testing revisited
10.1007/978-3-7091-1526-8,10811,EvBe,Auxin and Its Role in Plant Development
10.1365/s13291-014-0083-9,10814,RoSe,The excitation spectrum for Bose fluids with weak interactions
10.1111/cga.12039,10815,CaHe,Molecular and cellular mechanisms of development underlying congenital diseases
null,8044,RoSe,Structure of the excitation spectrum for many-body quantum systems
10.1371/journal.pone.0111430.s006,9722,JoCs,Transition probability between TF expression states when Dbx2 inhibits Nkx2.2
10.1371/journal.pcbi.1003818.s001,9739,KrCh,"Detailed proofs for “The time scale of evolutionary innovation”"
10.5061/dryad.vm0vc,9740,SyCr,Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
10.5061/dryad.s42n1,9747,CaGu,Data from: Role of sex and migration in adaptation to sink environments
10.5061/dryad.246qg,9752,GaTk,Data from: Transformation of stimulus correlations by the retina