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.
6224 Publications
2007 | Journal Article | IST-REx-ID: 4354
Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
View
| DOI
| Download (ext.)
E. Freyhult, J.P. Bollback, P. Gardner, Genome Research 17 (2007) 117–25.
2007 | Journal Article | IST-REx-ID: 4355
Clonal interference is alleviated by high mutation rates in large populations
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
View
| DOI
J.P. Bollback, J. Huelsenbeck, Molecular Biology and Evolution 24 (2007) 1397–1406.
2007 | Journal Article | IST-REx-ID: 4356
Genes under positive selection in Escherichia coli
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
View
| DOI
L. Petersen, J.P. Bollback, M. Dimmic, M. Hubisz, R. Nielsen, Genome Research 17 (2007) 1336–1343.
2007 | Conference Paper | IST-REx-ID: 4368
AMT: a property-based monitoring tool for analog systems
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.
View
| DOI
D. Nickovic, O. Maler, in:, Springer, 2007, pp. 304–319.
2007 | Conference Paper | IST-REx-ID: 4370
On synthesizing controllers from bounded-response properties
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2007, pp. 95–107.
2007 | Conference Paper | IST-REx-ID: 4394
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
View
| DOI
C. Bouillaguet, V. Kuncak, T. Wies, K. Zee, M. Rinard, in:, Springer, 2007, pp. 74–88.
2007 | Conference Paper | IST-REx-ID: 4398
Shape Analysis for Composite Data Structures
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
View
| DOI
J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O’Hearn, T. Wies, H. Yang, in:, Springer, 2007, pp. 178–192.
2007 | Conference Paper | IST-REx-ID: 4399
Algorithms for interface synthesis
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
View
| DOI
D. Beyer, T.A. Henzinger, V. Singh, in:, Springer, 2007, pp. 4–19.
2007 | Conference Paper | IST-REx-ID: 4402
Model Checking on Trees with Path Equivalences
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
View
| DOI
R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.
2007 | Journal Article | IST-REx-ID: 4405
Qualitative networks: A symbolic approach to analyze biological signaling networks
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
View
| DOI
| Download (ext.)
M. Schaub, T.A. Henzinger, J. Fisher, BMC Systems Biology 1 (2007).
2007 | Book Chapter | IST-REx-ID: 4417
Abstract counterexample-based refinement for powerset domains
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
View
| DOI
R. Manevich, J. Field, T.A. Henzinger, G. Ramalingam, M. Sagiv, in:, Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, Springer, 2007, pp. 273–292.
2007 | Journal Article | IST-REx-ID: 4446
The embedded machine: Predictable, portable real-time code
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
View
| DOI
T.A. Henzinger, C. Kirsch, ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2007).
2007 | Conference Paper | IST-REx-ID: 4511
Quantitative generalizations of languages
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 20–22.
2007 | Conference Paper | IST-REx-ID: 4514
Games, time, and probability: Graph models for system design and analysis
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
View
| DOI
T.A. Henzinger, in:, Springer, 2007, pp. 103–110.
2007 | Journal Article | IST-REx-ID: 4529
Executable cell biology
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
View
| DOI
J. Fisher, T.A. Henzinger, Nature Biotechnology 25 (2007) 1239–1249.
2007 | Conference (Editor) | IST-REx-ID: 4530
CSL: Computer Science Logic
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
View
| DOI
J. Duparc, T.A. Henzinger, CSL: Computer Science Logic , Springer, 2007.
2007 | Journal Article | IST-REx-ID: 4531
Predictive modeling of signaling crosstalk during C. elegans vulval development
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
View
| DOI
J. Fisher, N. Piterman, A. Hajnal, T.A. Henzinger, PLoS Computational Biology 3(5):e92 (2007).
2007 | Conference Paper | IST-REx-ID: 4537
Assume-guarantee synthesis
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2007, pp. 261–275.
2007 | Journal Article | IST-REx-ID: 4547
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, Logical Methods in Computer Science 3 (2007) 1–23.
2007 | Thesis | IST-REx-ID: 4559
Stochastic ω-Regular Games
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
View
| Download (ext.)
K. Chatterjee, Stochastic ω-Regular Games, University of California, Berkeley, 2007.
2007 | Thesis | IST-REx-ID: 4566
A framework for compositional design and analysis of systems
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
View
A. Chakrabarti, A Framework for Compositional Design and Analysis of Systems, University of California, Berkeley, 2007.
2007 | Journal Article | IST-REx-ID: 4567
The software model checker BLAST: Applications to software engineering
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, International Journal on Software Tools for Technology Transfer 9 (2007) 505–525.
2007 | Conference Paper | IST-REx-ID: 4570
Minimum-time reachability in timed games
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
View
| DOI
T. Brihaye, T.A. Henzinger, V. Prabhu, J. Raskin, in:, Springer, 2007, pp. 825–837.
2007 | Conference Paper | IST-REx-ID: 4571
Path invariants
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, ACM, 2007, pp. 300–309.
2007 | Conference Paper | IST-REx-ID: 4572
Invariant synthesis for combined theories
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
View
| DOI
D. Beyer, T.A. Henzinger, R. Majumdar, A. Rybalchenko, in:, Springer, 2007, pp. 378–394.
2007 | Conference Paper | IST-REx-ID: 4573
Configurable software verification: Concretizing the convergence of model checking and program analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
View
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, in:, Springer, 2007, pp. 504–518.
2007 | Conference Paper | IST-REx-ID: 4575
An application of web-service interfaces
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
View
| DOI
D. Beyer, A. Chakrabarti, T.A. Henzinger, S. Seshia, in:, IEEE, 2007, pp. 831–838.
2007 | Journal Article | IST-REx-ID: 3019
Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis
J. Blakeslee, A. Bandyopadhyay, R. Ok, J. Mravec, B. Titapiwatanakun, M. Sauer, S. Makam, Y. Cheng, R. Bouchard, J. Adamec, M. Geisler, A. Nagashima, T. Sakai, E. Martinoia, J. Friml, W. Peer, A. Murphy, Plant Cell 19 (2007) 131–147.
View
| DOI
J. Blakeslee, A. Bandyopadhyay, R. Ok, J. Mravec, B. Titapiwatanakun, M. Sauer, S. Makam, Y. Cheng, R. Bouchard, J. Adamec, M. Geisler, A. Nagashima, T. Sakai, E. Martinoia, J. Friml, W. Peer, A. Murphy, Plant Cell 19 (2007) 131–147.
2007 | Conference Paper | IST-REx-ID: 3021
Interactions of PIN and PGP auxin transport mechanisms
A. Bandyopadhyay, J. Blakeslee, O. Lee, J. Mravec, M. Sauer, B. Titapiwatanakun, S. Makam, R. Bouchard, M. Geisler, E. Martinoia, J. Friml, W. Peer, A. Murphy, in:, Portland Press, 2007, pp. 137–141.
View
| DOI
A. Bandyopadhyay, J. Blakeslee, O. Lee, J. Mravec, M. Sauer, B. Titapiwatanakun, S. Makam, R. Bouchard, M. Geisler, E. Martinoia, J. Friml, W. Peer, A. Murphy, in:, Portland Press, 2007, pp. 137–141.
2007 | Journal Article | IST-REx-ID: 3022
Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis
P. Dhonukshe, F. Aniento, I. Hwang, D. Robinson, J. Mravec, Y. Stierhof, J. Friml, Current Biology 17 (2007) 520–527.
View
| DOI
P. Dhonukshe, F. Aniento, I. Hwang, D. Robinson, J. Mravec, Y. Stierhof, J. Friml, Current Biology 17 (2007) 520–527.
2007 | Journal Article | IST-REx-ID: 3023
A unifying new model of cytokinesis for the dividing plant and animal cells
P. Dhonukshe, J. Šamaj, F. Baluška, J. Friml, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 29 (2007) 371–381.
View
| DOI
| PubMed | Europe PMC
P. Dhonukshe, J. Šamaj, F. Baluška, J. Friml, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 29 (2007) 371–381.
2007 | Journal Article | IST-REx-ID: 3024
Molecular and cellular aspects of auxin-transport-mediated development
A. Vieten, M. Sauer, P. Brewer, J. Friml, Trends in Plant Science 12 (2007) 160–168.
View
| DOI
| PubMed | Europe PMC
A. Vieten, M. Sauer, P. Brewer, J. Friml, Trends in Plant Science 12 (2007) 160–168.
2007 | Journal Article | IST-REx-ID: 3025
Erratum: Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity (Genes and Development (2006) 20 (2902-2911))
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 21 (2007) 1431–1431.
View
M. Sauer, J. Balla, C. Luschnig, J. Wiśniewska, V. Reinöhl, J. Friml, E. Benková, Genes and Development 21 (2007) 1431–1431.
2007 | Journal Article | IST-REx-ID: 3026
Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution
K. Růžička, K. Ljung, S. Vanneste, R. Podhorská, T. Beeckman, J. Friml, E. Benková, Plant Cell 19 (2007) 2197–2212.
View
| DOI
K. Růžička, K. Ljung, S. Vanneste, R. Podhorská, T. Beeckman, J. Friml, E. Benková, Plant Cell 19 (2007) 2197–2212.
2007 | Journal Article | IST-REx-ID: 3027
MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.
View
| DOI
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.
2007 | Journal Article | IST-REx-ID: 3028
Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux
M. Michniewicz, M. Zago, L. Abas, D. Weijers, A. Schweighofer, I. Meskiene, M. Heisler, C. Ohno, J. Zhang, F. Huang, R. Schwab, D. Weigel, E. Meyerowitz, C. Luschnig, R. Offringa, J. Friml, Cell 130 (2007) 1044–1056.
View
| DOI
M. Michniewicz, M. Zago, L. Abas, D. Weijers, A. Schweighofer, I. Meskiene, M. Heisler, C. Ohno, J. Zhang, F. Huang, R. Schwab, D. Weigel, E. Meyerowitz, C. Luschnig, R. Offringa, J. Friml, Cell 130 (2007) 1044–1056.
2007 | Journal Article | IST-REx-ID: 3029
Cytokinins act directly on lateral root founder cells to inhibit root initiation
L. Laplaze, E. Benková, I. Casimiro, L. Maes, S. Vanneste, R. Swarup, D. Weijers, V. Calvo, B. Parizot, M. Herrera Rodriguez, R. Offringa, N. Graham, P. Doumas, J. Friml, D. Bogusz, T. Beeckman, M. Bennett, Plant Cell 19 (2007) 3889–3900.
View
| DOI
L. Laplaze, E. Benková, I. Casimiro, L. Maes, S. Vanneste, R. Swarup, D. Weijers, V. Calvo, B. Parizot, M. Herrera Rodriguez, R. Offringa, N. Graham, P. Doumas, J. Friml, D. Bogusz, T. Beeckman, M. Bennett, Plant Cell 19 (2007) 3889–3900.
2007 | Journal Article | IST-REx-ID: 3144
ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles
S. Hippenmeyer, R. Huber, D. Ladle, K. Murphy, S. Arber, Neuron 55 (2007) 726–740.
View
| DOI
S. Hippenmeyer, R. Huber, D. Ladle, K. Murphy, S. Arber, Neuron 55 (2007) 726–740.
2007 | Journal Article | IST-REx-ID: 3187
Fusion of stereo colour and contrast
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.
View
| DOI
| Download (ext.)
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.
2007 | Conference Paper | IST-REx-ID: 3191
Applications of parametric maxflow in computer vision
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.
View
| DOI
| Download (ext.)
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.
2007 | Conference Paper | IST-REx-ID: 3192
Optimizing binary MRFs via extended roof duality
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.
View
| DOI
| Download (ext.)
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.
2007 | Journal Article | IST-REx-ID: 3193
Minimizing nonsubmodular functions with graph cuts - A review
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.
View
| DOI
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.
2007 | Conference Paper | IST-REx-ID: 3218
Non-trivial black-box combiners for collision-resistant hash-functions don't exist
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
2007 | Conference Paper | IST-REx-ID: 3219
Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
View
| DOI
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
2007 | Conference Paper | IST-REx-ID: 3220
Intrusion resilient secret sharing
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.
View
| DOI
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.
2007 | Conference Paper | IST-REx-ID: 3221
Range extension for weak PRFs the good the bad and the ugly
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
2007 | Conference Paper | IST-REx-ID: 3222
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
View
| DOI
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
2007 | Conference Paper | IST-REx-ID: 3223
Improving the security of MACs via randomized message preprocessing
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
View
| DOI
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
2007 | Journal Article | IST-REx-ID: 3305
Evolution can favor antagonistic epistasis
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.
View
| DOI
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.
2007 | Journal Article | IST-REx-ID: 3411 |

Free energy of membrane protein unfolding derived from single-molecule force measurements
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.
View
| DOI
| Download (ext.)
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.
2007 | Book Review | IST-REx-ID: 3412
Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.
View
| DOI
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.
2007 | Journal Article | IST-REx-ID: 3427 |

Morphogen transport in epithelia
M.T. Bollenbach, K. Kruse, P. Pantazis, M. Gonzalez Gaitan, F. Julicher, Physical Review E Statistical Nonlinear and Soft Matter Physics 75 (2007).
View
| DOI
| Download Preprint (ext.)
| arXiv
M.T. Bollenbach, K. Kruse, P. Pantazis, M. Gonzalez Gaitan, F. Julicher, Physical Review E Statistical Nonlinear and Soft Matter Physics 75 (2007).
2007 | Book Chapter | IST-REx-ID: 3432
Estimating the history of mutations on a phylogeny
J.P. Bollback, P. Gardner, R. Nielsen, in:, D. Liberles (Ed.), Ancestral Sequence Reconstruction, Oxford University Press, 2007, pp. 69–79.
View
| DOI
J.P. Bollback, P. Gardner, R. Nielsen, in:, D. Liberles (Ed.), Ancestral Sequence Reconstruction, Oxford University Press, 2007, pp. 69–79.
2007 | Journal Article | IST-REx-ID: 3436
Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system
S. Reynolds, K. Dryer, J.P. Bollback, J.A. Uy, G. Patricelli, T. Robson, G. Borgia, M. Braun, The Auk 124 (2007) 857–867.
View
| DOI
S. Reynolds, K. Dryer, J.P. Bollback, J.A. Uy, G. Patricelli, T. Robson, G. Borgia, M. Braun, The Auk 124 (2007) 857–867.
2007 | Journal Article | IST-REx-ID: 3450
Neural inhibition
P.M. Jonas, G. Buzsáki, Scholarpedia 2 (2007).
View
| DOI
P.M. Jonas, G. Buzsáki, Scholarpedia 2 (2007).
2007 | Journal Article | IST-REx-ID: 3523
Place-selective firing contributes to the reverse-order reactivation of CA1 pyramidal cells during sharp waves in open-field exploration
J.L. Csicsvari, J. O’Neill, K. Allen, T. Senior, European Journal of Neuroscience 26 (2007) 704–716.
View
| DOI
J.L. Csicsvari, J. O’Neill, K. Allen, T. Senior, European Journal of Neuroscience 26 (2007) 704–716.
2007 | Conference Paper | IST-REx-ID: 3561 |

