DOI,IST REx ID,Research Group,Title of publication
10.15479/AT:IST-2014-171-v1-1,5416,ToHe,Model measuring for hybrid systems
10.15479/AT:IST-2014-172-v1-1,5417,ToHe,From model checking to model measuring
10.15479/AT:IST-2014-176-v1-1,5418,KrCh,Games with a weak adversary
10.15479/AT:IST-2014-187-v1-1,5419,KrCh,Improved algorithms for reachability and shortest path on low tree-width graphs
10.15479/AT:IST-2014-191-v1-1,5420,KrCh,The value 1 problem for concurrent mean-payoff games
10.15479/AT:IST-2014-190-v2-2,5421,KrCh,The complexity of evolution on graphs
null,5422,E-Lib,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
10.15479/AT:IST-2014-300-v1-1,5423,KrCh,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.15479/AT:IST-2014-305-v1-1,5424,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-305-v2-1,5426,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
10.15479/AT:IST-2014-314-v1-1,5427,KrCh,Optimal tree-decomposition balancing and reachability on low treewidth graphs
10.15479/AT:IST-2014-315-v1-1,5428,"ToHe,KrCh",Quantitative fair simulation games
10.1007/978-1-4939-1164-6_15,6178,CaHe,UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo
10.1016/j.cub.2014.09.056,1994,JiFr,Directional auxin transport mechanisms in early diverging land plants
10.1103/PhysRevLett.113.243601,1995,MiLe,Fabry-Perot interferometer with quantum mirrors: Nonlinear light transport and rectification
10.1073/pnas.1413918111,1996,JiFr,Bimodal regulation of ICR1 levels generates self-organizing auxin distribution
10.1016/j.it.2014.08.005,1998,SyCr,Individual and social immunisation in insects
10.1007/978-1-4939-1969-7_6,19994,JoCs,Reorganization of Hippocampal Place-Selective Patterns During Goal-Directed Learning and Their Reactivation During Sleep
10.1111/1758-2229.12190,2001,ToBo,Bacterial responses to antibiotics and their combinations
10.1371/journal.pone.0113124,2002,PeJo,Action potential modulation in CA1 pyramidal neuron axons facilitates OLM interneuron activation in recurrent inhibitory microcircuits of rat hippocampus