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.

9087 Publications


2007 | Book Review | IST-REx-ID: 2749
Erdös L, Schlein B, Yau H. 2007. Derivation of the cubic non linear Schrödinger equation from quantum dynamics of many body systems. Inventiones Mathematicae. 167(3), 515–614.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2748
Erdös L, Schlein B, Yau H. 2007. Rigorous derivation of the Gross-Pitaevskii equation. Physical Review Letters. 98(4).
View | DOI
 

2007 | Book Review | IST-REx-ID: 2793
Eckhardt B, Schneider T, Hof B, Westerweel J. 2007. Turbulence transition in pipe flow. Annual Review of Fluid Mechanics. 39, 447–468.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2794
Hof B, Tax W, Westerweel J. 2007. Lifetime of turbulence in pipe flow. EETC11: European Turbulence Conference, Springer Proceedings in Physics, vol. 117, 556–558.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2893
Carneiro J, Leon K, Caramalho Í, Van Den Dool C, Gardner R, Oliveira V, Bergman M, Sepúlveda N, Paixao T, Faro J, Demengeot J. 2007. When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells. Immunological Reviews. 216(1), 48–68.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 2896
Paixao T, Carvalho T, Calado D, Carneiro J. 2007. Quantitative insights into stochastic monoallelic expression of cytokine genes. Immunology and Cell Biology. 85(4), 315–322.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 2933
Kumar MP, Kolmogorov V, Torr P. 2007. An Analysis of Convex Relaxations for MAP Estimation. Neural Information Processing Systems.
View
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, Mravec J, Titapiwatanakun B, Sauer M, Makam S, Cheng Y, Bouchard R, Adamec J, Geisler M, Nagashima A, Sakai T, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 19(1), 131–147.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3023
Dhonukshe P, Šamaj J, Baluška F, Friml J. 2007. A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. 29(4), 371–381.
View | DOI | PubMed | Europe PMC
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, Mravec J, Sauer M, Titapiwatanakun B, Makam S, Bouchard R, Geisler M, Martinoia E, Friml J, Peer W, Murphy A. 2007. Interactions of PIN and PGP auxin transport mechanisms. Intercellular Signalling in Plants, Biochemical Society Transactions, vol. 35, 137–141.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3029
Laplaze L, Benková E, Casimiro I, Maes L, Vanneste S, Swarup R, Weijers D, Calvo V, Parizot B, Herrera Rodriguez M, Offringa R, Graham N, Doumas P, Friml J, Bogusz D, Beeckman T, Bennett M. 2007. Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. 19(12), 3889–3900.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3026
Růžička K, Ljung K, Vanneste S, Podhorská R, Beeckman T, Friml J, Benková E. 2007. Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution. Plant Cell. 19(7), 2197–2212.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3028
Michniewicz M, Zago M, Abas L, Weijers D, Schweighofer A, Meskiene I, Heisler M, Ohno C, Zhang J, Huang F, Schwab R, Weigel D, Meyerowitz E, Luschnig C, Offringa R, Friml J. 2007. Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. 130(6), 1044–1056.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3024
Vieten A, Sauer M, Brewer P, Friml J. 2007. Molecular and cellular aspects of auxin-transport-mediated development. Trends in Plant Science. 12(4), 160–168.
View | DOI | PubMed | Europe PMC
 

2007 | Conference Paper | IST-REx-ID: 3192
Rother C, Kolmogorov V, Lempitsky V, Szummer M. 2007. Optimizing binary MRFs via extended roof duality. CVPR: Computer Vision and Pattern Recognition.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3191
Kolmogorov V, Boykov Y, Rother C. 2007. Applications of parametric maxflow in computer vision. ICCV: International Conference on Computer Vision.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3193
Kolmogorov V, Rother C. 2007. Minimizing nonsubmodular functions with graph cuts - A review. IEEE Transactions on Pattern Analysis and Machine Intelligence. 29(7), 1274–1279.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3187
Blake A, Criminisi A, Cross G, Kolmogorov V, Rother C. 2007. Fusion of stereo colour and contrast. Springer Tracts in Advanced Robotics. 28, 295–304.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3218
Pietrzak KZ. 2007. Non-trivial black-box combiners for collision-resistant hash-functions don’t exist. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4515, 23–33.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3305
Desai M, Weissman D, Feldman M. 2007. Evolution can favor antagonistic epistasis. Genetics. 177(2), 1001–10.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3411 | OA
Preiner J, Janovjak HL, Rankl C, Knaus H, Cisneros D, Kedrov A, Kienberger F, Mueller D, Hinterdorfer P. 2007. Free energy of membrane protein unfolding derived from single-molecule force measurements. Biophysical Journal. 93(3), 930–937.
View | DOI | Download (ext.)
 

