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.
4096 Publications
2017 | Book Chapter | IST-REx-ID: 1213
Baranova, N. S., & Loose, M. (2017). Single-molecule measurements to study polymerization dynamics of FtsZ-FtsA copolymers. In A. Echard (Ed.), Cytokinesis (Vol. 137, pp. 355–370). Academic Press. https://doi.org/10.1016/bs.mcb.2016.03.036
View
| DOI
2017 | Journal Article | IST-REx-ID: 1294 | 
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2017). Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.09.009
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1336 |
Paixao, T., Pérez Heredia, J., Sudholt, D., & Trubenova, B. (2017). Towards a runtime comparison of natural and artificial evolution. Algorithmica. Springer. https://doi.org/10.1007/s00453-016-0212-1
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1337 |
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2017). Universality for general Wigner-type matrices. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-016-0740-2
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1338 |
Cerny, P., Clarke, E., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., Samanta, R., & Tarrach, T. (2017). From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-016-0256-5
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1351 |
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2017). Model checking the evolution of gene regulatory networks. Acta Informatica. Springer. https://doi.org/10.1007/s00236-016-0278-x
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1367 |
Manteaux, P., Wojtan, C. J., Narain, R., Redon, S., Faure, F., & Cani, M. (2017). Adaptive physically based models in computer graphics. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12941
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1407 |
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2017). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.04.006
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1000 |
Kolesnikov, A., & Lampert, C. (2017). PixelCNN models with auxiliary variables for natural image modeling. In 34th International Conference on Machine Learning (Vol. 70, pp. 1905–1914). Sydney, Australia: JMLR.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1001 |
Guseinov, R., Miguel, E., & Bickel, B. (2017). CurveUps: Shaping objects from flat plates with tension-actuated curvature (Vol. 36). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/3072959.3073709
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1002 |
Zhang, R., Auzinger, T., Ceylan, D., Li, W., & Bickel, B. (2017). Functionality-aware retargeting of mechanisms to 3D shapes (Vol. 36). Presented at the SIGGRAPH: Computer Graphics and Interactive Techniques, Los Angeles, CA, United States : ACM. https://doi.org/10.1145/3072959.3073710
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1003 |
Avni, G., Guha, S., & Kupferman, O. (2017). An abstraction-refinement methodology for reasoning about network games (pp. 70–76). Presented at the IJCAI: International Joint Conference on Artificial Intelligence , Melbourne, Australia: AAAI Press. https://doi.org/10.24963/ijcai.2017/11
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1004 |
Ötvös, K., & Benková, E. (2017). Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. Elsevier. https://doi.org/10.1016/j.gde.2017.03.010
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1007 |
Lang, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances. Automatica. IFAC, the International Federation of Automatic Control. https://doi.org/10.1016/j.automatica.2017.03.030
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1009 |
Chatterjee, K., Novotný, P., Pérez, G., Raskin, J., & Zikelic, D. (2017). Optimizing expectation with guarantees in POMDPs. In Proceedings of the 31st AAAI Conference on Artificial Intelligence (Vol. 5, pp. 3725–3732). San Francisco, CA, United States: AAAI Press.
View
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1010 |
Alt, J., Erdös, L., & Krüger, T. H. (2017). Local law for random Gram matrices. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-EJP42
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 1011 |
Chatterjee, K., Kragl, B., Mishra, S., & Pavlogiannis, A. (2017). Faster algorithms for weighted recursive state machines. In H. Yang (Ed.) (Vol. 10201, pp. 287–313). Presented at the ESOP: European Symposium on Programming, Uppsala, Sweden: Springer. https://doi.org/10.1007/978-3-662-54434-1_11
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1015 |
Bighin, G., & Salasnich, L. (2017). Vortices and antivortices in two-dimensional ultracold Fermi gases. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep45702
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1016
Breuss, M., Nguyen, T., Srivatsan, A., Leca, I., Tian, G., Fritz, T., … Gleeson, J. (2017). Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability. Human Molecular Genetics. Oxford University Press. https://doi.org/10.1093/hmg/ddw383
View
| DOI
2017 | Journal Article | IST-REx-ID: 1017 |
Breuss, M., Leca, I., Gstrein, T., Hansen, A. H., & Keays, D. (2017). Tubulins and brain development: The origins of functional specification. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/10.1016/j.mcn.2017.03.002
View
| Files available
| DOI