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.

5611 Publications


2011 | Published | Conference Paper | IST-REx-ID: 3329 | OA
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2011. Deconstructing approximate offsets. Proceedings of the twenty-seventh annual symposium on Computational geometry. SCG: Symposium on Computational Geometry, 187–196.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2011 | Published | Conference Paper | IST-REx-ID: 3330 | OA
Kerber M, Sagraloff M. 2011. Root refinement for real polynomials. ISSAC: International Symposium on Symbolic and Algebraic Computation, 209–216.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 3332 | OA
Kerber M, Sagraloff M. 2011. A note on the complexity of real algebraic hypersurfaces. Graphs and Combinatorics. 27(3), 419–430.
[Submitted Version] View | Files available | DOI
 

2011 | Published | Book Chapter | IST-REx-ID: 3335 | OA
Van De Weygaert R, Vegter G, Edelsbrunner H, Jones B, Pranav P, Park C, Hellwing W, Eldering B, Kruithof N, Bos P, Hidding J, Feldbrugge J, Ten Have E, Van Engelen M, Caroli M, Teillaud M. 2011.Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web. In: Transactions on Computational Science XIV. LNCS, vol. 6970, 60–101.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Preprint | IST-REx-ID: 3338 | OA
Chatterjee K. 2011. Bounded rationality in concurrent parity games. arXiv, 1–51, .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Published | Preprint | IST-REx-ID: 3339 | OA
Chatterjee K, De Alfaro L, Pritam R. 2011. Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv, .
[Preprint] View | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Conference Paper | IST-REx-ID: 3343 | OA
Chatterjee K, Henzinger MH. 2011. Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification. SODA: Symposium on Discrete Algorithms, 1318–1336.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 11094 | OA
Talamas JA, Hetzer M. 2011. POM121 and Sun1 play a role in early steps of interphase NPC assembly. Journal of Cell Biology. 194(1), 27–37.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 112 | OA
Waitukaitis SR, Grütjen H, Royer J, Jaeger H. 2011. Droplet and cluster formation in freely falling granular streams. Physical Review E. 83(5), 051302.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 8025 | OA
Woodruff AR, McGarry LM, Vogels TP, Inan M, Anderson SA, Yuste R. 2011. State-dependent function of neocortical chandelier cells. Journal of Neuroscience. 31(49), 17872–17886.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 1754 | OA
Mongillo M, Spathis P, Katsaros G, Gentile P, Sanquer M, De Franceschi S. 2011. Joule-assisted silicidation for short-channel silicon nanowire devices. ACS Nano. 5(9), 7117–7123.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Published | Journal Article | IST-REx-ID: 1755 | OA
Katsaros G, Golovach V, Spathis P, Ares N, Stoffel M, Fournel F, Schmidt O, Glazman L, De Franceschi S. 2011. Observation of spin-selective tunneling in sige nanocrystals. Physical Review Letters. 107(24).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1777 | OA
Eichler C, Bozyigit D, Lang C, Steffen L, Fink JM, Wallraff A. 2011. Experimental state tomography of itinerant single microwave photons. Physical Review Letters. 106(22).
View | Files available | DOI | Download None (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1778 | OA
Lang C, Bozyigit D, Eichler C, Steffen L, Fink JM, Abdumalikov A, Baur M, Filipp S, Da Silva M, Blais A, Wallraff A. 2011. Observation of resonant photon blockade at microwave frequencies using correlation function measurements. Physical Review Letters. 106(24).
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 1815 | OA
Friedlander T, Brenner N. 2011. Adaptive response and enlargement of dynamic range. Mathematical Biosciences and Engineering. 8(2), 515–526.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2072 | OA
Vicoso B, Bachtrog D. 2011. Lack of global dosage compensation in Schistosoma mansoni, a female-heterogametic parasite. Genome Biology and Evolution. 3(1), 230–235.
[Published Version] View | Files available | 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: 2122 | OA
Maas J, Van Neerven J, Portal P. 2011. Conical square functions and non-tangential maximal functions with respect to the Gaussian measure. Publicacions Matemàtiques. 55(2), 313–341.
View | DOI | Download (ext.)
 

2011 | Published | Journal Article | IST-REx-ID: 2123 | OA
Clément P, Maas J. 2011. A Trotter product formula for gradient flows in metric spaces. Journal of Evolution Equations. 11(2), 405–427.
View | Files available | DOI | Download None (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed