Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5270 Publications
2019 |Published| Conference Paper | IST-REx-ID: 6886 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[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)
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[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)
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[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)
T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.
[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)
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 |Published| Journal Article | IST-REx-ID: 7007 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Mondelli, S. H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” Algorithms, vol. 12, no. 10. MDPI, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 7035 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in Kyoto RIMS Kôkyûroku, Kyoto, Japan, 2019, vol. 2125, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 |Published| Book (Editor) | IST-REx-ID: 7171
K. Kersting, C. Lampert, and C. Rothkopf, Eds., Wie Maschinen Lernen: Künstliche Intelligenz Verständlich Erklärt, 1st ed. Wiesbaden: Springer Nature, 2019.
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)
R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.
[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)
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 7550 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
L. Portinale and U. Stefanelli, “Penalization via global functionals of optimal-control problems for dissipative evolution,” Advances in Mathematical Sciences and Applications, vol. 28, no. 2. Gakko Tosho, pp. 425–447, 2019.
[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)
W. Bialek, T. Gregor, and G. Tkačik, “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)
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
[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)
D. Betea, J. Bouttier, P. Nejjar, and M. Vuletíc, “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, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 |Published| Conference Paper | IST-REx-ID: 8570 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Althoff et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 14–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 9460 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. Y. Kim et al., “DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm,” Proceedings of the National Academy of Sciences, vol. 116, no. 19. National Academy of Sciences, pp. 9652–9657, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 |Published| Journal Article | IST-REx-ID: 6819 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells,” BMC Research Notes, vol. 12. BioMed Central, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9784 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells.” Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
J. Polechova, “Data from: Is the sky the limit? On the expansion threshold of a species’ range.” Dryad, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |Published| Journal Article | IST-REx-ID: 9530 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
K. D. Harris, J. P. B. Lloyd, K. Domb, D. Zilberman, and A. Zemach, “DNA methylation is maintained with high fidelity in the honey bee germline and exhibits global non-functional fluctuations during somatic development,” Epigenetics and Chromatin, vol. 12. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC