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 | Journal Article | IST-REx-ID: 3750
Le T, Guet CC, Cluzel P. 2006. Protein expression enhancement in efflux-deleted mutant bacteria. Protein Expression and Purification. 48(1), 28–31.
View
 

2006 | Journal Article | IST-REx-ID: 3755 | OA
Le T, Emonet T, Harlepp S, Guet CC, Cluzel P. 2006. Dynamical determinants of drug-inducible gene expression in a single bacterium. Biophysical Journal. 90(9), 3315–3321.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3758
Wojtan CJ, Mucha P, Turk G. 2006. Keyframe control of complex particle systems using the adjoint method. SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, 15–23.
View | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 3767
Kupczok A, Dittrich P. 2006. Determinants of simulated RNA evolution. Journal of Theoretical Biology. 238(3), 726–35.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3811
Vida I, Bartos M, Jonas PM. 2006. Shunting inhibition improves robustness of gamma oscillations in hippocampal interneuron networks by homogenizing firing rates. Neuron. 49(1), 107–17.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3813 | OA
Aponte Y, Lien C, Reisinger E, Jonas PM. 2006. Hyperpolarization-activated cation channels in fast-spiking interneurons of rat hippocampus. Journal of Physiology. 574(Pt 1), 229–43.
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3814
Frotscher M, Jonas PM, Sloviter R. 2006. Synapses formed by normal and abnormal hippocampal mossy fibers (Review). Cell and Tissue Research. 326(2), 361–7.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3815
Bischofberger J, Engel D, Frotscher M, Jonas PM. 2006. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. Pflugers Archiv : European Journal of Physiology. 453(3), 361–72.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3817
Frotscher M, Gundelfinger E, Jonas PM, Neher E, Seeburg P. 2006. The most important recent advances in synapse research from my point of view--and what remains to be done. Cell and Tissue Research. 326(2), 203–4.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3818
Bischofberger J, Engel D, Li L, Geiger J, Jonas PM. 2006. Patch-clamp recording from mossy fiber terminals in hippocampal slices. Nature Protocols. 1(4), 2075–81.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
Chatterjee K, Henzinger TA. 2006. Strategy improvement for stochastic Rabin and Streett games. CONCUR: Concurrency Theory, LNCS, vol. 4137, 375–389.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3889
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2006. Algorithms for omega-regular games with imperfect information. CSL: Computer Science Logic, LNCS, vol. 4207, 287–302.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
Chatterjee K, De Alfaro L, Henzinger TA. 2006. The complexity of quantitative concurrent parity games. SODA: Symposium on Discrete Algorithms, 678–687.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Chatterjee K. 2006. Concurrent games with tail objectives. CSL: Computer Science Logic, LNCS , vol. 4207, 256–270.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3908
Ustinova J, Achmann R, Cremer S, Mayer F. 2006. Long repeats in a huge gemome: microsatellite loci in the grasshopper Chorthippus biguttulus. Journal of Molecular Evolution. 62(2), 158–167.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3912
Cremer S, Ugelvig LV, Lommen S, Petersen K, Pedersen J. 2006. Attack of the invasive garden ant: aggression behaviour of Lasius neglectus (Hymenoptera: Formicidae) against native Lasius species in Spain. Myrmecological News. 9, 13–19.
View
 

2006 | Journal Article | IST-REx-ID: 3913
Heinze J, Cremer S, Eckl N, Schrempf A. 2006. Stealthy invaders: the biology of Cardiocondyla tramp ants. Insectes Sociaux. 53(1), 1–7.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3914
Moder K, Schlick Steiner B, Steiner F, Cremer S, Christian E, Seifert B. 2006. Optimal species distinction by discriminant analysis: comparing established methods of character selection with a combination procedure using ant morphometrics as a case study. Journal of Zoological Systematics and Evolutionary Research. 45(1), 82–87.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3932
Henic E, Sixt MK, Hansson S, Høyer Hansen G, Casslén B. 2006. EGF-stimulated migration in ovarian cancer cells is associated with decreased internalization, increased surface expression, and increased shedding of the urokinase plasminogen activator receptor. Gynecologic Oncology. 101(1), 28–39.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3934
Drumea Mirancea M, Wessels J, Müller C, Essl M, Eble J, Tolosa E, Koch M, Reinhardt D, Sixt MK, Sorokin L, Stierhof Y, Schwarz H, Klein G. 2006. Characterization of a conduit system containing laminin-5 in the human thymus: a potential transport system for small molecules. Journal of Cell Science. 119(Pt 7), 1396–1405.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3935
Chu H, Thievessen I, Sixt MK, Lämmermann T, Waisman A, Braun A, Noegel A, Fässler R. 2006. γ-Parvin is dispensable for hematopoiesis, leukocyte trafficking, and T-cell-dependent antibody response. Molecular and Cellular Biology. 26(5), 1817–1825.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3936
Sixt MK, Bauer M, Lämmermann T, Fässler R. 2006. β1 integrins: zip codes and signaling relay for blood cells. Current Opinion in Cell Biology. 18(5), 482–490.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3978
Ban Y, Rudolph J, Zhou P, Edelsbrunner H. 2006. Evaluating the quality of NMR structures by local density of protons. Proteins: Structure, Function and Bioinformatics. 62(4), 852–864.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3979
Ban Y, Edelsbrunner H, Rudolph J. 2006. Interface surfaces for protein-protein complexes. Journal of the ACM. 53(3), 361–378.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3980
Agarwal P, Edelsbrunner H, Harer J, Wang Y. 2006. Extreme elevation on a 2-manifold. Discrete & Computational Geometry. 36(4), 553–572.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4140
Witzel S, Zimyanin V, Carreira Barbosa F, Tada M, Heisenberg C-PJ. 2006. Wnt11 controls cell contact persistence by local accumulation of Frizzled 7 at the plasma membrane. Journal of Cell Biology. 175(5), 791–802.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4145
Tonelli D, Calegari F, Fei J, Nomura T, Osumi N, Heisenberg C-PJ, Huttner W. 2006. Single-cell detection of microRNAs in developing vertebrate embryos after acute administration of a dual-fluorescence reporter/sensor plasmid. Biotechniques. 41(6), 727–732.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4173 | OA
Link V, Shevchenko A, Heisenberg C-PJ. 2006. Proteomics of early zebrafish embryos. BMC Developmental Biology. 6, 1–9.
View | DOI | Download None (ext.)
 

2006 | Journal Article | IST-REx-ID: 4176
Link V, Carvalho L, Castanon I, Stockinger P, Shevchenko A, Heisenberg C-PJ. 2006. Identification of regulators of germ layer morphogenesis using proteomics in zebrafish. Journal of Cell Science. 119(10), 2073–2083.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4178
Langenberg T, Dracz T, Oates A, Heisenberg C-PJ, Brand M. 2006. Analysis and visualization of cell movement in the developing zebrafish brain. Developmental Dynamics. 235(4), 928–933.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4184
Köppen M, Fernández B, Carvalho L, Jacinto A, Heisenberg C-PJ. 2006. Coordinated cell-shape changes control epithelial movement in zebrafish and Drosophila. Development. 133(14), 2671–2681.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4218
Blaser H, Reichman Fried M, Castanon I, Dumstrei K, Marlow F, Kawakami K, Solnica Krezel L, Heisenberg C-PJ, Raz E. 2006. Migration of zebrafish primordial germ cells: A role for myosin contraction and cytoplasmic flow. Developmental Cell. 11(5), 613–627.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4235
de Vladar H, González J. 2006. Dynamic response of cancer under the influence of immunological activity and therapy. Journal of Theoretical Biology., 91–109.
View
 

2006 | Journal Article | IST-REx-ID: 4237
de Vladar H. 2006. Density-dependence as a size-independent regulatory mechanism. Journal of Theoretical Biology. 238(2), 245–256.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4248
Roze D, Barton NH. 2006. The Hill-Robertson effect and the evolution of recombination. Genetics. 173(3), 1793–1811.
View | DOI
 

2006 | Book Review | IST-REx-ID: 4250
Barton NH. 2006. Evolutionary Biology: How did the human species form? Current Biology. 16(16), 647–650.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4345
Danowski P, Heller L. 2006. Bibliothek 2.0 - Die Bibliothek der Zukunft? Bibliotheksdienst. 40(11), 1250–1271.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 4351
Bollback JP. 2006. SIMMAP: stochastic character mapping of discrete traits on phylogenies. BMC Bioinformatics. 7.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4352
Conn J, Vineis J, Bollback JP, Onyabe D, Wilkerson R, Povoa M. 2006. Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil. The American Journal of Tropical Medicine and Hygiene. 74(5), 798–806.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4359
Wies T, Kuncak V, Lam P, Podelski A, Rinard M. 2006. Field Constraint Analysis. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 3855, , 157–173.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Maler O, Nickovic D, Pnueli A. 2006. Real Time Temporal Logic: Past, Present, Future. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 2–16.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
Maler O, Nickovic D, Pnueli A. 2006. From MITL to Timed Automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 274–289.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Alur R, Cerny P, Zdancewic S. 2006. Preserving Secrecy Under Refinement. ICALP: Automata, Languages and Programming, LNCS, , 107–118.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
De Wulf M, Doyen L, Henzinger TA, Raskin J. 2006. Antichains: A new algorithm for checking universality of finite automata. CAV: Computer Aided Verification, LNCS, vol. 4144, 17–30.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
Henzinger TA, Sifakis J. 2006. The embedded systems design challenge. FM: Formal Methods, LNCS, vol. 4085, 1–15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Henzinger TA, Prabhu V. 2006. Timed alternating-time temporal logic. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 4202, 1–17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
Henzinger TA, Matic S. 2006. An interface algebra for real-time components. RTAS: Real-time and Embedded Technology and Applications Symposium, 253–266.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Henzinger TA, Piterman N. 2006. Solving games without determinization. CSL: Computer Science Logic, LNCS, vol. 4207, 395–410.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4451
Henzinger TA, Kupferman O, Majumdar R. 2006. On the universal and existential fragments of the mu-calculus. Theoretical Computer Science. 354(2), 173–186.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4523
Gulavani B, Henzinger TA, Kannan Y, Nori A, Rajamani S. 2006. Synergy: A new algorithm for property checking. FSE: Foundations of Software Engineering, 117–127.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4526
Ghosal A, Henzinger TA, Iercan D, Kirsch C, Sangiovanni Vincentelli A. 2006. A hierarchical coordination language for interacting real-time tasks. EMSOFT: Embedded Software , 132–141.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4528
Fisher J, Henzinger TA. 2006. Executable biology. WSC: Winter Simulation Conference, 1675–1682.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Chatterjee K, Henzinger TA. 2006. Strategy improvement and randomized subexponential algorithms for stochastic parity games. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Chatterjee K, Henzinger TA. 2006. Finitary winning in omega-regular games. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 3920, 257–271.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee K, De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2006. Compositional quantitative reasoning. QEST: Quantitative Evaluation of Systems, 179–188.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee K, Henzinger TA, Jurdziński M. 2006. Games with secure equilibria. Theoretical Computer Science. 365(1–2), 67–82.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee K, Majumdar R, Henzinger TA. 2006. Markov decision processes with multiple objectives. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 3884, 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee K, De Alfaro L, Henzinger TA. 2006. Strategy improvement for concurrent reachability games. QEST: Quantitative Evaluation of Systems, 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer D, Henzinger TA, Théoduloz G. 2006. Lazy shape analysis. CAV: Computer Aided Verification, LNCS, vol. 4144, 532–546.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
Sauer M, Friml J. 2006.In vitro culture of Arabidopsis embryos. In: Somatic Embryogenesis. Plant Cell Monographs, vol. 2, 343–354.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3005
Friml J, Benfey P, Benková E, Bennett M, Berleth T, Geldner N, Grebe M, Heisler M, Hejátko J, Jürgens G, Laux T, Lindsey K, Lukowitz W, Luschnig C, Offringa R, Scheres B, Swarup R, Torres Ruiz R, Weijers D, Zažímalová E. 2006. Apical-basal polarity: Why plant cells don’t stand on their heads. Trends in Plant Science. 11(1), 12–14.
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.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Abas L, Benjamins R, Malenica N, Paciorek T, Wiśniewska J, Moulinier Anzola J, Sieberer T, Friml 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.
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.
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.
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.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3011
Wiśniewska J, Xu J, Seifertová D, Brewer P, Růžička K, Blilou I, Rouquié D, Benková E, Scheres B, Friml J. 2006. Polar PIN localization directs auxin flow in plants. Science. 312(5775).
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. 1(1), 104–107.
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.
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.
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.
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.
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.
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.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3152
Kunwar P, Siekhaus DE, Lehmann R. 2006. In vivo migration A germ cell perspective. Annual Review of Cell and Developmental Biology. 22, 237–265.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3180
Szeliski R, Zabih R, Scharstein D, Veksler O, Kolmogorov V, Agarwala A, Tappen M, Rother C. 2006. A comparative study of energy minimization methods for Markov random fields. ECCV: European Conference on Computer Vision vol. 3952, 16–29.
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. ECCV: European Conference on Computer Vision, LNCS, vol. 3952 LNCS, 1–15.
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.
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. ECCV: European Conference on Computer Vision, LNCS, vol. 3953, 409–422.
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. CVPR: Computer Vision and Pattern Recognition, 993–1000.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Criminisi A, Cross G, Blake A, Kolmogorov V. 2006. Bilayer segmentation of live video. CVPR: Computer Vision and Pattern Recognition vol. 1, 53–60.
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.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Maurer U, Oswald Y, Pietrzak KZ, Sjödin J. 2006. Luby Rackoff ciphers from weak round functions . EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 391–408.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Dodis Y, Pietrzak KZ, Przydatek B. 2006. Separating sources for encryption and secret sharing. TCC: Theory of Cryptography Conference, LNCS, vol. 3876, 601–616.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
Pietrzak KZ. 2006. A tight bound for EMAC. ICALP: Automata, Languages and Programming, LNCS, vol. 4052, 168–179.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Pietrzak KZ. 2006. Composition implies adaptive security in minicrypt. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4004, 328–338.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3404
Janovjak HL, Sawhney R, Stark M, Mueller D. 2006.Atomic force microscopy. In: Techniques in Microscopy for Biomedical Applications. Manuals in Biomedical Research, vol. 2, 213–284.
View
 

2006 | Journal Article | IST-REx-ID: 3413
Kessler M, Gottschalk K, Janovjak HL, Mueller D, Gaub H. 2006. Bacteriorhodopsin folds into the membrane against an external force. Journal of Molecular Biology. 357(2), 644–654.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3414
Kedrov A, Janovjak HL, 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.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Janovjak HL, Kedrov A, Cisneros D, Sapra T, Struckmeier J, Mueller D. 2006. Imaging and detecting molecular interactions of single membrane proteins. Neurobiology of Aging. 27, 546–561.
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, 1–4, .
View | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3437
Betancourt A, Bollback JP. 2006. Fitness effects of beneficial mutations: the mutational landscape model in experimental evolution. Current Opinion in Genetics & Development. 16(6), 618–623.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3449
Chatterjee K, Jagadeesan R, Pitcher C. 2006. Games for controls. CSF: Computer Security Foundations, 70–82.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3463
Bischofberger J, Engel D, Frotscher M, Jonas PM. 2006. Timing and efficacy of transmitter release at mossy fiber synapses in the hippocampal network. (Review). Pflugers Archiv : European Journal of Physiology. 453(3), 361–372.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3499
Chatterjee K. 2006. Nash equilibrium for upward-closed objectives. CSL: Computer Science Logic, LNCS , vol. 4207, 271–286.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee K, Henzinger TA, Piterman N. 2006. Algorithms for Büchi Games. GDV: Games in Design and Verification.
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.
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.
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.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2006

Search

Filter Publications