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.

303 Publications


2012 | Journal Article | IST-REx-ID: 3846 | OA
Chatterjee, K., & Henzinger, T. A. (2012). A survey of stochastic ω regular games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2011.05.002
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 387 | OA
Alpichshev, Z., Biswas, R., Balatsky, A., Analytis, J., Chu, J., Fisher, I., & Kapitulnik, A. (2012). STM imaging of impurity resonances on Bi 2Se 3. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.108.206402
View | DOI | Download None (ext.)
 

2012 | Journal Article | IST-REx-ID: 3104
Grunewald, W., De Smet, I., Lewis, D., Löfke, C., Jansen, L., Goeminne, G., … Beeckman, T. (2012). Transcription factor WRKY23 assists auxin distribution patterns during Arabidopsis root development through local control on flavonol biosynthesis. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1121134109
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3105
Whitford R, Fernandez A, Tejos R, Pérez A, Kleine Vehn J, Vanneste S, Drozdzecki A, Leitner J, Abas L, Aerts M, Hoogewijs K, Baster P, De Groodt R, Lin Y, Storme V, Van De Peer Y, Beeckman T, Madder A, Devreese B, Luschnig C, Friml J, Hilson P. 2012. GOLVEN secretory peptides regulate auxin carrier turnover during plant gravitropic responses. Developmental Cell. 22(3), 678–685.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3106
Nagawa, S., Xu, T., Lin, D., Dhonukshe, P., Zhang, X., Friml, J., … Yang, Z. (2012). ROP GTPase-dependent actin microfilaments promote PIN1 polarization by localized inhibition of clathrin-dependent endocytosis. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1001299
View | DOI
 

2012 | Other Publication | IST-REx-ID: 3107
Vanneste, S., & Friml, J. (2012). Plant signaling: Deconstructing auxin sensing. Nature Chemical Biology (Vol. 8, pp. 415–416). Nature Publishing Group. https://doi.org/10.1038/nchembio.943
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3108
Barbez, E., Kubeš, M., Rolčík, J., Béziat, C., Pěnčík, A., Wang, B., … Kleine Vehn, J. (2012). A novel putative auxin carrier family regulates intracellular auxin homeostasis in plants. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11001
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3109
Irani, N., Di Rubbo, S., Mylle, E., Van Den Begin, J., Schneider Pizoń, J., Hniliková, J., … Russinova, E. (2012). Fluorescent castasterone reveals BRI1 signaling from the plasma membrane. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/nchembio.958
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3110
Dai, M., Zhang, C., Kania, U., Chen, F., Xue, Q., Mccray, T., … Wang, H. (2012). A PP6 type phosphatase holoenzyme directly regulates PIN phosphorylation and auxin efflux in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.112.098905
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3111
Lin, D., Nagawa, S., Chen, J., Cao, L., Chen, X., Xu, T., … Yang, Z. (2012). A ROP GTPase dependent auxin signaling pathway regulates the subcellular distribution of PIN2 in Arabidopsis roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.05.019
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3112
Chen, X., Naramoto, S., Robert, S., Tejos, R., Löfke, C., Lin, D., … Friml, J. (2012). ABP1 and ROP6 GTPase signaling regulate clathrin mediated endocytosis in Arabidopsis roots. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2012.05.020
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3113
Martinière, A., Lavagi, I., Nageswaran, G., Rolfe, D., Maneta Peyret, L., Luu, D., … Runions, J. (2012). Cell wall constrains lateral diffusion of plant plasma membrane proteins. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1202040109
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3114
Ding Z, Wang B, Moreno I, Dupláková N, Simon S, Carraro N, Reemmer J, Pěnčík A, Chen X, Tejos R, Skůpa P, Pollmann S, Mravec J, Petrášek J, Zažímalová E, Honys D, Rolčík J, Murphy A, Orellana A, Geisler M, Friml J. 2012. ER-localized auxin transporter PIN8 regulates auxin homeostasis and male gametophyte development in Arabidopsis. Nature Communications. 3(AN 941).
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3115 | OA
Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2012). Deconstructing approximate offsets. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-012-9441-5
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3117 | OA
Kolmogorov, V. (2012). Minimizing a sum of submodular functions. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2012.05.025
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3118 | OA
Bojsen-Hansen, M., Li, H., & Wojtan, C. J. (2012). Tracking surfaces with evolving topology. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/2185520.2185549
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3119 | OA
Raveendran, K., Thuerey, N., Wojtan, C. J., & Turk, G. (2012). Controlling liquids using meshes. In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation (pp. 255–264). Aire-la-Ville, Switzerland: ACM.
View | Files available
 

