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.

6502 Publications


2008 | Conference Paper | IST-REx-ID: 753
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2008). How to solve consensus in the smallest window of synchrony (Vol. 5218 LNCS, pp. 32–46). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_3
View | DOI
 

2008 | Journal Article | IST-REx-ID: 7752
Robinson, M. R., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2008). Environmental heterogeneity generates fluctuating selection on a secondary sexual trait. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.04.059
View | DOI
 

2008 | Journal Article | IST-REx-ID: 517
Barton, N. H. (2008). Identity and coalescence in structured populations: A commentary on “Inbreeding coefficients and coalescence times” by Montgomery Slatkin. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672308009683
View | DOI
 

2008 | Journal Article | IST-REx-ID: 581
Hosten, O., & Kwiat, P. (2008). Observation of the spin hall effect of light via weak measurements. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1152697
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 584
Hosten, O., & Kwiat, P. (2008). Spin hall effect of light via weak measurements: Sharp and smooth index variations. Presented at the QELS: Quantum Electronics and Laser Science, IEEE.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher, A. J., Busch, K. E., & de Bono, M. (2008). A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.0707607105
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6148
Kammenga, J. E., Phillips, P. C., de Bono, M., & Doroszuk, A. (2008). Beyond induced mutants: using worms to study natural variation in genetic pathways. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.01.001
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 6149
Olofsson, B., & de Bono, M. (2008). Sleep: dozy worms and sleepy flies. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2008.01.002
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1296
Jösch, M. A., Plett, J., Borst, A., & Reiff, D. (2008). Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.02.022
View | DOI
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel, T., & Rodríguez Villegas, F. (2008). Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-008-0142-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson, M., Haller, E., Mark, M., Danzl, J. G., Rojas Kopeinig, G., & Nägerl, H. (2008). Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.080404
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop, S., Mark, M., Ferlaino, F., Danzl, J. G., Kraemer, T., Nägerl, H., & Grimm, R. (2008). Metastable feshbach molecules in high rotational states. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl, J. G., Haller, E., Gustavsson, M., Mark, M., Hart, R., Bouloufa, N., … Nägerl, H. (2008). Quantum gas of deeply bound ground state molecules. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 895
Donaldson, Z., Kondrashov, F., Putnam, A., Bai, Y., Stoinski, T., Hammock, E., & Young, L. (2008). Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-8-180
View | DOI
 

2008 | Journal Article | IST-REx-ID: 907
Assis, R., Kondrashov, A., Koonin, E., & Kondrashov, F. (2008). Nested genes and increasing organizational complexity of metazoan genomes. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.08.003
View | DOI
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov, A., & Serbyn, M. (2008). Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. Elsevier. https://doi.org/10.1007/s11232-008-0026-7
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3714
Lampert, C., Blaschko, M., & Hofmann, T. (2008). Beyond sliding windows: Object localization by efficient subwindow search (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587586
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3716
Lampert, C., & Blaschko, M. (2008). A multiple kernel learning approach to joint multi-class object detection (Vol. 5096, pp. 31–40). Presented at the DAGM: German Association For Pattern Recognition, Springer. https://doi.org/10.1007/978-3-540-69321-5_4
View | DOI | Download (ext.)
 

2008 | Book Chapter | IST-REx-ID: 3726
Engel, A., Janovjak, H. L., Fotiadis, D., Kedrov, A., Cisneros, D., & Mueller, D. (2008). Single-molecule microscopy and force spectroscopy of membrane proteins. In Single Molecules and Nanotechnology (Vol. 12, pp. 279–311). Springer. https://doi.org/10.1007/978-3-540-73924-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik, G., Gregor, T., & Bialek, W. (2008). The role of input noise in transcriptional regulation. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0002774
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3739
Tkačik, G., Callan, C., & Bialek, W. (2008). Information capacity of genetic regulatory elements. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.78.011910
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik, G., Callan, C., & Bialek, W. (2008). Information flow and optimization in transcriptional regulation. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0806077105
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Tkačik, G., & Magnasco, M. (2008). Decoding spike timing: The differential reverse-correlation method. Biosystems. Elsevier. https://doi.org/10.1016/j.biosystems.2008.04.011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala, A., & Guet, C. C. (2008). Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0002030
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3754
Guet, C. C., Bruneaux, L., Min, T., Siegal Gaskins, D., Figueroa, I., Emonet, T., & Cluzel, P. (2008). Minimally invasive determination of mRNA concentration in single living bacteria. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkn329
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3760
Wojtan, C. J., & Turk, G. (2008). Fast viscoelastic behavior with thin features. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1360612.1360646
View | DOI | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 3769
Kupczok, A., Von Haeseler, A., & Klaere, S. (2008). An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees. Journal of Computational Biology. Mary Ann Liebert. https://doi.org/4200
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber, C., Jonas, P. M., & Bischofberger, J. (2008). Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.150151
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3823
Kerr, A., & Jonas, P. M. (2008). The two sides of hippocampal mossy fiber plasticity (Review). Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.015
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3824
Bucurenciu, I., Kulik, Á., Schwaller, B., Frotscher, M., & Jonas, P. M. (2008). Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2007.12.026
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte, Y., Bischofberger, J., & Jonas, P. M. (2008). Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2007.147298
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3826
Doischer, D., Hosp, J., Yanagawa, Y., Obata, K., Jonas, P. M., Vida, I., & Bartos, M. (2008). Postnatal differentiation of basket cells from slow to fast signaling devices. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.2890-08.2008
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3827
Kerr, A., Reisinger, E., & Jonas, P. M. (2008). Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0800621105
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3872
Chatterjee, K., & Henzinger, T. A. (2008). Value iteration. In 25 Years in Model Checking (Vol. 5000, pp. 107–138). Springer. https://doi.org/10.1007/978-3-540-69850-0_7
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3873
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Controller synthesis with budget constraints (Vol. 4981, pp. 72–86). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/DOI: 10.1007/978-3-540-78929-1_6
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3874
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Trading infinite memory for uniform randomness in timed games (Vol. 4981, pp. 87–100). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/978-3-540-78929-1_7
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3875
Chatterjee, K., Henzinger, T. A., & Sen, K. (2008). Model-checking omega-regular properties of interval Markov chains (Vol. 4962, pp. 302–317). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Springer. https://doi.org/10.1007/978-3-540-78499-9_22
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3876
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2008). Timed parity games: complexity and robustness (Vol. 5215, pp. 124–140). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-85778-5_10
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3877
Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2008). Environment assumptions for synthesis (Vol. 5201, pp. 147–161). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_14
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee, K., De Alfaro, L., & Majumdar, R. (2008). The complexity of coverage (Vol. 5356, pp. 91–106). Presented at the APLAS: Asian Symposium on Programming Languages and Systems, Springer. https://doi.org/10.1007/978-3-540-89330-1_7
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3879
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2008). Quantitative languages (Vol. 5213, pp. 385–400). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-87531-4_28
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T. A., & Raje, S. (2008). Strategy construction for parity games with imperfect information (Vol. 5201, pp. 325–339). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
Ugelvig, L. V., Drijfhout, F., Kronauer, D., Boomsma, J., Pedersen, J., & Cremer, S. (2008). The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. BioMed Central. https://doi.org/10.1186/1741-7007-6-11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3905
Cremer, S., D’Ettorre, P., Drijfhout, F., Sledge, M., Turillazzi, S., & Heinze, J. (2008). Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. Springer. https://doi.org/10.1007/s00114-008-0430-8
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3906
Cremer, S., Ugelvig, L. V., Drijfhout, F., Schlick Steiner, B., Steiner, F., Seifert, B., … Boomsma, J. (2008). The evolution of invasiveness in garden ants. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0003838
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3907
Suefuji, M., Cremer, S., Oettler, J., & Heinze, J. (2008). Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. Royal Society, The. https://doi.org/10.1098/rsbl.2008.0355
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3939
Lämmermann, T., & Sixt, M. K. (2008). The microanatomy of T-cell responses. Immunological Reviews. Wiley-Blackwell. https://doi.org/10.1111/j.1600-065X.2008.00592.x
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3940
Lokmic, Z., Lämmermann, T., Sixt, M. K., Cardell, S., Hallmann, R., & Sorokin, L. (2008). The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. Academic Press. https://doi.org/10.1016/j.smim.2007.12.009
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3941
Lämmermann, T., Bader, B., Monkley, S., Worbs, T., Wedlich Söldner, R., Hirsch, K., … Sixt, M. K. (2008). Rapid leukocyte migration by integrin-independent flowing and squeezing. Nature. Nature Publishing Group. https://doi.org/10.1038/nature06887
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3942
Frommhold, D., Ludwig, A., Bixel, M. G., Zarbock, A., Babushkina, I., Weissinger, M., … Sperandio, M. (2008). Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation. The Journal of Experimental Medicine. Rockefeller University Press. https://doi.org/10.1084/jem.20070846
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3943
Kessenbrock, K., Fröhlich, L., Sixt, M. K., Lämmermann, T., Pfister, H., Bateman, A., … Jenne, D. (2008). Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. American Society for Clinical Investigation. https://doi.org/10.1172/JCI34694
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3944
Riedl, J., Crevenna, A., Kessenbrock, K., Yu, J., Neukirchen, D., Bista, M., … Wedlich Soldner, R. (2008). Lifeact: a versatile marker to visualize F-actin. Nature Methods. Nature Publishing Group. https://doi.org/10.1038/nmeth.1220
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3945
Tripp, C., Haid, B., Flacher, V., Sixt, M. K., Peter, H., Farkas, J., … Stoitzner, P. (2008). The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1. Immunobiology. Elsevier. https://doi.org/10.1016/j.imbio.2008.07.025
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3969
Edelsbrunner, H., & Harer, J. (2008). Persistent homology - a survey. In Surveys on Discrete and Computational Geometry: Twenty Years Later (pp. 257–282). American Mathematical Society.
View
 

2008 | Journal Article | IST-REx-ID: 3970
Dequéant, M., Ahnert, S., Edelsbrunner, H., Fink, T., Glynn, E., Hattem, G., … Pourquie, O. (2008). Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0002856
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3971
Edelsbrunner, H., Harer, J., Mascarenhas, A., Pascucci, V., & Snoeyink, J. (2008). Time-varying Reeb graphs for continuous space-time data. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2007.11.001
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3974
Edelsbrunner, H., Harer, J., & Patel, A. (2008). Reeb spaces of piecewise linear mappings (pp. 242–250). Presented at the SCG: Symposium on Computational Geometry, ACM. https://doi.org/10.1145/1377676.1377720
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4135
Storch, D., Šizling, A., Reif, J., Polechova, J., Šizlingová, E., & Gaston, K. (2008). The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales. Ecology Letters. Wiley-Blackwell. https://doi.org/3817
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4137
Bridle, J., Polechova, J., & Vines, T. (2008). Patterns of biodiversity and limits to adaptation in time and space. In J. R. R. K. Butlin & D. Schluter (Eds.), Evolution and Speciation (pp. 77–101). Cambridge University Press. https://doi.org/3816
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4141
Vervenne, H., Crombez, K., Lambaerts, K., Carvalho, L., Köppen, M., Heisenberg, C.-P. J., … Petit, M. (2008). Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. Elsevier. https://doi.org/10.1016/j.ydbio.2008.05.529
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4150
Schötz, E., Burdine, R., Julicher, F., Steinberg, M., Heisenberg, C.-P. J., & Foty, R. (2008). Quantitative differences in tissue surface tension influence zebrafish germ layer positioning. HFSP Journal. HFSP Publishing. https://doi.org/10.2976/1.2834817
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Oteíza, P., Köppen, M., Concha, M., & Heisenberg, C.-P. J. (2008). Origin and shaping of the laterality organ in zebrafish. Development. Company of Biologists. https://doi.org/10.1242/dev.022228
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4180
Krieg, M., Helenius, J., Heisenberg, C.-P. J., & Mueller, D. (2008). A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics. Angewandte Chemie - International Edition. Wiley-Blackwell. https://doi.org/10.1002/anie.200803552
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4181
Krieg, M., Arboleda Estudillo, Y., Puech, P., Käfer, J., Graner, F., Mueller, D., & Heisenberg, C.-P. J. (2008). Tensile forces govern germ-layer organization in zebrafish. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb1705
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai, M., Heisenberg, C.-P. J., & Tada, M. (2008). Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. Company of Biologists. https://doi.org/10.1242/dev.020396
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4193
Helenius, J., Heisenberg, C.-P. J., Gaub, H., & Mueller, D. (2008). Single-cell force spectroscopy. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/​jcs.030999
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4198
Heisenberg, C.-P. J., & Solnica Krezel, L. (2008). Back and forth between cell fate specification and movement during vertebrate gastrulation. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2008.07.011
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4227
Bollenbach, T., Pantazis, P., Kicheva, A., Bokel, C., González Gaitán, M., & Julicher, F. (2008). Precision of the Dpp gradient. Development. Company of Biologists. https://doi.org/10.1242/dev.012062
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4244
Yang, E., Barton, N. H., Arslan, T., & Erdogan, A. (2008). A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks (pp. 2749–2756). Presented at the WCCI: IEEE World Congress on Computational Intelligence, IEEE. https://doi.org/10.1109/CEC.2008.4631167
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4245
Pannebakker, B., Halligan, D., Reynolds, K. T., Ballantyne, G., Shuker, D., Barton, N. H., & West, S. (2008). Effects of spontaneous mutation accumulation on sex ratio traits. Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2008.00434.x
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4366
Podelski, A., Rybalchenko, A., & Wies, T. (2008). Heap Assumptions on Demand (Vol. 5123, pp. 314–327). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-540-70545-1_31
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 4371
Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking temporal properties of discrete, timed and continuous behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer. https://doi.org/1566
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui, R., Henzinger, T. A., Jobstmann, B., & Singh, V. (2008). Model checking transactional memories (pp. 372–382). Presented at the PLDI: Programming Languages Design and Implementation, ACM. https://doi.org/10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Permissiveness in transactional memories (Vol. 5218, pp. 305–319). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-540-87779-0_21
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui, R., Henzinger, T. A., & Singh, V. (2008). Completeness and nondeterminism in model checking transactional memories (Vol. 5201, pp. 21–35). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-540-85361-9_6
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4397
Beyer, D., Zufferey, D., & Majumdar, R. (2008). CSIsat: Interpolation for LA+EUF (pp. 304–308). Presented at the CAV: Computer Aided Verification, Springer.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv, A., Cerny, P., Clark, S., Cronin, E., Shah, G., Sherr, M., & Blaze, M. (2008). Security Evaluation of ES&S Voting Machines and Election Management System. Presented at the Usenix/ Accurate Electronic Voting Technology Workshop (EVT) 08, USENIX. https://doi.org/1545
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409
Prabhu, V. (2008). Games for the verification of timed systems. University of California, Berkeley.
View
 

2008 | Thesis | IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., & Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1328438.1328459
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
 

2008 | Conference Paper | IST-REx-ID: 4527
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008). Bounded asynchrony: Concurrency for modeling cell-cell interactions (Vol. 5054, pp. 17–32). Presented at the FMSB: Formal Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-540-68413-8_2
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4532
Doyen, L., Henzinger, T. A., & Raskin, J. (2008). Equivalence of labeled Markov chains. International Journal of Foundations of Computer Science. World Scientific Publishing. https://doi.org/10.1142/S0129054108005814
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4533
Doyen, L., Henzinger, T. A., Jobstmann, B., & Petrov, T. (2008). Interface theories with component reuse (pp. 79–88). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1145/1450058.1450070
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4534
Chatterjee, K., & Henzinger, T. A. (2008). Reduction of stochastic parity to stochastic mean-payoff games. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2007.08.035
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4546
Chatterjee, K., Ghosal, A., Henzinger, T. A., Iercan, D., Kirsch, C., Pinello, C., & Sangiovanni Vincentelli, A. (2008). Logical reliability of interacting real-time tasks (pp. 909–914). Presented at the DATE: Design, Automation and Test in Europe, IEEE. https://doi.org/10.1145/1403375.1403595
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, K., Majumdar, R., & Henzinger, T. A. (2008). Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. Springer. https://doi.org/10.1007/s00182-007-0110-5
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4568
Beyer, D., Henzinger, T. A., & Théoduloz, G. (2008). Program analysis with dynamic change of precision (pp. 29–38). Presented at the ASE: Automated Software Engineering, ACM. https://doi.org/10.1109/ASE.2008.13
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3030
Růčková, E., Friml, J., Procházková Schrumpfová, P., & Fajkus, J. (2008). Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants. Plant Molecular Biology. Springer. https://doi.org/10.1007/s11103-008-9295-7
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe, P., Grigoriev, I., Fischer, R., Tominaga, M., Robinson, D., Hašek, J., … Friml, J. (2008). Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0711414105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn, J., Dhonukshe, P., Sauer, M., Brewer, P., Wiśniewska, J., Paciorek, T., … Friml, J. (2008). ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.03.021
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer, M., & Friml, J. (2008). Visualization of auxin gradients in embryogenesis . In M. Suárez & P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 137–144). Humana Press. https://doi.org/10.1007/978-1-59745-273-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml, J., & Sauer, M. (2008). Plant biology: In their neighbour’s shadow. Nature. Nature Publishing Group. https://doi.org/10.1038/453298a
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer, M., & Friml, J. (2008). In vitro culture of Arabidopsis embryos . In M. Suárez & P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 71–76). Humana Press. https://doi.org/10.1007/978-1-59745-273-1_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky, J., Sauer, M., Napsucialy Mendivil, S., Ivanchenko, M., Friml, J., Shishkova, S., … Benková, E. (2008). Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0712307105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru, E., & Friml, J. (2008). PIN polar targeting. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3039
De Smet, I., Vassileva, V., De Rybel, B., Levesque, M., Grunewald, W., Van Damme, D., … Beeckman, T. (2008). Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1160158
View | DOI
 

Search

Filter Publications