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.
9078 Publications
2008 | Conference Paper | IST-REx-ID: 3226
Weak pseudorandom functions in minicrypt
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2008, pp. 423–436.
2008 | Conference Paper | IST-REx-ID: 3228
Compression from collisions or why CRHF combiners have a long output
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2008, pp. 413–432.
2008 | Conference Paper | IST-REx-ID: 3229
Leakage resilient cryptography
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
View
| DOI
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2008, pp. 293–302.
2008 | Journal Article | IST-REx-ID: 3227
Elektrowiz – system of measurement data management
P. Zubielik, J. Nadaczny, K.Z. Pietrzak, M. Lawenda, Przeglad Elektrotechniczny 84 (2008) 239–242.
View
| Download (ext.)
P. Zubielik, J. Nadaczny, K.Z. Pietrzak, M. Lawenda, Przeglad Elektrotechniczny 84 (2008) 239–242.
2008 | Book Review | IST-REx-ID: 3410
From valleys to ridges: Exploring the energy landscape of single membrane proteins
H.L. Janovjak, T. Sapra, A. Kedrov, D. Mueller, ChemPhysChem 9 (2008) 954–966.
View
| DOI
H.L. Janovjak, T. Sapra, A. Kedrov, D. Mueller, ChemPhysChem 9 (2008) 954–966.
2008 | Journal Article | IST-REx-ID: 3409
Fully automated single-molecule force spectroscopy for screening applications
J. Struckmeier, R. Wahl, M. Leuschner, J. Nunes, H.L. Janovjak, U. Geisler, G. Hofmann, T. Jähnke, D. Mueller, Nanotechnology 19 (2008).
View
| DOI
J. Struckmeier, R. Wahl, M. Leuschner, J. Nunes, H.L. Janovjak, U. Geisler, G. Hofmann, T. Jähnke, D. Mueller, Nanotechnology 19 (2008).
2008 | Conference Paper | IST-REx-ID: 3501
Assigning trust to Wikipedia content
B.T. Adler, K. Chatterjee, L. De Alfaro, M. Faella, I. Pye, V. Raman, in:, ACM, 2008.
View
| DOI
B.T. Adler, K. Chatterjee, L. De Alfaro, M. Faella, I. Pye, V. Raman, in:, ACM, 2008.
2008 | Conference Paper | IST-REx-ID: 3502
Robust content-driven reputation
K. Chatterjee, L. De Alfaro, I. Pye, in:, ACM, 2008, pp. 33–42.
View
| DOI
K. Chatterjee, L. De Alfaro, I. Pye, in:, ACM, 2008, pp. 33–42.
2008 | Journal Article | IST-REx-ID: 3520
Reactivation of experience-dependent cell assembly patterns in the hippocampus
J. O’Neill, T. Senior, K. Allen, J. Huxter, J.L. Csicsvari, Nature Neuroscience 11 (2008) 209–215.
View
| DOI
J. O’Neill, T. Senior, K. Allen, J. Huxter, J.L. Csicsvari, Nature Neuroscience 11 (2008) 209–215.
2008 | Journal Article | IST-REx-ID: 3537
Gamma oscillatory firing reveals distinct populations of pyramidal cells in the CA1 region of the hippocampus
T. Senior, J. Huxter, K. Allen, J. O’Neill, J.L. Csicsvari, Journal of Neuroscience 28 (2008) 2274–2286.
View
| DOI
T. Senior, J. Huxter, K. Allen, J. O’Neill, J.L. Csicsvari, Journal of Neuroscience 28 (2008) 2274–2286.
2008 | Journal Article | IST-REx-ID: 3534
Inhibitory interneurons and network oscillations
D. Dupret, B. Pleydell Bouverie, J.L. Csicsvari, PNAS 105 (2008) 18079–18080.
View
| DOI
D. Dupret, B. Pleydell Bouverie, J.L. Csicsvari, PNAS 105 (2008) 18079–18080.
2008 | Conference Paper | IST-REx-ID: 3600
Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
View
| DOI
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, Springer, 2008, pp. 249–260.
2008 | Journal Article | IST-REx-ID: 3606
The effect of a barrier to gene flow on patterns of geographic variation
N.H. Barton, Genetical Research 90 (2008) 139–149.
View
| DOI
N.H. Barton, Genetical Research 90 (2008) 139–149.
2008 | Journal Article | IST-REx-ID: 3605
A model for the evolution of assortative mating
M. De Cara, N.H. Barton, M. Kirkpatrick, American Naturalist 171 (2008) 580–596.
View
| DOI
M. De Cara, N.H. Barton, M. Kirkpatrick, American Naturalist 171 (2008) 580–596.
2008 | Conference Paper | IST-REx-ID: 3705
Learning to localize objects with structured output regression
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
View
| DOI
| Download (ext.)
M. Blaschko, C. Lampert, in:, Springer, 2008, pp. 2–15.
2008 | Conference Paper | IST-REx-ID: 3700
Partitioning of image datasets using discriminative context information
C. Lampert, in:, IEEE, 2008, pp. 1–8.
View
| DOI
| Download (ext.)
C. Lampert, in:, IEEE, 2008, pp. 1–8.
2008 | Conference Paper | IST-REx-ID: 3716
A multiple kernel learning approach to joint multi-class object detection
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.
View
| DOI
| Download (ext.)
C. Lampert, M. Blaschko, in:, Springer, 2008, pp. 31–40.
2008 | Conference Paper | IST-REx-ID: 3714
Beyond sliding windows: Object localization by efficient subwindow search
C. Lampert, M. Blaschko, T. Hofmann, in:, IEEE, 2008, pp. 1–8.
View
| DOI
| Download (ext.)
C. Lampert, M. Blaschko, T. Hofmann, in:, IEEE, 2008, pp. 1–8.
2008 | Journal Article | IST-REx-ID: 3734 | 
The role of input noise in transcriptional regulation
G. Tkačik, T. Gregor, W. Bialek, PLoS One 3 (2008).
View
| DOI
| Download (ext.)
G. Tkačik, T. Gregor, W. Bialek, PLoS One 3 (2008).
2008 | Journal Article | IST-REx-ID: 3751 |
Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
2008 | Journal Article | IST-REx-ID: 3754
Minimally invasive determination of mRNA concentration in single living bacteria
C.C. Guet, L. Bruneaux, T. Min, D. Siegal Gaskins, I. Figueroa, T. Emonet, P. Cluzel, Nucleic Acids Research 36 (2008).
View
| DOI
C.C. Guet, L. Bruneaux, T. Min, D. Siegal Gaskins, I. Figueroa, T. Emonet, P. Cluzel, Nucleic Acids Research 36 (2008).
2008 | Journal Article | IST-REx-ID: 3769
An Exact Algorithm for the Geodesic Distance between Phylogenetic Trees.
A. Kupczok, A. Von Haeseler, S. Klaere, Journal of Computational Biology 15 (2008) 577–591.
View
| DOI
A. Kupczok, A. Von Haeseler, S. Klaere, Journal of Computational Biology 15 (2008) 577–591.
2008 | Journal Article | IST-REx-ID: 3826
Postnatal differentiation of basket cells from slow to fast signaling devices
D. Doischer, J. Hosp, Y. Yanagawa, K. Obata, P.M. Jonas, I. Vida, M. Bartos, Journal of Neuroscience 28 (2008) 12956–68.
View
| DOI
D. Doischer, J. Hosp, Y. Yanagawa, K. Obata, P.M. Jonas, I. Vida, M. Bartos, Journal of Neuroscience 28 (2008) 12956–68.
2008 | Journal Article | IST-REx-ID: 3827
Differential dependence of phasic transmitter release on synaptotagmin 1 at GABAergic and glutamatergic hippocampal synapses
A. Kerr, E. Reisinger, P.M. Jonas, PNAS 105 (2008) 15581–6.
View
| DOI
A. Kerr, E. Reisinger, P.M. Jonas, PNAS 105 (2008) 15581–6.
2008 | Conference Paper | IST-REx-ID: 3504 |
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–118.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 107–118.
2008 | Conference Paper | IST-REx-ID: 3875
Model-checking omega-regular properties of interval Markov chains
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
View
| DOI
K. Chatterjee, T.A. Henzinger, K. Sen, in:, Springer, 2008, pp. 302–317.
2008 | Conference Paper | IST-REx-ID: 3873
Controller synthesis with budget constraints
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
View
| DOI
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Springer, 2008, pp. 72–86.
2008 | Conference Paper | IST-REx-ID: 3876
Timed parity games: complexity and robustness
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 124–140.
2008 | Conference Paper | IST-REx-ID: 3877
Environment assumptions for synthesis
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
View
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 147–161.
2008 | Conference Paper | IST-REx-ID: 3878 |
The complexity of coverage
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
View
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, R. Majumdar, in:, Springer, 2008, pp. 91–106.
2008 | Conference Paper | IST-REx-ID: 3874
Trading infinite memory for uniform randomness in timed games
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
View
| DOI
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Springer, 2008, pp. 87–100.
2008 | Conference Paper | IST-REx-ID: 3879
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
View
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.
2008 | Book Chapter | IST-REx-ID: 3872
Value iteration
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer, 2008, pp. 107–138.
View
| DOI
K. Chatterjee, T.A. Henzinger, in:, 25 Years in Model Checking, Springer, 2008, pp. 107–138.
2008 | Journal Article | IST-REx-ID: 3945
The lymph vessel network in mouse skin visualised with antibodies against the hyaluronan receptor LYVE-1
C. Tripp, B. Haid, V. Flacher, M.K. Sixt, H. Peter, J. Farkas, R. Gschwentner, L. Sorokin, N. Romani, P. Stoitzner, Immunobiology 213 (2008) 715–28.
View
| DOI
C. Tripp, B. Haid, V. Flacher, M.K. Sixt, H. Peter, J. Farkas, R. Gschwentner, L. Sorokin, N. Romani, P. Stoitzner, Immunobiology 213 (2008) 715–28.
2008 | Journal Article | IST-REx-ID: 3942
Sialyltransferase ST3Gal-IV controls CXCR2-mediated firm leukocyte arrest during inflammation
D. Frommhold, A. Ludwig, M.G. Bixel, A. Zarbock, I. Babushkina, M. Weissinger, S. Cauwenberghs, L. Ellies, J. Marth, A. Beck Sickinger, M.K. Sixt, B. Lange Sperandio, A. Zernecke, E. Brandt, C. Weber, D. Vestweber, K. Ley, M. Sperandio, The Journal of Experimental Medicine 205 (2008) 1435–1446.
View
| DOI
D. Frommhold, A. Ludwig, M.G. Bixel, A. Zarbock, I. Babushkina, M. Weissinger, S. Cauwenberghs, L. Ellies, J. Marth, A. Beck Sickinger, M.K. Sixt, B. Lange Sperandio, A. Zernecke, E. Brandt, C. Weber, D. Vestweber, K. Ley, M. Sperandio, The Journal of Experimental Medicine 205 (2008) 1435–1446.
2008 | Journal Article | IST-REx-ID: 3943
Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
View
| DOI
K. Kessenbrock, L. Fröhlich, M.K. Sixt, T. Lämmermann, H. Pfister, A. Bateman, A. Belaaouaj, J. Ring, M. Ollert, R. Fässler, D. Jenne, The Journal of Clinical Investigation 118 (2008) 2438–2447.
2008 | Journal Article | IST-REx-ID: 3941
Rapid leukocyte migration by integrin-independent flowing and squeezing
T. Lämmermann, B. Bader, S. Monkley, T. Worbs, R. Wedlich Söldner, K. Hirsch, M. Keller, R. Förster, D. Critchley, R. Fässler, M.K. Sixt, Nature 453 (2008) 51–55.
View
| DOI
T. Lämmermann, B. Bader, S. Monkley, T. Worbs, R. Wedlich Söldner, K. Hirsch, M. Keller, R. Förster, D. Critchley, R. Fässler, M.K. Sixt, Nature 453 (2008) 51–55.
2008 | Journal Article | IST-REx-ID: 3944
Lifeact: a versatile marker to visualize F-actin
J. Riedl, A. Crevenna, K. Kessenbrock, J. Yu, D. Neukirchen, M. Bista, F. Bradke, D. Jenne, T. Holak, Z. Werb, M.K. Sixt, R. Wedlich Soldner, Nature Methods 5 (2008) 605–607.
View
| DOI
J. Riedl, A. Crevenna, K. Kessenbrock, J. Yu, D. Neukirchen, M. Bista, F. Bradke, D. Jenne, T. Holak, Z. Werb, M.K. Sixt, R. Wedlich Soldner, Nature Methods 5 (2008) 605–607.
2008 | Conference Paper | IST-REx-ID: 3974
Reeb spaces of piecewise linear mappings
H. Edelsbrunner, J. Harer, A. Patel, in:, ACM, 2008, pp. 242–250.
View
| DOI
H. Edelsbrunner, J. Harer, A. Patel, in:, ACM, 2008, pp. 242–250.
2008 | Journal Article | IST-REx-ID: 4135
The quest for a null model for macroecological patterns: geometry of species distributions at multiple spatial scales
D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, K. Gaston, Ecology Letters 11 (2008) 771–784.
View
| DOI
D. Storch, A. Šizling, J. Reif, J. Polechova, E. Šizlingová, K. Gaston, Ecology Letters 11 (2008) 771–784.
2008 | Book Chapter | IST-REx-ID: 4137
Patterns of biodiversity and limits to adaptation in time and space
J. Bridle, J. Polechova, T. Vines, in:, J.R. R. K. Butlin, D. Schluter (Eds.), Evolution and Speciation, Cambridge University Press, 2008, pp. 77–101.
View
| DOI
J. Bridle, J. Polechova, T. Vines, in:, J.R. R. K. Butlin, D. Schluter (Eds.), Evolution and Speciation, Cambridge University Press, 2008, pp. 77–101.
2008 | Journal Article | IST-REx-ID: 4150
Quantitative differences in tissue surface tension influence zebrafish germ layer positioning
E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P.J. Heisenberg, R. Foty, HFSP Journal 2 (2008) 42–56.
View
| DOI
E. Schötz, R. Burdine, F. Julicher, M. Steinberg, C.-P.J. Heisenberg, R. Foty, HFSP Journal 2 (2008) 42–56.
2008 | Journal Article | IST-REx-ID: 4181
Tensile forces govern germ-layer organization in zebrafish
M. Krieg, Y. Arboleda Estudillo, P. Puech, J. Käfer, F. Graner, D. Mueller, C.-P.J. Heisenberg, Nature Cell Biology 10 (2008) 429–436.
View
| DOI
M. Krieg, Y. Arboleda Estudillo, P. Puech, J. Käfer, F. Graner, D. Mueller, C.-P.J. Heisenberg, Nature Cell Biology 10 (2008) 429–436.
2008 | Journal Article | IST-REx-ID: 4180
A Bond for a Lifetime: Employing Membrane Nanotubes from Living Cells to Determine Receptor-Ligand Kinetics
M. Krieg, J. Helenius, C.-P.J. Heisenberg, D. Mueller, Angewandte Chemie - International Edition 47 (2008) 9775–9777.
View
| DOI
M. Krieg, J. Helenius, C.-P.J. Heisenberg, D. Mueller, Angewandte Chemie - International Edition 47 (2008) 9775–9777.
2008 | Journal Article | IST-REx-ID: 4193
Single-cell force spectroscopy
J. Helenius, C.-P.J. Heisenberg, H. Gaub, D. Mueller, Journal of Cell Science 121 (2008) 1785–1791.
View
| DOI
J. Helenius, C.-P.J. Heisenberg, H. Gaub, D. Mueller, Journal of Cell Science 121 (2008) 1785–1791.
2008 | Journal Article | IST-REx-ID: 4198
Back and forth between cell fate specification and movement during vertebrate gastrulation
C.-P.J. Heisenberg, L. Solnica Krezel, Current Opinion in Genetics & Development 18 (2008) 311–316.
View
| DOI
C.-P.J. Heisenberg, L. Solnica Krezel, Current Opinion in Genetics & Development 18 (2008) 311–316.
2008 | Journal Article | IST-REx-ID: 4227
Precision of the Dpp gradient
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
View
| DOI
T. Bollenbach, P. Pantazis, A. Kicheva, C. Bokel, M. González Gaitán, F. Julicher, Development 135 (2008) 1137–1146.
2008 | Journal Article | IST-REx-ID: 4245
Effects of spontaneous mutation accumulation on sex ratio traits
B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H. Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008) 1921–1935.
View
| DOI
B. Pannebakker, D. Halligan, K.T. Reynolds, G. Ballantyne, D. Shuker, N.H. Barton, S. West, Evolution; International Journal of Organic Evolution 62 (2008) 1921–1935.
2008 | Conference Paper | IST-REx-ID: 4244
A novel shifting balance theory-based approach to optimization of an energy-constrained modulation scheme for wireless sensor networks
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, IEEE, 2008, pp. 2749–2756.
View
| DOI
E. Yang, N.H. Barton, T. Arslan, A. Erdogan, in:, IEEE, 2008, pp. 2749–2756.
2008 | Book Chapter | IST-REx-ID: 4371
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505.