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.
309 Publications
2011 | Journal Article | IST-REx-ID: 2874
Gallego Bartolomé J, Arana M, Vandenbussche F, Žádníková P, Minguet E, Guardiola V, Van Der Straeten D, Benková E, Alabadí D, Blázquez M. 2011. Hierarchy of hormone action controlling apical hook development in Arabidopsis. Plant Journal. 67(4), 622–634.
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2922
Vicente S, Kolmogorov V, Rother C. 2011.Graph-cut Based Image Segmentation with Connectivity Priors. In: Markov Random Fields for Vision and Image Processing. .
View
2011 | Book Chapter | IST-REx-ID: 2923
Kumar MP, Kolmogorov V, Torr P. 2011.Analyzing Convex Relaxations for MAP Estimation. In: Markov Random Fields for Vision and Image Processing. .
View
2011 | Book Chapter | IST-REx-ID: 2924
Criminisi A, Cross G, Blake A, Kolmogorov V. 2011.Bilayer Segmentation of Video. In: Markov Random Fields for Vision and Image Processing. .
View
2011 | Book Chapter | IST-REx-ID: 2925
Rother C, Kolmogorov V, Boykov Y, Blake A. 2011.Interactive Foreground Extraction using graph cut. In: Markov Random Fields for Vision and Image Processing. .
View
2011 | Book Chapter | IST-REx-ID: 2935
Boykov Y, Kolmogorov V. 2011.Basic graph cut algorithms. In: Markov Random Fields for Vision and Image Processing. , 31–50.
View
2011 | Journal Article | IST-REx-ID: 2961 |
Malaspinas A, Uhler C. 2011. Detecting epistasis via Markov bases. Journal of Algebraic Statistics. 2(1), 36–53.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. 2011. A Framework for Practical Universally Composable Zero-Knowledge Protocols. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7073, 449–467.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 2976
Gullasch D, Bangerter E, Krenn S. 2011. Cache Games - Bringing Access-Based Cache Attacks on AES to Practice. S&P: IEEE Symposium on Security and Privacy, 490–505.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3092 |
Wabnik KT, Govaerts W, Friml J, Kleine Vehn J. 2011. Feedback models for polarized auxin transport: An emerging trend. Molecular BioSystems. 7(8), 2352–2359.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3089
Zhang J, Vanneste S, Brewer P, Michniewicz M, Grones P, Kleine Vehn J, Löfke C, Teichmann T, Bielach A, Cannoot B, Hoyerová K, Chen X, Xue H, Benková E, Zažímalová E, Friml J. 2011. Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity. Developmental Cell. 20(6), 855–866.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, Boeren S, Karlova R, Kitakura S, Pařezová M, Naramoto S, Nodzyński T, Dhonukshe P, Bednarek S, Zažímalová E, De Vries S, Friml J. 2011. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 21(12), 1055–1060.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3091 |
Sauer M, Friml J. 2011. Fleeting hormone cues get stabilized for plant organogenesis. Molecular Systems Biology. 7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3102
Berckmans B, Vassileva V, Schmid S, Maes S, Parizot B, Naramoto S, Magyar Z, Lessa Alvim Kamei C, Koncz C, Bögre L, Persiau G, De Jaeger G, Friml J, Simon R, Beeckman T, De Veyldera L. 2011. Auxin Dependent cell cycle reactivation through transcriptional regulation of arabidopsis E2Fa by lateral organ boundary proteins. Plant Cell. 23(10), 3671–3683.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3204
Kolmogorov V. 2011. Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6907, 400–411.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3206
Osokin A, Vetrov D, Kolmogorov V. 2011. Submodular decomposition framework for inference in associative Markov networks with global constraints. CVPR: Computer Vision and Pattern Recognition, 1889–1896.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3205
Tarlow D, Batra D, Kohli P, Kolmogorov V. 2011. Dynamic tree block coordinate ascent. ICML: International Conference on Machine Learning, 113–120.
View
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3266
Ion A, Carreira J, Sminchisescu C. 2011. Probabilistic joint image segmentation and labeling. NIPS Proceedings. NIPS: Neural Information Processing Systems vol. 24, 1827–1835.
View
2011 | Journal Article | IST-REx-ID: 3269 |
Sheng Y, Cutler B, Chen C, Nasman J. 2011. Perceptual global illumination cancellation in complex projection environments. Computer Graphics Forum. 30(4), 1261–1268.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3267
Chen C, Freedman D. 2011. Hardness results for homology localization. Discrete & Computational Geometry. 45(3), 425–448.
View
| Files available
| DOI
2011 | Book Chapter | IST-REx-ID: 3268
Freedman D, Chen C. 2011.Algebraic topology for computer vision. In: Computer Vision. Computer Science, Technology and Applications, , 239–268.
View
| Download None (ext.)
2011 | Journal Article | IST-REx-ID: 3288 |
Smutny M, Wu S, Gomez G, Mangold S, Yap A, Hamilton N. 2011. Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens. PLoS One. 6(7).
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3286
Weghuber J, Aichinger M, Brameshuber M, Wieser S, Ruprecht V, Plochberger B, Madl J, Horner A, Reipert S, Lohner K, Henics T, Schuetz G. 2011. Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells. Biochimica et Biophysica Acta (BBA) - Biomembranes. 1808(10), 2581–2590.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3302 |
Henzinger TA, Singh A, Singh V, Wies T, Zufferey D. 2011. Static scheduling in clouds. HotCloud: Workshop on Hot Topics in Cloud Computing, 1–6.
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3301 |
Henzinger TA, Mateescu M. 2011. Tail approximation for the chemical master equation. WCSB: Workshop on Computational Systems Biology (TICSP).
[Submitted Version]
View
| Files available
2011 | Conference Paper | IST-REx-ID: 3299 |
Henzinger TA, Mateescu M. 2011. Propagation models for computing biochemical reaction networks. CMSB: Computational Methods in Systems Biology, 1–3.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3316 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2011. Specification-centered robustness. 6th IEEE International Symposium on Industrial and Embedded Systems. SIES: International Symposium on Industrial Embedded Systems, 176–185.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3318 |
Eggermann E, Jonas PM. 2011. How the “slow” Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses. Nature Neuroscience. 15, 20–22.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3335 |
Van De Weygaert R, Vegter G, Edelsbrunner H, Jones B, Pranav P, Park C, Hellwing W, Eldering B, Kruithof N, Bos P, Hidding J, Feldbrugge J, Ten Have E, Van Engelen M, Caroli M, Teillaud M. 2011.Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Transactions on Computational Science XIV. LNCS, vol. 6970, 60–101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3329 |
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2011. Deconstructing approximate offsets. Proceedings of the twenty-seventh annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 187–196.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2011 | Journal Article | IST-REx-ID: 3332 |
Kerber M, Sagraloff M. 2011. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 27(3), 419–430.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3330 |
Kerber M, Sagraloff M. 2011. Root refinement for real polynomials. ISSAC: International Symposium on Symbolic and Algebraic Computation, 209–216.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Conference Paper | IST-REx-ID: 3328 |
Berberich E, Hemmer M, Kerber M. 2011. A generic algebraic kernel for non linear geometric applications. SCG: Symposium on Computational Geometry, 179–186.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3353 |
Tripakis S, Lickly B, Henzinger TA, Lee E. 2011. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 33(4), 14.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3355 |
Halalai R, Henzinger TA, Singh V. 2011. Quantitative evaluation of BFT protocols. QEST: Quantitative Evaluation of Systems, 255–264.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3351 |
Chatterjee K, Doyen L, Singh R. 2011. On memoryless quantitative objectives. FCT: Fundamentals of Computation Theory, LNCS, vol. 6914, 148–159.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee K, De Alfaro L, Henzinger TA. 2011. Qualitative concurrent parity games. ACM Transactions on Computational Logic (TOCL). 12(4), 28.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3349 |
Chatterjee K, Fijalkow N. 2011. A reduction from parity games to simple stochastic games. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 54, 74–86.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Conference Paper | IST-REx-ID: 3362 |
Fisher J, Henzinger TA, Nickovic D, Piterman N, Singh A, Vardi M. 2011. Dynamic reactive modules. CONCUR: Concurrency Theory, LNCS, vol. 6901, 404–418.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3365 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2011. QUASY: quantitative synthesis tool. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 6605, 267–271.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. 2011. An output sensitive algorithm for persistent homology. SoCG: Symposium on Computational Geometry, 207–216.
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3363 |
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3372 |
Abbot P et al. 2011. Inclusive fitness theory and eusociality. Nature. 471(7339), E1–E4.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3371 |
Sixt MK, Parent C. 2011. Cells on the move in Philadelphia. Molecular Biology and Evolution. 22(6), 724.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3374 |
Tkačik G, Walczak A. 2011. Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter. 23(15), 153102.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3368 |
Krens G, Möllmert S, Heisenberg C-PJ. 2011. Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants. PNAS. 108(3), E9–E10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3370 |
Kupczok A. 2011. Consequences of different null models on the tree shape bias of supertree methods. Systematic Biology. 60(2), 218–225.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3396 |
Stockinger P, Heisenberg C-PJ, Maître J-L. 2011. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 138(21), 4673–4683.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3394 |
Polechova J, Barton NH. 2011. Genetic drift widens the expected cline but narrows the expected cline width. Genetics. 189(1), 227–235.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3390 |
Barton NH, Etheridge A. 2011. The relation between reproductive value and genetic contribution. Genetics. 188(4), 953–973.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3391 |
de Vladar H, Barton NH. 2011. The contribution of statistical physics to evolutionary biology. Trends in Ecology and Evolution. 26(8), 424–432.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3397 |
Maître J-L, Heisenberg C-PJ. 2011. The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. 23(5), 508–514.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 3405 |
Janovjak HL, Sandoz G, Isacoff E. 2011. Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. 2(232), 1–6.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3505 |
Sixt MK, Lämmermann T. 2011. In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. 769, 149–165.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3784 |
Palero F, Guerao G, Clark P, Abello P. 2011. Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. 91(2), 485–492.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3781
Fasy BT. 2011. The difference in length of curves in R^n. Acta Sci. Math. (Szeged). 77(1–2), 359–367.
View
2011 | Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner H, Kerber M. 2011.Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, vol. 6570, 20–35.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3381 |
Henzinger TA, Jobstmann B, Wolf V. 2011. Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. 22(4), 823–841.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 386 |
Alpichshev Z, Analytis JG, Chu JH, Fisher IR, Kapitulnik A. 2011. STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. 84(4).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Journal Article | IST-REx-ID: 3315 |
Chatterjee K, Henzinger TA, Prabhu V. 2011. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 7(4).
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3085
Ding Z, Galván Ampudia C, Demarsy E, Łangowski Ł, Kleine Vehn J, Fan Y, Morita M, Tasaka M, Fankhauser C, Offringa R, Friml J. 2011. Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis. Nature Cell Biology. 13(4), 447–453.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3101 |
Zwiewka M, Feraru E, Möller B, Hwang I, Feraru M, Kleine Vehn J, Weijers D, Friml J. 2011. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 21(12), 1711–1722.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3098
Kleine Vehn J, Wabnik KT, Martinière A, Łangowski Ł, Willig K, Naramoto S, Leitner J, Tanaka H, Jakobs S, Robert S, Luschnig C, Govaerts W, Hell S, Runions J, Friml J. 2011. Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane. Molecular Systems Biology. 7.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3100 |
Vanneste S, Coppens F, Lee E, Donner T, Xie Z, Van Isterdael G, Dhondt S, De Winter F, De Rybel B, Vuylsteke M, De Veylder L, Friml J, Inzé D, Grotewold E, Scarpella E, Sack F, Beemster G, Beeckman T. 2011. Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. 30(16), 3430–3441.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3099
Drakakaki G, Robert S, Szatmári A, Brown M, Nagawa S, Van Damme D, Leonard M, Yang Z, Girke T, Schmid S, Russinova E, Friml J, Raikhel N, Hicks G. 2011. Clusters of bioactive compounds target dynamic endomembrane networks in vivo. PNAS. 108(43), 17850–17855.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3097
Marhavý P, Bielach A, Abas L, Abuzeineh A, Duclercq J, Tanaka H, Pařezová M, Petrášek J, Friml J, Kleine Vehn J, Benková E. 2011. Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. 21(4), 796–804.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3138
Sullivan D, Csicsvari JL, Mizuseki K, Montgomery S, Diba K, Buzsáki G. 2011. Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. 31(23), 8605–8616.
View
| DOI