Weak witnesses for Delaunay triangulations of submanifolds
D. Attali, H. Edelsbrunner, Y. Mileyko, in:, ACM, 2007, pp. 143–150.
View
| DOI
| Download (ext.)
D. Attali, H. Edelsbrunner, Y. Mileyko, in:, ACM, 2007, pp. 143–150.
2007 | Conference Paper | IST-REx-ID: 3601
Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications
E. Yang, N. Haridas, A. El Rayis, A. Erdogan, T. Arslan, N.H. Barton, in:, IEEE, 2007, pp. 27–34.
View
| DOI
E. Yang, N. Haridas, A. El Rayis, A. Erdogan, T. Arslan, N.H. Barton, in:, IEEE, 2007, pp. 27–34.
2007 | Book | IST-REx-ID: 3674
Evolution
N.H. Barton, D. Briggs, J. Eisen, D. Goldstein, N. Patel, Evolution, Wiley-Blackwell, 2007.
View
| Files available
N.H. Barton, D. Briggs, J. Eisen, D. Goldstein, N. Patel, Evolution, Wiley-Blackwell, 2007.
2007 | Conference Paper | IST-REx-ID: 3681
Optimal dominant motion estimation using adaptive search of transformation space
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.
View
| DOI
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.
2007 | Report | IST-REx-ID: 3687
Efficient subwindow search for object localization
M. Blaschko, T. Hofmann, C. Lampert, Efficient Subwindow Search for Object Localization, Max-Planck-Institute for Biological Cybernetics, 2007.
View
| Download (ext.)
M. Blaschko, T. Hofmann, C. Lampert, Efficient Subwindow Search for Object Localization, Max-Planck-Institute for Biological Cybernetics, 2007.
2007 | Conference Paper | IST-REx-ID: 3701
Optimal dominant motion estimation using adaptive search of transformation space
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.
View
| DOI
A. Ulges, C. Lampert, D. Keysers, T. Breuel, in:, Springer, 2007, pp. 204–213.
2006 | Conference Paper | IST-REx-ID: 2333 |

