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. Inequalities for the curvature of curves and surfaces. Foundations of Computational Mathematics. 2007;7(4):391-404. doi:10.1007/s10208-005-0200-3
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3975
Bendich P, Cohen Steiner D, Edelsbrunner H, Harer J, Morozov D. Inferring local homology from sampled stratified spaces. In: IEEE; 2007:536-546. doi:10.1109/FOCS.2007.33
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 3977
Attali D, Edelsbrunner H. Inclusion-exclusion formulas from independent complexes. Discrete & Computational Geometry. 2007;37(1):59-77. doi:10.1007/s00454-006-1274-7
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3981
Attali D, Edelsbrunner H, Harer J, Mileyko Y. Alpha-beta witness complexes. In: Vol 4619. Springer; 2007:386-397. doi:10.1007/978-3-540-73951-7_34
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Rohde L, Heisenberg C-PJ. Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. 2007;261:159-192. doi:10.1016/S0074-7696(07)61004-3
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt S, Bakkers J, Inbal A, et al. The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. 2007;17(6):475-487. doi:10.1016/j.cub.2007.02.013
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 4226
Kicheva A, Pantazis P, Bollenbach T, et al. Kinetics of morphogen gradient formation. Science. 2007;315(5811):521-525. doi:10.1126/science.1135774
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4233
de Vladar H. Alternativas prebióticas para la síntesis de amino- ácidos y otras moléculas relacionadas. In: Falcón N, Loyo De Sardi Y, eds. Consejo de Desarrollo Cientifico y Tecnologico; 2007:91-109. doi:3808
View | DOI
 

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

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

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

2007 | Conference Paper | IST-REx-ID: 4342
Danowski P. Library 2.0 and User-Generated Content - What can the users do for us? In: IFLA; 2007. doi:601
View | DOI | Download None (ext.)
 

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

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

2007 | Journal Article | IST-REx-ID: 4353
Binladen J, Gilbert MT, Bollback JP, et al. The use of coded PCR primers enables high-throughput sequencing of multiple homolog amplification products by 454 parallel sequencing. PLoS One. 2007;2(2). doi:10.1371/journal.pone.0000197
View | DOI
 

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

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

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

2007 | Conference Paper | IST-REx-ID: 4368
Nickovic D, Maler O. AMT: a property-based monitoring tool for analog systems. In: Springer; 2007:304-319. doi:1567
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4370
Maler O, Nickovic D, Pnueli A. On synthesizing controllers from bounded-response properties. In: Springer; 2007:95-107. doi:1568
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4394
Bouillaguet C, Kuncak V, Wies T, Zee K, Rinard M. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. In: Springer; 2007:74-88. doi:1552
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4398
Berdine J, Calcagno C, Cook B, et al. Shape Analysis for Composite Data Structures. In: Springer; 2007:178-192. doi:1553
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer D, Henzinger TA, Singh V. Algorithms for interface synthesis. In: Vol 4590. Springer; 2007:4-19. doi:10.1007/978-3-540-73368-3_4
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:1544
View | DOI
 

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

2007 | Book Chapter | IST-REx-ID: 4417
Manevich R, Field J, Henzinger TA, Ramalingam G, Sagiv M. 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. Vol 4444. Springer; 2007:273-292. doi:10.1007/978-3-540-71322-7_13
View | DOI
 

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

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger TA. Quantitative generalizations of languages. In: Vol 4588. Springer; 2007:20-22. doi:10.1007/978-3-540-73208-2_2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger TA. Games, time, and probability: Graph models for system design and analysis. In: Vol 4362. Springer; 2007:103-110. doi:10.1007/978-3-540-69507-3_7
View | DOI
 

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

2007 | Conference (Editor) | IST-REx-ID: 4530
Duparc J, Henzinger TA. CSL: Computer Science Logic . Vol 4646. Springer; 2007. doi:10.1007/978-3-540-74915-8
View | DOI
 

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

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee K, Henzinger TA. Assume-guarantee synthesis. In: Vol 4424. Springer; 2007:261-275. doi:10.1007/978-3-540-71209-1_21
View | DOI
 

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

2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
 

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

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye T, Henzinger TA, Prabhu V, Raskin J. Minimum-time reachability in timed games. In: Vol 4596. Springer; 2007:825-837. doi:10.1007/978-3-540-73420-8_71
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Path invariants. In: ACM; 2007:300-309. doi:10.1145/1250734.1250769
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer D, Henzinger TA, Majumdar R, Rybalchenko A. Invariant synthesis for combined theories. In: Vol 4349. Springer; 2007:378-394. doi:10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer D, Henzinger TA, Théoduloz G. Configurable software verification: Concretizing the convergence of model checking and program analysis. In: Vol 4590. Springer; 2007:504-518. doi:10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer D, Chakrabarti A, Henzinger TA, Seshia S. An application of web-service interfaces. In: IEEE; 2007:831-838. doi:10.1109/ICWS.2007.32
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee J, Bandyopadhyay A, Ok R, et al. Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. 2007;19(1):131-147. doi:10.1105/tpc.106.040782
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay A, Blakeslee J, Lee O, et al. Interactions of PIN and PGP auxin transport mechanisms. In: Vol 35. Portland Press; 2007:137-141. doi:10.1042/BST0350137
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3022
Dhonukshe P, Aniento F, Hwang I, et al. Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis. Current Biology. 2007;17(6):520-527. doi:10.1016/j.cub.2007.01.052
View | DOI
 

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

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

Search

Filter Publications