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.
5179 Publications
2014 |Published| Conference Paper | IST-REx-ID: 10884 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Aminof B, Jacobs S, Khalimov A, Rubin S. 2014. Parameterized model checking of token-passing systems. Verification, Model Checking, and Abstract Interpretation. VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 8318, 262–281.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1375 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 1392 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. 2014. A logic-based framework for verifying consensus algorithms. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 8318, 161–181.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |Published| Thesis | IST-REx-ID: 1404
Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2014 |Published| Conference Paper | IST-REx-ID: 1516 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bräunlich G, Hainzl C, Seiringer R. 2014. On the BCS gap equation for superfluid fermionic gases. Proceedings of the QMath12 Conference. QMath: Mathematical Results in Quantum Physics, 127–137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1629 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guerrero P, Jeschke S, Wimmer M, Wonka P. 2014. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 33(2), 15.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 10793
Fulek R, Kynčl J, Malinović I, Pálvölgyi D. 2014. Clustered planarity testing revisited. International Symposium on Graph Drawing. , LNCS, vol. 8871, 428–436.
[Preprint]
View
| Files available
| DOI
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 1643 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fuchsbauer G. 2014. Constrained Verifiable Random Functions . SCN 2014. SCN: Security and Cryptography for Networks, LNCS, vol. 8642, 95–114.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 1702 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gupta A, Popeea C, Rybalchenko A. 2014. Generalised interpolation by solving recursion free-horn clauses. Electronic Proceedings in Theoretical Computer Science, EPTCS. HCVS: Horn Clauses for Verification and Synthesis, EPTCS, vol. 169, 31–38.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 1708
Savin C, Denève S. 2014. Spatio-temporal representations of uncertainty in spiking neural networks. NIPS: Neural Information Processing Systems vol. 3, 2024–2032.
View
| Download None (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1816 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Huber S, Held M, Meerwald P, Kwitt R. 2014. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 24(1), 61–86.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1821 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R. 2014. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 55(7), 1.4881536.
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1844 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Risso V, Manssour Triedo F, Delgado Delgado A, Arco R, Barroso Deljesús A, Inglés Prieto Á, Godoy Ruiz R, Gavira J, Gaucher E, Ibarra Molero B, Sánchez Ruiz J. 2014. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 32(2), 440–455.
[Published Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1842 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cibulka J, Gao P, Krcál M, Valla T, Valtr P. 2014. On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. 53(1), 64–79.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)