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.
4148 Publications
2017 | Journal Article | IST-REx-ID: 123 | 
Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature Physics. 2017;13(11):1095-1099. doi:10.1038/nphys4194
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Journal Article | IST-REx-ID: 1294 |
Brázdil T, Chatterjee K, Forejt V, Kučera A. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. 2017;84:144-170. doi: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. Towards a runtime comparison of natural and artificial evolution. Algorithmica. 2017;78(2):681-713. doi:10.1007/s00453-016-0212-1
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1337 |
Ajanki OH, Erdös L, Krüger TH. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 2017;169(3-4):667-727. doi:10.1007/s00440-016-0740-2
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1338 |
Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. Formal Methods in System Design. 2017;50(2-3):97-139. doi:10.1007/s10703-016-0256-5
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1351 |
Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking the evolution of gene regulatory networks. Acta Informatica. 2017;54(8):765-787. doi:10.1007/s00236-016-0278-x
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1367 |
Manteaux P, Wojtan CJ, Narain R, Redon S, Faure F, Cani M. Adaptive physically based models in computer graphics. Computer Graphics Forum. 2017;36(6):312-337. doi: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. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 2017;23(2):230-253. doi: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. PixelCNN models with auxiliary variables for natural image modeling. In: 34th International Conference on Machine Learning. Vol 70. JMLR; 2017:1905-1914.
View
| Download Submitted Version (ext.)
| arXiv
2017 | Conference Paper | IST-REx-ID: 1001 |
Guseinov R, Miguel E, Bickel B. CurveUps: Shaping objects from flat plates with tension-actuated curvature. In: Vol 36. ACM; 2017. doi: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. Functionality-aware retargeting of mechanisms to 3D shapes. In: Vol 36. ACM; 2017. doi:10.1145/3072959.3073710
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1003 |
Avni G, Guha S, Kupferman O. An abstraction-refinement methodology for reasoning about network games. In: AAAI Press; 2017:70-76. doi:10.24963/ijcai.2017/11
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1004 |
Ötvös K, Benková E. Spatiotemporal mechanisms of root branching. Current Opinion in Genetics & Development. 2017;45:82-89. doi:10.1016/j.gde.2017.03.010
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1006 |
Greenwood J, Milutinovic B, Peuß R, et al. Oral immune priming with Bacillus thuringiensis induces a shift in the gene expression of Tribolium castaneum larvae. BMC Genomics. 2017;18(1):329. doi:10.1186/s12864-017-3705-7
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1007 |
Lang M, Sontag E. Zeros of nonlinear systems with input invariances. Automatica. 2017;81C:46-55. doi: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. Optimizing expectation with guarantees in POMDPs. In: Proceedings of the 31st AAAI Conference on Artificial Intelligence. Vol 5. AAAI Press; 2017:3725-3732.
View
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1010 |
Alt J, Erdös L, Krüger TH. Local law for random Gram matrices. Electronic Journal of Probability. 2017;22. doi:10.1214/17-EJP42
View
| Files available
| DOI
| arXiv
2017 | Conference Paper | IST-REx-ID: 1011 |
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 10126 |
Vahid Belarghou A, Šarić A, Idema T. Curvature mediated interactions in highly curved membranes. Biophysical Journal. 2017;112(3). doi:10.1016/j.bpj.2016.11.2123
View
| DOI
| Download Published Version (ext.)
2017 | Journal Article | IST-REx-ID: 1014 |
Fischer JL, Raithel C. Liouville principles and a large-scale regularity theory for random elliptic operators on the half-space. SIAM Journal on Mathematical Analysis. 2017;49(1):82-114. doi:10.1137/16M1070384
View
| DOI
| Download Submitted Version (ext.)