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.

7685 Publications


2011 | Published | Journal Article | IST-REx-ID: 518 | OA
Schraivogel, Daniel, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal, vol. 30, no. 20, Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5382 | OA
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5383 | OA
Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5386 | OA
Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.
[Published Version] View | Files available | DOI
 

2011 | Published | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
[Published Version] View | Files available | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 6137 | OA
Milward, K., et al. “Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences, vol. 108, no. 51, National Academy of Sciences, 2011, pp. 20672–77, doi:10.1073/pnas.1106134109.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 6138 | OA
Bretscher, Andrew Jonathan, et al. “Temperature, Oxygen, and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.” Neuron, vol. 69, no. 6, Elsevier BV, 2011, pp. 1099–113, doi:10.1016/j.neuron.2011.02.023.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 6140 | OA
Arellano-Carbajal, Fausto, et al. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics, vol. 7, no. 3, e1001341, Public Library of Science, 2011, doi:10.1371/journal.pgen.1001341.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 6298 | OA
Baranova, Natalia S., et al. “The Inflammation-Associated Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.” Journal of Biological Chemistry, vol. 286, no. 29, American Society for Biochemistry & Molecular Biology, 2011, pp. 25675–86, doi:10.1074/jbc.m111.247395.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 6496 | OA
Park, Heungwon, et al. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal, vol. 101, no. 10, Elsevier, 2011, pp. 2336–40, doi:10.1016/j.bpj.2011.09.040.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 6749 | OA
Mondelli, Marco, and Adina Ciomaga. “Finite Difference Schemes for MCM and AMSS.” Image Processing On Line, vol. 1, IPOL Image Processing On Line, 2011, pp. 127–77, doi:10.5201/ipol.2011.cm_fds.
[Published Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 9943 | OA
Sommer, Christoph M., et al. “Ilastik: Interactive Learning and Segmentation Toolkit.” 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Micro, Institute of Electrical and Electronics Engineers, 2011, doi:10.1109/isbi.2011.5872394.
[Preprint] View | DOI | Download Preprint (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3505 | OA
Sixt, Michael K., and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.” Cell Migration, vol. 769, Springer, 2011, pp. 149–65, doi:10.1007/978-1-61779-207-6_11.
[Published Version] View | DOI | Download Published Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 3778 | OA
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity, vol. 106, no. 2, Nature Publishing Group, 2011, pp. 205–06, doi:10.1038/hdy.2010.67.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed