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.
4628 Publications
2017 | Journal Article | IST-REx-ID: 465 | 
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
View
| Files available
| DOI
2017 | Book Chapter | IST-REx-ID: 545 |
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” Plant Engineering, edited by Snježana Jurić, InTech, 2017, pp. 113–40, doi:10.5772/intechopen.69712.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 512 |
Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 10416 |
Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
View
| Files available
| DOI
| arXiv
2017 | Technical Report | IST-REx-ID: 5455 |
Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi:10.15479/AT:IST-2017-870-v1-1.
View
| Files available
| DOI
2017 | Report | IST-REx-ID: 5450 |
Petritsch, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
View
| Files available
| Download (ext.)
2017 | Conference Paper | IST-REx-ID: 549 |
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” Electronic Proceedings in Theoretical Computer Science, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:10.4204/EPTCS.259.3.
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 10417 |
Chalupa, Marek, et al. “Data-Centric Dynamic Partial Order Reduction.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 31, Association for Computing Machinery, 2017, doi:10.1145/3158119.
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2017 | Technical Report | IST-REx-ID: 5456 |
Chalupa, Marek, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017, doi:10.15479/AT:IST-2017-872-v1-1.
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 548 |
De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” Physical Review E, vol. 96, no. 6, 060401, American Physiological Society, 2017, doi:10.1103/PhysRevE.96.060401.
View
| DOI
| Download Submitted Version (ext.)