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.

6292 Publications


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 | 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: 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 | 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 | 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 | 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: 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: 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: 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: 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.
View | DOI | Download Preprint (ext.) | arXiv
 

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 | 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 | 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: 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 | 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: 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 | 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 | 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: 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 | 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: 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 | 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 | 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: 4511
Henzinger TA. 2007. Quantitative generalizations of languages. DLT: Developments in Language Theory, LNCS, vol. 4588, 20–22.
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 | 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 | 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 | 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
 

2007 | Journal Article | IST-REx-ID: 4547
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2007. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. 3(184), 1–23.
View | DOI
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. 2007. A framework for compositional design and analysis of systems. University of California, Berkeley.
View
 

2007 | Journal Article | IST-REx-ID: 4567
Beyer D, Henzinger TA, Jhala R, Majumdar R. 2007. The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. 9(5), 505–525.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. 2007. Minimum-time reachability in timed games. ICALP: Automata, Languages and Programming, LNCS, vol. 4596, 825–837.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Path invariants. PLDI: Programming Languages Design and Implementation, 300–309.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. 2007. Invariant synthesis for combined theories. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 4349, 378–394.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. 2007. Configurable software verification: Concretizing the convergence of model checking and program analysis. CAV: Computer Aided Verification, LNCS, vol. 4590, 504–518.
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. 2007. An application of web-service interfaces. ICWS: International Conference on Web Service, 831–838.
View | DOI
 

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 | 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: 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: 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 | 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
 

Search

Filter Publications