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.
7053 Publications
2016 |Published| Journal Article | IST-REx-ID: 363
De Roo J, Ibáñez M, Geiregat P, et al. Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals. ACS Nano. 2016;10(2):2071-2081. doi:10.1021/acsnano.5b06295
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 366 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Meyn M, Perálvarez M, Heuer Jungemann A, et al. Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. 2016;8(30):19579-19586. doi:10.1021/acsami.6b02529
View
| DOI
| Download None (ext.)
2016 |Published| Journal Article | IST-REx-ID: 368
Nafria R, Genç A, Ibáñez M, et al. Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation. Langmuir. 2016;32(9):2267-2276. doi:10.1021/acs.langmuir.5b04622
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 371
Luo Z, Márti Sánchez S, Nafria R, et al. Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. 2016;8(43):29461-29469. doi:10.1021/acsami.6b09888
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 379
Shavel A, Ibáñez M, Luo Z, et al. Scalable heating-up synthesis of monodisperse Cu2ZnSnS4 nanocrystals. Chemistry of Materials. 2016;28(3):720-726. doi:10.1021/acs.chemmater.5b03417
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 382
Luo Z, Irtem E, Ibanez M, et al. Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions. ACS Applied Materials and Interfaces. 2016;8:17435-17444. doi:10.1021/acsami.6b02786
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 389 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mahmood F, Chan C, Alpichshev Z, et al. Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. 2016;12(4):306-310. doi:10.1038/nphys3609
View
| DOI
| Download None (ext.)
2016 |Published| Journal Article | IST-REx-ID: 460 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Willmann K, Sacco R, Martins R, et al. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 2016;15(9):2900-2909. doi:10.1021/acs.jproteome.5b01004
View
| DOI
| Download (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 478 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Ibsen-Jensen R. The complexity of deciding legality of a single step of magic: The gathering. In: Vol 285. IOS Press; 2016:1432-1439. doi:10.3233/978-1-61499-672-9-1432
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, et al. Use runtime verification to improve the quality of medical care practice. In: Proceedings of the 38th International Conference on Software Engineering Companion . IEEE; 2016:112-121. doi:10.1145/2889160.2889233
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 480 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L. Perfect-information stochastic games with generalized mean-payoff objectives. In: Vol 05-08-July-2016. IEEE; 2016:247-256. doi:10.1145/2933575.2934513
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 526
von Wangenheim D, Fangerau J, Schmitz A, et al. Rules and self-organizing properties of post-embryonic plant organ cell division patterns. Current Biology. 2016;26(4):439-449. doi:10.1016/j.cub.2015.12.047
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1379 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-manifolds. In: Vol 51. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; 2016:24.1-24.15. doi:10.4230/LIPIcs.SoCG.2016.24
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1477 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Chmelik M, Tracol M. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 2016;82(5):878-911. doi:10.1016/j.jcss.2016.02.009
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1529 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Chmelik M, Gupta R, Kanodia A. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 2016;234:26-48. doi:10.1016/j.artint.2016.01.007
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Technical Report | IST-REx-ID: 5445 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Pavlogiannis A, Velner Y. Quantitative Interprocedural Analysis. IST Austria; 2016. doi:10.15479/AT:IST-2016-523-v1-1
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol 2016. AAAI Press; 2016:3225-3232.
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5449 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria; 2016. doi:10.15479/AT:IST-2016-648-v1-1
[Updated Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2017-749-v3-1
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5451 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. Strong Amplifiers of Natural Selection. IST Austria; 2016. doi:10.15479/AT:IST-2016-728-v1-1
[Published Version]
View
| Files available
| DOI