DOI,IST REx ID,Research Group,Title of publication
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
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
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"