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.

4839 Publications


2013 | Published | Journal Article | IST-REx-ID: 511 | OA
Pěnčík A, Simonovik B, Petersson S, Henyková E, Simon S, Greenham K, Zhang Y, Kowalczyk M, Estelle M, Zažímalová E, Novák O, Sandberg G, Ljung K. 2013. Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. 25(10), 3858–3870.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 516 | OA
Bargmann B, Vanneste S, Krouk G, Nawy T, Efroni I, Shani E, Choe G, Friml J, Bergmann D, Estelle M, Birnbaum K. 2013. A map of cell type‐specific auxin responses. Molecular Systems Biology. 9(1), 688.
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 522
Fuertbauer E, Zaujec J, Uhrin P, Raab I, Weber M, Schachner H, Bauer M, Schütz G, Binder B, Sixt MK, Kerjaschki D, Stockinger H. 2013. Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. 154(1–2), 31–41.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 527
Wabnik KT, Robert H, Smith R, Friml J. 2013. Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. 23(24), 2513–2518.
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 528
Robert H, Grones P, Stepanova A, Robles L, Lokerse A, Alonso J, Weijers D, Friml J. 2013. Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. 23(24), 2506–2512.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger TA, Kirsch C, Payer H, Sezgin A, Sokolova A. 2013. Quantitative relaxation of concurrent data structures. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 317–328.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2182
Cerny P, Henzinger TA, Radhakrishna A. 2013. Quantitative abstraction refinement. Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language. POPL: Principles of Programming Languages, 115–128.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2209
Biedl T, Held M, Huber S. 2013. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. ISVD: Voronoi Diagrams in Science and Engineering, 2013 10th International Symposium on Voronoi Diagrams in Science and Engineering (ISVD 2013) , , 37–46.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2210 | OA
Biedl T, Held M, Huber S. 2013. Reconstructing polygons from embedded straight skeletons. 29th European Workshop on Computational Geometry. EuroCG: European Workshop on Computational Geometry, 95–98.
[Submitted Version] View | Download Submitted Version (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. 2013. Tree interpolation in Vampire. 8312, 173–181.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2238
Chatterjee K, Forejt V, Wojtczak D. 2013. Multi-objective discounted reward verification in graphs and MDPs. 8312, 228–242.
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn J, Otop J. 2013. Elementary modal logics over transitive structures. 23, 563–577.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek J, Sedgwick E, Tancer M, Wagner U. 2013. Untangling two systems of noncrossing curves. 8242, 472–483.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz E, Pietrzak KZ, Szegedy M. 2013. Digital signatures with minimal overhead from indifferentiable random invertible functions. 8042, 571–588.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2259 | OA
Alwen JF, Krenn S, Pietrzak KZ, Wichs D. 2013. Learning with rounding, revisited: New reduction properties and applications. 8042(1), 57–74.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2260 | OA
Bernhard D, Fuchsbauer G, Ghadafi E. 2013. Efficient signatures of knowledge and DAA in the standard model. 7954, 518–533.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 2264 | OA
Liang H, Xiao G, Yin H, Hippenmeyer S, Horowitz J, Ghashghaei T. 2013. Neural development is dependent on the function of specificity protein 2 in cell cycle progression. Development. 140(3), 552–561.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 2270 | OA
Bachrach Y, Kohli P, Kolmogorov V, Zadimoghaddam M. 2013. Optimal Coalition Structures in Cooperative Graph Games. AAAI: Conference on Artificial Intelligence, 81–87.
View | Download None (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed