_id,title
5401,Initiatives and projects related to RD
5402,How free is your linearizable concurrent data structure?
5403,Qualitative analysis of concurrent mean-payoff games
5404,The complexity of ergodic games
5405,Perfect-information stochastic mean-payoff parity games
5406,Distributed synthesis for LTL Fragments
5407,Technical requirements and features
5408,The complexity of partial-observation stochastic parity games with finite-memory strategies
5409,Edit distance for timed automata
5410,Automatic generation of alternative starting positions for traditional board games
5747,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
590,Polarization dependent focusing
591,Adjustable and robust methods for polarization-dependent focusing
5920,Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
595,Struggling to let go: A non-coding RNA directs its own extension and destruction
6128,"Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans"
6130,Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination
6132,"Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans"
6133,In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor
6135,Worms under stress: C. elegans stress response and its relevance to complex human disease and aging