_id,doi,title
2257,10.1371/journal.pcbi.1003408,Searching for collective behavior in a large network of sensory neurons
2261,10.1093/nar/gkt1290,"DICE, an efficient system for iterative genomic editing in human pluripotent stem cells"
2265,10.1007/978-94-007-7687-6_1,Molecular pathways controlling the sequential steps of cortical projection neuron migration
2275,10.1109/ICCV.2013.365,Partial enumeration and curvature regularization
2281,10.1007/s11005-013-0667-9,On the mass concentration for Bose-Einstein condensates with attractive interactions
2285,10.1002/hipo.22214,Morpho-physiological criteria divide dentate gyrus interneurons into classes
6853,10.1007/978-3-319-05957-0,A Short Course in Computational Geometry and Topology
7038,,Playful Math - An introduction to mathematical games
468,10.1371/journal.pone.0107518,Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin's finches
475,10.4204/EPTCS.146.11,First cycle games
535,10.1007/s00453-013-9843-7,Polynomial-time algorithms for energy games with special weight structures
537,10.1002/ece3.1150,Fitness consequences of maternal and grandmaternal effects
5411,10.15479/AT:IST-2014-148-v2-1,Compositional specifications for IOCO testing
5412,10.15479/AT:IST-2014-153-v1-1,CEGAR for qualitative analysis of probabilistic systems
5413,10.15479/AT:IST-2014-153-v2-2,CEGAR for qualitative analysis of probabilistic systems
5414,10.15479/AT:IST-2014-153-v3-1,CEGAR for qualitative analysis of probabilistic systems
5415,10.15479/AT:IST-2014-170-v1-1,Nested weighted automata
5416,10.15479/AT:IST-2014-171-v1-1,Model measuring for hybrid systems
5417,10.15479/AT:IST-2014-172-v1-1,From model checking to model measuring
5418,10.15479/AT:IST-2014-176-v1-1,Games with a weak adversary