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.
12344 Publications
earlier version | 2013 |
Published |
Technical Report |
IST-REx-ID: 5404 |
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2013 |
Published |
Technical Report |
IST-REx-ID: 5405 |
Chatterjee, Krishnendu, et al. 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
earlier version | 2013 |
Published |
Technical Report |
IST-REx-ID: 5406 |
Chatterjee, Krishnendu, et al. 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, Jana. Technical Requirements and Features. IST Austria, 2013.
[Published Version]
View
| Files available
earlier version | 2013 |
Published |
Technical Report |
IST-REx-ID: 5408 |
Chatterjee, Krishnendu, et al. 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
earlier version | 2013 |
Published |
Technical Report |
IST-REx-ID: 5409 |
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
[Published Version]
View
| Files available
| DOI
earlier version | 2013 |
Published |
Technical Report |
IST-REx-ID: 5410 |
Ahmed, Umair, et al. 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, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 590
Schmid, David, et al. Polarization Dependent Focusing. OSA, 2013, doi:10.1364/QIM.2013.W6.23.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 591
Schmid, David, et al. “Adjustable and Robust Methods for Polarization-Dependent Focusing.” Optics Express, vol. 21, no. 13, Optical Society of America, 2013, pp. 15538–52, doi:10.1364/OE.21.015538.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 5920 |
Hillar, Christopher J., and Abraham Martin del Campo Sanchez. “Finiteness Theorems and Algorithms for Permutation Invariant Chains of Laurent Lattice Ideals.” Journal of Symbolic Computation, vol. 50, Elsevier, 2013, pp. 314–34, doi:10.1016/j.jsc.2012.06.006.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 595 |
Bernecky, Carrie, and Patrick Cramer. “Struggling to Let Go: A Non-Coding RNA Directs Its Own Extension and Destruction.” EMBO Journal, vol. 32, no. 6, Wiley-Blackwell, 2013, pp. 771–72, doi:10.1038/emboj.2013.36.
View
| DOI
| Download None (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 6128 |
Kodama-Namba, Eiji, et al. “Cross-Modulation of Homeostatic Responses to Temperature, Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics, vol. 9, no. 12, e1004011, Public Library of Science (PLoS), 2013, doi:10.1371/journal.pgen.1004011.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Book Chapter |
IST-REx-ID: 6132
de Bono, Mario, et al. “Optogenetic Actuation, Inhibition, Modulation and Readout for Neuronal Networks Generating Behavior in the Nematode Caenorhabditis Elegans.” Optogenetics, edited by Peter Hegemann and Stephan Sigrist, Walter de Gruyter, 2013, pp. 61–78.
View
2013 |
Published |
Journal Article |
IST-REx-ID: 6133 |
Couto, A., et al. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences, vol. 110, no. 35, Proceedings of the National Academy of Sciences, 2013, pp. E3301–10, doi:10.1073/pnas.1217428110.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 6135
Rodriguez, Miriam, et al. “Worms under Stress: C. Elegans Stress Response and Its Relevance to Complex Human Disease and Aging.” Trends in Genetics, vol. 29, no. 6, Elsevier, 2013, pp. 367–74, doi:10.1016/j.tig.2013.01.010.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 6370
Lin, Tze-Chia, et al. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry C, vol. 117, no. 18, American Chemical Society (ACS), 2013, pp. 9416–30, doi:10.1021/jp400648q.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1978
Baradaran, Rozbeh, et al. “Crystal Structure of the Entire Respiratory Complex I.” Nature, vol. 494, no. 7438, Nature Publishing Group, 2013, pp. 443–48, doi:10.1038/nature11871.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1988
Bonny, Mike, et al. “Membrane Binding of MinE Allows for a Comprehensive Description of Min-Protein Pattern Formation.” PLoS Computational Biology, vol. 9, no. 12, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003347.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1991
Vicoso, Beatriz, and Doris Bachtrog. “Reversal of an Ancient Sex Chromosome to an Autosome in Drosophila.” Nature, vol. 499, no. 7458, Nature Publishing Group, 2013, pp. 332–35, doi:10.1038/nature12235.
View
| DOI