DOI,IST REx ID,Title of publication
10.1088/0953-4075/47/12/124030,14021,Two-pulse orientation dynamics and high-harmonic spectroscopy of strongly-oriented molecules
null,1403,Forces driving epithelial spreading in zebrafish epiboly
null,1404,Evolution of a fungal pathogen towards individual versus social immunity in ants
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,Compositional specifications for IOCO testing
10.15479/AT:IST-2014-153-v1-1,5412,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v2-2,5413,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-153-v3-1,5414,CEGAR for qualitative analysis of probabilistic systems
10.15479/AT:IST-2014-170-v1-1,5415,Nested weighted automata
10.15479/AT:IST-2014-171-v1-1,5416,Model measuring for hybrid systems
10.15479/AT:IST-2014-172-v1-1,5417,From model checking to model measuring
10.15479/AT:IST-2014-176-v1-1,5418,Games with a weak adversary
10.15479/AT:IST-2014-187-v1-1,5419,Improved algorithms for reachability and shortest path on low tree-width graphs
10.15479/AT:IST-2014-191-v1-1,5420,The value 1 problem for concurrent mean-payoff games
10.15479/AT:IST-2014-190-v2-2,5421,The complexity of evolution on graphs
null,5422,"Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland"
10.15479/AT:IST-2014-300-v1-1,5423,A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
10.15479/AT:IST-2014-305-v1-1,5424,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
null,5425,Optimal cost almost-sure reachability in POMDPs
10.15479/AT:IST-2014-305-v2-1,5426,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications