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.




4031 Publications

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, et al. Stochastic Invariants for Probabilistic Termination. Vol. 52, no. 1, ACM, 2017, pp. 145–60, doi:10.1145/3009837.3009873.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, Thomas A., and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.” Nonlinear Analysis: Hybrid Systems, vol. 23, Elsevier, 2017, pp. 166–90, doi:10.1016/j.nahs.2016.09.001.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1198 | OA
Moser, Thomas, and Robert Seiringer. “Triviality of a Model of Particles with Point Interactions in the Thermodynamic Limit.” Letters in Mathematical Physics, vol. 107, no. 3, Springer, 2017, pp. 533–52, doi:10.1007/s11005-016-0915-x.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1207 | OA
Bao, Zhigang, et al. “Local Law of Addition of Random Matrices on Optimal Scale.” Communications in Mathematical Physics, vol. 349, no. 3, Springer, 2017, pp. 947–90, doi:10.1007/s00220-016-2805-6.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1208 | OA
Zwiernik, Piotr, et al. “Maximum Likelihood Estimation for Linear Gaussian Covariance Models.” Journal of the Royal Statistical Society. Series B: Statistical Methodology, vol. 79, no. 4, Wiley-Blackwell, 2017, pp. 1269–92, doi:10.1111/rssb.12217.
View | DOI | Download Submitted Version (ext.)
 
2017 | Journal Article | IST-REx-ID: 1211 | OA
Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:10.1007/s10955-016-1672-z.
View | Files available | DOI
 
2017 | Book Chapter | IST-REx-ID: 1213
Baranova, Natalia S., and Martin Loose. “Single-Molecule Measurements to Study Polymerization Dynamics of FtsZ-FtsA Copolymers.” Cytokinesis, edited by Arnaud Echard, vol. 137, Academic Press, 2017, pp. 355–70, doi:10.1016/bs.mcb.2016.03.036.
View | DOI
 
2017 | Journal Article | IST-REx-ID: 1294 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” Journal of Computer and System Sciences, vol. 84, Elsevier, 2017, pp. 144–70, doi:10.1016/j.jcss.2016.09.009.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao, Tiago, et al. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica, vol. 78, no. 2, Springer, 2017, pp. 681–713, doi:10.1007/s00453-016-0212-1.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, Oskari H., et al. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields, vol. 169, no. 3–4, Springer, 2017, pp. 667–727, doi:10.1007/s00440-016-0740-2.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny, Pavol, et al. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design, vol. 50, no. 2–3, Springer, 2017, pp. 97–139, doi:10.1007/s10703-016-0256-5.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, et al. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica, vol. 54, no. 8, Springer, 2017, pp. 765–87, doi:10.1007/s00236-016-0278-x.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, et al. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum, vol. 36, no. 6, Wiley-Blackwell, 2017, pp. 312–37, doi:10.1111/cgf.12941.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2, Elsevier, 2017, pp. 230–53, doi:10.1016/j.nahs.2016.04.006.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 1000 | OA
Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” 34th International Conference on Machine Learning, vol. 70, JMLR, 2017, pp. 1905–14.
View | Download Submitted Version (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, et al. CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature. Vol. 36, no. 4, 64, ACM, 2017, doi:10.1145/3072959.3073709.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, et al. Functionality-Aware Retargeting of Mechanisms to 3D Shapes. Vol. 36, no. 4, 81, ACM, 2017, doi:10.1145/3072959.3073710.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, et al. An Abstraction-Refinement Methodology for Reasoning about Network Games. AAAI Press, 2017, pp. 70–76, doi:10.24963/ijcai.2017/11.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1004 | OA
Ötvös, Krisztina, and Eva Benková. “Spatiotemporal Mechanisms of Root Branching.” Current Opinion in Genetics & Development, vol. 45, Elsevier, 2017, pp. 82–89, doi:10.1016/j.gde.2017.03.010.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 1007 | OA
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica, vol. 81C, IFAC, the International Federation of Automatic Control, 2017, pp. 46–55, doi:10.1016/j.automatica.2017.03.030.
View | Files available | DOI
 

Search

Filter Publications