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.
7271 Publications
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: 3706
Joint kernel support estimation for structured prediction
C. Lampert, M. Blaschko, in:, Curran Associates, Inc., 2008, pp. 1–4.
View
| Download (ext.)
C. Lampert, M. Blaschko, in:, Curran Associates, Inc., 2008, pp. 1–4.
2008 | Conference Paper | IST-REx-ID: 3712
Correlational spectral clustering
M. Blaschko, C. Lampert, in:, IEEE, 2008, pp. 1–8.
View
| DOI
M. Blaschko, C. Lampert, in:, IEEE, 2008, pp. 1–8.
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 | 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 | Book Chapter | IST-REx-ID: 3726
Single-molecule microscopy and force spectroscopy of membrane proteins
A. Engel, H.L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, D. Mueller, in:, Single Molecules and Nanotechnology, Springer, 2008, pp. 279–311.
View
| DOI
A. Engel, H.L. Janovjak, D. Fotiadis, A. Kedrov, D. Cisneros, D. Mueller, in:, Single Molecules and Nanotechnology, Springer, 2008, pp. 279–311.
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: 3739
Information capacity of genetic regulatory elements
G. Tkačik, C. Callan, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 78 (2008).
View
| DOI
G. Tkačik, C. Callan, W. Bialek, Physical Review E Statistical Nonlinear and Soft Matter Physics 78 (2008).
2008 | Journal Article | IST-REx-ID: 3740 |

Information flow and optimization in transcriptional regulation
G. Tkačik, C. Callan, W. Bialek, PNAS 105 (2008) 12265–12270.
View
| DOI
| Download (ext.)
G. Tkačik, C. Callan, W. Bialek, PNAS 105 (2008) 12265–12270.
2008 | Journal Article | IST-REx-ID: 3744 |

Decoding spike timing: The differential reverse-correlation method
G. Tkačik, M. Magnasco, Biosystems 93 (2008) 90–100.
View
| DOI
| Download (ext.)
G. Tkačik, M. Magnasco, Biosystems 93 (2008) 90–100.
2008 | Journal Article | IST-REx-ID: 3751 |

Uncovering cis regulatory codes using synthetic promoter shuffling
A. Kinkhabwala, C.C. Guet, PLoS One 3 (2008).
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: 3760
Fast viscoelastic behavior with thin features
C.J. Wojtan, G. Turk, ACM Transactions on Graphics 27 (2008).
View
| DOI
| Download None (ext.)
C.J. Wojtan, G. Turk, ACM Transactions on Graphics 27 (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: 3822 |

Action potential initiation and propagation in hippocampal mossy fibre axons
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Physiology 586 (2008) 1849–57.
View
| DOI
| Download (ext.)
C. Schmidt Hieber, P.M. Jonas, J. Bischofberger, Journal of Physiology 586 (2008) 1849–57.
2008 | Journal Article | IST-REx-ID: 3823
The two sides of hippocampal mossy fiber plasticity (Review)
A. Kerr, P.M. Jonas, Neuron 57 (2008) 5–7.
View
| DOI
A. Kerr, P.M. Jonas, Neuron 57 (2008) 5–7.
2008 | Journal Article | IST-REx-ID: 3824
Nanodomain coupling between Ca(2+) channels and Ca2+ sensors promotes fast and efficient transmitter release at a cortical GABAergic synapse
I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, P.M. Jonas, Neuron 57 (2008) 536–45.
View
| DOI
I. Bucurenciu, Á. Kulik, B. Schwaller, M. Frotscher, P.M. Jonas, Neuron 57 (2008) 536–45.
2008 | Journal Article | IST-REx-ID: 3825 |

Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
View
| DOI
| Download (ext.)
Y. Aponte, J. Bischofberger, P.M. Jonas, Journal of Physiology 586 (2008) 2061–75.
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 | 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 | 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: 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: 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: 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: 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 | Conference Paper | IST-REx-ID: 3880
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, L. Doyen, T.A. Henzinger, S. Raje, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 325–339.
2008 | Journal Article | IST-REx-ID: 3903
The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches
L.V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, S. Cremer, BMC Biology 6 (2008).
View
| DOI
L.V. Ugelvig, F. Drijfhout, D. Kronauer, J. Boomsma, J. Pedersen, S. Cremer, BMC Biology 6 (2008).
2008 | Journal Article | IST-REx-ID: 3905
Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior
S. Cremer, P. D’Ettorre, F. Drijfhout, M. Sledge, S. Turillazzi, J. Heinze, Naturwissenschaften 95 (2008) 1101–1105.
View
| DOI
S. Cremer, P. D’Ettorre, F. Drijfhout, M. Sledge, S. Turillazzi, J. Heinze, Naturwissenschaften 95 (2008) 1101–1105.
2008 | Journal Article | IST-REx-ID: 3906
The evolution of invasiveness in garden ants
S. Cremer, L.V. Ugelvig, F. Drijfhout, B. Schlick Steiner, F. Steiner, B. Seifert, D. Hughes, A. Schulz, K. Petersen, H. Konrad, C. Stauffer, K. Kiran, X. Espadaler, P. D’Ettorre, N. Aktaç, J. Eilenberg, G. Jones, D. Nash, J. Pedersen, J. Boomsma, PLoS One 3 (2008).
View
| DOI
S. Cremer, L.V. Ugelvig, F. Drijfhout, B. Schlick Steiner, F. Steiner, B. Seifert, D. Hughes, A. Schulz, K. Petersen, H. Konrad, C. Stauffer, K. Kiran, X. Espadaler, P. D’Ettorre, N. Aktaç, J. Eilenberg, G. Jones, D. Nash, J. Pedersen, J. Boomsma, PLoS One 3 (2008).
2008 | Journal Article | IST-REx-ID: 3907
Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants
M. Suefuji, S. Cremer, J. Oettler, J. Heinze, Biology Letters 4 (2008) 670–673.
View
| DOI
M. Suefuji, S. Cremer, J. Oettler, J. Heinze, Biology Letters 4 (2008) 670–673.
2008 | Journal Article | IST-REx-ID: 3939
The microanatomy of T-cell responses
T. Lämmermann, M.K. Sixt, Immunological Reviews 221 (2008) 26–43.
View
| DOI
T. Lämmermann, M.K. Sixt, Immunological Reviews 221 (2008) 26–43.
2008 | Journal Article | IST-REx-ID: 3940
The extracellular matrix of the spleen as a potential organizer of immune cell compartments
Z. Lokmic, T. Lämmermann, M.K. Sixt, S. Cardell, R. Hallmann, L. Sorokin, Seminars in Immunology 20 (2008) 4–13.
View
| DOI
Z. Lokmic, T. Lämmermann, M.K. Sixt, S. Cardell, R. Hallmann, L. Sorokin, Seminars in Immunology 20 (2008) 4–13.
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: 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: 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 | 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 | Book Chapter | IST-REx-ID: 3969
Persistent homology - a survey
H. Edelsbrunner, J. Harer, in:, Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
View
H. Edelsbrunner, J. Harer, in:, Surveys on Discrete and Computational Geometry: Twenty Years Later, American Mathematical Society, 2008, pp. 257–282.
2008 | Journal Article | IST-REx-ID: 3970
Comparison of pattern detection methods in microarray time series of the segmentation clock
M. Dequéant, S. Ahnert, H. Edelsbrunner, T. Fink, E. Glynn, G. Hattem, A. Kudlicki, Y. Mileyko, J. Morton, A. Mushegian, L. Pachter, M. Rowicka, A. Shiu, B. Sturmfels, O. Pourquie, PLoS One 3 (2008).
View
| DOI
M. Dequéant, S. Ahnert, H. Edelsbrunner, T. Fink, E. Glynn, G. Hattem, A. Kudlicki, Y. Mileyko, J. Morton, A. Mushegian, L. Pachter, M. Rowicka, A. Shiu, B. Sturmfels, O. Pourquie, PLoS One 3 (2008).
2008 | Journal Article | IST-REx-ID: 3971
Time-varying Reeb graphs for continuous space-time data
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, J. Snoeyink, Computational Geometry: Theory and Applications 41 (2008) 149–166.
View
| DOI
H. Edelsbrunner, J. Harer, A. Mascarenhas, V. Pascucci, J. Snoeyink, Computational Geometry: Theory and Applications 41 (2008) 149–166.
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: 4141
Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation
H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg, W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
View
| DOI
H. Vervenne, K. Crombez, K. Lambaerts, L. Carvalho, M. Köppen, C.-P.J. Heisenberg, W. Van De Ven, M. Petit, Developmental Biology 320 (2008) 267–277.
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: 4161
Origin and shaping of the laterality organ in zebrafish
P. Oteíza, M. Köppen, M. Concha, C.-P.J. Heisenberg, Development 135 (2008) 2807–2813.
View
| DOI
P. Oteíza, M. Köppen, M. Concha, C.-P.J. Heisenberg, Development 135 (2008) 2807–2813.
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: 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: 4190
Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation
M. Kai, C.-P.J. Heisenberg, M. Tada, Development 135 (2008) 3043–3051.
View
| DOI
M. Kai, C.-P.J. Heisenberg, M. Tada, Development 135 (2008) 3043–3051.
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 | 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 | 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: 4366
Heap Assumptions on Demand
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
View
| DOI
A. Podelski, A. Rybalchenko, T. Wies, in:, Springer, 2008, pp. 314–327.
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.
2008 | Conference Paper | IST-REx-ID: 4384 |

Model checking transactional memories
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
View
| Files available
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, B. Jobstmann, V. Singh, in:, ACM, 2008, pp. 372–382.
2008 | Conference Paper | IST-REx-ID: 4386
Permissiveness in transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2008, pp. 305–319.
2008 | Conference Paper | IST-REx-ID: 4387
Completeness and nondeterminism in model checking transactional memories
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
View
| DOI
| Download (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008, pp. 21–35.
2008 | Conference Paper | IST-REx-ID: 4397
CSIsat: Interpolation for LA+EUF
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
View
D. Beyer, D. Zufferey, R. Majumdar, in:, Springer, 2008, pp. 304–308.
2008 | Conference Paper | IST-REx-ID: 4400
Security Evaluation of ES&S Voting Machines and Election Management System
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
View
| DOI
| Download (ext.)
A. Aviv, P. Cerny, S. Clark, E. Cronin, G. Shah, M. Sherr, M. Blaze, in:, USENIX, 2008.
2008 | Thesis | IST-REx-ID: 4409 |

Games for the verification of timed systems
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
View
| Download None (ext.)
V. Prabhu, Games for the Verification of Timed Systems, University of California, Berkeley, 2008.
2008 | Conference Paper | IST-REx-ID: 584
Spin hall effect of light via weak measurements: Sharp and smooth index variations
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
View
| Download None (ext.)
O. Hosten, P. Kwiat, in:, Optica Publishing Group, 2008.
2007 | Conference Paper | IST-REx-ID: 2794
Lifetime of turbulence in pipe flow
B. Hof, W. Tax, J. Westerweel, in:, Springer, 2007, pp. 556–558.
View
| DOI
B. Hof, W. Tax, J. Westerweel, in:, Springer, 2007, pp. 556–558.
2007 | Journal Article | IST-REx-ID: 2893
When three is not a crowd a Crossregulation Model of the dynamics and repertoire selection of regulatory CD4 T cells
J. Carneiro, K. Leon, Í. Caramalho, C. Van Den Dool, R. Gardner, V. Oliveira, M. Bergman, N. Sepúlveda, T. Paixao, J. Faro, J. Demengeot, Immunological Reviews 216 (2007) 48–68.
View
| DOI
J. Carneiro, K. Leon, Í. Caramalho, C. Van Den Dool, R. Gardner, V. Oliveira, M. Bergman, N. Sepúlveda, T. Paixao, J. Faro, J. Demengeot, Immunological Reviews 216 (2007) 48–68.
2007 | Journal Article | IST-REx-ID: 2896
Quantitative insights into stochastic monoallelic expression of cytokine genes
T. Paixao, T. Carvalho, D. Calado, J. Carneiro, Immunology and Cell Biology 85 (2007) 315–322.
View
| DOI
T. Paixao, T. Carvalho, D. Calado, J. Carneiro, Immunology and Cell Biology 85 (2007) 315–322.
2007 | Conference Paper | IST-REx-ID: 2933
An Analysis of Convex Relaxations for MAP Estimation
M.P. Kumar, V. Kolmogorov, P. Torr, in:, Neural Information Processing Systems, 2007.
View
M.P. Kumar, V. Kolmogorov, P. Torr, in:, Neural Information Processing Systems, 2007.
2007 | Journal Article | IST-REx-ID: 3019
Interactions among PIN FORMED and P glycoprotein auxin transporters in Arabidopsis
J. Blakeslee, A. Bandyopadhyay, R. Ok, J. Mravec, B. Titapiwatanakun, M. Sauer, S. Makam, Y. Cheng, R. Bouchard, J. Adamec, M. Geisler, A. Nagashima, T. Sakai, E. Martinoia, J. Friml, W. Peer, A. Murphy, Plant Cell 19 (2007) 131–147.
View
| DOI
J. Blakeslee, A. Bandyopadhyay, R. Ok, J. Mravec, B. Titapiwatanakun, M. Sauer, S. Makam, Y. Cheng, R. Bouchard, J. Adamec, M. Geisler, A. Nagashima, T. Sakai, E. Martinoia, J. Friml, W. Peer, A. Murphy, Plant Cell 19 (2007) 131–147.
2007 | Conference Paper | IST-REx-ID: 3021
Interactions of PIN and PGP auxin transport mechanisms
A. Bandyopadhyay, J. Blakeslee, O. Lee, J. Mravec, M. Sauer, B. Titapiwatanakun, S. Makam, R. Bouchard, M. Geisler, E. Martinoia, J. Friml, W. Peer, A. Murphy, in:, Portland Press, 2007, pp. 137–141.
View
| DOI
A. Bandyopadhyay, J. Blakeslee, O. Lee, J. Mravec, M. Sauer, B. Titapiwatanakun, S. Makam, R. Bouchard, M. Geisler, E. Martinoia, J. Friml, W. Peer, A. Murphy, in:, Portland Press, 2007, pp. 137–141.
2007 | Journal Article | IST-REx-ID: 3022
Clathrin-mediated constitutive endocytosis of PIN auxin efflux carriers in Arabidopsis
P. Dhonukshe, F. Aniento, I. Hwang, D. Robinson, J. Mravec, Y. Stierhof, J. Friml, Current Biology 17 (2007) 520–527.
View
| DOI
P. Dhonukshe, F. Aniento, I. Hwang, D. Robinson, J. Mravec, Y. Stierhof, J. Friml, Current Biology 17 (2007) 520–527.
2007 | Journal Article | IST-REx-ID: 3023
A unifying new model of cytokinesis for the dividing plant and animal cells
P. Dhonukshe, J. Šamaj, F. Baluška, J. Friml, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 29 (2007) 371–381.
View
| DOI
| PubMed | Europe PMC
P. Dhonukshe, J. Šamaj, F. Baluška, J. Friml, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 29 (2007) 371–381.
2007 | Journal Article | IST-REx-ID: 3024
Molecular and cellular aspects of auxin-transport-mediated development
A. Vieten, M. Sauer, P. Brewer, J. Friml, Trends in Plant Science 12 (2007) 160–168.
View
| DOI
| PubMed | Europe PMC
A. Vieten, M. Sauer, P. Brewer, J. Friml, Trends in Plant Science 12 (2007) 160–168.
2007 | Journal Article | IST-REx-ID: 3026
Ethylene regulates root growth through effects on auxin biosynthesis and transport dependent auxin distribution
K. Růžička, K. Ljung, S. Vanneste, R. Podhorská, T. Beeckman, J. Friml, E. Benková, Plant Cell 19 (2007) 2197–2212.
View
| DOI
K. Růžička, K. Ljung, S. Vanneste, R. Podhorská, T. Beeckman, J. Friml, E. Benková, Plant Cell 19 (2007) 2197–2212.
2007 | Journal Article | IST-REx-ID: 3027
MODULATOR of PIN genes control steady state levels of Arabidopsis PIN proteins
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.
View
| DOI
N. Malenica, L. Abas, R. Benjamins, S. Kitakura, H. Sigmund, K. Jun, M. Hauser, J. Friml, C. Luschnig, Plant Journal 51 (2007) 537–550.
2007 | Journal Article | IST-REx-ID: 3028
Antagonistic regulation of PIN phosphorylation by PP2A and PINOID directs auxin flux
M. Michniewicz, M. Zago, L. Abas, D. Weijers, A. Schweighofer, I. Meskiene, M. Heisler, C. Ohno, J. Zhang, F. Huang, R. Schwab, D. Weigel, E. Meyerowitz, C. Luschnig, R. Offringa, J. Friml, Cell 130 (2007) 1044–1056.
View
| DOI
M. Michniewicz, M. Zago, L. Abas, D. Weijers, A. Schweighofer, I. Meskiene, M. Heisler, C. Ohno, J. Zhang, F. Huang, R. Schwab, D. Weigel, E. Meyerowitz, C. Luschnig, R. Offringa, J. Friml, Cell 130 (2007) 1044–1056.
2007 | Journal Article | IST-REx-ID: 3029
Cytokinins act directly on lateral root founder cells to inhibit root initiation
L. Laplaze, E. Benková, I. Casimiro, L. Maes, S. Vanneste, R. Swarup, D. Weijers, V. Calvo, B. Parizot, M. Herrera Rodriguez, R. Offringa, N. Graham, P. Doumas, J. Friml, D. Bogusz, T. Beeckman, M. Bennett, Plant Cell 19 (2007) 3889–3900.
View
| DOI
L. Laplaze, E. Benková, I. Casimiro, L. Maes, S. Vanneste, R. Swarup, D. Weijers, V. Calvo, B. Parizot, M. Herrera Rodriguez, R. Offringa, N. Graham, P. Doumas, J. Friml, D. Bogusz, T. Beeckman, M. Bennett, Plant Cell 19 (2007) 3889–3900.
2007 | Journal Article | IST-REx-ID: 3144
ETS transcription factor Erm controls subsynaptic gene expression in skeletal muscles
S. Hippenmeyer, R. Huber, D. Ladle, K. Murphy, S. Arber, Neuron 55 (2007) 726–740.
View
| DOI
S. Hippenmeyer, R. Huber, D. Ladle, K. Murphy, S. Arber, Neuron 55 (2007) 726–740.
2007 | Journal Article | IST-REx-ID: 3187
Fusion of stereo colour and contrast
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.
View
| DOI
| Download (ext.)
A. Blake, A. Criminisi, G. Cross, V. Kolmogorov, C. Rother, Springer Tracts in Advanced Robotics 28 (2007) 295–304.
2007 | Conference Paper | IST-REx-ID: 3191
Applications of parametric maxflow in computer vision
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.
View
| DOI
| Download (ext.)
V. Kolmogorov, Y. Boykov, C. Rother, in:, IEEE, 2007.
2007 | Conference Paper | IST-REx-ID: 3192
Optimizing binary MRFs via extended roof duality
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.
View
| DOI
| Download (ext.)
C. Rother, V. Kolmogorov, V. Lempitsky, M. Szummer, in:, IEEE, 2007.
2007 | Journal Article | IST-REx-ID: 3193
Minimizing nonsubmodular functions with graph cuts - A review
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.
View
| DOI
V. Kolmogorov, C. Rother, IEEE Transactions on Pattern Analysis and Machine Intelligence 29 (2007) 1274–1279.
2007 | Conference Paper | IST-REx-ID: 3218
Non-trivial black-box combiners for collision-resistant hash-functions don't exist
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
View
| DOI
K.Z. Pietrzak, in:, Springer, 2007, pp. 23–33.
2007 | Conference Paper | IST-REx-ID: 3219
Indistinguishability amplification
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
View
| DOI
U. Maurer, K.Z. Pietrzak, R. Renner, in:, Springer, 2007, pp. 130–149.
2007 | Conference Paper | IST-REx-ID: 3220
Intrusion resilient secret sharing
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.
View
| DOI
S. Dziembowski, K.Z. Pietrzak, in:, IEEE, 2007, pp. 227–237.
2007 | Conference Paper | IST-REx-ID: 3221
Range extension for weak PRFs the good the bad and the ugly
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
View
| DOI
K.Z. Pietrzak, J. Sjödin, in:, Springer, 2007, pp. 517–533.
2007 | Conference Paper | IST-REx-ID: 3222
Parallel repetition of computationally sound protocols revisited
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
View
| DOI
K.Z. Pietrzak, D. Wikström, in:, Springer, 2007, pp. 86–102.
2007 | Conference Paper | IST-REx-ID: 3223
Improving the security of MACs via randomized message preprocessing
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
View
| DOI
Y. Dodis, K.Z. Pietrzak, in:, Springer, 2007, pp. 414–433.
2007 | Journal Article | IST-REx-ID: 3305
Evolution can favor antagonistic epistasis
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.
View
| DOI
M. Desai, D. Weissman, M. Feldman, Genetics 177 (2007) 1001–10.
2007 | Journal Article | IST-REx-ID: 3411 |

Free energy of membrane protein unfolding derived from single-molecule force measurements
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.
View
| DOI
| Download (ext.)
J. Preiner, H.L. Janovjak, C. Rankl, H. Knaus, D. Cisneros, A. Kedrov, F. Kienberger, D. Mueller, P. Hinterdorfer, Biophysical Journal 93 (2007) 930–937.
2007 | Book Review | IST-REx-ID: 3412
Deciphering molecular interactions of native membrane proteins by single-molecule force spectroscopy
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.
View
| DOI
A. Kedrov, H.L. Janovjak, T. Sapra, D. Mueller, Annual Review of Biophysics 36 (2007) 233–260.
2007 | Journal Article | IST-REx-ID: 7780
Single-molecule electrophoresis of β-hairpin peptides by electrical recordings and Langevin dynamics simulations
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
View
| DOI
C.P. Goodrich, S. Kirmizialtin, B.M. Huyghues-Despointes, A. Zhu, J.M. Scholtz, D.E. Makarov, L. Movileanu, The Journal of Physical Chemistry B 111 (2007) 3332–3335.
2007 | Journal Article | IST-REx-ID: 7781
Live fast, die young: Trade-offs between fitness components and sexually antagonistic selection on weaponry in soay sheep
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
View
| DOI
M.R. Robinson, J.G. Pilkington, T.H. Clutton-Brock, J.M. Pemberton, L.E.B. Kruuk, Evolution 60 (2007) 2168–2181.
2007 | Journal Article | IST-REx-ID: 8027
Gating deficits in model networks: A path to schizophrenia?
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
View
| DOI
| PubMed | Europe PMC
T.P. Vogels, L. Abbott, Pharmacopsychiatry 40 (2007) S73–S77.
2007 | Journal Article | IST-REx-ID: 8483
Protein folding and unfolding studied at atomic resolution by fast two-dimensional NMR spectroscopy
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
View
| DOI
P. Schanda, V. Forge, B. Brutscher, Proceedings of the National Academy of Sciences 104 (2007) 11257–11262.
2007 | Journal Article | IST-REx-ID: 8484
A set of BEST triple-resonance experiments for time-optimized protein resonance assignment
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
View
| DOI
E. Lescop, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 187 (2007) 163–169.
2007 | Journal Article | IST-REx-ID: 8485
Sensitivity-optimized experiment for the measurement of residual dipolar couplings between amide protons
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
View
| DOI
P. Schanda, E. Lescop, M. Falge, R. Sounier, J. Boisbouvier, B. Brutscher, Journal of Biomolecular NMR 38 (2007) 47–55.
2007 | Journal Article | IST-REx-ID: 8486
Automated spectral compression for fast multidimensional NMR and increased time resolution in real-time NMR spectroscopy
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.
View
| DOI
E. Lescop, P. Schanda, R. Rasia, B. Brutscher, Journal of the American Chemical Society 129 (2007) 2756–2757.