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: 3198
Feature correspondence via graph matching: Models and global optimization
L. Torresani, V. Kolmogorov, C. Rother, in:, Springer, 2008, pp. 596–609.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Graph cut based image segmentation with connectivity priors
S. Vicente, V. Kolmogorov, C. Rother, in:, IEEE, 2008.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
A new mode of operation for block ciphers and length preserving MACs
Y. Dodis, K.Z. Pietrzak, P. Puniya, in:, Springer, 2008, pp. 198–219.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Robust multi property combiners for hash functions revisited
M. Fischlin, A. Lehmann, K.Z. Pietrzak, in:, Springer, 2008, pp. 655–666.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus
P.S. Schmalhorst, S. Krappmann, W. Vervecken, M. Rohde, M. Müller, G. Braus, R. Contreras, A. Braun, H. Bakker, F. Routier, Eukaryotic Cell 7 (2008) 1268–1277.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Estimation of 2Nes From Temporal Allele Frequency Data
J.P. Bollback, T. York, R. Nielsen, Genetics 179 (2008) 497–502.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3516
Theta phase-specific codes for two-dimensional position, trajectory and heading in the hippocampus
J. Huxter, T. Senior, K. Allen, J.L. Csicsvari, Nature Neuroscience 11 (2008) 587–594.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3530
Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity
P. Fuentealba, R. Begum, M. Capogna, S. Jinno, L. Marton, J.L. Csicsvari, A. Thomson, P. Somogyi, T. Klausberger, Neuron 57 (2008) 917–929.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex
N. Mallet, A. Pogosyan, A. Sharott, J.L. Csicsvari, J. Bolam, P. Brown, P. Magill, Journal of Neuroscience 28 (2008) 4795–4806.
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
Skeletal structures
S. Biasotti, D. Attali, J. Boissonnat, H. Edelsbrunner, G. Elber, M. Mortara, G. Sanniti Di Baja, M. Spagnuolo, M. Tanase, R. Veltkam, in:, Shape Analysis and Structuring, Springer, 2008, pp. 145–183.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish.
F. Ulrich, C.-P.J. Heisenberg, Methods in Molecular Biology 440 (2008) 371–387.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network
E. Yang, A. Erdogan, T. Arslan, N.H. Barton, in:, IEEE, 2008, pp. 432–439.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3698
Semi-supervised Laplacian regularization of kernel canonical correlation analysis
M. Blaschko, C. Lampert, A. Gretton, in:, Springer, 2008, pp. 133–145.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3694
Bayes optimal DDoS mitigation by adaptive history-based IP filtering
M. Goldstein, C. Lampert, M. Reif, A. Stahl, T. Breuel, in:, IEEE, 2008, pp. 174–179.
View | DOI | Download (ext.)
 

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.)
 

2008 | Conference Paper | IST-REx-ID: 3712
Correlational spectral clustering
M. Blaschko, C. Lampert, in:, IEEE, 2008, pp. 1–8.
View | DOI
 

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
 

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
 

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

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

2008 | Journal Article | IST-REx-ID: 3760
Fast viscoelastic behavior with thin features
C. Wojtan, G. Turk, ACM Transactions on Graphics 27 (2008).
View | DOI | Download None (ext.)
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
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.)
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2008 | Journal Article | IST-REx-ID: 4190 View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
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.)
 

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.)
 

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.)
 

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
 

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.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
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.)
 

2008 | Thesis | IST-REx-ID: 4415
Compositionality in deterministic real-time embedded systems
S. Matic, Compositionality in Deterministic Real-Time Embedded Systems, University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Valigator: A verification tool with bound and invariant generation
T.A. Henzinger, T. Hottelier, L. Kovács, in:, Springer, 2008, pp. 333–342.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Two challenges in embedded systems design: Predictability and robustness
T.A. Henzinger, Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences 366 (2008) 3727–3736.
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
A hierarchical coordination language for reliable real-time tasks
A. Ghosal, A Hierarchical Coordination Language for Reliable Real-Time Tasks, University of California, Berkeley, 2008.
View
 

2008 | Conference Paper | IST-REx-ID: 4521
Proving non-termination
A. Gupta, T.A. Henzinger, R. Majumdar, A. Rybalchenko, R. Xu, in:, ACM, 2008, pp. 147–158.
View | DOI | Download (ext.)
 

Search

Filter Publications