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.

6285 Publications


2007 | Journal Article | IST-REx-ID: 7323
Büchi, F. N., Paganelli, G., Dietrich, P., Laurent, D., Tsukada, A., Varenne, P., … Olsommer, D. (2007). Consumption and efficiency of a passenger car with a Hydrogen/Oxygen PEFC based hybrid electric drivetrain. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200600050
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7324
Büchi, F. N., Freunberger, S. A., Reum, M., Paganelli, G., Tsukada, A., Dietrich, P., & Delfino, A. (2007). On the efficiency of an advanced automotive fuel cell system. Fuel Cells. Wiley. https://doi.org/10.1002/fuce.200500257
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7325
Schneider, I. A., Freunberger, S. A., Kramer, D., Wokaun, A., & Scherer, G. G. (2007). Oscillations in gas channels: Part I. The forgotten player in impedance spectroscopy in PEFCs. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2435706
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7704
Komiyama, T., Sweeney, L. B. J., Schuldiner, O., Garcia, K. C., & Luo, L. (2007). Graded expression of semaphorin-1a cell-autonomously directs dendritic targeting of olfactory projection neurons. Cell. Elsevier. https://doi.org/10.1016/j.cell.2006.12.028
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7705
Sweeney, L. B. J., Couto, A., Chou, Y.-H., Berdnik, D., Dickson, B. J., Luo, L., & Komiyama, T. (2007). Temporal target restriction of olfactory receptor neurons by semaphorin-1a/plexinA-mediated axon-axon interactions. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2006.12.022
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7753 | OA
Robinson, M. R., & Kruuk, L. E. . (2007). Function of weaponry in females: The use of horns in intrasexual competition for resources in female Soay sheep. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2007.0278
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 7777
Goodrich, C. P., Kirmizialtin, S., Huyghues-Despointes, B. M., Zhu, A., Scholtz, J. M., Makarov, D. E., & Movileanu, L. (2007). Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/jp071364h
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7780
Goodrich, C. P., Kirmizialtin, S., Huyghues-Despointes, B. M., Zhu, A., Scholtz, J. M., Makarov, D. E., & Movileanu, L. (2007). Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations. The Journal of Physical Chemistry B. American Chemical Society. https://doi.org/10.1021/jp071364h
View | DOI
 

2007 | Journal Article | IST-REx-ID: 7781
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2007). Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep. Evolution. Wiley. https://doi.org/10.1111/j.0014-3820.2006.tb01854.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4626
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (2007). Concurrent reachability games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.008
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 582
Hosten, O., & Kwiat, P. (2007). Observing the spin hall effect of light via quantum weak measurements. Presented at the OMD: Organic Materials and Devices for Displays and Energy Conversion, OSA. https://doi.org/10.1364/FIO.2007.JTuA4
View | DOI
 

2007 | Journal Article | IST-REx-ID: 6150
Gumienny, T. L., MacNeil, L. T., Wang, H., de Bono, M., Wrana, J. L., & Padgett, R. W. (2007). Glypican LON-2 is a conserved negative regulator of BMP-like signaling in Caenorhabditis elegans. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2006.11.065
View | DOI | PubMed | Europe PMC
 

2007 | Preprint | IST-REx-ID: 6321 | OA
Browning, T. D. (n.d.). The Manin conjecture in dimension 2. arXiv.
View | Download Preprint (ext.) | arXiv
 

2007 | Book Chapter | IST-REx-ID: 6323 | OA
Browning, T. D. (2007). An overview of Manin’s conjecture for del Pezzo surfaces. In A Tribute to Gauss and Dirichlet (Vol. 7, pp. 39–56). American Mathematical Society.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 128 | OA
Carr, A., Serchest, Y., Waitukaitis, S. R., Perreault, J., Lonij, V., & Cronin, A. (2007). Cover slip external cavity diode laser. Review of Scientific Instruments. American Institute of Physics. https://doi.org/10.1063/1.2801006
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1297
Raghu, S., Jösch, M. A., Borst, A., & Reiff, D. (2007). Synaptic organization of lobula plate tangential cells in Drosophila: γ-aminobutyric acid receptors and chemical release sites. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.21319
View | DOI
 

2007 | Book Chapter | IST-REx-ID: 167 | OA
Browning, T. D., & Heath Brown, R. (2007). Simultaneous equal sums of three powers. In U. Zannier (Ed.), Diophantine Geometry (Vol. 4, pp. 93–100). Edizioni della Normale.
View | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 1035 | OA
Mark, M., Ferlaino, F., Knoop, S., Danzl, J. G., Kraemer, T., Chin, C., … Grimm, R. (2007). Spectroscopy of ultracold trapped cesium Feshbach molecules. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.76.042514
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 904
Bazykin, G., Kondrashov, F., Brudno, M., Poliakov, A., Dubchak, I., & Kondrashov, A. (2007). Extensive parallelism in protein evolution. Biology Direct. BioMed Central. https://doi.org/10.1186/1745-6150-2-20
View | DOI
 

2007 | Journal Article | IST-REx-ID: 9149 | OA
BÜHLER, O., & MULLER, C. J. (2007). Instability and focusing of internal tides in the deep ocean. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/s0022112007007410
View | DOI | Download None (ext.)
 

2007 | Journal Article | IST-REx-ID: 3723
Janovjak, H. L., Knaus, H., & Mueller, D. (2007). Transmembrane helices have rough energy surfaces. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja065684a
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3727
Bippes, C., Janovjak, H. L., Kedrov, A., & Mueller, D. (2007). Digital force-feedback for protein unfolding experiments using atomic force microscopy. Nanotechnology. IOP Publishing Ltd. https://doi.org/10.1088/0957-4484/18/4/044022
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. National Academy of Sciences. https://doi.org/10.1073/pnas.0609908104
View | DOI | Download (ext.)
 

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. ArXiv.
View | Download (ext.)
 

2007 | Conference Paper | IST-REx-ID: 3762
Wojtan, C. J., Carlson, M., Mucha, P., & Turk, G. (2007). Animating corrosion and erosion (pp. 15–22). Presented at the EGWNP: Eurographics Workshop on Natural Phenomena, Eurographics Association. https://doi.org/10.2312/NPH/NPH07/015-022
View | DOI | Download None (ext.)
 

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

2007 | Journal Article | IST-REx-ID: 3816
Bartos, M., Vida, I., & Jonas, P. M. (2007). Synaptic mechanisms of synchronized gamma oscillations in inhibitory interneuron networks (Review). Nature Reviews Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nrn2044
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3819
Li, L., Bischofberger, J., & Jonas, P. M. (2007). Differential gating and recruitment of P/Q-, N-, and R-type Ca(2+) channels in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1709-07.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3820
Rollenhagen, A., Satzler, K., Rodriguez, E. P., Jonas, P. M., Frotscher, M., & Lubke, J. (2007). Structural determinants of transmission at large hippocampal mossy fiber synapses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1946-07.2007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3821
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2007). Subthreshold dendritic signal processing and coincidence detection in dentate gyrus granule cells. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1787-07.2007
View | 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 (pp. 237–248). Presented at the QEST: Quantitative Evaluation of Systems, IEEE. https://doi.org/10.1109/QEST.2007.15
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3882
Chatterjee, K. (2007). Concurrent games with tail objectives. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2007.07.047
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3883
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2007). Generalized parity games (Vol. 4423, pp. 153–167). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer. https://doi.org/10.1007/978-3-540-71389-0_12
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3884
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2007). Strategy logic (Vol. 4703, pp. 59–73). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-74407-8_5
View | Files available | DOI
 

2007 | Conference Paper | IST-REx-ID: 3885
Chatterjee, K. (2007). Optimal strategy synthesis in stochastic Müller games (Vol. 4423, pp. 138–152). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer. https://doi.org/10.1007/978-3-540-71389-0_11
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3886
Chatterjee, K. (2007). Stochastic Müller games are PSPACE-complete (Vol. 4855, pp. 436–448). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-77050-3_36
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3887
Chatterjee, K. (2007). Markov decision processes with multiple long-run average objectives (Vol. 4855, pp. 473–484). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-77050-3_39
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3909
Cremer, S., Armitage, S., & Schmid Hempel, P. (2007). Social immunity. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.06.008
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. Elsevier. https://doi.org/10.1016/j.anbehav.2006.12.025
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3911
Ugelvig, L. V., & Cremer, S. (2007). Social prophylaxis: group interaction promotes collective immunity in ant colonies. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.10.029
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3937
Woolf, E., Grigorova, I., Sagiv, A., Grabovsky, V., Feigelson, S., Shulman, Z., … Alon, R. (2007). Lymph node chemokines promote sustained T lymphocyte motility without triggering stable integrin adhesiveness in the absence of shear forces. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni1499
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3938
Dorn, T., Kuhn, U., Bungartz, G., Stiller, S., Bauer, M., Ellwart, J., … Brakebusch, C. (2007). RhoH is important for positive thymocyte selection and T-cell receptor signaling. Blood. American Society of Hematology. https://doi.org/10.1182/blood-2006-04-019034
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3972
Cohen Steiner, D., Edelsbrunner, H., & Harer, J. (2007). Stability of persistence diagrams. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-006-1276-5
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. Springer. https://doi.org/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. (2007). Inferring local homology from sampled stratified spaces (pp. 536–546). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2007.33
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3976
Headd, J., Ban, Y. E. A., Brown, P., Edelsbrunner, H., Vaidya, M., & Rudolph, J. (2007). Protein-protein interfaces: Properties, preferences, and projections. Journal of Proteome Research. American Chemical Society. https://doi.org/10.1021/pr070018+
View | DOI
 

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

2007 | Conference Paper | IST-REx-ID: 3981
Attali, D., Edelsbrunner, H., Harer, J., & Mileyko, Y. (2007). Alpha-beta witness complexes (Vol. 4619, pp. 386–397). Presented at the WADS: International Workshop on Algrithms and Data Structures, Springer. https://doi.org/10.1007/978-3-540-73951-7_34
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4152
Rohde, L., & Heisenberg, C.-P. J. (2007). Zebrafish gastrulation: Cell movements, signals, and mechanisms. International Review of Cytology - A Survey of Cell Biology. Academic Press. https://doi.org/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.-P. J. (2007). The role of cell adhesion and contractility for germ layer morphogenesis during zebrafish gastrulation. European Journal of Cell Biology. Elsevier. https://doi.org/10.1016/j.ejcb.2007.02.002
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4205
Von Der Hardt, S., Bakkers, J., Inbal, A., Carvalho, L., Solnica Krezel, L., Heisenberg, C.-P. J., & Hammerschmidt, M. (2007). The Bmp gradient of the zebrafish gastrula guides migrating lateral cells by regulating cell-cell adhesion. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2007.02.013
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4225
Bollenbach, M. T., Vetsigian, K., & Kishony, R. (2007). Evolution and multilevel optimization of the genetic code. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.6144007
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. American Association for the Advancement of Science. https://doi.org/10.1126/science.1135774
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. In N. Falcón & Y. Loyo De Sardi (Eds.) (pp. 91–109). Presented at the Ab Initio: Orígenes Del Universo, La Vida, Y La Inteligencia, Consejo de Desarrollo Cientifico y Tecnologico. https://doi.org/3808
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. Elsevier. https://doi.org/10.1016/j.physa.2006.06.025
View | DOI | Download Preprint (ext.) | arXiv
 

2007 | Journal Article | IST-REx-ID: 4246
Free, A., & Barton, N. H. (2007). Do evolution and ecology need the Gaia hypothesis? Trends in Ecology and Evolution. Cell Press. https://doi.org/10.1016/j.tree.2007.07.007
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4247
Gardner, A., West, S., & Barton, N. H. (2007). The relation between multilocus population genetics and social evolution theory. American Naturalist. University of Chicago Press. https://doi.org/10.1086/510602
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? Presented at the WLIC: World Library and Information Congress, Durban, South Africa: IFLA. https://doi.org/601
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. De Gruyter. https://doi.org/485
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4344
Danowski, P., & Heller, L. (2007). Bibliothek 2.0 ? Wird alles anders? Bibliothek - Forschung Und Praxis. De Gruyter. https://doi.org/45
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4353
Binladen, J., Gilbert, M. T., Bollback, J. P., 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. Public Library of Science. https://doi.org/10.1371/journal.pone.0000197
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4354
Freyhult, E., Bollback, J. P., & Gardner, P. (2007). Exploring genomic dark matter: a critical assessment of the performance of homology search methods on noncoding RNA. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.5890907
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 4355
Bollback, J. P., & Huelsenbeck, J. (2007). Clonal interference is alleviated by high mutation rates in large populations. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msm056
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4356
Petersen, L., Bollback, J. P., Dimmic, M., Hubisz, M., & Nielsen, R. (2007). Genes under positive selection in Escherichia coli. Genome Research. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gr.6254707
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: a property-based monitoring tool for analog systems (pp. 304–319). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/1567
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties (pp. 95–107). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1568
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 (pp. 74–88). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/1552
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 (pp. 178–192). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1553
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4399
Beyer, D., Henzinger, T. A., & Singh, V. (2007). Algorithms for interface synthesis (Vol. 4590, pp. 4–19). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_4
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4402
Alur, R., Cerny, P., & Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/1544
View | DOI
 

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

2007 | Book Chapter | IST-REx-ID: 4417
Manevich, R., Field, J., Henzinger, T. A., 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 (Vol. 4444, pp. 273–292). Springer. https://doi.org/10.1007/978-3-540-71322-7_13
View | DOI
 

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

2007 | Conference Paper | IST-REx-ID: 4511
Henzinger, T. A. (2007). Quantitative generalizations of languages (Vol. 4588, pp. 20–22). Presented at the DLT: Developments in Language Theory, Springer. https://doi.org/10.1007/978-3-540-73208-2_2
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4514
Henzinger, T. A. (2007). Games, time, and probability: Graph models for system design and analysis (Vol. 4362, pp. 103–110). Presented at the SOFSEM: Current Trends in Theory and Practice of Computer Science, Springer. https://doi.org/10.1007/978-3-540-69507-3_7
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4529
Fisher, J., & Henzinger, T. A. (2007). Executable cell biology. Nature Biotechnology. Nature Publishing Group. https://doi.org/10.1038/nbt1356
View | DOI
 

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

2007 | Journal Article | IST-REx-ID: 4531
Fisher, J., Piterman, N., Hajnal, A., & Henzinger, T. A. (2007). Predictive modeling of signaling crosstalk during C. elegans vulval development. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.0030092
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4537
Chatterjee, K., & Henzinger, T. A. (2007). Assume-guarantee synthesis (Vol. 4424, pp. 261–275). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-71209-1_21
View | DOI
 

2007 | Journal Article | IST-REx-ID: 4547
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2007). Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-3(3:4)2007
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, T. A., Jhala, R., & Majumdar, R. (2007). The software model checker BLAST: Applications to software engineering. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-007-0044-z
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4570
Brihaye, T., Henzinger, T. A., Prabhu, V., & Raskin, J. (2007). Minimum-time reachability in timed games (Vol. 4596, pp. 825–837). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-73420-8_71
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4571
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Path invariants (pp. 300–309). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1250734.1250769
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4572
Beyer, D., Henzinger, T. A., Majumdar, R., & Rybalchenko, A. (2007). Invariant synthesis for combined theories (Vol. 4349, pp. 378–394). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Springer. https://doi.org/10.1007/978-3-540-69738-1_27
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4573
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2007). Configurable software verification: Concretizing the convergence of model checking and program analysis (Vol. 4590, pp. 504–518). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-73368-3_51
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 4575
Beyer, D., Chakrabarti, A., Henzinger, T. A., & Seshia, S. (2007). An application of web-service interfaces (pp. 831–838). Presented at the ICWS: International Conference on Web Service, IEEE. https://doi.org/10.1109/ICWS.2007.32
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3019
Blakeslee, J., Bandyopadhyay, A., Ok, R., Mravec, J., Titapiwatanakun, B., Sauer, M., … Murphy, A. (2007). Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.106.040782
View | DOI
 

2007 | Conference Paper | IST-REx-ID: 3021
Bandyopadhyay, A., Blakeslee, J., Lee, O., Mravec, J., Sauer, M., Titapiwatanakun, B., … Murphy, A. (2007). Interactions of PIN and PGP auxin transport mechanisms (Vol. 35, pp. 137–141). Presented at the Intercellular Signalling in Plants, Portland Press. https://doi.org/10.1042/BST0350137
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. Cell Press. https://doi.org/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. (2007). A unifying new model of cytokinesis for the dividing plant and animal cells. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/bies.20559
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. Cell Press. https://doi.org/10.1016/j.tplants.2007.03.006
View | DOI | PubMed | Europe PMC
 

2007 | Journal Article | IST-REx-ID: 3025
Sauer, M., Balla, J., Luschnig, C., Wiśniewska, J., Reinöhl, V., Friml, J., & Benková, E. (2007). Erratum: Canalization of auxin flow by Aux/IAA-ARF-dependent feedback regulation of PIN polarity (Genes and Development (2006) 20 (2902-2911)). Genes and Development. Cold Spring Harbor Laboratory Press.
View
 

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. American Society of Plant Biologists. https://doi.org/10.1105/tpc.107.052126
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3027
Malenica, N., Abas, L., Benjamins, R., Kitakura, S., Sigmund, H., Jun, K., … Luschnig, C. (2007). MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2007.03158.x
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3028
Michniewicz, M., Zago, M., Abas, L., Weijers, D., Schweighofer, A., Meskiene, I., … Friml, J. (2007). Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux. Cell. Cell Press. https://doi.org/10.1016/j.cell.2007.07.033
View | DOI
 

2007 | Journal Article | IST-REx-ID: 3029
Laplaze, L., Benková, E., Casimiro, I., Maes, L., Vanneste, S., Swarup, R., … Bennett, M. (2007). Cytokinins act directly on lateral root founder cells to inhibit root initiation. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.107.055863
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. Elsevier. https://doi.org/10.1016/j.neuron.2007.07.028
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. Springer. https://doi.org/10.1007/978-3-540-48113-3_27
View | DOI | Download (ext.)
 

Search

Filter Publications