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.

197 Publications


2006 | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to Timed Automata (pp. 274–289). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1570
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur, R., Cerny, P., & Zdancewic, S. (2006). Preserving Secrecy Under Refinement (pp. 107–118). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/1543
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf, M., Doyen, L., Henzinger, T. A., & Raskin, J. (2006). Antichains: A new algorithm for checking universality of finite automata (Vol. 4144, pp. 17–30). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/11817963_5
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger, T. A., & Sifakis, J. (2006). The embedded systems design challenge (Vol. 4085, pp. 1–15). Presented at the FM: Formal Methods, Springer. https://doi.org/10.1007/11813040_1
View | DOI
 

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, 354(2), 173–186. 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, 365(1–2), 67–82. 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 | Preprint | IST-REx-ID: 573 | OA
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual computation revisited. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2006 | Preprint | IST-REx-ID: 574 | OA
Hosten, O., & Kwiat, P. (2006). Weak measurements and counterfactual computation. ArXiv.
View | Download Preprint (ext.) | arXiv
 

2006 | Conference Paper | IST-REx-ID: 577
Rangarajan, R., Altepeter, J., Jeffrey, E., Stoutimore, M., Peters, N., Hosten, O., & Kwiat, P. (2006). High-efficiency single-photon detectors (Vol. 6372). Presented at the Unknown (978-081946470-5), SPIE. https://doi.org/10.1117/12.686117
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 578
Peters, N., Arnold, K., Vandevender, A., Jeffrey, E., Rangarajan, R., Hosten, O., … Kwiat, P. (2006). Towards a quasi-deterministic single-photon source (Vol. 6305). Presented at the Quantum Communications and Quantum Imaging, SPIE. https://doi.org/10.1117/12.684702
View | DOI
 

2006 | Journal Article | IST-REx-ID: 579
Hosten, O., Rakher, M., Barreiro, J., Peters, N., & Kwiat, P. (2006). Counterfactual quantum computation through quantum interrogation. Nature, 439(7079), 949–952. https://doi.org/10.1038/nature04523
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 583
Rangarajan, R., Peters, N., Hosten, O., Altepeter, J., Jeffrey, E., & Kwiat, P. (2006). Improved single-photon detection. Presented at the CLEO/QELS: Conference on Lasers and Electro-Optics / Quantum Electronics and Laser Science Conference, IEEE. https://doi.org/10.1109/CLEO.2006.4628641
View | DOI
 

2006 | Journal Article | IST-REx-ID: 6151 | OA
Salecker, I., Häusser, M., & de Bono, M. (2006). On the axonal road to circuit function and behaviour: Workshop on the assembly and function of neuronal circuits. EMBO Reports, 7(6), 585–589. https://doi.org/10.1038/sj.embor.7400713
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 6152
Rogers, C., Persson, A., Cheung, B., & de Bono, M. (2006). Behavioral motifs and neural pathways coordinating O2 responses and aggregation in C. elegans. Current Biology, 16(7), 649–659. https://doi.org/10.1016/j.cub.2006.03.023
View | DOI | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 2657
Luján, R., & Shigemoto, R. (2006). Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum. European Journal of Neuroscience, 23(6), 1479–1490. https://doi.org/10.1111/j.1460-9568.2006.04669.x
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2659
Inamura, M., Itakura, M., Okamoto, H., Hoka, S., Mizoguchi, A., Fukazawa, Y., … Takahashi, M. (2006). Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons. Neuroscience Research, 55(1), 45–53. https://doi.org/10.1016/j.neures.2006.01.004
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2660
Shaban, H., Humeau, Y., Herry, C., Cassasus, G., Shigemoto, R., Ciocchi, S., … Lüthi, A. (2006). Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition. Nature Neuroscience, 9(8), 1028–1035. https://doi.org/10.1038/nn1732
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2661
Vigot, R., Barbieri, S., Bräuner Osborne, H., Tureček, R., Shigemoto, R., Zhang, Y., … Bettler, B. (2006). Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants. Neuron, 50(4), 589–601. https://doi.org/10.1016/j.neuron.2006.04.014
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2662
Kulik, Á., Vida, I., Fukazawa, Y., Guetg, N., Kasugai, Y., Marker, C., … Shigemoto, R. (2006). Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells. Journal of Neuroscience, 26(16), 4289–4297. https://doi.org/10.1523/JNEUROSCI.4178-05.2006
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2663
Kodama, T., Itsukaichi Nishida, Y., Fukazawa, Y., Wakamori, M., Miyata, M., Molnár, E., … Imoto, K. (2006). A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses. European Journal of Neuroscience, 24(11), 2993–3007. https://doi.org/10.1111/j.1460-9568.2006.05191.x
View | DOI
 