2007 | Book Review | IST-REx-ID: 3412
Kedrov A, Janovjak HL, Sapra T, Mueller D. 2007. Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy. Annual Review of Biophysics. 36, 233–260.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3427 | OA
Bollenbach MT, Kruse K, Pantazis P, Gonzalez Gaitan M, Julicher F. 2007. Morphogen transport in epithelia. Physical Review E Statistical Nonlinear and Soft Matter Physics. 75(1).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 3523
Csicsvari JL, O’Neill J, Allen K, Senior T. 2007. Place-selective firing contributes to the reverse-order reactivation of CA1 pyramidal cells during sharp waves in open-field exploration. European Journal of Neuroscience. 26(3), 704–716.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3601
Yang E, Haridas N, El Rayis A, Erdogan A, Arslan T, Barton NH. 2007. Multiobjective optimal design of MEMS-based reconfigurable and evolvable sensor networks for space applications. AHS: NASA/ESA Conference on Adaptive Hardware and Systems, 27–34.
View | DOI
 

2007 | Report | IST-REx-ID: 3687
Blaschko M, Hofmann T, Lampert C. 2007. Efficient subwindow search for object localization, Max-Planck-Institute for Biological Cybernetics,p.
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3701
Ulges A, Lampert C, Keysers D, Breuel T. 2007. Optimal dominant motion estimation using adaptive search of transformation space. DAGM: German Association For Pattern Recognition, LNCS, vol. 4713, 204–213.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3731
Kinney J, Tkačik G, Callan C. 2007. Precise physical models of protein-DNA interaction from high-throughput data. PNAS. 104(2), 501–506.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3765
Bargteil A, Wojtan C, Hodgins J, Turk G. 2007. A finite element method for animating large viscoplastic flow. ACM Transactions on Graphics. 26(3).
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3762
Wojtan C, Carlson M, Mucha P, Turk G. 2007. Animating corrosion and erosion. EGWNP: Eurographics Workshop on Natural Phenomena, 15–22.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3816
Bartos M, Vida I, Jonas PM. 2007. Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. 8(1), 45–56.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3911
Ugelvig LV, Cremer S. 2007. Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. 17(22), 1967–1971.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Cremer S, Armitage S, Schmid Hempel P. 2007. Social immunity. Current Biology. 17(16), R693–R702.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3910
Hughes D, Cremer S. 2007. Plasticity in anti-parasite behaviours and its suggested role in invasion biology. Animal Behaviour. 74(5), 1593–1599.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Headd J, Ban YEA, Brown P, Edelsbrunner H, Vaidya M, Rudolph J. 2007. Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. 6(7), 2576–2586.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. 2007. Alpha-beta witness complexes. WADS: International Workshop on Algrithms and Data Structures, LNCS, vol. 4619, 386–397.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Bendich P, Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. 2007. Inferring local homology from sampled stratified spaces. FOCS: Foundations of Computer Science, 536–546.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. 2007. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 37(1), 59–77.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. 2007. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 261, 159–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4182
Krieg M, Arboleda Y, Müller D, Heisenberg C-PJ. 2007. The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. 86(Supplement 1), 39–39.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4225
Bollenbach MT, Vetsigian K, Kishony R. 2007. Evolution and multilevel optimization of the genetic code. Genome Research. 17(4), 401–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, Kalaidzidis Y, Bittig T, Julicher F, Gonzalez Gaitan M. 2007. Kinetics of morphogen gradient formation. Science. 315(5811), 521–525.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4342
Danowski P. 2007. Library 2.0 and User-Generated Content - What can the users do for us? WLIC: World Library and Information Congress.
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 4343
Danowski P, Pfeifer B. 2007. Wikipedia und Normdateien: Wege der Vernetzung am Beispiel der Kooperation mit der Personennamendatei. Bibliothek - Forschung Und Praxis. 31(2), 149–155.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4344
Danowski P, Heller L. 2007. Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. 31(2007), 130–136.
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, Panitz F, Bendixen C, Nielsen R, Willerslev E. 2007. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2(2).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Petersen L, Bollback JP, Dimmic M, Hubisz M, Nielsen R. 2007. Genes under positive selection in Escherichia coli. Genome Research. 17(9), 1336–1343.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4355
Bollback JP, Huelsenbeck J. 2007. Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. 24(6), 1397–1406.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Freyhult E, Bollback JP, Gardner P. 2007. Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. 17(1), 117–25.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. 2007. On synthesizing controllers from bounded-response properties. CAV: Computer Aided Verification, Lecture Notes in Computer Science, , 95–107.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. 2007. AMT: a property-based monitoring tool for analog systems. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, , 304–319.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, Robinson D, Mravec J, Stierhof Y, Friml J. 2007. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 17(6), 520–527.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica N, Abas L, Benjamins R, Kitakura S, Sigmund H, Jun K, Hauser M, Friml J, Luschnig C. 2007. MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. 51(4), 537–550.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3144
Hippenmeyer S, Huber R, Ladle D, Murphy K, Arber S. 2007. ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles. Neuron. 55(5), 726–740.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3223
Dodis Y, Pietrzak KZ. 2007. Improving the security of MACs via randomized message preprocessing. FSE: Fast Software Encryption, LNCS, vol. 4593, 414–433.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3222
Pietrzak KZ, Wikström D. 2007. Parallel repetition of computationally sound protocols revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 4392, 86–102.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3220
Dziembowski S, Pietrzak KZ. 2007. Intrusion resilient secret sharing. FOCS: Foundations of Computer Science, 227–237.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3219
Maurer U, Pietrzak KZ, Renner R. 2007. Indistinguishability amplification. CRYPTO: International Cryptology Conference, LNCS, vol. 4622, 130–149.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3221
Pietrzak KZ, Sjödin J. 2007. Range extension for weak PRFs the good the bad and the ugly. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 4515, 517–533.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3436
Reynolds S, Dryer K, Bollback JP, Uy JA, Patricelli G, Robson T, Borgia G, Braun M. 2007. Behavioral paternity predicts genetic paternity in satin bowerbirds, a species with a non-resource-based mating system. The Auk. 124(3), 857–867.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 3432
Bollback JP, Gardner P, Nielsen R. 2007.Estimating the history of mutations on a phylogeny. In: Ancestral Sequence Reconstruction. , 69–79.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3450
Jonas PM, Buzsáki G. 2007. Neural inhibition. Scholarpedia. 2.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3561 | OA
Attali D, Edelsbrunner H, Mileyko Y. 2007. Weak witnesses for Delaunay triangulations of submanifolds. SPM: Symposium on Solid and Physical Modeling, 143–150.
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3681
Ulges A, Lampert C, Keysers D, Breuel T. 2007. Optimal dominant motion estimation using adaptive search of transformation space. DAGM: German Association For Pattern Recognition, LCNS, vol. 4713, 204–213.
View | DOI
 

2007 | Book | IST-REx-ID: 3674
Barton NH, Briggs D, Eisen J, Goldstein D, Patel N. 2007. Evolution, Cold Spring Harbor Laboratory Press, XIV, 833p.
View | Files available
 

2007 | Journal Article | IST-REx-ID: 3727
Bippes C, Janovjak HL, Kedrov A, Mueller D. 2007. Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. 18(4).
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3723
Janovjak HL, Knaus H, Mueller D. 2007. Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. 129(2), 246–247.
View | DOI
 

2007 | Preprint | IST-REx-ID: 3742 | OA
Broderick T, Dudik M, Tkačik G, Schapire R, Bialek W. 2007. Faster solutions of the inverse pairwise Ising problem. ArXiv, q-QM, .
View | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 3821
Schmidt Hieber C, Jonas PM, Bischofberger J. 2007. Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. 27(31), 8430–8441.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen A, Satzler K, Rodriguez EP, Jonas PM, Frotscher M, Lubke J. 2007. Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. 27(39), 10434–44.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li L, Bischofberger J, Jonas PM. 2007. Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. 27(49), 13420–9.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee K, Henzinger TA, Piterman N. 2007. Generalized parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4423, 153–167.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee K. 2007. Concurrent games with tail objectives. Theoretical Computer Science. 388(1–3), 181–198.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee K, Henzinger TA, Piterman N. 2007. Strategy logic. CONCUR: Concurrency Theory, LNCS, vol. 4703, 59–73.
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3881
De Alfaro L, Chatterjee K, Faella M, Legay A. 2007. Qualitative logics and equivalences for probabilistic systems. QEST: Quantitative Evaluation of Systems, 237–248.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee K. 2007. Markov decision processes with multiple long-run average objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS , vol. 4855, 473–484.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee K. 2007. Stochastic Müller games are PSPACE-complete. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LNCS, vol. 4855, 436–448.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee K. 2007. Optimal strategy synthesis in stochastic Müller games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS , vol. 4423, 138–152.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
Dorn T, Kuhn U, Bungartz G, Stiller S, Bauer M, Ellwart J, Peters T, Scharffetter Kochanek K, Semmrich M, Laschinger M, Holzmann B, Klinkert W, Straten P, Køllgaard T, Sixt MK, Brakebusch C. 2007. RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. 109(6), 2346–2355.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Woolf E, Grigorova I, Sagiv A, Grabovsky V, Feigelson S, Shulman Z, Hartmann T, Sixt MK, Cyster J, Alon R. 2007. Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. 8(10), 1076–1085.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3973
Cohen Steiner D, Edelsbrunner H. 2007. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 7(4), 391–404.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner D, Edelsbrunner H, Harer J. 2007. Stability of persistence diagrams. Discrete & Computational Geometry. 37(1), 103–120.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, Carvalho L, Solnica Krezel L, Heisenberg C-PJ, Hammerschmidt M. 2007. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 17(6), 475–487.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4234 | OA
de Vladar H, Pen I. 2007. Determinism, noise, and spurious estimations in a generalised model of population growth. Physica A. 373, 477–485.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Conference Paper | IST-REx-ID: 4233
de Vladar H. 2007. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, 91–109.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner A, West S, Barton NH. 2007. The relation between multilocus population genetics and social evolution theory. American Naturalist. 169(2), 207–226.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4246
Free A, Barton NH. 2007. Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. 22(11), 611–619.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. 2007. Algorithms for interface synthesis. CAV: Computer Aided Verification, LNCS, vol. 4590, 4–19.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. 2007. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS 4349, , 74–88.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, Distefano D, O’Hearn P, Wies T, Yang H. 2007. Shape Analysis for Composite Data Structures. CAV: Computer Aided Verification, LNCS 4590, , 178–192.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4405
Schaub M, Henzinger TA, Fisher J. 2007. Qualitative networks: A symbolic approach to analyze biological signaling networks. BMC Systems Biology. 1(4).
View | DOI | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 2007.Abstract counterexample-based refinement for powerset domains. In: Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday. LNCS, vol. 4444, 273–292.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4446
Henzinger TA, Kirsch C. 2007. The embedded machine: Predictable, portable real-time code. ACM Transactions on Programming Languages and Systems (TOPLAS). 29(393).
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. 2007. Games, time, and probability: Graph models for system design and analysis. SOFSEM: Current Trends in Theory and Practice of Computer Science, LNCS, vol. 4362, 103–110.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4531
Fisher J, Piterman N, Hajnal A, Henzinger TA. 2007. Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. 3(5):e92.
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology. 25, 1239–1249.
View | DOI
 

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. 2007. CSL: Computer Science Logic , Springer,p.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. 2007. Assume-guarantee synthesis. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4424, 261–275.
View | DOI
 

Search

Filter Publications