Ground-state energy of a dilute Fermi gas
É. Lieb, R. Seiringer, J. Solovej, in:, American Mathematical Society, 2006, pp. 239–248.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Solovej, in:, American Mathematical Society, 2006, pp. 239–248.
2006 | Conference Paper | IST-REx-ID: 2334 |

One-dimensional behavior of dilute, trapped Bose gases in traps
R. Seiringer, É. Lieb, J. Yngvason, in:, J. Zambrini (Ed.), World Scientific Publishing, 2006.
View
| DOI
| Download (ext.)
R. Seiringer, É. Lieb, J. Yngvason, in:, J. Zambrini (Ed.), World Scientific Publishing, 2006.
2006 | Book Review | IST-REx-ID: 2363 |

Derivation of the Gross-Pitaevskii equation for rotating Bose gases
É. Lieb, R. Seiringer, Communications in Mathematical Physics 264 (2006) 505–537.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Communications in Mathematical Physics 264 (2006) 505–537.
2006 | Journal Article | IST-REx-ID: 2364 |

A correlation estimate for quantum many-body systems at positive temperature
R. Seiringer, Reviews in Mathematical Physics 18 (2006) 233–253.
View
| DOI
| Download (ext.)
R. Seiringer, Reviews in Mathematical Physics 18 (2006) 233–253.
2006 | Journal Article | IST-REx-ID: 2365 |

