Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
367 Publications
2013 |
Published |
Report |
IST-REx-ID: 5401 |
Porsche J. Initiatives and Projects Related to RD. IST Austria; 2013.
[Published Version]
View
| Files available
2013 |
Published |
Technical Report |
IST-REx-ID: 5402 |
Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi:10.15479/AT:IST-2013-123-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5403 |
Chatterjee K, Ibsen-Jensen R. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-126-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5404 |
Chatterjee K, Ibsen-Jensen R. The Complexity of Ergodic Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-127-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5405 |
Chatterjee K, Doyen L, Gimbert H, Oualhadj Y. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-128-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5406 |
Chatterjee K, Henzinger TA, Otop J, Pavlogiannis A. Distributed Synthesis for LTL Fragments. IST Austria; 2013. doi:10.15479/AT:IST-2013-130-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Report |
IST-REx-ID: 5407 |
Porsche J. Technical Requirements and Features. IST Austria; 2013.
[Published Version]
View
| Files available
2013 |
Published |
Technical Report |
IST-REx-ID: 5408 |
Chatterjee K, Doyen L, Nain S, Vardi M. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria; 2013. doi:10.15479/AT:IST-2013-141-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5409 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 5410 |
Ahmed U, Chatterjee K, Gulwani S. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria; 2013. doi:10.15479/AT:IST-2013-146-v1-1
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Book Chapter |
IST-REx-ID: 5747 |
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:10.1007/978-3-642-39799-8_11
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 590
Schmid D, Huang T, Dirks R, Hosten O, Kwiat P. Polarization dependent focusing. In: OSA; 2013. doi:10.1364/QIM.2013.W6.23
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 591
Schmid D, Huang T, Hazrat S, et al. Adjustable and robust methods for polarization-dependent focusing. Optics Express. 2013;21(13):15538-15552. doi:10.1364/OE.21.015538
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 5920
Hillar CJ, Martin del Campo Sanchez A. Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation. 2013;50:314-334. doi:10.1016/j.jsc.2012.06.006
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 595 |
Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36
View
| DOI
| Download None (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 6128 |
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 6130 |
Chen C, Fenk LA, de Bono M. Efficient genome editing in Caenorhabditis elegans by CRISPR-targeted homologous recombination. Nucleic Acids Research. 2013;41(20). doi:10.1093/nar/gkt805
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Book Chapter |
IST-REx-ID: 6132
de Bono M, Schafer WR, Gottschalk A. Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In: Hegemann P, Sigrist S, eds. Optogenetics. Walter de Gruyter; 2013:61-78.
View
2013 |
Published |
Journal Article |
IST-REx-ID: 6133 |
Couto A, Oda S, Nikolaev VO, Soltesz Z, de Bono M. In vivo genetic dissection of O2-evoked cGMP dynamics in a Caenorhabditis elegans gas sensor. Proceedings of the National Academy of Sciences. 2013;110(35):E3301-E3310. doi:10.1073/pnas.1217428110
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 6135
Rodriguez M, Snoek LB, de Bono M, Kammenga JE. Worms under stress: C. elegans stress response and its relevance to complex human disease and aging. Trends in Genetics. 2013;29(6):367-374. doi:10.1016/j.tig.2013.01.010
View
| DOI