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.
9113 Publications
2007 | Book | IST-REx-ID: 3674
Evolution
N.H. Barton, D. Briggs, J. Eisen, D. Goldstein, N. Patel, Evolution, Cold Spring Harbor Laboratory Press, 2007.
View
| Files available
N.H. Barton, D. Briggs, J. Eisen, D. Goldstein, N. Patel, Evolution, Cold Spring Harbor Laboratory Press, 2007.
2007 | Journal Article | IST-REx-ID: 3727
Digital force-feedback for protein unfolding experiments using atomic force microscopy
C. Bippes, H.L. Janovjak, A. Kedrov, D. Mueller, Nanotechnology 18 (2007).
View
| DOI
C. Bippes, H.L. Janovjak, A. Kedrov, D. Mueller, Nanotechnology 18 (2007).
2007 | Journal Article | IST-REx-ID: 3723
Transmembrane helices have rough energy surfaces
H.L. Janovjak, H. Knaus, D. Mueller, Journal of the American Chemical Society 129 (2007) 246–247.
View
| DOI
H.L. Janovjak, H. Knaus, D. Mueller, Journal of the American Chemical Society 129 (2007) 246–247.
2007 | Preprint | IST-REx-ID: 3742 | 
Faster solutions of the inverse pairwise Ising problem
T. Broderick, M. Dudik, G. Tkačik, R. Schapire, W. Bialek, ArXiv q-QM (2007).
View
| Download (ext.)
T. Broderick, M. Dudik, G. Tkačik, R. Schapire, W. Bialek, ArXiv q-QM (2007).
2007 | Journal Article | IST-REx-ID: 3821
Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 27 (2007) 8430–8441.
View
| DOI
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Neuroscience 27 (2007) 8430–8441.
2007 | Journal Article | IST-REx-ID: 3820
Structural determinants of transmission at large hippocampal mossy fiber synapses
A. Rollenhagen, K. Satzler, E.P. Rodriguez, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 27 (2007) 10434–44.
View
| DOI
A. Rollenhagen, K. Satzler, E.P. Rodriguez, P.M. Jonas, M. Frotscher, J. Lubke, Journal of Neuroscience 27 (2007) 10434–44.
2007 | Journal Article | IST-REx-ID: 3819
Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.
View
| DOI
L. Li, J. Bischofberger, P.M. Jonas, Journal of Neuroscience 27 (2007) 13420–9.
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.).