2006 | Book Review | IST-REx-ID: 2664
Ferraguti, F., & Shigemoto, R. (2006). Metabotropic glutamate receptors. Cell and Tissue Research. Springer. https://doi.org/10.1007/s00441-006-0266-5
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2745
Elgart, A., Erdös, L., Schlein, B., & Yau, H. (2006). Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons. Archive for Rational Mechanics and Analysis, 179(2), 265–283. https://doi.org/10.1007/s00205-005-0388-z
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 2746
Erdös, L., Salmhofer, M., & Yau, H. (2006). Towards the quantum Brownian motion (Vol. 690, pp. 233–257). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1007/3-540-34273-7_18
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2747
Erdös, L., Schlein, B., & Yau, H. (2006). Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Communications on Pure and Applied Mathematics, 59(12), 1659–1741. https://doi.org/10.1002/cpa.20123
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2791
Hof, B., Westerweel, J., Schneider, T., & Eckhardt, B. (2006). Finite lifetime of turbulence in shear flows. Nature, 443(7107), 59–62. https://doi.org/10.1038/nature05089
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2792
Hof, B., Van Doorne, C., Westerweel, J., & Nieuwstadt, F. (2006). Observation of nonlinear travelling waves in turbulent pipe flow. Fluid Mechanics and Its Applications, 78, 109–114. https://doi.org/10.1007/1-4020-4159-4_11
View | DOI
 

2006 | Journal Article | IST-REx-ID: 2894
Calado, D., Paixao, T., Holmberg, D., & Haury, M. (2006). Stochastic Monoallelic Expression of IL 10 in T Cells. Journal of Immunology, 177(8), 5358–5364. https://doi.org/10.4049/jimmunol.177.8.5358
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 2921
Kolmogorov, V., & Zabih, R. (2006). Graph cut algorithms for binocular stereo with occlusions. In Handbook of Mathematical Models in Computer Vision (pp. 423–427). Springer. https://doi.org/10.1007/0-387-28831-7_26
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, 11(1), 12–14. 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, 10(1), 137–150. 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, 8(3), 249–256. 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, 311(5759), 385–388. 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, 119(7), 1199–1202. 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, 20(8), 1015–1027. 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, 312(5775). 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, M. F., Seifertová, D., … Friml, J. (2006). PIN proteins perform a rate-limiting function in cellular auxin efflux. Science, 312(5775), 914–918. https://doi.org/10.1126/science.1123542
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, 1(1), 104–107. 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, 1(3), 1462–1467. 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, 1(1), 98–103. 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, 20(20), 2902–2911. 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, 63(23), 2738–2754. 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, 18(11), 3171–3181. 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, 1(4), 1939–1946. 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, 22, 237–265. https://doi.org/10.1146/annurev.cellbio.22.010305.103337
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1715
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology, 16(7), 625–635. https://doi.org/10.1016/j.cub.2006.02.061
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1716
Dudu, V., Bittig, T., Entchev, E., Kicheva, A., Julicher, F., & González Gaitán, M. (2006). Erratum: Postsynaptic mad signaling at the Drosophila neuromuscular junction. Current Biology, 16(12). https://doi.org/10.1016/j.cub.2006.06.020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1745
Katsaros, G., Rastelli, A., Stoffel, M., Isella, G., Von Känel, H., Bittner, A., … Kern, K. (2006). Investigating the lateral motion of SiGe islands by selective chemical etching. Surface Science, 600(12), 2608–2613. https://doi.org/10.1016/j.susc.2006.04.027
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1746
Costantini, G., Rastelli, A., Manzano, C., Acosta Diaz, P., Songmuang, R., Katsaros, G., … Kern, K. (2006). Interplay between thermodynamics and kinetics in the capping of InAs/GaAs (001) quantum dots. Physical Review Letters, 96(22). https://doi.org/10.1103/PhysRevLett.96.226106
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1747
Rastelli, A., Stoffel, M., Katsaros, G., Tersoff, J., Denker, U., Merdzhanova, T., … Schmidt, O. (2006). Reading the footprints of strained islands. Microelectronics Journal, 37(12), 1471–1476. https://doi.org/10.1016/j.mejo.2006.05.029
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1748
Katsaros, G., Rastelli, A., Stoffel, M., Costantini, G., Schmidt, O., Kern, K., … Von Känel, H. (2006). Evolution of buried semiconductor nanostructures and origin of stepped surface mounds during capping. Applied Physics Letters, 89(25). https://doi.org/10.1063/1.2405876
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1796
Siegert, S., Schnierle, P., & Schnierle, B. (2006). Novel anti-viral therapy: Drugs that block HIV entry at different target sites. Mini-Reviews in Medicinal Chemistry, 6(5), 557–562. https://doi.org/10.2174/138955706776876267
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1961
Sazanov, L. A., & Hinchliffe, P. (2006). Structure of the hydrophilic domain of respiratory complex I from Thermus thermophilus. Science, 311(5766), 1430–1436. https://doi.org/10.1126/science.1123809
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1966
Hinchliffe, P., Carroll, J., & Sazanov, L. A. (2006). Identification of a novel subunit of respiratory complex I from Thermus thermophilus. Biochemistry, 45(14), 4413–4420. https://doi.org/10.1021/bi0600998
View | DOI
 

