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.
337 Publications
2011 |
Published |
Journal Article |
IST-REx-ID: 490 |
Schlögl, Alois, Carmen Vidaurre, and Tilmann Sander. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience. Hindawi Publishing Corporation, 2011. https://doi.org/10.1155/2011/935364.
[Published Version]
View
| Files available
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 491
Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling. American Association for the Advancement of Science, 2011. https://doi.org/10.1126/scisignal.2002617.
View
| DOI
| WoS
2011 |
Published |
Journal Article |
IST-REx-ID: 518 |
Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai, Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal. Wiley-Blackwell, 2011. https://doi.org/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 |
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design. Springer, 2011. https://doi.org/10.1007/s10703-011-0131-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5379 |
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5380 |
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5382 |
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0006.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5383 |
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5384 |
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5386 |
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
[Published Version]
View
| Files available
| DOI
earlier version | 2011 |
Published |
Technical Report |
IST-REx-ID: 5387 |
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
[Published Version]
View
| Files available
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 580
Hosten, Onur. “Quantum Physics: How to Catch a Wave.” Nature. Nature Publishing Group, 2011. https://doi.org/10.1038/474170a.
View
| DOI
2011 |
Published |
Conference Paper |
IST-REx-ID: 585
Schmid, David, Shiraz Hazrat, Radhika Rangarajan, Onur Hosten, Stephan Quint, and Paul Kwiat. “Methods towards Achieving Precise Birefringent Focusing.” OSA, 2011. https://doi.org/10.1364/CLEO_AT.2011.JThB130.
View
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 586
Vrijsen, Geert, Onur Hosten, Jongmin Lee, Simon Bernon, and Mark Kasevich. “Raman Lasing with a Cold Atom Gain Medium in a High-Finesse Optical Cavity.” Physical Review Letters. American Physical Society, 2011. https://doi.org/10.1103/PhysRevLett.107.063904.
View
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 597
Bernecky, Carrie, Patricia Grob, Christopher Ebmeier, Eva Nogales, and Dylan Taatjes. “Molecular Architecture of the Human Mediator-RNA Polymerase II-TFIIF Assembly.” PLoS Biology. Public Library of Science, 2011. https://doi.org/10.1371/journal.pbio.1000603.
View
| DOI
2011 |
Published |
Journal Article |
IST-REx-ID: 6137 |
Milward, K., K. E. Busch, R. J. Murphy, Mario de Bono, and B. Olofsson. “Neuronal and Molecular Substrates for Optimal Foraging in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2011. https://doi.org/10.1073/pnas.1106134109.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 6138 |
Bretscher, Andrew Jonathan, Eiji Kodama-Namba, Karl Emanuel Busch, Robin Joseph Murphy, Zoltan Soltesz, Patrick Laurent, and Mario de Bono. “Temperature, Oxygen, and Salt-Sensing Neurons in C. Elegans Are Carbon Dioxide Sensors That Control Avoidance Behavior.” Neuron. Elsevier BV, 2011. https://doi.org/10.1016/j.neuron.2011.02.023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 6140 |
Arellano-Carbajal, Fausto, Luis Briseño-Roa, Africa Couto, Benny H. H. Cheung, Michel Labouesse, and Mario de Bono. “Macoilin, a Conserved Nervous System–Specific ER Membrane Protein That Regulates Neuronal Excitability.” PLoS Genetics. Public Library of Science, 2011. https://doi.org/10.1371/journal.pgen.1001341.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2011 |
Published |
Journal Article |
IST-REx-ID: 6298 |
Baranova, Natalia S., Erik Nilebäck, F. Michael Haller, David C. Briggs, Sofia Svedhem, Anthony J. Day, and Ralf P. Richter. “The Inflammation-Associated Protein TSG-6 Cross-Links Hyaluronan via Hyaluronan-Induced TSG-6 Oligomers.” Journal of Biological Chemistry. American Society for Biochemistry & Molecular Biology, 2011. https://doi.org/10.1074/jbc.m111.247395.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |
Published |
Journal Article |
IST-REx-ID: 1985
Loose, Martin, Elisabeth Fischer Friedrich, Christoph Herold, Karsten Kruse, and Petra Schwille. “Min Protein Patterns Emerge from Rapid Rebinding and Membrane Interaction of MinE.” Nature Structural and Molecular Biology. Nature Publishing Group, 2011. https://doi.org/10.1038/nsmb.2037.
View
| DOI