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.
1966 Publications
2008 | Published | Conference Paper | IST-REx-ID: 753
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. How to solve consensus in the smallest window of synchrony. In: Vol 5218 LNCS. Springer; 2008:32-46. doi:10.1007/978-3-540-87779-0_3
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 18337
Bronstein AM, Bronstein MM. Regularized partial matching of rigid shapes. In: 10th European Conference on Computer Vision. Vol 5303. Springer Berlin Heidelberg; 2008:143-154. doi:10.1007/978-3-540-88688-4_11
View
| DOI
2008 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. Weak pseudorandom functions in minicrypt. In: Vol 5126. Springer; 2008:423-436. doi:10.1007/978-3-540-70583-3_35
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. Compression from collisions or why CRHF combiners have a long output. In: Vol 5157. Springer; 2008:413-432. doi:10.1007/978-3-540-85174-5_23
View
| DOI
2008 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. In: Vol 5216. Springer; 2008:249-260. doi:10.1007/978-3-540-85857-7_22
View
| DOI
2008 | Published | 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 | Published | Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. Learning to localize objects with structured output regression. In: Vol 5302. Springer; 2008:2-15. doi:10.1007/978-3-540-88682-2_2
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3716
Lampert C, Blaschko M. A multiple kernel learning approach to joint multi-class object detection. In: Vol 5096. Springer; 2008:31-40. doi:10.1007/978-3-540-69321-5_4
View
| DOI
| Download (ext.)
2008 | Published | 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 | Published | Book Chapter | IST-REx-ID: 3872
Chatterjee K, Henzinger TA. Value iteration. In: 25 Years in Model Checking. Vol 5000. Springer; 2008:107-138. doi:10.1007/978-3-540-69850-0_7
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: Vol 4981. Springer; 2008:72-86. doi:DOI: 10.1007/978-3-540-78929-1_6
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. Trading infinite memory for uniform randomness in timed games. In: Vol 4981. Springer; 2008:87-100. doi:10.1007/978-3-540-78929-1_7
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Vol 4962. Springer; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. Environment assumptions for synthesis. In: Vol 5201. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:147-161. doi:10.1007/978-3-540-85361-9_14
View
| DOI
2008 | Published | Conference Paper | IST-REx-ID: 3878 | 
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol 5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View
| DOI
| Download (ext.)
2008 | Published | Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: Vol 5213. Springer; 2008:385-400. doi:10.1007/978-3-540-87531-4_28
View
| DOI
2008 | Published | Journal Article | IST-REx-ID: 3943
Kessenbrock K, Fröhlich L, Sixt MK, et al. Proteinase 3 and neutrophil elastase enhance inflammation in mice by inactivating antiinflammatory progranulin. The Journal of Clinical Investigation. 2008;118(7):2438-2447. doi:10.1172/JCI34694
View
| DOI