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.




5872 Publications

2014 | Published | Journal Article | IST-REx-ID: 1733 | OA
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2014). Interface simulation distances. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.08.019
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2246 | OA
Grinshpun, A., Phalitnonkiat, P., Rubin, S., & Tarfulea, A. (2014). Alternating traps in Muller and parity games. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2013.11.032
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2029 | OA
Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL. IOP Publishing. https://doi.org/10.1209/0295-5075/108/20003
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2699 | OA
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal. Duke University Press. https://doi.org/10.1215/00127094-2649752
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1896 | OA
Kollár, R., Bodova, K., Nosek, J., & Tomáška, Ľ. (2014). Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.89.032701
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, L. (2014). Random matrices, log-gases and Hölder regularity. In Proceedings of the International Congress of Mathematicians (Vol. 3, pp. 214–236). Seoul, Korea: International Congress of Mathematicians.
[Submitted Version] View | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, J., Gao, P., Krcál, M., Valla, T., & Valtr, P. (2014). On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-014-9646-x
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 2171 | OA
Kolesnikov, A., Guillaumin, M., Ferrari, V., & Lampert, C. (2014). Closed-form approximate CRF training for scalable image segmentation. In D. Fleet, T. Pajdla, B. Schiele, & T. Tuytelaars (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8691, pp. 550–565). Zurich, Switzerland: Springer. https://doi.org/10.1007/978-3-319-10578-9_36
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2174 | OA
De Vladar, H., & Barton, N. H. (2014). Stability and response of polygenic traits to stabilizing selection and mutation. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.113.159111
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2183 | OA
Botella Soler, V., & Glendinning, P. (2014). Hierarchy and polysynchrony in an adaptive network . Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics. https://doi.org/10.1103/PhysRevE.89.062809
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 2178 | OA
Haws, D., Martin del Campo Sanchez, A., Takemura, A., & Yoshida, R. (2014). Markov degree of the three-state toric homogeneous Markov chain model. Beitrage Zur Algebra Und Geometrie. Springer. https://doi.org/10.1007/s13366-013-0178-y
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2014 | Published | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Velner, Y. (2014). Quantitative fair simulation games. IST Austria. https://doi.org/10.15479/AT:IST-2014-315-v1-1
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 1902 | OA
Hall, B., Acar, H., Nandipati, A., & Barlow, M. (2014). Growth rates made easy. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/mst187
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Published | Conference Paper | IST-REx-ID: 1903 | OA
Chatterjee, K. (2014). Partial-observation stochastic reachability and parity games (Vol. 8634, pp. 1–4). Presented at the MFCS: Mathematical Foundations of Computer Science, Budapest, Hungary: Springer. https://doi.org/10.1007/978-3-662-44522-8_1
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2014 | Published | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee, K., & Doyen, L. (2014). Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/2579821
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 10793 | OA
Fulek, R., Kynčl, J., Malinović, I., & Pálvölgyi, D. (2014). Clustered planarity testing revisited. In International Symposium on Graph Drawing (Vol. 8871, pp. 428–436). Cham: Springer Nature. https://doi.org/10.1007/978-3-662-45803-7_36
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 10885 | OA
Chatterjee, K., Doyen, L., Filiot, E., & Raskin, J.-F. (2014). Doomsday equilibria for omega-regular games. In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 78–97). San Diego, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-642-54013-4_5
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2014 | Published | Conference Paper | IST-REx-ID: 2217 | OA
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. In Proceedings of the 17th international conference on Hybrid systems: computation and control (pp. 213–222). Berlin, Germany: Springer. https://doi.org/10.1145/2562059.2562130
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, K., Randour, M., & Raskin, J. (2014). Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. Springer. https://doi.org/10.1007/s00236-013-0182-6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed