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.
384 Publications
2012 |
Published |
Journal Article |
IST-REx-ID: 2128 |
Maas, Jan, Jan Van Neerven, and Pierre Portal. “Whitney Coverings and the Tent Spaces T 1,q (γ) for the Gaussian Measure.” Arkiv För Matematik. Springer, 2012. https://doi.org/10.1007/s11512-010-0143-z.
View
| DOI
| Download (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 13407
Chovnik, Olga, Renata Balgley, Joel R. Goldman, and Rafal Klajn. “Dynamically Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.” Journal of the American Chemical Society. American Chemical Society, 2012. https://doi.org/10.1021/ja309633v.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Journal Article |
IST-REx-ID: 13408
Ridelman, Yonatan, Gurvinder Singh, Ronit Popovitz-Biro, Sharon G. Wolf, Sanjib Das, and Rafal Klajn. “Metallic Nanobowls by Galvanic Replacement Reaction on Heterodimeric Nanoparticles.” Small. Wiley, 2012. https://doi.org/10.1002/smll.201101882.
View
| DOI
| PubMed | Europe PMC
2012 |
Published |
Conference Paper |
IST-REx-ID: 1384 |
Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 1471 |
Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609.
View
| DOI
| Download (ext.)
2012 |
Published |
Journal Article |
IST-REx-ID: 1472 |
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.
View
| DOI
| Download (ext.)
2012 |
Published |
Book Chapter |
IST-REx-ID: 18737 |
Haiman, Zoltán. “The Formation of the First Massive Black Holes.” In The First Galaxies, edited by Tommy Wiklind, Bahram Mobasher, and Volker Brumm, 293–341. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-32362-1_6.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 |
Published |
Journal Article |
IST-REx-ID: 1972
Efremov, Rouslan, and Leonid A Sazanov. “Structure of Escherichia Coli OmpF Porin from Lipidic Mesophase.” Journal of Structural Biology. Academic Press, 2012. https://doi.org/10.1016/j.jsb.2012.03.005.
View
| DOI
2012 |
Published |
Book Review |
IST-REx-ID: 1976
Efremov, Rouslan, and Leonid A Sazanov. “The Coupling Mechanism of Respiratory Complex i - A Structural and Evolutionary Perspective.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 2012. https://doi.org/10.1016/j.bbabio.2012.02.015.
View
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 492 |
Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology. BioMed Central, 2012. https://doi.org/10.1186/1471-2229-12-116.
[Published Version]
View
| Files available
| DOI
| WoS
2012 |
Published |
Journal Article |
IST-REx-ID: 493 |
Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience. Frontiers Research Foundation, 2012. https://doi.org/10.3389/fnins.2012.00055.
[Published Version]
View
| Files available
| DOI
| WoS
2012 |
Published |
Conference Paper |
IST-REx-ID: 495 |
Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.” In Proceedings GandALF 2012, 96:238–46. Open Publishing Association, 2012. https://doi.org/10.4204/EPTCS.96.18.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Conference Paper |
IST-REx-ID: 496 |
Rabinovich, Alexander, and Sasha Rubin. “Interpretations in Trees with Countably Many Branches.” IEEE, 2012. https://doi.org/10.1109/LICS.2012.65.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2012 |
Published |
Conference Paper |
IST-REx-ID: 497 |
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. “Faster Algorithms for Alternating Refinement Relations,” 16:167–82. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.CSL.2012.167.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Journal Article |
IST-REx-ID: 498 |
Pickup, Melinda, David Field, David Rowell, and Andrew Young. “Predicting Local Adaptation in Fragmented Plant Populations: Implications for Restoration Genetics.” Evolutionary Applications. Wiley-Blackwell, 2012. https://doi.org/10.1111/j.1752-4571.2012.00284.x.
[Published Version]
View
| Files available
| DOI
| WoS
earlier version | 2012 |
Published |
Technical Report |
IST-REx-ID: 5377 |
Chatterjee, Krishnendu, and Yaron Velner. Mean-Payoff Pushdown Games. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0002.
[Published Version]
View
| Files available
| DOI
earlier version | 2012 |
Published |
Technical Report |
IST-REx-ID: 5378 |
Chatterjee, Krishnendu, Siddhesh Chaubal, and Pritish Kamath. Faster Algorithms for Alternating Refinement Relations. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0001.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Technical Report |
IST-REx-ID: 5396 |
Korc, Filip, Vladimir Kolmogorov, and Christoph Lampert. Approximating Marginals Using Discrete Energy Minimization. IST Austria, 2012. https://doi.org/10.15479/AT:IST-2012-0003.
[Published Version]
View
| Files available
| DOI
2012 |
Published |
Report |
IST-REx-ID: 5398 |
Porsche, Jana. Actual State of Research Data @ ISTAustria. IST Austria, 2012.
[Published Version]
View
| Files available
2012 |
Published |
Conference Paper |
IST-REx-ID: 5745 |
Gupta, Ashutosh. “Improved Single Pass Algorithms for Resolution Proof Reduction.” In 10th International Symposium on Automated Technology for Verification and Analysis, 7561:107–21. Springer Nature, 2012. https://doi.org/10.1007/978-3-642-33386-6_10.
[Submitted Version]
View
| Files available
| DOI