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.

2068 Publications


2011 | Published | Book Chapter | IST-REx-ID: 3796 | OA
Edelsbrunner H, Kerber M. 2011.Covering and packing with spheres by diagonal distortion in R^n. In: Rainbow of Computer Science. LNCS, vol. 6570, 20–35.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 2321 | OA
Frank R, Laptev A, Seiringer R. 2011. A sharp bound on eigenvalues of Schrödinger operators on the halfline with complex-valued potentials. OTAMP: Operator Theory, Analysis and Mathematical Physics, Operator Theory: Advances and Applications, vol. 214, 39–44.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2436
Matoušek J, Tancer M, Wagner U. 2011. Hardness of embedding simplicial complexes in Rd. Journal of the European Mathematical Society. 13(2), 259–295.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 2766
Erdös L, Knowles A. 2011. Quantum diffusion and delocalization for band matrices with general distribution. Annales Henri Poincare. 12(7), 1227–1319.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner NM, Ion A, Kropatsch WG. 2011. Spatio-temporal extraction of articulated models in a graph pyramid. Graph-Based Representations in Pattern Recognition. GbRPR: Graph-based Representations in Pattern RecognitionLNIP, LNCS, vol. 6658, 215–224.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 11673
Baykan E, Henzinger M, Marian L, Weber I. 2011. A comprehensive study of features and algorithms for URL-based topic classification. ACM Transactions on the Web. 5(3), 15.
View | DOI
 

2011 | Published | Conference Paper | IST-REx-ID: 11796
Henzinger M, Vidali A. 2011. Multi-parameter mechanism design under budget and matroid constraints. 19th Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 6942, 192–202.
View | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 2116 | OA
Maas J, Van Neerven J. 2011.Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In: Parabolic Problems. vol. 80, 463–477.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 17690 | OA
Wolcott-Green J, Haiman Z, Bryan GL. 2011. Photodissociation of H2 in protogalaxies: Modelling self-shielding in three-dimensional simulations. Monthly Notices of the Royal Astronomical Society. 418(2), 838–852.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 8506
Hunt BR, Kaloshin V. 2010.Prevalence. In: Handbook of Dynamical Systems. vol. 3, 43–87.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 862
Meer M, Kondrashov A, Artzy Randrup Y, Kondrashov F. 2010. Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. 464(7286), 279–282.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman PA, Muller CJ. 2010. How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. 5(2), 025207.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 754
Alistarh D-A, Attiya H, Gilbert S, Giurgiu A, Guerraoui R. 2010. Fast randomized test-and-set and renaming. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 94–108.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 755
Alistarh D-A, Gilbert S, Guerraoui R, Zadimoghaddam M. 2010. How efficient can gossip be? (On the cost of resilient information exchange). ICALP: International Colloquium on Automota, Languages and Programming, LNCS, vol. 6199 LNCS, 115–126.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 758
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. 2010. Brief announcement: New bounds for partially synchronous set agreement. DISC: Distributed Computing, LNCS, vol. 6343 LNCS, 404–405.
View | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás G, Kazlov I, Juhásová A. 2010.Instance Deadlock: A Mystery behind Frozen Programs. In: Applications and Theory of Petri Nets. , 1–17.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 7078 | OA
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2010 | Published | Conference Paper | IST-REx-ID: 3839 | OA
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3845 | OA
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. 2010. Aligators for arrays. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 348–356.
[Submitted Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 3848
Bendich P, Edelsbrunner H, Morozov D, Patel A. 2010. The robustness of level sets. ESA: European Symposium on Algorithms, LNCS, vol. 6346, 1–10.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed