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.
380 Publications
2013 | Published | Journal Article | IST-REx-ID: 11959
Pieber, Bartholomäus, Sabrina Teixeira Martinez, David Cantillo, and C. Oliver Kappe. “In Situ Generation of Diimide from Hydrazine and Oxygen: Continuous-Flow Transfer Hydrogenation of Olefins.” Angewandte Chemie International Edition. Wiley, 2013. https://doi.org/10.1002/anie.201303528.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 11960
Kappe, C. Oliver, Bartholomäus Pieber, and Doris Dallinger. “Microwave Effects in Organic Synthesis: Myth or Reality?” Angewandte Chemie International Edition. Wiley, 2013. https://doi.org/10.1002/anie.201204103.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 11973
Pieber, Bartholomäus, and C. Oliver Kappe. “Direct Aerobic Oxidation of 2-Benzylpyridines in a Gas-Liquid Continuous-Flow Regime Using Propylene Carbonate as a Solvent.” Green Chemistry. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c2gc36896j.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 1469
Hausel, Tamás, Emmanuel Letellier, and Fernando Rodríguez Villegas. “Arithmetic Harmonic Analysis on Character and Quiver Varieties II.” Advances in Mathematics. Academic Press, 2013. https://doi.org/10.1016/j.aim.2012.10.009.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 1470 | 
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 | Journal Article | IST-REx-ID: 15162
Woehrmann, Marcos H., Walter M. Bray, James K. Durbin, Sean C. Nisam, Alicia K. Michael, Emerson Glassey, Joshua M. Stuart, and R. Scott Lokey. “Large-Scale Cytological Profiling for Functional Analysis of Bioactive Compounds.” Molecular BioSystems. Royal Society of Chemistry, 2013. https://doi.org/10.1039/c3mb70245f.
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
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: 1376
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.” In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013. https://doi.org/10.1109/FMCAD.2013.6679386.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
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 |
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 | IST-REx-ID: 1405 |
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 | Thesis | 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: 1442 |
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 |
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: 6128 |
Kodama-Namba, Eiji, Lorenz A. Fenk, Andrew J. Bretscher, Einav Gross, K. Emanuel Busch, and Mario de Bono. “Cross-Modulation of Homeostatic Responses to Temperature, Oxygen and Carbon Dioxide in C. Elegans.” PLoS Genetics. Public Library of Science (PLoS), 2013. https://doi.org/10.1371/journal.pgen.1004011.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Journal Article | IST-REx-ID: 6130 |
Chen, Changchun, Lorenz A. Fenk, and Mario de Bono. “Efficient Genome Editing in Caenorhabditis Elegans by CRISPR-Targeted Homologous Recombination.” Nucleic Acids Research. Oxford University Press, 2013. https://doi.org/10.1093/nar/gkt805.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Published | Book Chapter | IST-REx-ID: 6132
Bono, Mario de, W.R. Schafer, and A. Gottschalk. “Optogenetic Actuation, Inhibition, Modulation and Readout for Neuronal Networks Generating Behavior in the Nematode Caenorhabditis Elegans.” In Optogenetics, edited by Peter Hegemann and Stephan Sigrist, 61–78. Walter de Gruyter, 2013.
View
2013 | Published | Journal Article | IST-REx-ID: 6133 |
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 | Journal Article | IST-REx-ID: 6135
Rodriguez, Miriam, L. Basten Snoek, Mario de Bono, and Jan E. Kammenga. “Worms under Stress: C. Elegans Stress Response and Its Relevance to Complex Human Disease and Aging.” Trends in Genetics. Elsevier, 2013. https://doi.org/10.1016/j.tig.2013.01.010.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 6370
Lin, Tze-Chia, Jacqueline M. Cole, Andrew P Higginbotham, Alison J. Edwards, Ross O. Piltz, Javier Pérez-Moreno, Ji-Youn Seo, Seung-Chul Lee, Koen Clays, and O-Pil Kwon. “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. American Chemical Society (ACS), 2013. https://doi.org/10.1021/jp400648q.
View
| DOI