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., … 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. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114421
[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., … Birnbaum, K. (2013). A map of cell type‐specific auxin responses. Molecular Systems Biology. Nature Publishing Group. https://doi.org/10.1038/msb.2013.40
[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., … Stockinger, H. (2013). Thymic medullar conduits-associated podoplanin promotes natural regulatory T cells. Immunology Letters. Elsevier. https://doi.org/10.1016/j.imlet.2013.07.007
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 527
Wabnik, K. T., Robert, H., Smith, R., & Friml, J. (2013). Modeling framework for the establishment of the apical-basal embryonic axis in plants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.10.038
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 528
Robert, H., Grones, P., Stepanova, A., Robles, L., Lokerse, A., Alonso, J., … Friml, J. (2013). Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.09.039
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2181 | OA
Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., & Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429109
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2182
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2013). Quantitative abstraction refinement. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 115–128). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429085
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 (pp. 37–46). Presented at the ISVD: Voronoi Diagrams in Science and Engineering, St. Petersburg, Russia: IEEE. https://doi.org/10.1109/ISVD.2013.11
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2210 | OA
Biedl, T., Held, M., & Huber, S. (2013). Reconstructing polygons from embedded straight skeletons. In 29th European Workshop on Computational Geometry (pp. 95–98). Braunschweig, Germany: TU Braunschweig.
[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. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_13
[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. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_17
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2243 | OA
Michaliszyn, J., & Otop, J. (2013). Elementary modal logics over transitive structures. Presented at the CSL: Computer Science Logic, Torino, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2013.563
[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. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
[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. Public Library of Science. https://doi.org/10.1371/journal.pone.0080814
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2258 | OA
Kiltz, E., Pietrzak, K. Z., & Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_31
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2259 | OA
Alwen, J. F., Krenn, S., Pietrzak, K. Z., & Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_4
[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. Presented at the ACNS: Applied Cryptography and Network Security, Banff, AB, Canada: Springer. https://doi.org/10.1007/978-3-642-38980-1_33
[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. Company of Biologists. https://doi.org/10.1242/dev.085621
[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 (pp. 81–87). Presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI Press.
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. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: ML Research Press.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed