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.

4959 Publications


2019 | Conference Paper | IST-REx-ID: 7576 | OA
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 | Conference Paper | IST-REx-ID: 8175 | OA
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 | Conference Paper | IST-REx-ID: 8570 | OA
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.)
 

2019 | Journal Article | IST-REx-ID: 6819 | OA
Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin, C. V. (2019). Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. BioMed Central. https://doi.org/10.1186/s13104-019-4534-3
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin, C. V. (2019). MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. Springer Nature. https://doi.org/10.6084/m9.figshare.9411761.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9839 | OA
Polechova, J. (2019). Data from: Is the sky the limit? On the expansion threshold of a species’ range. Dryad. https://doi.org/10.5061/dryad.5vv37
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Preprint | IST-REx-ID: 8305 | OA
Kokoris Kogias, E., Spiegelman, A., Malkhi, D., & Abraham, I. (n.d.). Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation. Cryptology ePrint Archive.
[Preprint] View | Download Preprint (ext.)
 

2019 | Conference Abstract | IST-REx-ID: 12901 | OA
Schlögl, A., Kiss, J., & Elefante, S. (2019). Is Debian suitable for running an HPC Cluster? In AHPC19 - Austrian HPC Meeting 2019 (p. 25). Grundlsee, Austria: Institut für Mathematik und wissenschaftliches Rechnen der Universität Graz.
[Published Version] View | Files available | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 6989 | OA
Aichholzer, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2019). Folding polyominoes with holes into a cube. In Proceedings of the 31st Canadian Conference on Computational Geometry (pp. 164–170). Edmonton, Canada: Canadian Conference on Computational Geometry.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6884 | OA
Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.11
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

extern<>1

Search

Filter Publications