Please note that IST 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.

286 Publications


2012 | Journal Article | IST-REx-ID: 829
Bielach A, Podlesakova K, Marhavy P, Duclercq J, Cuesta C, Muller B, Grunewald W, Tarkowski P, Benková E. 2012. Spatiotemporal regulation of lateral root organogenesis in Arabidopsis by cytokinin. The Plant Cell. 24(10), 3967–3981.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2888
Henzinger TA. 2012. Quantitative reactive models. Conference proceedings MODELS 2012. MODELS: Model-driven Engineering Languages and Systems, LNCS, vol. 7590. 1–2.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. 2012. Synthesis from incompatible specifications. Proceedings of the tenth ACM international conference on Embedded software. EMSOFT: Embedded Software 53–62.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2972   OA
Chatterjee K, Doyen L. 2012. Energy parity games. Theoretical Computer Science. 458, 49–60.
View | Files available | DOI | arXiv
 

2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee K, Henzinger M. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms 1386–1399.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3254
Chatterjee K. 2012. The complexity of stochastic Müller games. Information and Computation. 211, 29–48.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 7749
Robinson MR, Mar KU, Lummaa V. 2012. Senescence and age-specific trade-offs between reproduction and survival in female Asian elephants. Ecology Letters. 15(3), 260–266.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 1987
Schweizer J, Loose M, Bonny M, Kruse K, Mönch I, Schwille P. 2012. Geometry sensing by self-organized protein patterns. PNAS. 109(38), 15283–15288.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2048   OA
Faust S, Pietrzak KZ, Schipper J. 2012. Practical leakage-resilient symmetric cryptography. Conference proceedings CHES 2012. CHES: Cryptographic Hardware and Embedded Systems, LNCS, vol. 7428. 213–232.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2079
Hildebrand K, Bickel B, Alexa M. 2012. crdbrd: Shape fabrication by sliding planar slices. Computer Graphics Forum. 31(2pt3), 583–592.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2202   OA
Alyabyshev S, Lemeshko M, Krems R. 2012. Sensitive imaging of electromagnetic fields with paramagnetic polar molecules. Physical Review A - Atomic, Molecular, and Optical Physics. 86(1).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2101
Bac̈Her M, Bickel B, James D, Pfister H. 2012. Fabricating articulated characters from skinned meshes. ACM Transactions on Graphics. 31(4).
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2106
Miguel E, Bradley D, Thomaszewski B, Bickel B, Matusik W, Otaduy M, Marschner S. 2012. Data-driven estimation of cloth simulation models. Computer Graphics Forum vol. 31. 519–528.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2125   OA
Hairer M, Maas J. 2012. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 40(4), 1675–1714.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2151   OA
Lemeshko M, Krems R, Weimer H. 2012. Erratum: Nonadiabatic preparation of spin crystals with ultracold polar molecules. Physical Review Letters. 109(4).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2687
Shinohara Y, Hosoya A, Yamasaki N, Ahmed H, Hattori S, Eguchi M, Yamaguchi S, Miyakawa T, Hirase H, Shigemoto R. 2012. Right-hemispheric dominance of spatial memory in split-brain mice. Hippocampus. 22(2), 117–121.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2459   OA
Zwiewka M, Friml J. 2012. Fluorescence imaging-based forward genetic screens to identify trafficking regulators in plants. Frontiers in Plant Science. 3(May), 97.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2396   OA
Landon B, Seiringer R. 2012. The scattering length at positive temperature. Letters in Mathematical Physics. 100(3), 237–243.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411   OA
Ebersberger I, De Matos Simoes R, Kupczok A, Gube M, Kothe E, Voigt K, Von Haeseler A. 2012. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 29(5), 1319–1334.
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 2769
Erdös L, Schlein B, Yau H, Yin J. 2012. The local relaxation flow approach to universality of the local statistics for random matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 48(1), 1–46.
View | DOI
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed