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
Torresani L, Kolmogorov V, Rother C. Feature correspondence via graph matching: Models and global optimization. In: Vol 5303. Springer; 2008:596-609. doi:10.1007/978-3-540-88688-4_44
View | DOI | Download (ext.)
 

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

2008 | Conference Paper | IST-REx-ID: 3224
Dodis Y, Pietrzak KZ, Puniya P. A new mode of operation for block ciphers and length preserving MACs. In: Vol 4965. Springer; 2008:198-219. doi:10.1007/978-3-540-78967-3_12
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin M, Lehmann A, Pietrzak KZ. Robust multi property combiners for hash functions revisited. In: Vol 5126. Springer; 2008:655-666. doi:10.1007/978-3-540-70583-3_53
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst PS, Krappmann S, Vervecken W, et al. Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. 2008;7(8):1268-1277. doi:10.1128/EC.00065-08
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
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
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View | DOI | Download (ext.)
 

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

2008 | Journal Article | IST-REx-ID: 3530
Fuentealba P, Begum R, Capogna M, et al. Ivy cells: A population of nitric-oxide-producing, slow-spiking GABAergic neurons and their involvement in hippocampal network activity. Neuron. 2008;57(6):917-929. doi:10.1016/j.neuron.2008.01.034
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3544
Mallet N, Pogosyan A, Sharott A, et al. Disrupted dopamine transmission and the emergence of exaggerated beta oscillations in subthalamic nucleus and cerebral cortex. Journal of Neuroscience. 2008;28(18):4795-4806. doi:10.1523/JNEUROSCI.0123-08.2008
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3577
Biasotti S, Attali D, Boissonnat J, et al. Skeletal structures. In: Shape Analysis and Structuring. Springer; 2008:145-183. doi:10.1007/978-3-540-33265-7_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3591
Ulrich F, Heisenberg C-PJ. Probing E-cadherin endocytosis by morpholino-mediated Rab5 knock-down in zebrafish. Methods in Molecular Biology. 2008;440:371-387. doi:10.1007/978-1-59745-178-9_27
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3599
Yang E, Erdogan A, Arslan T, Barton NH. Adaptive formation control and bio-inspired optimization of a cluster-based satellite wireless sensor network . In: IEEE; 2008:432-439. doi:10.1109/AHS.2008.60
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3698
Blaschko M, Lampert C, Gretton A. Semi-supervised Laplacian regularization of kernel canonical correlation analysis. In: Vol 5211. Springer; 2008:133-145. doi:10.1007/978-3-540-87479-9_27
View | DOI
 

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

2008 | Conference Paper | IST-REx-ID: 3706
Lampert C, Blaschko M. Joint kernel support estimation for structured prediction. In: Curran Associates, Inc.; 2008:1-4.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3712
Blaschko M, Lampert C. Correlational spectral clustering. In: IEEE; 2008:1-8. doi:10.1109/CVPR.2008.4587353
View | DOI
 

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

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

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

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

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

2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 2008;586(8):2061-2075. doi:10.1113/jphysiol.2007.147298
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. 2008;586(7):1849-1857. doi:10.1113/jphysiol.2007.150151
View | DOI | Download (ext.)
 

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

2008 | Journal Article | IST-REx-ID: 3823
Kerr A, Jonas PM. The two sides of hippocampal mossy fiber plasticity (Review). Neuron. 2008;57(1):5-7. doi:10.1016/j.neuron.2007.12.015
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3880
Berwanger D, Chatterjee K, Doyen L, Henzinger TA, Raje S. Strategy construction for parity games with imperfect information. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:325-339. doi:10.1007/978-3-540-85361-9
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 3903
Ugelvig LV, Drijfhout F, Kronauer D, Boomsma J, Pedersen J, Cremer S. The introduction history of invasive garden ants in Europe: integrating genetic, chemical and behavioural approaches. BMC Biology. 2008;6(11). doi: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. Imperfect chemical female mimicry in males of the ant Cardiocondyla obscurior. Naturwissenschaften. 2008;95(11):1101-1105. doi:10.1007/s00114-008-0430-8
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3907
Suefuji M, Cremer S, Oettler J, Heinze J. Queen number influences the timing of the sexual production in colonies of Cardiocondyla ants. Biology Letters. 2008;4(6):670-673. doi:10.1098/rsbl.2008.0355
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3906
Cremer S, Ugelvig LV, Drijfhout F, et al. The evolution of invasiveness in garden ants. PLoS One. 2008;3(12). doi:10.1371/journal.pone.0003838
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3939
Lämmermann T, Sixt MK. The microanatomy of T-cell responses. Immunological Reviews. 2008;221(1):26-43. doi:10.1111/j.1600-065X.2008.00592.x
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3940
Lokmic Z, Lämmermann T, Sixt MK, Cardell S, Hallmann R, Sorokin L. The extracellular matrix of the spleen as a potential organizer of immune cell compartments. Seminars in Immunology. 2008;20(1):4-13. doi:10.1016/j.smim.2007.12.009
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3970
Dequéant M, Ahnert S, Edelsbrunner H, et al. Comparison of pattern detection methods in microarray time series of the segmentation clock. PLoS One. 2008;3(8). doi:10.1371/journal.pone.0002856
View | DOI
 

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

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

2008 | Journal Article | IST-REx-ID: 4141
Vervenne H, Crombez K, Lambaerts K, et al. Lpp is involved in Wnt/PCP signaling and acts together with Scrib to mediate convergence and extension movements during zebrafish gastrulation. Developmental Biology. 2008;320(1):267-277. doi:10.1016/j.ydbio.2008.05.529
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4161
Oteíza P, Köppen M, Concha M, Heisenberg C-PJ. Origin and shaping of the laterality organ in zebrafish. Development. 2008;135(16):2807-2813. doi:10.1242/dev.022228
View | DOI
 

2008 | Journal Article | IST-REx-ID: 4190
Kai M, Heisenberg C-PJ, Tada M. Sphingosine-1-phosphate receptors regulate individual cell behaviours underlying the directed migration of prechordal plate progenitor cells during zebrafish gastrulation. Development. 2008;135(18):3043-3051. doi:10.1242/dev.020396
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4386
Guerraoui R, Henzinger TA, Singh V. Permissiveness in transactional memories. In: Vol 5218. Springer; 2008:305-319. doi:10.1007/978-3-540-87779-0_21
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4387
Guerraoui R, Henzinger TA, Singh V. Completeness and nondeterminism in model checking transactional memories. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:21-35. doi: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. CSIsat: Interpolation for LA+EUF. In: Springer; 2008:304-308.
View
 

2008 | Conference Paper | IST-REx-ID: 4400
Aviv A, Cerny P, Clark S, et al. Security Evaluation of ES&S Voting Machines and Election Management System. In: USENIX; 2008. doi:1545
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4409 | OA
Prabhu V. Games for the verification of timed systems. 2008:1-137.
View | Download None (ext.)
 

2008 | Thesis | IST-REx-ID: 4415
Matic S. Compositionality in deterministic real-time embedded systems. 2008:1-148.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger TA, Hottelier T, Kovács L. Valigator: A verification tool with bound and invariant generation. In: Vol 5330. Springer; 2008:333-342. doi:10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger TA. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. 2008;366(1881):3727-3736. doi:10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.
View
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta A, Henzinger TA, Majumdar R, Rybalchenko A, Xu R. Proving non-termination. In: ACM; 2008:147-158. doi:10.1145/1328438.1328459
View | DOI | Download (ext.)
 

Search

Filter Publications