2012 | Journal Article | IST-REx-ID: 3120 | OA
Brown, G., Kerber, M., & Reid, M. (2012). Fano 3 folds in codimension 4 Tom and Jerry Part I. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X11007226
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3121 | OA
Williams, C., Chen, W., Lee, C., Yaeger, D., Vyleta, N., & Smith, S. (2012). Coactivation of multiple tightly coupled calcium channels triggers spontaneous release of GABA. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn.3162
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3122
Field, D., & Barrett, S. (2012). Disassortative mating and the maintenance of sexual polymorphism in painted maple. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05643.x
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3123 | OA
Yu, J., Wojtan, C. J., Turk, G., & Yap, C. (2012). Explicit mesh surfaces for particle based fluids. In Computer Graphics Forum (Vol. 31, pp. 815–824). Cagliari, Sardinia, Italy: Blackwell Publishing. https://doi.org/10.1111/j.1467-8659.2012.03062.x
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3124 | OA
Korc, F., Kolmogorov, V., & Lampert, C. (2012). Approximating marginals using discrete energy minimization. Presented at the ICML: International Conference on Machine Learning, Edinburgh, Scotland: ICML.
View | Files available
 

2012 | Conference Paper | IST-REx-ID: 3125 | OA
Sharmanska, V., Quadrianto, N., & Lampert, C. (2012). Augmented attribute representations (Vol. 7576, pp. 242–255). Presented at the ECCV: European Conference on Computer Vision, Florence, Italy: Springer. https://doi.org/10.1007/978-3-642-33715-4_18
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3126
Müller, A., Nowozin, S., & Lampert, C. (2012). Information theoretic clustering using minimal spanning trees (Vol. 7476, pp. 205–215). Presented at the DAGM: German Association For Pattern Recognition, Graz, Austria: Springer. https://doi.org/10.1007/978-3-642-32717-9_21
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3127 | OA
Quadrianto, N., Lampert, C., & Chen, C. (2012). The most persistent soft-clique in a set of sampled graphs. In Proceedings of the 29th International Conference on Machine Learning (pp. 211–218). Edinburgh, United Kingdom: Omnipress.
View | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 3128 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2012). A survey of partial-observation stochastic parity games. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-012-0164-2
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3129 | OA
Busaryev, O., Cabello, S., Chen, C., Dey, T., & Wang, Y. (2012). Annotating simplices with a homology basis and its applications (Vol. 7357, pp. 189–200). Presented at the SWAT: Symposium and Workshops on Algorithm Theory, Helsinki, Finland: Springer. https://doi.org/10.1007/978-3-642-31155-0_17
View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 3130 | OA
Bergmiller, T., Ackermann, M., & Silander, O. (2012). Patterns of evolutionary conservation of essential genes correlate with their compensability. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002803
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman, D., & Barton, N. H. (2012). Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002740
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3132
Konrad, M., Pamminger, T., & Foitzik, S. (2012). Two pathways ensuring social harmony. Naturwissenschaften. Springer. https://doi.org/10.1007/s00114-012-0943-z
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
Edelsbrunner, H., & Kerber, M. (2012). Alexander duality for functions: The persistent behavior of land and water and shore. In Proceedings of the twenty-eighth annual symposium on Computational geometry (pp. 249–258). Chapel Hill, NC, USA: ACM. https://doi.org/10.1145/2261250.2261287
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3134
Edelsbrunner, H., Fasy, B., & Rote, G. (2012). Add isotropic Gaussian kernels at own risk: More and more resilient modes in higher dimensions. In Proceedings of the twenty-eighth annual symposium on Computational geometry (pp. 91–100). Chapel Hill, NC, USA: ACM. https://doi.org/10.1145/2261250.2261265
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3135 | OA
Brázdil, B., Chatterjee, K., Kučera, A., & Novotný, P. (2012). Efficient controller synthesis for consumption games with multiple resource types (Vol. 7358, pp. 23–38). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_8
View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3136
Guet, C. C., Gupta, A., Henzinger, T. A., Mateescu, M., & Sezgin, A. (2012). Delayed continuous time Markov chains for genetic regulatory circuits (Vol. 7358, pp. 294–309). Presented at the CAV: Computer Aided Verification, Berkeley, CA, USA: Springer. https://doi.org/10.1007/978-3-642-31424-7_24
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3156
Ugelvig, L. V., Andersen, A., Boomsma, J., & Nash, D. (2012). Dispersal and gene flow in the rare parasitic Large Blue butterfly Maculinea arion. Molecular Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2012.05592.x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, L., Williams, R., Wu, J., Kinde, I., Hecht, J., Berlin, J., … Vogelstein, B. (2012). The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11219
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3158 | OA
Schachtner, H., Li, A., Stevenson, D., Calaminus, S., Thomas, S., Watson, S., … Machesky, L. (2012). Tissue inducible Lifeact expression allows visualization of actin dynamics in vivo and ex vivo. European Journal of Cell Biology. Elsevier. https://doi.org/10.1016/j.ejcb.2012.04.002
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3159 | OA
Mileyko, Y., Edelsbrunner, H., Price, C., & Weitz, J. (2012). Hierarchical ordering of reticular networks. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0036715
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3160
Pantazis, P., & Bollenbach, M. T. (2012). Transcription factor kinetics and the emerging asymmetry in the early mammalian embryo. Cell Cycle. Taylor and Francis. https://doi.org/10.4161/cc.20118
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3161 | OA
Vyleta, M., Wong, J., & Magun, B. (2012). Suppression of ribosomal function triggers innate immune signaling through activation of the NLRP3 inflammasome. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0036044
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, E., Donzé, A., Maler, O., & Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-642-29860-8_12
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3164
Blaschko, M., & Lampert, C. (2012). Guest editorial: Special issue on structured prediction and inference. International Journal of Computer Vision. Springer. https://doi.org/10.1007/s11263-012-0530-y
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 3165
Chatterjee, K., & Henzinger, M. (2012). An O(n2) time algorithm for alternating Büchi games. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1386–1399). Kyoto, Japan: SIAM. https://doi.org/10.1137/1.9781611973099.109
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3166 | OA
de Vladar, H. (2012). Amino acid fermentation at the origin of the genetic code. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-7-6
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3167
Weber, M. (2012). NextGen speaks 13 . Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.336.6077.32
View | DOI | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 3168
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2012). Lumpability abstractions of rule based systems. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2011.12.059
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3241
Pietrzak, K. Z., & Wikström, D. (2012). Parallel repetition of computationally sound protocols revisited. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-010-9090-x
View | DOI
 

2012 | Journal Article | IST-REx-ID: 3242 | OA
Konrad, M., Vyleta, M., Theis, F., Stock, M., Tragust, S., Klatt, M., … Cremer, S. (2012). Social transfer of pathogenic fungus promotes active immunisation in ant colonies. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1001300
View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3243
Danowski, P. (2012). Zwischen Technologie und Information. Büchereiperspektiven. Buchereiverband Österreichs.
View | Download None (ext.)
 

Filters and Search Terms

year=2012

Search

Filter Publications