2006 | Journal Article | IST-REx-ID: 854
Rogaev, E., Moliaka, Y., Malyarchuk, B., Kondrashov, F., Derenko, M., Chumakov, I., & Grigorenko, A. (2006). Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius. PLoS Biology, 4(3), 0403–0410. https://doi.org/10.1371/journal.pbio.0040073
View | DOI
 

2006 | Journal Article | IST-REx-ID: 868
Kondrashov, F., Koonin, E., Morgunov, I., Finogenova, T., & Kondrashova, M. (2006). Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation. Biology Direct, 1. https://doi.org/10.1186/1745-6150-1-31
View | DOI
 

2006 | Journal Article | IST-REx-ID: 869
Kondrashov, F., Ogurtsov, A., & Kondrashov, A. (2006). Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites. Journal of Theoretical Biology, 240(4), 616–626. https://doi.org/10.1016/j.jtbi.2005.10.020
View | DOI
 

2006 | Journal Article | IST-REx-ID: 873
Kondrashov, F., & Kondrashov, A. (2006). Role of selection in fixation of gene duplications. Journal of Theoretical Biology, 239(2), 141–151. https://doi.org/10.1016/j.jtbi.2005.08.033
View | DOI
 

2006 | Journal Article | IST-REx-ID: 903
Babenko, V., Basu, M., Kondrashov, F., Rogozin, I., & Koonin, E. (2006). Signs of positive selection of somatic mutations in human cancers detected by EST sequence analysis. BMC Cancer, 6. https://doi.org/10.1186/1471-2407-6-36
View | DOI
 

2006 | Journal Article | IST-REx-ID: 1461 | OA
Hausel, T., & Swartz, E. (2006). Intersection forms of toric hyperkähler varieties. Proceedings of the American Mathematical Society, 134(8), 2403–2409. https://doi.org/10.1090/S0002-9939-06-08248-7
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 1462 | OA
Hausel, T. (2006). Betti numbers of holomorphic symplectic quotients via arithmetic Fourier transform. PNAS, 103(16), 6120–6124. https://doi.org/10.1073/pnas.0601337103
View | DOI | Download (ext.)
 

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, 28(9), 1480–1492. 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, 28(10), 1568–1583. 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, 357(2), 644–654. 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, 355(1), 2–8. 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
Tkacik, 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, 16(6), 618–623. 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
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee, K. (2006). Nash equilibrium for upward-closed objectives (Vol. 4207, pp. 271–286). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/11874683_18
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2006). Algorithms for Büchi Games. Presented at the GDV: Games in Design and Verification, ACM.
View | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3510
Edelsbrunner, H., Fu, P., Nekhayev, D., Facello, M., & Williams, S. (2006). Method, apparatus and computer program products for automatically generating NURBS models of triangulated surfaces using homeomorphism. Elsevier. https://doi.org/US 6,996,505 B1
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3511
Fu, P., Nekhayev, D., & Edelsbrunner, H. (2006). Manufacturing methods and systems for rapid production of hearing-aid shells. Elsevier. https://doi.org/US 7,050,876 B1
View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3512
Fletcher, Y., Gloth, T., Edelsbrunner, H., & Fu, P. (2006). Method, apparatus and computer products that reconstruct surfaces from data points. Elsevier. https://doi.org/US 7,023,432 B2
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3522
O’Neill, J., Senior, T., & Csicsvari, J. L. (2006). Place-selective firing of CA1 pyramidal cells during sharp wave/ripple network patterns in exploratory behavior. Neuron, 49(1), 143–155. https://doi.org/10.1016/j.neuron.2005.10.037
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3545
Magill, P., Pogosyan, A., Sharott, A., Csicsvari, J. L., Bolam, J., & Brown, P. (2006). Changes in functional connectivity within the rat striatopallidal axis during global brain activation in vivo. Journal of Neuroscience, 26(23), 6318–6329. https://doi.org/10.1523/​JNEUROSCI.0620-06.2006
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3559
Cohen Steiner, D., Edelsbrunner, H., & Morozov, D. (2006). Vines and vineyards by updating persistence in linear time (pp. 119–126). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/1137856.1137877
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications