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


2013 | Published | Journal Article | IST-REx-ID: 6133 | OA
Couto, A., S. Oda, V. O. Nikolaev, Z. Soltesz, and Mario de Bono. “In Vivo Genetic Dissection of O2-Evoked CGMP Dynamics in a Caenorhabditis Elegans Gas Sensor.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1217428110.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Technical Report | IST-REx-ID: 6440 | OA
Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-124-v1-1.
[Published Version] View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 1442 | OA
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics. Princeton University Press, 2013. https://doi.org/10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Published | Book Chapter | IST-REx-ID: 1443 | OA
Hausel, Tamás. “Global Topology of the Hitchin System.” In Handbook of Moduli: Volume II, 25:29–70. International Press, 2013.
View | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 1470 | OA
De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Exchange between Perverse and Weight Filtration for the Hilbert Schemes of Points of Two Surfaces.” Journal of Singularities. Worldwide Center of Mathematics, 2013. https://doi.org/10.5427/jsing.2013.7c.
View | DOI | Download (ext.)
 

2013 | Published | Conference Paper | IST-REx-ID: 1374 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
[Published Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 1385 | OA
Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679394.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 1387 | OA
Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.
[Submitted Version] View | Files available | DOI
 

2013 | Published | Thesis | PhD | IST-REx-ID: 1405 | OA
Zufferey, Damien. “Analysis of Dynamic Message Passing Programs.” Institute of Science and Technology Austria, 2013. https://doi.org/10.15479/at:ista:1405.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 905 | OA
Arkhipov, Vladimir, T Noah, Steffen Koschkar, and Fyodor Kondrashov. “Birds of Mys Shmidta, North Chukotka, Russia.” Forktail. Oriental Bird Club, 2013.
View | Download (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 9153 | OA
Melet, Angélique, Maxim Nikurashin, Caroline J Muller, S. Falahat, Jonas Nycander, Patrick G. Timko, Brian K. Arbic, and John A. Goff. “Internal Tide Generation by Abyssal Hills Using Analytical Theory.” Journal of Geophysical Research: Oceans. American Geophysical Union, 2013. https://doi.org/10.1002/2013jc009212.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 9154 | OA
Muller, Caroline J. “Impact of Convective Organization on the Response of Tropical Precipitation Extremes to Warming.” Journal of Climate. American Meteorological Society, 2013. https://doi.org/10.1175/jcli-d-12-00655.1.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 9167 | OA
Palacci, Jérémie A, Stefano Sacanna, Adrian Vatchinsky, Paul M. Chaikin, and David J. Pine. “Photoactivated Colloidal Dockers for Cargo Transportation.” Journal of the American Chemical Society. American Chemical Society, 2013. https://doi.org/10.1021/ja406090s.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 9459 | OA
Zemach, Assaf, M. Yvonne Kim, Ping-Hung Hsieh, Devin Coleman-Derr, Leor Eshed-Williams, Ka Thao, Stacey L. Harmer, and Daniel Zilberman. “The Arabidopsis Nucleosome Remodeler DDM1 Allows DNA Methyltransferases to Access H1-Containing Heterochromatin.” Cell. Elsevier, 2013. https://doi.org/10.1016/j.cell.2013.02.033.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 9481 | OA
Rodrigues, Jessica A., Randy Ruan, Toshiro Nishimura, Manoj K. Sharma, Rita Sharma, Pamela C Ronald, Robert L. Fischer, and Daniel Zilberman. “Imprinted Expression of Genes and Small RNA Is Associated with Localized Hypomethylation of the Maternal Genome in Rice Endosperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2013. https://doi.org/10.1073/pnas.1306164110.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 9520 | OA
Feng, Xiaoqi, Daniel Zilberman, and Hugh Dickinson. “A Conversation across Generations: Soma-Germ Cell Crosstalk in Plants.” Developmental Cell. Elsevier, 2013. https://doi.org/10.1016/j.devcel.2013.01.014.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 9663 | OA
Cheng, Bingqing, and Alfonso H. W. Ngan. “Thermally Induced Solid-Solid Structural Transition of Copper Nanoparticles through Direct Geometrical Conversion.” The Journal of Chemical Physics. AIP Publishing, 2013. https://doi.org/10.1063/1.4802025.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 10384 | OA
Mognetti, B. M., Anđela Šarić, S. Angioletti-Uberti, A. Cacciuto, C. Valeriani, and D. Frenkel. “Living Clusters and Crystals from Low-Density Suspensions of Active Colloids.” Physical Review Letters. American Physical Society, 2013. https://doi.org/10.1103/physrevlett.111.245702.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 10396 | OA
Schlögl, Alois, Peter M Jonas, C. Schmidt-Hieber, and S. J. Guzman. “Stimfit: A Fast Visualization and Analysis Environment for Cellular Neurophysiology.” Biomedical Engineering / Biomedizinische Technik. De Gruyter, 2013. https://doi.org/10.1515/bmt-2013-4181.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2013 | Published | Conference Paper | IST-REx-ID: 11856 | OA
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” In 54th Annual Symposium on Foundations of Computer Science, 538–47. Institute of Electrical and Electronics Engineers, 2013. https://doi.org/10.1109/focs.2013.64.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed