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.
367 Publications
2013 |
Published |
Journal Article |
IST-REx-ID: 6370
Lin, Tze-Chia, et al. “Molecular Origins of the High-Performance Nonlinear Optical Susceptibility in a Phenolic Polyene Chromophore: Electron Density Distributions, Hydrogen Bonding, and Ab Initio Calculations.” The Journal of Physical Chemistry C, vol. 117, no. 18, American Chemical Society (ACS), 2013, pp. 9416–30, doi:10.1021/jp400648q.
View
| DOI
2013 |
Published |
Technical Report |
IST-REx-ID: 6440 |
Henzinger, Thomas A., et al. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013, doi:10.15479/AT:IST-2013-124-v1-1.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1442 |
Hausel, Tamás, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
View
| DOI
| Download (ext.)
2013 |
Published |
Book Chapter |
IST-REx-ID: 1443 |
Hausel, Tamás. “Global Topology of the Hitchin System.” Handbook of Moduli: Volume II, vol. 25, International Press, 2013, pp. 29–70.
View
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 1469
Hausel, Tamás, et al. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics, vol. 234, Academic Press, 2013, pp. 85–128, doi:10.1016/j.aim.2012.10.009.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1470 |
De Cataldo, Mark, et al. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities, vol. 7, Worldwide Center of Mathematics, 2013, pp. 23–38, doi:10.5427/jsing.2013.7c.
View
| DOI
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 1307
Fischer, Julian L. “Uniqueness of Solutions of the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift Diffusion Models.” Communications in Partial Differential Equations, vol. 38, no. 11, Taylor & Francis, 2013, pp. 2004–47, doi:10.1080/03605302.2013.823548.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1308
Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:10.1137/120874291.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 1310
Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 13405
Ely, Tal, et al. “Photocontrol of Electrical Conductance with a Nonsymmetrical Azobenzene Dithiol.” Synlett, vol. 24, no. 18, Georg Thieme Verlag, 2013, pp. 2370–74, doi:10.1055/s-0033-1340087.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 13406
Das, Sanjib, et al. “Dual-Responsive Nanoparticles and Their Self-Assembly.” Advanced Materials, vol. 25, no. 3, Wiley, 2013, pp. 422–26, doi:10.1002/adma.201201734.
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Conference Paper |
IST-REx-ID: 1374 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
[Published Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 1385 |
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 1387 |
Boker, Udi, et al. Nondeterminism in the Presence of a Diverse or Unknown Future. Vol. 7966, no. PART 2, Springer, 2013, pp. 89–100, doi:10.1007/978-3-642-39212-2_11.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Thesis | PhD |
IST-REx-ID: 1405 |
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. Institute of Science and Technology Austria, 2013, doi:10.15479/at:ista:1405.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |
Published |
Thesis | PhD |
IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. Institute of Science and Technology Austria, 2013.
View
2013 |
Published |
Journal Article |
IST-REx-ID: 905 |
Arkhipov, Vladimir, et al. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail, no. 29, Oriental Bird Club, 2013, pp. 25–30.
View
| Download (ext.)
2013 |
Published |
Journal Article |
IST-REx-ID: 9055
Palacci, Jérémie A., et al. “Living Crystals of Light-Activated Colloidal Surfers.” Science, vol. 339, no. 6122, American Association for the Advancement of Science , 2013, pp. 936–40, doi:10.1126/science.1230020.
View
| DOI
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 9153 |
Melet, Angélique, et al. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans, vol. 118, no. 11, American Geophysical Union, 2013, pp. 6303–18, doi:10.1002/2013jc009212.
[Published Version]
View
| DOI
| Download Published Version (ext.)