Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7704 Publications


2017 | Journal Article | IST-REx-ID: 1336 | OA
Paixao, Tiago, Jorge Pérez Heredia, Dirk Sudholt, and Barbora Trubenova. “Towards a Runtime Comparison of Natural and Artificial Evolution.” Algorithmica. Springer, 2017. https://doi.org/10.1007/s00453-016-0212-1.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1337 | OA
Ajanki, Oskari H, László Erdös, and Torben H Krüger. “Universality for General Wigner-Type Matrices.” Probability Theory and Related Fields. Springer, 2017. https://doi.org/10.1007/s00440-016-0740-2.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1338 | OA
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Formal Methods in System Design. Springer, 2017. https://doi.org/10.1007/s10703-016-0256-5.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1351 | OA
Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-016-0278-x.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1367 | OA
Manteaux, Pierre, Christopher J Wojtan, Rahul Narain, Stéphane Redon, François Faure, and Marie Cani. “Adaptive Physically Based Models in Computer Graphics.” Computer Graphics Forum. Wiley-Blackwell, 2017. https://doi.org/10.1111/cgf.12941.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1407 | OA
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2017. 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 | OA
Kolesnikov, Alexander, and Christoph Lampert. “PixelCNN Models with Auxiliary Variables for Natural Image Modeling.” In 34th International Conference on Machine Learning, 70:1905–14. JMLR, 2017.
View | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073709.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073710.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1003 | OA
Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games,” 70–76. AAAI Press, 2017. https://doi.org/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. Elsevier, 2017. https://doi.org/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. IFAC, the International Federation of Automatic Control, 2017. https://doi.org/10.1016/j.automatica.2017.03.030.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1009 | OA
Chatterjee, Krishnendu, Petr Novotný, Guillermo Pérez, Jean Raskin, and Djordje Zikelic. “Optimizing Expectation with Guarantees in POMDPs.” In Proceedings of the 31st AAAI Conference on Artificial Intelligence, 5:3725–32. AAAI Press, 2017.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1010 | OA
Alt, Johannes, László Erdös, and Torben H Krüger. “Local Law for Random Gram Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2017. https://doi.org/10.1214/17-EJP42.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.” edited by Hongseok Yang, 10201:287–313. Springer, 2017. https://doi.org/10.1007/978-3-662-54434-1_11.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 10126 | OA
Vahid Belarghou, Afshin, Anđela Šarić, and Timon Idema. “Curvature Mediated Interactions in Highly Curved Membranes.” Biophysical Journal. Elsevier , 2017. https://doi.org/10.1016/j.bpj.2016.11.2123.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1014 | OA
Fischer, Julian L, and Claudia Raithel. “Liouville Principles and a Large-Scale Regularity Theory for Random Elliptic Operators on the Half-Space.” SIAM Journal on Mathematical Analysis. Society for Industrial and Applied Mathematics , 2017. https://doi.org/10.1137/16M1070384.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1015 | OA
Bighin, Giacomo, and Luca Salasnich. “Vortices and Antivortices in Two-Dimensional Ultracold Fermi Gases.” Scientific Reports. Nature Publishing Group, 2017. https://doi.org/10.1038/srep45702.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1016
Breuss, Martin, Thai Nguyen, Anjana Srivatsan, Ines Leca, Guoling Tian, Tanja Fritz, Andi H Hansen, et al. “Uner Tan Syndrome Caused by a Homozygous TUBB2B Mutation Affecting Microtubule Stability.” Human Molecular Genetics. Oxford University Press, 2017. https://doi.org/10.1093/hmg/ddw383.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1017 | OA
Breuss, Martin, Ines Leca, Thomas Gstrein, Andi H Hansen, and David Keays. “Tubulins and Brain Development: The Origins of Functional Specification.” Molecular and Cellular Neuroscience. Academic Press, 2017. https://doi.org/10.1016/j.mcn.2017.03.002.
View | Files available | DOI
 

Search

Filter Publications