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.

8978 Publications


2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak, K. Z., & Sjödin, J. (2008). Weak pseudorandom functions in minicrypt (Vol. 5126, pp. 423–436). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-70583-3_35
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak, K. Z. (2008). Compression from collisions or why CRHF combiners have a long output (Vol. 5157, pp. 413–432). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-540-85174-5_23
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, S., & Pietrzak, K. Z. (2008). Leakage resilient cryptography (pp. 293–302). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2008.56
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik, P., Nadaczny, J., Pietrzak, K. Z., & Lawenda, M. (2008). Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. SIGMA-NOT.
View | Download (ext.)
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak, H. L., Sapra, T., Kedrov, A., & Mueller, D. (2008). From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. Wiley-Blackwell. https://doi.org/10.1002/cphc.200700662
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3409
Struckmeier, J., Wahl, R., Leuschner, M., Nunes, J., Janovjak, H. L., Geisler, U., … Mueller, D. (2008). Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. IOP Publishing Ltd. https://doi.org/10.1088/0957-4484/19/38/384020
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3501
Adler, B. T., Chatterjee, K., De Alfaro, L., Faella, M., Pye, I., & Raman, V. (2008). Assigning trust to Wikipedia content. Presented at the WikiSym: International Symposium on Wikis, ACM. https://doi.org/10.1145/1822258.1822293
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3502
Chatterjee, K., De Alfaro, L., & Pye, I. (2008). Robust content-driven reputation (pp. 33–42). Presented at the AISec: Artificial Intelligence and Security, ACM. https://doi.org/10.1145/1456377.1456387
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3520
O’Neill, J., Senior, T., Allen, K., Huxter, J., & Csicsvari, J. L. (2008). Reactivation of experience-dependent cell assembly patterns in the hippocampus. Nature Neuroscience. Nature Publishing Group. https://doi.org/10.1038/nn2037
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3537
Senior, T., Huxter, J., Allen, K., O’Neill, J., & Csicsvari, J. L. (2008). Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.4669-07.2008
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3534
Dupret, D., Pleydell Bouverie, B., & Csicsvari, J. L. (2008). Inhibitory interneurons and network oscillations. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0810064105
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3600
Yang, E., Barton, N. H., Arslan, T., & Erdogan, A. (2008). Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network (Vol. 5216, pp. 249–260). Presented at the IECS: International Conference on Evolvable Systems, Springer. https://doi.org/10.1007/978-3-540-85857-7_22
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3606
Barton, N. H. (2008). The effect of a barrier to gene flow on patterns of geographic variation. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672307009081
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3605
De Cara, M., Barton, N. H., & Kirkpatrick, M. (2008). A model for the evolution of assortative mating. American Naturalist. University of Chicago Press. https://doi.org/10.1086/587062
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3705
Blaschko, M., & Lampert, C. (2008). Learning to localize objects with structured output regression (Vol. 5302, pp. 2–15). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/978-3-540-88682-2_2
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3700
Lampert, C. (2008). Partitioning of image datasets using discriminative context information (pp. 1–8). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587448
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 | 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 | 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: 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
[Published Version] 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: 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: 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 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2008). Algorithms for game metrics (Vol. 2, pp. 107–118). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1745
[Published Version] View | Files available | 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: 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: 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: 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: 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 | 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 | 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 | 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: 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: 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 | 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: 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: 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: 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: 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 | 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: 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 | 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/10.1007/978-3-540-78127-1_26
View | DOI
 

Search

Filter Publications