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.

6398 Publications


2006 | Conference Paper | IST-REx-ID: 4432
Henzinger, T. A., & Prabhu, V. (2006). Timed alternating-time temporal logic (Vol. 4202, pp. 1–17). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/11867340_1
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger, T. A., & Matic, S. (2006). An interface algebra for real-time components (pp. 253–266). Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, IEEE. https://doi.org/10.1109/RTAS.2006.11
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger, T. A., & Piterman, N. (2006). Solving games without determinization (Vol. 4207, pp. 395–410). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_26
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger, T. A., Kupferman, O., & Majumdar, R. (2006). On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.11.015
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani, B., Henzinger, T. A., Kannan, Y., Nori, A., & Rajamani, S. (2006). Synergy: A new algorithm for property checking (pp. 117–127). Presented at the FSE: Foundations of Software Engineering, ACM. https://doi.org/10.1145/1181775.1181790
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., & Sangiovanni Vincentelli, A. (2006). A hierarchical coordination language for interacting real-time tasks (pp. 132–141). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1176887.1176907
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher, J., & Henzinger, T. A. (2006). Executable biology (pp. 1675–1682). Presented at the WSC: Winter Simulation Conference, IEEE. https://doi.org/10.1109/WSC.2006.322942
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee, K., & Henzinger, T. A. (2006). Strategy improvement and randomized subexponential algorithms for stochastic parity games (Vol. 3884, pp. 512–523). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_42
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee, K., & Henzinger, T. A. (2006). Finitary winning in omega-regular games (Vol. 3920, pp. 257–271). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/11691372_17
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, K., De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2006). Compositional quantitative reasoning (pp. 179–188). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, K., Henzinger, T. A., & Jurdziński, M. (2006). Games with secure equilibria. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2006.07.032
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2006). Markov decision processes with multiple objectives (Vol. 3884, pp. 325–336). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/11672142_26
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2006). Strategy improvement for concurrent reachability games (pp. 291–300). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2006.48
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2006). Lazy shape analysis (Vol. 4144, pp. 532–546). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_48
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer, M., & Friml, J. (2006). In vitro culture of Arabidopsis embryos. In A. Mujib & J. Šamaj (Eds.), Somatic Embryogenesis (Vol. 2, pp. 343–354). Springer. https://doi.org/10.1007/7089_020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml, J., Benfey, P., Benková, E., Bennett, M., Berleth, T., Geldner, N., … Zažímalová, E. (2006). Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2005.11.010
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3006
Dhonukshe, P., Baluška, F., Schlicht, M., Hlavacka, A., Šamaj, J., Friml, J., & Gadella, T. (2006). Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2005.11.015
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas, L., Benjamins, R., Malenica, N., Paciorek, T., Wiśniewska, J., Moulinier Anzola, J., … Luschnig, C. (2006). Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1369
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
Xu, J., Hofhuis, H., Heidstra, R., Sauer, M., Friml, J., & Scheres, B. (2006). A molecular framework for plant regeneration. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1121790
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Paciorek, T., & Friml, J. (2006). Auxin signaling. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.02910
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Scarpella, E., Marcos, D., Friml, J., & Berleth, T. (2006). Control of leaf vascular patterning by polar auxin transport. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1402406
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska, J., Xu, J., Seifertová, D., Brewer, P., Růžička, K., Blilou, I., … Friml, J. (2006). Polar PIN localization directs auxin flow in plants. Science. American Association for the Advancement of Science. 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, T., Sauer, M., Balla, J., Wiśniewska, J., & Friml, J. (2006). Immunocytochemical technique for protein localization in sections of plant tissues. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.16
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
Brewer, P., Heisler, M., Hejátko, J., Friml, J., & Benková, E. (2006). In situ hybridization for mRNA detection in Arabidopsis tissue sections. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.226
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Sauer, M., Paciorek, T., Benková, E., & Friml, J. (2006). Immunocytochemical techniques for whole mount in situ protein localization in plants. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.15
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3016
Sauer, M., Balla, J., Luschnig, C., Wiśniewska, J., Reinöhl, V., Friml, J., & Benková, E. (2006). Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.390806
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Tanaka, H., Dhonukshe, P., Brewer, P., & Friml, J. (2006). Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development. Cellular and Molecular Life Sciences. Birkhäuser. https://doi.org/10.1007/s00018-006-6116-5
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3018
Kleine Vehn, J., Dhonukshe, P., Swarup, R., Bennett, M., & Friml, J. (2006). Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.106.042770
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3020
Hejátko, J., Blilou, I., Brewer, P., Friml, J., Scheres, B., & Benková, E. (2006). In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples. Nature Protocols. Nature Publishing Group. https://doi.org/10.1038/nprot.2006.333
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3152
Kunwar, P., Siekhaus, D. E., & Lehmann, R. (2006). In vivo migration A germ cell perspective. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev.cellbio.22.010305.103337
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
Szeliski, R., Zabih, R., Scharstein, D., Veksler, O., Kolmogorov, V., Agarwala, A., … Rother, C. (2006). A comparative study of energy minimization methods for Markov random fields (Vol. 3952, pp. 16–29). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/11744047_2
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3184
Kolmogorov, V., & Rother, C. (2006). Comparison of energy minimization algorithms for highly connected graphs (Vol. 3952 LNCS, pp. 1–15). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/11744047_1
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Kolmogorov, V., Criminisi, A., Blake, A., Cross, G., & Rother, C. (2006). Probabilistic fusion of stereo with color and contrast for bilayer segmentation. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2006.193
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
Boykov, Y., Kolmogorov, V., Cremers, D., & Delong, A. (2006). An integral solution to surface evolution PDEs via geo cuts (Vol. 3953, pp. 409–422). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/11744078_32
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3188
Rother, C., Kolmogorov, V., Minka, T., & Blake, A. (2006). Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs (pp. 993–1000). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2006.91
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Criminisi, A., Cross, G., Blake, A., & Kolmogorov, V. (2006). Bilayer segmentation of live video (Vol. 1, pp. 53–60). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2006.69
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Kolmogorov, V. (2006). Convergent tree reweighted message passing for energy minimization. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2006.200
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer, U., Oswald, Y., Pietrzak, K. Z., & Sjödin, J. (2006). Luby Rackoff ciphers from weak round functions (Vol. 4004, pp. 391–408). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/11761679_24
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Dodis, Y., Pietrzak, K. Z., & Przydatek, B. (2006). Separating sources for encryption and secret sharing (Vol. 3876, pp. 601–616). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/11681878_31
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak, K. Z. (2006). A tight bound for EMAC (Vol. 4052, pp. 168–179). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/11787006_15
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak, K. Z. (2006). Composition implies adaptive security in minicrypt (Vol. 4004, pp. 328–338). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/11761679_20
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak, H. L., Sawhney, R., Stark, M., & Mueller, D. (2006). Atomic force microscopy. In Techniques in Microscopy for Biomedical Applications (Vol. 2, pp. 213–284). World Scientific Publishing.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler, M., Gottschalk, K., Janovjak, H. L., Mueller, D., & Gaub, H. (2006). Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2005.12.065
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov, A., Janovjak, H. L., Ziegler, C., Kühlbrandt, W., & Mueller, D. (2006). Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2005.10.028
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Janovjak, H. L., Kedrov, A., Cisneros, D., Sapra, T., Struckmeier, J., & Mueller, D. (2006). Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. Elsevier. https://doi.org/10.1016/j.neurobiolaging.2005.03.031
View | DOI
 

2006 | Preprint | IST-REx-ID: 3431 | OA
Tkačik, G., Schneidman, E., Berry, M., & Bialek, W. (2006). Ising models for networks of real neurons. ArXiv. ArXiv.
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt, A., & Bollback, J. P. (2006). Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2006.10.006
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee, K., Jagadeesan, R., & Pitcher, C. (2006). Games for controls (pp. 70–82). Presented at the CSF: Computer Security Foundations, IEEE. https://doi.org/10.1109/CSFW.2006.14
View | DOI
 

2006 | Book Review | IST-REx-ID: 3463
Bischofberger, J., Engel, D., Frotscher, M., & Jonas, P. M. (2006). Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. Springer. https://doi.org/10.1007/s00424-006-0093-2
View | DOI
 

Search

Filter Publications