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.

8919 Publications


2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Fuchsbauer, Georg, et al. Adaptively Secure Proxy Re-Encryption. Vol. 11443, Springer Nature, 2019, pp. 317–46, doi:10.1007/978-3-030-17259-6_11.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6435 | OA
Casillas Perez, Barbara E. Collective Defenses of Garden Ants against a Fungal Pathogen. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6435.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6442 | OA
Schreck, Camille, et al. “Fundamental Solutions for Water Wave Animation.” ACM Transactions on Graphics, vol. 38, no. 4, 130, ACM, 2019, doi:10.1145/3306346.3323002.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6451 | OA
Amberg, Nicole, et al. “EGFR Controls Hair Shaft Differentiation in a P53-Independent Manner.” IScience, vol. 15, Elsevier, 2019, pp. 243–56, doi:10.1016/j.isci.2019.04.018.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6454 | OA
Ortiz-Álvarez, G., et al. “Adult Neural Stem Cells and Multiciliated Ependymal Cells Share a Common Lineage Regulated by the Geminin Family Members.” Neuron, vol. 102, no. 1, Elsevier, 2019, p. 159–172.e7, doi:10.1016/j.neuron.2019.01.051.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6455 | OA
Telley, L., et al. “Temporal Patterning of Apical Progenitors and Their Daughter Neurons in the Developing Neocortex.” Science, vol. 364, no. 6440, eaav2522, AAAS, 2019, doi:10.1126/science.aav2522.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Conference Paper | IST-REx-ID: 6462 | OA
Avni, Guy, et al. “Run-Time Optimization for Learned Controllers through Quantitative Games.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 630–49, doi:10.1007/978-3-030-25540-4_36.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6465 | OA
Chassin, Hélène, et al. “A Modular Degron Library for Synthetic Circuits in Mammalian Cells.” Nature Communications, vol. 10, no. 1, 2013, Springer Nature, 2019, doi:10.1038/s41467-019-09974-5.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6466 | OA
Field, David, and Christelle Fraisse. “Breaking down Barriers in Morning Glories.” Molecular Ecology, vol. 28, no. 7, Wiley, 2019, pp. 1579–81, doi:10.1111/mec.15048.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6467 | OA
Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” Biology Letters, vol. 15, no. 4, 0881, Royal Society of London, 2019, doi:10.1098/rsbl.2018.0881.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6470 | OA
Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” Journal of Physiology, vol. 597, no. 11, Wiley, 2019, pp. 2925–2947, doi:10.1113/JP277681.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6473 | OA
Cepeda Humerez, Sarah A. Estimating Information Flow in Single Cells. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6473.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6477 | OA
Abanin, Dmitry A., et al. “Colloquium: Many-Body Localization, Thermalization, and Entanglement.” Reviews of Modern Physics, vol. 91, no. 2, 021001, American Physical Society, 2019, doi:10.1103/revmodphys.91.021001.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6482 | OA
Sun, Rémy, and Christoph Lampert. KS(Conf): A Light-Weight Test If a ConvNet Operates Outside of Its Specifications. Vol. 11269, Springer Nature, 2019, pp. 244–59, doi:10.1007/978-3-030-12939-2_18.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Poster | IST-REx-ID: 6485
Koval, Nikita, et al. “Lock-Free Channels for Programming via Communicating Sequential Processes.” Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming, ACM Press, 2019, pp. 417–18, doi:10.1145/3293883.3297000.
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6486 | OA
Kühnen, Jakob, et al. “Relaminarization of Pipe Flow by Means of 3D-Printed Shaped Honeycombs.” Journal of Fluids Engineering, vol. 141, no. 11, 111105, ASME, 2019, doi:10.1115/1.4043494.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Submitted | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 65 | OA
Dareiotis, Konstantinos, et al. “Entropy Solutions for Stochastic Porous Media Equations.” Journal of Differential Equations, vol. 266, no. 6, Elsevier, 2019, pp. 3732–63, doi:10.1016/j.jde.2018.09.012.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed