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.
4969 Publications
2014 | Book (Editor) | IST-REx-ID: 10811
Zažímalová, Eva, et al., editors. Auxin and Its Role in Plant Development. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-7091-1526-8.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 10884 | 
Aminof, Benjamin, et al. “Parameterized Model Checking of Token-Passing Systems.” Verification, Model Checking, and Abstract Interpretation, vol. 8318, Springer Nature, 2014, pp. 262–81, doi:10.1007/978-3-642-54013-4_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Book Chapter | IST-REx-ID: 10893
Kasten, Jens, et al. “Toward the Extraction of Saddle Periodic Orbits.” Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer et al., vol. 1, Springer, 2014, pp. 55–69, doi:10.1007/978-3-319-04099-8_4.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1375 |
Chatterjee, Krishnendu, et al. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science, vol. 547, no. C, Elsevier, 2014, pp. 104–16, doi:10.1016/j.tcs.2014.06.031.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 1392 |
Dragoi, Cezara, et al. A Logic-Based Framework for Verifying Consensus Algorithms. Vol. 8318, Springer, 2014, pp. 161–81, doi:10.1007/978-3-642-54013-4_10.
[Submitted Version]
View
| Files available
| DOI