Please note that ISTA 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.
192 Publications
2007 | Conference Paper | IST-REx-ID: 3883
Generalized parity games
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
View
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Springer, 2007, pp. 153–167.
2007 | Journal Article | IST-REx-ID: 3882
Concurrent games with tail objectives
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
View
| DOI
K. Chatterjee, Theoretical Computer Science 388 (2007) 181–198.
2007 | Conference Paper | IST-REx-ID: 3884
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 59–73.
2007 | Conference Paper | IST-REx-ID: 3881
Qualitative logics and equivalences for probabilistic systems
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
View
| DOI
L. De Alfaro, K. Chatterjee, M. Faella, A. Legay, in:, IEEE, 2007, pp. 237–248.
2007 | Conference Paper | IST-REx-ID: 3887
Markov decision processes with multiple long-run average objectives
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
View
| DOI
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 473–484.
2007 | Conference Paper | IST-REx-ID: 3886
Stochastic Müller games are PSPACE-complete
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
View
| DOI
K. Chatterjee, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007, pp. 436–448.
2007 | Conference Paper | IST-REx-ID: 3885
Optimal strategy synthesis in stochastic Müller games
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
View
| DOI
K. Chatterjee, in:, Springer, 2007, pp. 138–152.
2007 | Journal Article | IST-REx-ID: 3938
RhoH is important for positive thymocyte selection and T-cell receptor signaling
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.
View
| DOI
T. Dorn, U. Kuhn, G. Bungartz, S. Stiller, M. Bauer, J. Ellwart, T. Peters, K. Scharffetter Kochanek, M. Semmrich, M. Laschinger, B. Holzmann, W. Klinkert, P. Straten, T. Køllgaard, M.K. Sixt, C. Brakebusch, Blood 109 (2007) 2346–2355.
2007 | Journal Article | IST-REx-ID: 3937
Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.
View
| DOI
E. Woolf, I. Grigorova, A. Sagiv, V. Grabovsky, S. Feigelson, Z. Shulman, T. Hartmann, M.K. Sixt, J. Cyster, R. Alon, Nature Immunology 8 (2007) 1076–1085.
2007 | Journal Article | IST-REx-ID: 3973
Inequalities for the curvature of curves and surfaces
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, Foundations of Computational Mathematics 7 (2007) 391–404.
2007 | Journal Article | IST-REx-ID: 3972
Stability of persistence diagrams
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
View
| DOI
D. Cohen Steiner, H. Edelsbrunner, J. Harer, Discrete & Computational Geometry 37 (2007) 103–120.
2007 | Journal Article | IST-REx-ID: 4205
The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
View
| DOI
S. Von Der Hardt, J. Bakkers, A. Inbal, L. Carvalho, L. Solnica Krezel, C.-P.J. Heisenberg, M. Hammerschmidt, Current Biology 17 (2007) 475–487.
2007 | Journal Article | IST-REx-ID: 4234 |
Determinism, noise, and spurious estimations in a generalised model of population growth
H. de Vladar, I. Pen, Physica A 373 (2007) 477–485.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. de Vladar, I. Pen, Physica A 373 (2007) 477–485.
2007 | Conference Paper | IST-REx-ID: 4233
Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
View
| DOI
H. de Vladar, in:, N. Falcón, Y. Loyo De Sardi (Eds.), Consejo de Desarrollo Cientifico y Tecnologico, 2007, pp. 91–109.
2007 | Journal Article | IST-REx-ID: 4247
The relation between multilocus population genetics and social evolution theory
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
View
| DOI
A. Gardner, S. West, N.H. Barton, American Naturalist 169 (2007) 207–226.
2007 | Journal Article | IST-REx-ID: 4246
Do evolution and ecology need the Gaia hypothesis?
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
View
| DOI
A. Free, N.H. Barton, Trends in Ecology and Evolution 22 (2007) 611–619.
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: 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 | 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 | 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 | 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: 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 | 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 | 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 | 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 | 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: 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: 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: 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: 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: 4626
Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
View
| DOI
L. De Alfaro, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 386 (2007) 188–217.
2007 | Conference Paper | IST-REx-ID: 582
Observing the spin hall effect of light via quantum weak measurements
O. Hosten, P. Kwiat, in:, OSA, 2007.
View
| DOI
O. Hosten, P. Kwiat, in:, OSA, 2007.
2007 | Journal Article | IST-REx-ID: 6150
Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
View
| DOI
| PubMed | Europe PMC
T.L. Gumienny, L.T. MacNeil, H. Wang, M. de Bono, J.L. Wrana, R.W. Padgett, Current Biology 17 (2007) 159–164.
2007 | Book Chapter | IST-REx-ID: 6323 |
An overview of Manin's conjecture for del Pezzo surfaces
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, in:, A Tribute to Gauss and Dirichlet, American Mathematical Society, 2007, pp. 39–56.
2007 | Preprint | IST-REx-ID: 6321 |
The Manin conjecture in dimension 2
T.D. Browning, ArXiv (n.d.).
[Preprint]
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, ArXiv (n.d.).
2007 | Journal Article | IST-REx-ID: 7325
Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs
I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).
View
| DOI
I.A. Schneider, S.A. Freunberger, D. Kramer, A. Wokaun, G.G. Scherer, Journal of The Electrochemical Society 154 (2007).
2007 | Journal Article | IST-REx-ID: 7323
Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain
F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.
View
| DOI
F.N. Büchi, G. Paganelli, P. Dietrich, D. Laurent, A. Tsukada, P. Varenne, A. Delfino, R. Kötz, S.A. Freunberger, P.-A. Magne, D. Walser, D. Olsommer, Fuel Cells 7 (2007) 329–335.
2007 | Journal Article | IST-REx-ID: 7324
On the efficiency of an advanced automotive fuel cell system
F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.
View
| DOI
F.N. Büchi, S.A. Freunberger, M. Reum, G. Paganelli, A. Tsukada, P. Dietrich, A. Delfino, Fuel Cells 7 (2007) 159–164.
2007 | Journal Article | IST-REx-ID: 7753 |
Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.R. Robinson, L.E.. Kruuk, Biology Letters 3 (2007) 651–654.
2007 | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
2007 | Journal Article | IST-REx-ID: 7780
Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
View
| DOI
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
2007 | Journal Article | IST-REx-ID: 8027
Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
2007 | Journal Article | IST-REx-ID: 8483
Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
View
| DOI
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
2007 | Journal Article | IST-REx-ID: 8487
UltraSOFAST HMQC NMR and the repetitive acquisition of 2D protein spectra at Hz rates
M. Gal, P. Schanda, B. Brutscher, L. Frydman, Journal of the American Chemical Society 129 (2007) 1372–1377.
View
| DOI
M. Gal, P. Schanda, B. Brutscher, L. Frydman, Journal of the American Chemical Society 129 (2007) 1372–1377.
2007 | Journal Article | IST-REx-ID: 8485
Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
View
| DOI
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
2007 | Journal Article | IST-REx-ID: 8486
Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.
View
| DOI
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.
2007 | Journal Article | IST-REx-ID: 8484
A set of BEST triple-resonance experiments for time-optimized protein resonance assignment
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
View
| DOI
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
2007 | Journal Article | IST-REx-ID: 860
Conversion and compensatory evolution of the γ-crystallin genes and identification of a cataractogenic mutation that reverses the sequence of the human CRYGD gene to an ancestral state
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
View
| DOI
O. Plotnikova, F. Kondrashov, P. Vlasov, A. Grigorenko, E. Ginter, E. Rogaev, American Journal of Human Genetics 81 (2007) 32–43.
2007 | Journal Article | IST-REx-ID: 879
Selection for functional uniformity of tuf duplicates in γ-proteobacteria
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
View
| DOI
F. Kondrashov, T. Gurbich, P. Vlasov, Trends in Genetics 23 (2007) 215–218.
2007 | Journal Article | IST-REx-ID: 904
Extensive parallelism in protein evolution
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
View
| DOI
G. Bazykin, F. Kondrashov, M. Brudno, A. Poliakov, I. Dubchak, A. Kondrashov, Biology Direct 2 (2007).
2007 | Journal Article | IST-REx-ID: 9487 |
DNA demethylation in the Arabidopsis genome
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Penterman, D. Zilberman, J.H. Huh, T. Ballinger, S. Henikoff, R.L. Fischer, Proceedings of the National Academy of Sciences 104 (2007) 6752–6757.
2007 | Journal Article | IST-REx-ID: 8511
How often surface diffeomorphisms have infinitely many sinks and hyperbolicity of periodic points near a homoclinic tangency
A. Gorodetski, V. Kaloshin, Advances in Mathematics 208 (2007) 710–797.
View
| DOI
A. Gorodetski, V. Kaloshin, Advances in Mathematics 208 (2007) 710–797.
2007 | Journal Article | IST-REx-ID: 8512
Stretched exponential estimates on growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.
View
| DOI
V. Kaloshin, B. Hunt, Annals of Mathematics 165 (2007) 89–170.
2007 | Journal Article | IST-REx-ID: 861
A manually curated database of tetrapod mitochondrially encoded tRNA sequences and secondary structures
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
View
| DOI
K. Popadin, L. Mamirova, F. Kondrashov, BMC Bioinformatics 8 (2007).
2007 | Journal Article | IST-REx-ID: 9149 |
Instability and focusing of internal tides in the deep ocean
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
View
| DOI
| Download None (ext.)
O. Bühler, C.J. Muller, Journal of Fluid Mechanics 588 (2007) 1–28.
2007 | Other Publication | IST-REx-ID: 9504
The human promoter methylome
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.
View
| DOI
| PubMed | Europe PMC
D. Zilberman, The Human Promoter Methylome, Nature Publishing Group, 2007.
2007 | Journal Article | IST-REx-ID: 9524 |
Genome-wide analysis of DNA methylation patterns
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Zilberman, S. Henikoff, Development 134 (2007) 3959–3965.
2007 | Journal Article | IST-REx-ID: 12201
Packaging the male germline in plants
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Trends in Genetics 23 (2007) 503–510.
2007 | Journal Article | IST-REx-ID: 13424
Synthesis of heterodimeric sphere–prism nanostructures via metastable gold supraspheres
R. Klajn, A.O. Pinchuk, G.C. Schatz, B.A. Grzybowski, Angewandte Chemie International Edition 46 (2007) 8363–8367.
View
| DOI
| PubMed | Europe PMC
R. Klajn, A.O. Pinchuk, G.C. Schatz, B.A. Grzybowski, Angewandte Chemie International Edition 46 (2007) 8363–8367.
2007 | Journal Article | IST-REx-ID: 13425 |
Light-controlled self-assembly of reversible and irreversible nanoparticle suprastructures
R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Klajn, K.J.M. Bishop, B.A. Grzybowski, Proceedings of the National Academy of Sciences 104 (2007) 10305–10309.
2007 | Journal Article | IST-REx-ID: 13427
Plastic and moldable metals by self-assembly of sticky nanoparticle aggregates
R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.
View
| DOI
| PubMed | Europe PMC
R. Klajn, K.J.M. Bishop, M. Fialkowski, M. Paszewski, C.J. Campbell, T.P. Gray, B.A. Grzybowski, Science 316 (2007) 261–264.
2007 | Journal Article | IST-REx-ID: 13426
Multilevel surface nano- and microstructuring via sequential photoswelling of dichromated gelatin
M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.
View
| DOI
| PubMed | Europe PMC
M. Paszewski, S.K. Smoukov, R. Klajn, B.A. Grzybowski, Langmuir 23 (2007) 5419–5422.
2007 | Journal Article | IST-REx-ID: 7705
Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions
L.B. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
View
| DOI
L.B. Sweeney, A. Couto, Y.-H. Chou, D. Berdnik, B.J. Dickson, L. Luo, T. Komiyama, Neuron 53 (2007) 185–200.
2007 | Journal Article | IST-REx-ID: 7704
Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons
T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.
View
| DOI
T. Komiyama, L.B. Sweeney, O. Schuldiner, K.C. Garcia, L. Luo, Cell 128 (2007) 399–410.