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.

6425 Publications


2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,” 4144:17–30. Springer, 2006. https://doi.org/10.1007/11817963_5.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,” 4085:1–15. Springer, 2006. https://doi.org/10.1007/11813040_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,” 4202:1–17. Springer, 2006. https://doi.org/10.1007/11867340_1.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,” 253–66. IEEE, 2006. https://doi.org/10.1109/RTAS.2006.11.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,” 4207:395–410. Springer, 2006. https://doi.org/10.1007/11874683_26.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2005.11.015.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,” 117–27. ACM, 2006. https://doi.org/10.1145/1181775.1181790.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,” 132–41. ACM, 2006. https://doi.org/10.1145/1176887.1176907.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,” 1675–82. IEEE, 2006. https://doi.org/10.1109/WSC.2006.322942.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,” 3884:512–23. Springer, 2006. https://doi.org/10.1007/11672142_42.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,” 3920:257–71. Springer, 2006. https://doi.org/10.1007/11691372_17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,” 179–88. IEEE, 2006. https://doi.org/10.1109/QEST.2006.11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria.” Theoretical Computer Science. Elsevier, 2006. https://doi.org/10.1016/j.tcs.2006.07.032.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,” 3884:325–36. Springer, 2006. https://doi.org/10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,” 291–300. IEEE, 2006. https://doi.org/10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,” 4144:532–46. Springer, 2006. https://doi.org/10.1007/11817963_48.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer, Michael, and Jiří Friml. “In Vitro Culture of Arabidopsis Embryos.” In Somatic Embryogenesis, edited by Abdul Mujib and Jozef Šamaj, 2:343–54. Springer, 2006. https://doi.org/10.1007/7089_020.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, Jiří, Philip Benfey, Eva Benková, Malcolm Bennett, Thomas Berleth, Niko Geldner, Markus Grebe, et al. “Apical-Basal Polarity: Why Plant Cells Don’t Stand on Their Heads.” Trends in Plant Science. Cell Press, 2006. https://doi.org/10.1016/j.tplants.2005.11.010.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe, Pankaj, František Baluška, Markus Schlicht, Andrej Hlavacka, Jozef Šamaj, Jiří Friml, and Theodorus Gadella. “Endocytosis of Cell Surface Material Mediates Cell Plate Formation during Plant Cytokinesis.” Developmental Cell. Cell Press, 2006. https://doi.org/10.1016/j.devcel.2005.11.015.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas, Lindy, René Benjamins, Nenad Malenica, Tomasz Paciorek, Justyna Wiśniewska, Jeanette Moulinier Anzola, Tobias Sieberer, Jiří Friml, and Christian Luschnig. “Intracellular Trafficking and Proteolysis of the Arabidopsis Auxin-Efflux Facilitator PIN2 Are Involved in Root Gravitropism.” Nature Cell Biology. Nature Publishing Group, 2006. https://doi.org/10.1038/ncb1369.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu, Jian, Hugo Hofhuis, Renze Heidstra, Michael Sauer, Jiří Friml, and Ben Scheres. “A Molecular Framework for Plant Regeneration.” Science. American Association for the Advancement of Science, 2006. https://doi.org/10.1126/science.1121790.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek, Tomasz, and Jiří Friml. “Auxin Signaling.” Journal of Cell Science. Company of Biologists, 2006. https://doi.org/10.1242/jcs.02910.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella, Enrico, Danielle Marcos, Jiří Friml, and Thomas Berleth. “Control of Leaf Vascular Patterning by Polar Auxin Transport.” Genes and Development. Cold Spring Harbor Laboratory Press, 2006. https://doi.org/10.1101/gad.1402406.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska, Justyna, Jian Xu, Daniela Seifertová, Philip Brewer, Kamil Růžička, Ikram Blilou, David Rouquié, Eva Benková, Ben Scheres, and Jiří Friml. “Polar PIN Localization Directs Auxin Flow in Plants.” Science. American Association for the Advancement of Science, 2006. https://doi.org/10.1126/science.1121356.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3012
Petrášek J, Mravec J, Bouchard R, Blakeslee J, Abas MF, Seifertová D, Wiśniewska J, Tadele Z, Kubeš M, Čovanová M, Dhonukshe P, Skůpa P, Benková E, Perry L, Křeček P, Lee O, Fink G, Geisler M, Murphy A, Luschnig C, Zažímalová E, Friml J. 2006. PIN proteins perform a rate-limiting function in cellular auxin efflux. Science. 312(5775), 914–918.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3013
Paciorek, Tomasz, Michael Sauer, Jozef Balla, Justyna Wiśniewska, and Jiří Friml. “Immunocytochemical Technique for Protein Localization in Sections of Plant Tissues.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.16.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer, Philip, Marcus Heisler, Jan Hejátko, Jiří Friml, and Eva Benková. “In Situ Hybridization for MRNA Detection in Arabidopsis Tissue Sections.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.226.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Sauer, Michael, Tomasz Paciorek, Eva Benková, and Jiří Friml. “Immunocytochemical Techniques for Whole Mount in Situ Protein Localization in Plants.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.15.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3016
Sauer, Michael, Jozef Balla, Christian Luschnig, Justyna Wiśniewska, Vilém Reinöhl, Jiří Friml, and Eva Benková. “Canalization of Auxin Flow by Aux/IAA-ARF-Dependent Feedback Regulation of PIN Polarity.” Genes and Development. Cold Spring Harbor Laboratory Press, 2006. https://doi.org/10.1101/gad.390806.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka, Hirokazu, Pankaj Dhonukshe, Philip Brewer, and Jiří Friml. “Spatiotemporal Asymmetric Auxin Distribution: A Means to Coordinate Plant Development.” Cellular and Molecular Life Sciences. Birkhäuser, 2006. https://doi.org/10.1007/s00018-006-6116-5.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3018
Kleine Vehn, Jürgen, Pankaj Dhonukshe, Ranjan Swarup, Malcolm Bennett, and Jiří Friml. “Subcellular Trafficking of the Arabidopsis Auxin Influx Carrier AUX1 Uses a Novel Pathway Distinct from PIN1.” Plant Cell. American Society of Plant Biologists, 2006. https://doi.org/10.1105/tpc.106.042770.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3020
Hejátko, Jan, Ikram Blilou, Philip Brewer, Jiří Friml, Ben Scheres, and Eva Benková. “In Situ Hybridization Technique for MRNA Detection in Whole Mount Arabidopsis Samples.” Nature Protocols. Nature Publishing Group, 2006. https://doi.org/10.1038/nprot.2006.333.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3152
Kunwar, Prabhat, Daria E Siekhaus, and Ruth Lehmann. “In Vivo Migration A Germ Cell Perspective.” Annual Review of Cell and Developmental Biology. Annual Reviews, 2006. https://doi.org/10.1146/annurev.cellbio.22.010305.103337.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
Szeliski, Richard, Ramin Zabih, Daniel Scharstein, Olga Veksler, Vladimir Kolmogorov, Aseem Agarwala, Marshall Tappen, and Carsten Rother. “A Comparative Study of Energy Minimization Methods for Markov Random Fields,” 3952:16–29. Springer, 2006. https://doi.org/10.1007/11744047_2.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3184
Kolmogorov, Vladimir, and Carsten Rother. “Comparison of Energy Minimization Algorithms for Highly Connected Graphs,” 3952 LNCS:1–15. Springer, 2006. https://doi.org/10.1007/11744047_1.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Kolmogorov, Vladimir, Antonio Criminisi, Andrew Blake, Geoffrey Cross, and Carsten Rother. “Probabilistic Fusion of Stereo with Color and Contrast for Bilayer Segmentation.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2006. https://doi.org/10.1109/TPAMI.2006.193.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
Boykov, Yuri, Vladimir Kolmogorov, Daniel Cremers, and Andrew Delong. “An Integral Solution to Surface Evolution PDEs via Geo Cuts,” 3953:409–22. Springer, 2006. https://doi.org/10.1007/11744078_32.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3188
Rother, Carsten, Vladimir Kolmogorov, Thomas Minka, and Andrew Blake. “Cosegmentation of Image Pairs by Histogram Matching - Incorporating a Global Constraint into MRFs,” 993–1000. IEEE, 2006. https://doi.org/10.1109/CVPR.2006.91.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Criminisi, Antonio, Geoffrey Cross, Andrew Blake, and Vladimir Kolmogorov. “Bilayer Segmentation of Live Video,” 1:53–60. IEEE, 2006. https://doi.org/10.1109/CVPR.2006.69.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Kolmogorov, Vladimir. “Convergent Tree Reweighted Message Passing for Energy Minimization.” IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE, 2006. https://doi.org/10.1109/TPAMI.2006.200.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer, Ueli, Yvonne Oswald, Krzysztof Z Pietrzak, and Johan Sjödin. “Luby Rackoff Ciphers from Weak Round Functions ,” 4004:391–408. Springer, 2006. https://doi.org/10.1007/11761679_24.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Dodis, Yevgeniy, Krzysztof Z Pietrzak, and Bartosz Przydatek. “Separating Sources for Encryption and Secret Sharing,” 3876:601–16. Springer, 2006. https://doi.org/10.1007/11681878_31.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak, Krzysztof Z. “A Tight Bound for EMAC,” 4052:168–79. Springer, 2006. https://doi.org/10.1007/11787006_15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak, Krzysztof Z. “Composition Implies Adaptive Security in Minicrypt,” 4004:328–38. Springer, 2006. https://doi.org/10.1007/11761679_20.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak, Harald L, Ravi Sawhney, Martin Stark, and Daniel Mueller. “Atomic Force Microscopy.” In Techniques in Microscopy for Biomedical Applications, 2:213–84. World Scientific Publishing, 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler, Max, Kay Gottschalk, Harald L Janovjak, Daniel Mueller, and Hermann Gaub. “Bacteriorhodopsin Folds into the Membrane against an External Force.” Journal of Molecular Biology. Elsevier, 2006. https://doi.org/10.1016/j.jmb.2005.12.065.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov, Alexej, Harald L Janovjak, Christine Ziegler, Werner Kühlbrandt, and Daniel Mueller. “Observing Folding Pathways and Kinetics of a Single Sodium-Proton Antiporter from Escherichia Coli.” Journal of Molecular Biology. Elsevier, 2006. https://doi.org/10.1016/j.jmb.2005.10.028.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Janovjak, Harald L, Alexej Kedrov, David Cisneros, Tanuj Sapra, Jens Struckmeier, and Daniel Mueller. “Imaging and Detecting Molecular Interactions of Single Membrane Proteins.” Neurobiology of Aging. Elsevier, 2006. https://doi.org/10.1016/j.neurobiolaging.2005.03.031.
View | DOI
 

2006 | Preprint | IST-REx-ID: 3431 | OA
Tkačik, Gašper, E. Schneidman, M. Berry, and William Bialek. “Ising Models for Networks of Real Neurons.” ArXiv. ArXiv, 2006.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt, Andrea, and Jonathan P Bollback. “Fitness Effects of Beneficial Mutations: The Mutational Landscape Model in Experimental Evolution.” Current Opinion in Genetics & Development. Elsevier, 2006. https://doi.org/10.1016/j.gde.2006.10.006.
View | DOI
 

Search

Filter Publications