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.

11815 Publications


2012 | Published | Journal Article | IST-REx-ID: 2125 | OA
Hairer, M., & Maas, J. (2012). A spatial version of the Itô-Stratonovich correction. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOP662
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2127 | OA
Erbar, M., & Maas, J. (2012). Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-012-0554-z
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2128 | OA
Maas, J., Van Neerven, J., & Portal, P. (2012). Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv För Matematik. Springer. https://doi.org/10.1007/s11512-010-0143-z
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 13407
Chovnik, O., Balgley, R., Goldman, J. R., & Klajn, R. (2012). Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja309633v
[Published Version] View | DOI | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 13408
Ridelman, Y., Singh, G., Popovitz-Biro, R., Wolf, S. G., Das, S., & Klajn, R. (2012). Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. Wiley. https://doi.org/10.1002/smll.201101882
View | DOI | PubMed | Europe PMC
 

2012 | Published | Conference Paper | IST-REx-ID: 1384 | OA
Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). 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. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 1471 | OA
Hausel, T., & Pauly, C. (2012). Prym varieties of spectral covers. Geometry and Topology. University of Warwick. https://doi.org/10.2140/gt.2012.16.1609
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo, M., Hausel, T., & Migliorini, L. (2012). Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.175.3.7
View | DOI | Download (ext.)
 

2012 | Published | Book Chapter | IST-REx-ID: 18737 | OA
Haiman, Z. (2012). The Formation of the First Massive Black Holes. In T. Wiklind, B. Mobasher, & V. Brumm (Eds.), The First Galaxies (pp. 293–341). Berlin, Heidelberg: Springer Berlin Heidelberg. 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, R., & Sazanov, L. A. (2012). Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2012.03.005
View | DOI
 

2012 | Published | Book Review | IST-REx-ID: 1976
Efremov, R., & Sazanov, L. A. (2012). The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2012.02.015
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. BioMed Central. https://doi.org/10.1186/1471-2229-12-116
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C., … Blankertz, B. (2012). Review of the BCI competition IV. Frontiers in Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnins.2012.00055
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 495 | OA
Kruckman, A., Rubin, S., Sheridan, J., & Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In Proceedings GandALF 2012 (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.96.18
[Published Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich, A., & Rubin, S. (2012). Interpretations in trees with countably many branches. Presented at the LICS: Logic in Computer Science, Dubrovnik, Croatia: IEEE. https://doi.org/10.1109/LICS.2012.65
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations (Vol. 16, pp. 167–182). Presented at the EACSL: European Association for Computer Science Logic, Fontainebleau, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2012.167
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 498 | OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2012). Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. Wiley-Blackwell. https://doi.org/10.1111/j.1752-4571.2012.00284.x
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt, M. K. (2012). Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.201204039
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee, K., & Velner, Y. (2012). Mean-payoff pushdown games. IST Austria. 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 | OA
Chatterjee, K., Chaubal, S., & Kamath, P. (2012). Faster algorithms for alternating refinement relations. IST Austria. https://doi.org/10.15479/AT:IST-2012-0001
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed