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, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6430 | OA
Fuchsbauer, G., Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2019). Adaptively secure proxy re-encryption (Vol. 11443, pp. 317–346). Presented at the PKC: Public-Key Cryptograhy, Beijing, China: Springer Nature. https://doi.org/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, B. E. (2019). Collective defenses of garden ants against a fungal pathogen. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6435
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6442 | OA
Schreck, C., Hafner, C., & Wojtan, C. (2019). Fundamental solutions for water wave animation. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/3306346.3323002
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6451 | OA
Amberg, N., Sotiropoulou, P. A., Heller, G., Lichtenberger, B. M., Holcmann, M., Camurdanoglu, B., … Sibilia, M. (2019). EGFR controls hair shaft differentiation in a p53-independent manner. IScience. Elsevier. https://doi.org/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., Daclin, M., Shihavuddin, A., Lansade, P., Fortoul, A., Faucourt, M., … Spassky, N. (2019). Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron. Elsevier. https://doi.org/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., Agirman, G., Prados, J., Amberg, N., Fièvre, S., Oberst, P., … Jabaudon, D. (2019). Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. Science. AAAS. https://doi.org/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, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., & Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. https://doi.org/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., Müller, M., Tigges, M., Scheller, L., Lang, M., & Fussenegger, M. (2019). A modular degron library for synthetic circuits in mammalian cells. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09974-5
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6466 | OA
Field, D., & Fraisse, C. (2019). Breaking down barriers in morning glories. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15048
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6467 | OA
Fraisse, C., & Welch, J. J. (2019). The distribution of epistasis on simple fitness landscapes. Biology Letters. Royal Society of London. https://doi.org/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., Szoboszlay, M., Szigeti, M. K., & Nusser, Z. (2019). Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. Wiley. https://doi.org/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, S. A. (2019). Estimating information flow in single cells. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6473
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6477 | OA
Abanin, D. A., Altman, E., Bloch, I., & Serbyn, M. (2019). Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. American Physical Society. https://doi.org/10.1103/revmodphys.91.021001
[Published Version] View | Files available | DOI | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6482 | OA
Sun, R., & Lampert, C. (2019). KS(conf): A light-weight test if a ConvNet operates outside of Its specifications (Vol. 11269, pp. 244–259). Presented at the GCPR: Conference on Pattern Recognition, Stuttgart, Germany: Springer Nature. https://doi.org/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, N., Alistarh, D.-A., & Elizarov, R. (2019). Lock-free channels for programming via communicating sequential processes. Proceedings of the 24th Symposium on Principles and Practice of Parallel Programming (pp. 417–418). Washington, NY, United States: ACM Press. https://doi.org/10.1145/3293883.3297000
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6486 | OA
Kühnen, J., Scarselli, D., & Hof, B. (2019). Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. ASME. https://doi.org/10.1115/1.4043494
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Submitted | Conference Paper | IST-REx-ID: 6490 | OA
Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. https://doi.org/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, K., Gerencser, M., & Gess, B. (2019). Entropy solutions for stochastic porous media equations. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2018.09.012
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed