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/978-3-662-44584-6_37,2054,KrCh,Qualitative concurrent parity games: Bounded rationality
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.1016/j.tcs.2014.06.031,1375,KrCh,Approximating the minimum cycle mean
10.1007/978-3-642-54013-4_10,1392,ToHe,A logic-based framework for verifying consensus algorithms
10.1145/2593882.2593900,1393,ToHe,Probabilistic programming
null,1395,SyCr,Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
null,1402,JiFr,Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
null,1403,CaHe,Forces driving epithelial spreading in zebrafish epiboly
null,1404,SyCr,Evolution of a fungal pathogen towards individual versus social immunity in ants
10.15479/AT:IST-2014-148-v2-1,5411,ToHe,Compositional specifications for IOCO testing
10.15479/AT:IST-2014-153-v1-1,5412,KrCh,CEGAR for qualitative analysis of probabilistic systems