DOI,IST REx ID,Title of publication
10.4007/annals.2013.177.3.8,1442,Positivity for Kac polynomials and DT-invariants of quivers
null,1443,Global topology of the Hitchin system
10.5427/jsing.2013.7c,1470,Exchange between perverse and weight filtration for the Hilbert schemes of points of two surfaces
10.15479/AT:IST-2013-104-v1-1,5399,TTP: Tool for Tumor Progression
10.15479/AT:IST-2013-109-v1-1,5400,"What is decidable about partially observable Markov decision processes with ω-regular objectives"
null,5401,Initiatives and projects related to RD
10.15479/AT:IST-2013-123-v1-1,5402,How free is your linearizable concurrent data structure?
10.15479/AT:IST-2013-126-v1-1,5403,Qualitative analysis of concurrent mean-payoff games
10.15479/AT:IST-2013-127-v1-1,5404,The complexity of ergodic games
10.15479/AT:IST-2013-128-v1-1,5405,Perfect-information stochastic mean-payoff parity games
10.15479/AT:IST-2013-130-v1-1,5406,Distributed synthesis for LTL Fragments
null,5407,Technical requirements and features
10.15479/AT:IST-2013-141-v1-1,5408,The complexity of partial-observation stochastic parity games with finite-memory strategies
10.15479/AT:IST-2013-144-v1-1,5409,Edit distance for timed automata
10.15479/AT:IST-2013-146-v1-1,5410,Automatic generation of alternative starting positions for traditional board games
10.1007/978-3-642-39799-8_11,5747,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1038/emboj.2013.36,595,Struggling to let go: A non-coding RNA directs its own extension and destruction
10.1371/journal.pgen.1004011,6128,"Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans"
10.1093/nar/gkt805,6130,Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
10.1073/pnas.1217428110,6133,In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor