DOI,IST REx ID,Research Group,Title of publication
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.1126/science.1255263,2062,PeJo,Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function
10.1002/cne.23654,2064,RySh,Target- and input-dependent organization of AMPA and NMDA receptors in synaptic connections of the cochlear nucleus
10.1038/ncomms4588,13402,,Nanoporous frameworks exhibiting multiple stimuli responsiveness
10.1039/c3cs60181a,13404,,Spiropyran-based dynamic materials
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
10.1103/physrevlett.113.023001,14020,,Two-pulse field-free orientation reveals anisotropy of molecular shape resonance
10.1088/0953-4075/47/12/124030,14021,,Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules
10.1002/ange.201405991,14301,,Facile and scalable preparation of pure and dense DNA origami solutions
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
10.15479/AT:IST-2014-153-v2-2,5413,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,KrCh,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-170-v1-1,5415,"KrCh,ToHe",Nested weighted automata
10.15479/AT:IST-2014-171-v1-1,5416,ToHe,Model measuring for hybrid systems