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.
6985 Publications
2019 |Published| Conference Paper | IST-REx-ID: 6886 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aghajohari, M., Avni, G., & Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.20
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6885 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., Henzinger, T. A., & Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.27
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6889 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 6931 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nowak, T., & Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.DISC.2019.29
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 6985 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE. https://doi.org/10.1109/ijcnn.2019.8851954
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Geher, G. P., Titkos, T., & Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 |Published| Book (Editor) | IST-REx-ID: 7171
Kersting, K., Lampert, C., & Rothkopf, C. (Eds.). (2019). Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt (1st ed.). Wiesbaden: Springer Nature. https://doi.org/10.1007/978-3-658-26763-6
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 7401 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Book Chapter | IST-REx-ID: 7453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen & G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 7476 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Andersen, M. S., Hannezo, E. B., Ulyanchenko, S., Estrach, S., Antoku, Y., Pisano, S., … Jensen, K. B. (2019). Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/s41556-019-0362-x
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7548
Sinnige, T., Ciryam, P., Casford, S., Dobson, C. M., de Bono, M., & Vendruscolo, M. (2019). Expression of the amyloid-β peptide in a single pair of C. elegans sensory neurons modulates the associated behavioural response. PLOS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0217746
[Published Version]
View
| DOI
2019 |Published| Journal Article | IST-REx-ID: 7547
Cohn, J., Dwivedi, V., Valperga, G., Zarate, N., de Bono, M., Horvitz, H. R., & Pierce, J. T. (2019). Activity-dependent regulation of the proapoptotic BH3-only gene egl-1 in a living neuron pair in Caenorhabditis elegans. G3: Genes, Genomes, Genetics. Genetics Society of America. https://doi.org/10.1534/g3.119.400654
[Published Version]
View
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 7550 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Portinale, L., & Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Submitted| Preprint | IST-REx-ID: 7552 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bialek, W., Gregor, T., & Tkačik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7576 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. https://doi.org/10.29007/m75b
[Published Version]
View
| Files available
| DOI
2019 |Published| Conference Paper | IST-REx-ID: 8175 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). New edge asymptotics of skew Young diagrams via free boundaries. In Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Ljubljana, Slovenia: Formal Power Series and Algebraic Combinatorics.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 8228 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Singer, J., Achatz-Straussberger, G., Bentley-Lukschal, A., Singer, J., Achatz, G., Karagiannis, S. N., & Jensen-Jarolim, E. (2019). AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. Elsevier. https://doi.org/10.1016/j.waojou.2019.100044
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8229 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ondracek, A. S., Heiden, D., Oostingh, G. J., Fuerst, E., Singer, J., Bergmayr, C., … Untersmayr, E. (2019). Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model. Nutrients. MDPI. https://doi.org/10.3390/nu11102463
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 8227 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ilieva, K. M., Singer, J., Bax, H. J., Crescioli, S., Montero‐Morales, L., Mele, S., … Karagiannis, S. N. (2019). AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody. Allergy. Wiley. https://doi.org/10.1111/all.13818
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Conference Paper | IST-REx-ID: 8570 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Althoff, M., Bak, S., Forets, M., Frehse, G., Kochdumper, N., Ray, R., … Schupp, S. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. In EPiC Series in Computing (Vol. 61, pp. 14–40). Montreal, Canada: EasyChair. https://doi.org/10.29007/bj1w
[Published Version]
View
| DOI
| Download Published Version (ext.)