The thermodynamic pressure of a dilute fermi gas
R. Seiringer, Communications in Mathematical Physics 261 (2006) 729–757.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 261 (2006) 729–757.
2006 | Journal Article | IST-REx-ID: 2366 |

Lieb-Thirring inequalities for Schrödinger operators with complex-valued potentials
R. Frank, A. Laptev, É. Lieb, R. Seiringer, Letters in Mathematical Physics 77 (2006) 309–316.
View
| DOI
| Download (ext.)
R. Frank, A. Laptev, É. Lieb, R. Seiringer, Letters in Mathematical Physics 77 (2006) 309–316.
2006 | Book Chapter | IST-REx-ID: 2368
Dilute, trapped Bose gases and Bose-Einstein condensation
R. Seiringer, in:, J. Dereziński, H. Siedentop (Eds.), Large Coulomb Systems, Springer, 2006, pp. 249–274.
View
| DOI
R. Seiringer, in:, J. Dereziński, H. Siedentop (Eds.), Large Coulomb Systems, Springer, 2006, pp. 249–274.
2006 | Book Chapter | IST-REx-ID: 2369 |

Bose-Einstein condensation as a quantum phase transition in an optical lattice
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, J. Asch, A. Joye (Eds.), Mathematical Physics of Quantum Mechanics, Springer, 2006, pp. 199–215.
View
| DOI
| Download (ext.)
M. Aizenman, É. Lieb, R. Seiringer, J. Solovej, J. Yngvason, in:, J. Asch, A. Joye (Eds.), Mathematical Physics of Quantum Mechanics, Springer, 2006, pp. 199–215.
2006 | Book Chapter | IST-REx-ID: 2416
On six problems posed by Jarik Nešetřil
J. Bang Jensen, B. Reed, B. Schacht, R. Šámal, B. Toft, U. Wagner, in:, Topics in Discrete Mathematics, Springer, 2006, pp. 613–627.
View
| DOI
J. Bang Jensen, B. Reed, B. Schacht, R. Šámal, B. Toft, U. Wagner, in:, Topics in Discrete Mathematics, Springer, 2006, pp. 613–627.
2006 | Journal Article | IST-REx-ID: 2429
K-sets in four dimensions
J. Matoušek, M. Sharir, S. Smorodinsky, U. Wagner, Discrete & Computational Geometry 35 (2006) 177–191.
View
| DOI
J. Matoušek, M. Sharir, S. Smorodinsky, U. Wagner, Discrete & Computational Geometry 35 (2006) 177–191.
2006 | Journal Article | IST-REx-ID: 2430
Online conflict-free coloring for intervals
K. Chent, A. Fiat, H. Kaplan, M. Levy, J. Matoušek, E. Mossel, J. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, SIAM Journal on Computing 36 (2006) 1342–1359.
View
| DOI
K. Chent, A. Fiat, H. Kaplan, M. Levy, J. Matoušek, E. Mossel, J. Pach, M. Sharir, S. Smorodinsky, U. Wagner, E. Welzl, SIAM Journal on Computing 36 (2006) 1342–1359.
2006 | Conference Paper | IST-REx-ID: 2431
On a geometric generalization of the Upper Bound Theorem
U. Wagner, in:, IEEE, 2006, pp. 635–645.
View
| DOI
U. Wagner, in:, IEEE, 2006, pp. 635–645.
2006 | Journal Article | IST-REx-ID: 2657
Localization of metabotropic GABA receptor subunits GABAB1 and GABAB2 relative to synaptic sites in the rat developing cerebellum
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.
View
| DOI
R. Luján, R. Shigemoto, European Journal of Neuroscience 23 (2006) 1479–1490.
2006 | Journal Article | IST-REx-ID: 2659
Differential localization and regulation of stargazin-like protein, γ-8 and stargazin in the plasma membrane of hippocampal and cortical neurons
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.
View
| DOI
M. Inamura, M. Itakura, H. Okamoto, S. Hoka, A. Mizoguchi, Y. Fukazawa, R. Shigemoto, S. Yamamori, M. Takahashi, Neuroscience Research 55 (2006) 45–53.
2006 | Journal Article | IST-REx-ID: 2660
Generalization of amygdala LTP and conditioned fear in the absence of presynaptic inhibition
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
View
| DOI
H. Shaban, Y. Humeau, C. Herry, G. Cassasus, R. Shigemoto, S. Ciocchi, S. Barbieri, H. Van Der Putten, K. Kaupmann, B. Bettler, A. Lüthi, Nature Neuroscience 9 (2006) 1028–1035.
2006 | Journal Article | IST-REx-ID: 2661
Differential Compartmentalization and Distinct Functions of GABAB Receptor Variants
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.
View
| DOI
R. Vigot, S. Barbieri, H. Bräuner Osborne, R. Tureček, R. Shigemoto, Y. Zhang, R. Luján, L. Jacobson, B. Biermann, J. Fritschy, C. Vacher, M. Müller, G. Sansig, N. Guetg, J. Cryan, K. Kaupmann, M. Gassmann, T. Oertner, B. Bettler, Neuron 50 (2006) 589–601.
2006 | Journal Article | IST-REx-ID: 2662
Compartment-dependent colocalization of Kir3.2-containing K+ channels and GABAB receptors in hippocampal pyramidal cells
Á. Kulik, I. Vida, Y. Fukazawa, N. Guetg, Y. Kasugai, C. Marker, F. Rigato, B. Bettler, K. Wickman, M. Frotscher, R. Shigemoto, Journal of Neuroscience 26 (2006) 4289–4297.
View
| DOI
Á. Kulik, I. Vida, Y. Fukazawa, N. Guetg, Y. Kasugai, C. Marker, F. Rigato, B. Bettler, K. Wickman, M. Frotscher, R. Shigemoto, Journal of Neuroscience 26 (2006) 4289–4297.
2006 | Journal Article | IST-REx-ID: 2663
A CaV2.1 calcium channel mutation rocker reduces the number of postsynaptic AMPA receptors in parallel fiber-Purkinje cell synapses
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
View
| DOI
T. Kodama, Y. Itsukaichi Nishida, Y. Fukazawa, M. Wakamori, M. Miyata, E. Molnár, Y. Mori, R. Shigemoto, K. Imoto, European Journal of Neuroscience 24 (2006) 2993–3007.
2006 | Book Review | IST-REx-ID: 2664
Metabotropic glutamate receptors
F. Ferraguti, R. Shigemoto, Cell and Tissue Research 326 (2006) 483–504.
View
| DOI
F. Ferraguti, R. Shigemoto, Cell and Tissue Research 326 (2006) 483–504.
2006 | Journal Article | IST-REx-ID: 2745
Gross-Pitaevskii equation as the mean field limit of weakly coupled bosons
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.
View
| DOI
A. Elgart, L. Erdös, B. Schlein, H. Yau, Archive for Rational Mechanics and Analysis 179 (2006) 265–283.
2006 | Conference Paper | IST-REx-ID: 2746
Towards the quantum Brownian motion
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.
View
| DOI
L. Erdös, M. Salmhofer, H. Yau, in:, World Scientific Publishing, 2006, pp. 233–257.
2006 | Journal Article | IST-REx-ID: 2747
Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.
View
| DOI
L. Erdös, B. Schlein, H. Yau, Communications on Pure and Applied Mathematics 59 (2006) 1659–1741.
2006 | Journal Article | IST-REx-ID: 2791
Finite lifetime of turbulence in shear flows
B. Hof, J. Westerweel, T. Schneider, B. Eckhardt, Nature 443 (2006) 59–62.
View
| DOI
B. Hof, J. Westerweel, T. Schneider, B. Eckhardt, Nature 443 (2006) 59–62.
2006 | Journal Article | IST-REx-ID: 2792
Observation of nonlinear travelling waves in turbulent pipe flow
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.
View
| DOI
B. Hof, C. Van Doorne, J. Westerweel, F. Nieuwstadt, Fluid Mechanics and Its Applications 78 (2006) 109–114.
2006 | Journal Article | IST-REx-ID: 2894
Stochastic Monoallelic Expression of IL 10 in T Cells
D. Calado, T. Paixao, D. Holmberg, M. Haury, Journal of Immunology 177 (2006) 5358–5364.
View
| DOI
D. Calado, T. Paixao, D. Holmberg, M. Haury, Journal of Immunology 177 (2006) 5358–5364.
2006 | Book Chapter | IST-REx-ID: 2921
Graph cut algorithms for binocular stereo with occlusions
V. Kolmogorov, R. Zabih, in:, Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.
View
| DOI
V. Kolmogorov, R. Zabih, in:, Handbook of Mathematical Models in Computer Vision, Springer, 2006, pp. 423–427.
2006 | Journal Article | IST-REx-ID: 8488
Speeding up three-dimensional protein NMR experiments to a few minutes
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.
View
| DOI
P. Schanda, H. Van Melckebeke, B. Brutscher, Journal of the American Chemical Society 128 (2006) 9042–9043.
2006 | Journal Article | IST-REx-ID: 8489
HET-SOFAST NMR for fast detection of structural compactness and heterogeneity along polypeptide chains
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) S177–S184.
View
| DOI
P. Schanda, V. Forge, B. Brutscher, Magnetic Resonance in Chemistry 44 (2006) S177–S184.
2006 | Journal Article | IST-REx-ID: 8490
Hadamard frequency-encoded SOFAST-HMQC for ultrafast two-dimensional protein NMR
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
View
| DOI
P. Schanda, B. Brutscher, Journal of Magnetic Resonance 178 (2006) 334–339.
2006 | Journal Article | IST-REx-ID: 8513
Generic 3-dimensional volume-preserving diffeomorphisms with superexponential growth of number of periodic orbits
V. Kaloshin, M. Saprykina, Discrete & Continuous Dynamical Systems - A 15 (2006) 611–640.
View
| DOI
V. Kaloshin, M. Saprykina, Discrete & Continuous Dynamical Systems - A 15 (2006) 611–640.
2006 | Journal Article | IST-REx-ID: 8514
The effect of projections on fractal sets and measures in Banach spaces
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.
View
| DOI
W. OTT, B. HUNT, V. Kaloshin, Ergodic Theory and Dynamical Systems 26 (2006) 869–891.
2006 | Conference Paper | IST-REx-ID: 8515
Long time behaviour of periodic stochastic flows
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.
View
| DOI
V. Kaloshin, D. DOLGOPYAT, L. KORALOV, in:, XIVth International Congress on Mathematical Physics, World Scientific, 2006, pp. 290–295.
2006 | Journal Article | IST-REx-ID: 854
Complete mitochondrial genome and phylogeny of pleistocene mammoth Mammuthus primigenius
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.
View
| DOI
E. Rogaev, Y. Moliaka, B. Malyarchuk, F. Kondrashov, M. Derenko, I. Chumakov, A. Grigorenko, PLoS Biology 4 (2006) 0403–0410.
2006 | Journal Article | IST-REx-ID: 868
Evolution of glyoxylate cycle enzymes in Metazoa Evidence of multiple horizontal transfer events and pseudogene formation
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, M. Kondrashova, Biology Direct 1 (2006).
View
| DOI
F. Kondrashov, E. Koonin, I. Morgunov, T. Finogenova, M. Kondrashova, Biology Direct 1 (2006).
2006 | Journal Article | IST-REx-ID: 869
Selection in favor of nucleotides G and C diversifies evolution rates and levels of polymorphism at mammalian synonymous sites
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Journal of Theoretical Biology 240 (2006) 616–626.
View
| DOI
F. Kondrashov, A. Ogurtsov, A. Kondrashov, Journal of Theoretical Biology 240 (2006) 616–626.
2006 | Journal Article | IST-REx-ID: 873
Role of selection in fixation of gene duplications
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.
View
| DOI
F. Kondrashov, A. Kondrashov, Journal of Theoretical Biology 239 (2006) 141–151.
2006 | Journal Article | IST-REx-ID: 1715
Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
View
| DOI
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006) 625–635.
2006 | Journal Article | IST-REx-ID: 1716
Erratum: Postsynaptic mad signaling at the Drosophila neuromuscular junction
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006).
View
| DOI
V. Dudu, T. Bittig, E. Entchev, A. Kicheva, F. Julicher, M. González Gaitán, Current Biology 16 (2006).