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.

198 Publications


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

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

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

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

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

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

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

2006 | Journal Article | IST-REx-ID: 4351 View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4359
Field Constraint Analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4373
Real Time Temporal Logic: Past, Present, Future
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4374
From MITL to Timed Automata
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4401
Preserving Secrecy Under Refinement
R. Alur, P. Cerny, S. Zdancewic, in:, Springer, 2006, pp. 107–118.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4528
Executable biology
J. Fisher, T.A. Henzinger, in:, IEEE, 2006, pp. 1675–1682.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4538
Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 512–523.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4539
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, in:, Springer, 2006, pp. 257–271.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4549
Compositional quantitative reasoning
K. Chatterjee, L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, IEEE, 2006, pp. 179–188.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 4551
Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2006, pp. 325–336.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Strategy improvement for concurrent reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2006, pp. 291–300.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Lazy shape analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2006, pp. 532–546.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3002
In vitro culture of Arabidopsis embryos
M. Sauer, J. Friml, in:, A. Mujib, J. Šamaj (Eds.), Somatic Embryogenesis, Springer, 2006, pp. 343–354.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 3006
Endocytosis of cell surface material mediates cell plate formation during plant cytokinesis
P. Dhonukshe, F. Baluška, M. Schlicht, A. Hlavacka, J. Šamaj, J. Friml, T. Gadella, Developmental Cell 10 (2006) 137–150.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3007
Intracellular trafficking and proteolysis of the Arabidopsis auxin-efflux facilitator PIN2 are involved in root gravitropism
L. Abas, R. Benjamins, N. Malenica, T. Paciorek, J. Wiśniewska, J. Moulinier Anzola, T. Sieberer, J. Friml, C. Luschnig, Nature Cell Biology 8 (2006) 249–256.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3008
A molecular framework for plant regeneration
J. Xu, H. Hofhuis, R. Heidstra, M. Sauer, J. Friml, B. Scheres, Science 311 (2006) 385–388.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3009 | OA
Auxin signaling
T. Paciorek, J. Friml, Journal of Cell Science 119 (2006) 1199–1202.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2006 | Journal Article | IST-REx-ID: 3010
Control of leaf vascular patterning by polar auxin transport
E. Scarpella, D. Marcos, J. Friml, T. Berleth, Genes and Development 20 (2006) 1015–1027.
View | DOI
 

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

2006 | Journal Article | IST-REx-ID: 3012
PIN proteins perform a rate-limiting function in cellular auxin efflux
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
Immunocytochemical technique for protein localization in sections of plant tissues
T. Paciorek, M. Sauer, J. Balla, J. Wiśniewska, J. Friml, Nature Protocols 1 (2006) 104–107.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3014
In situ hybridization for mRNA detection in Arabidopsis tissue sections
P. Brewer, M. Heisler, J. Hejátko, J. Friml, E. Benková, Nature Protocols 1 (2006) 1462–1467.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3015
Immunocytochemical techniques for whole mount in situ protein localization in plants
M. Sauer, T. Paciorek, E. Benková, J. Friml, Nature Protocols 1 (2006) 98–103.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3016
Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 20 (2006) 2902–2911.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3017
Spatiotemporal asymmetric auxin distribution: A means to coordinate plant development
H. Tanaka, P. Dhonukshe, P. Brewer, J. Friml, Cellular and Molecular Life Sciences 63 (2006) 2738–2754.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3018
Subcellular trafficking of the Arabidopsis auxin influx carrier AUX1 uses a novel pathway distinct from PIN1
J. Kleine Vehn, P. Dhonukshe, R. Swarup, M. Bennett, J. Friml, Plant Cell 18 (2006) 3171–3181.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3020
In situ hybridization technique for mRNA detection in whole mount Arabidopsis samples
J. Hejátko, I. Blilou, P. Brewer, J. Friml, B. Scheres, E. Benková, Nature Protocols 1 (2006) 1939–1946.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 3180
A comparative study of energy minimization methods for Markov random fields
R. Szeliski, R. Zabih, D. Scharstein, O. Veksler, V. Kolmogorov, A. Agarwala, M. Tappen, C. Rother, in:, Springer, 2006, pp. 16–29.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3184
Comparison of energy minimization algorithms for highly connected graphs
V. Kolmogorov, C. Rother, in:, Springer, 2006, pp. 1–15.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3185
Probabilistic fusion of stereo with color and contrast for bilayer segmentation
V. Kolmogorov, A. Criminisi, A. Blake, G. Cross, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1480–1492.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3186
An integral solution to surface evolution PDEs via geo cuts
Y. Boykov, V. Kolmogorov, D. Cremers, A. Delong, in:, Springer, 2006, pp. 409–422.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3188
Cosegmentation of image pairs by histogram matching - Incorporating a global constraint into MRFs
C. Rother, V. Kolmogorov, T. Minka, A. Blake, in:, IEEE, 2006, pp. 993–1000.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3189
Bilayer segmentation of live video
A. Criminisi, G. Cross, A. Blake, V. Kolmogorov, in:, IEEE, 2006, pp. 53–60.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3190
Convergent tree reweighted message passing for energy minimization
V. Kolmogorov, IEEE Transactions on Pattern Analysis and Machine Intelligence 28 (2006) 1568–1583.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3214
Luby Rackoff ciphers from weak round functions
U. Maurer, Y. Oswald, K.Z. Pietrzak, J. Sjödin, in:, Springer, 2006, pp. 391–408.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3215
Separating sources for encryption and secret sharing
Y. Dodis, K.Z. Pietrzak, B. Przydatek, in:, Springer, 2006, pp. 601–616.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3216
A tight bound for EMAC
K.Z. Pietrzak, in:, Springer, 2006, pp. 168–179.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3217
Composition implies adaptive security in minicrypt
K.Z. Pietrzak, in:, Springer, 2006, pp. 328–338.
View | DOI
 

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

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

2006 | Journal Article | IST-REx-ID: 3414
Observing folding pathways and kinetics of a single sodium-proton antiporter from Escherichia coli
A. Kedrov, H.L. Janovjak, C. Ziegler, W. Kühlbrandt, D. Mueller, Journal of Molecular Biology 355 (2006) 2–8.
View | DOI
 

2006 | Book Review | IST-REx-ID: 3415
Imaging and detecting molecular interactions of single membrane proteins
H.L. Janovjak, A. Kedrov, D. Cisneros, T. Sapra, J. Struckmeier, D. Mueller, Neurobiology of Aging 27 (2006) 546–561.
View | DOI
 

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

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

2006 | Conference Paper | IST-REx-ID: 3449
Games for controls
K. Chatterjee, R. Jagadeesan, C. Pitcher, in:, IEEE, 2006, pp. 70–82.
View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 3499
Nash equilibrium for upward-closed objectives
K. Chatterjee, in:, Springer, 2006, pp. 271–286.
View | DOI
 

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

2006 | Patent | IST-REx-ID: 3510 View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3511 View | DOI | Download (ext.)
 

2006 | Patent | IST-REx-ID: 3512
Method, apparatus and computer products that reconstruct surfaces from data points
Y. Fletcher, T. Gloth, H. Edelsbrunner, P. Fu, (2006).
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 3522 View | DOI
 

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

2006 | Conference Paper | IST-REx-ID: 3559
Vines and vineyards by updating persistence in linear time
D. Cohen Steiner, H. Edelsbrunner, D. Morozov, in:, ACM, 2006, pp. 119–126.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3560
Persistence-sensitive simplification of functions on 2-manifolds
H. Edelsbrunner, D. Morozov, V. Pascucci, in:, ACM, 2006, pp. 127–134.
View | DOI | Download (ext.)
 

2006 | Book Review | IST-REx-ID: 3594
Hybridisation between red and sika deer in Scotland
J. Pemberton, G. Swanson, N.H. Barton, S. Livingstone, H. Senn, Deer 13 (2006) 22–26.
View
 

2006 | Journal Article | IST-REx-ID: 3607
Will population bottlenecks and multilocus epistasis increase additive genetic variance?
M. Turelli, N.H. Barton, Evolution; International Journal of Organic Evolution 60 (2006) 1763–1776.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3608
Chromosome inversions, local adaptation, and speciation
M. Kirkpatrick, N.H. Barton, Genetics 173 (2006) 419–434.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3609
Hybridization of Bombina bombina and B. variegata (Anura, Discoglossidae) at a sharp ecotone in western Ukraine: comparisons across transects and over time
A. Yanchukov, S. Hofman, J. Szymura, S. Mezhzherin, S. Morozov Leonov, N.H. Barton, B. Nürnberger, Evolution; International Journal of Organic Evolution 60 (2006) 583–600.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3610
Prediction of effects of genetic drift on variance components under a general model of epistasis
W. Hill, N.H. Barton, M. Turelli, Theoretical Population Biology 70 (2006) 56–62.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3677
Spatiogram-based shot distances for video retrieval
A. Ulges, C. Lampert, D. Keysers, in:, NIST (National Institute of Standards and Technology, US Department of Commerce), 2006, pp. 1–10.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3679
Satellite tracks removal in astronomical images
H. Ali, C. Lampert, T. Breuel, in:, Springer, 2006, pp. 892–901.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3680
Printing technique classification for document counterfeit detection
C. Lampert, L. Mei, T. Breuel, in:, IEEE, 2006, pp. 639–634.
View | DOI | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3683 View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 3685
Machine learning for video compression: Macroblock mode decision
C. Lampert, in:, IEEE, 2006, pp. 936–940.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3692
Color image dequantization by constrained diffusion
D. Keysers, C. Lampert, T. Breuel, in:, SPIE, 2006.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3693
Anisotropic Gaussian filtering using fixed point arithmetic
C. Lampert, O. Wirjadi, in:, IEEE, 2006, pp. 1565–1568.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3695 | OA
An optimal non-orthogonal separation of the anisotropic Gaussian convolution filter
C. Lampert, O. Wirjadi, IEEE Transactions on Image Processing (TIP) 15 (2006) 3501–3513.
View | DOI | Download (ext.)
 

2006 | Journal Article | IST-REx-ID: 9505
Genome-wide analysis of Arabidopsis thaliana DNA methylation uncovers an interdependence between methylation and transcription
D. ZILBERMAN, M. Gehring, R.K. Tran, T. Ballinger, S. Henikoff, Nature Genetics 39 (2006) 61–69.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2006

Search

Filter Publications