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.
9101 Publications
2016 | Journal Article | IST-REx-ID: 264 | 
Bright M, Browning TD, Loughran D. 2016. Failures of weak approximation in families. Compositio Mathematica. 152(7), 1435–1475.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1479 |
Krenn S, Pietrzak KZ, Wadia A, Wichs D. 2016. A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. 25(3), 567–605.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 367
Ibáñez M, Berestok T, Dobrozhan O, Lalonde A, Izquierdo Roca V, Shavel A, Pérez Rodríguez A, Snyder GJ, Cabot A. 2016. Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles. Journal of Nanoparticle Research. 18(8).
View
| DOI
2016 | Journal Article | IST-REx-ID: 369
Ibáñez M, Luo Z, Genç A, Piveteau L, Ortega S, Cadavid D, Dobrozhan O, Liu Y, Nachtegaal M, Zebarjadi M, Arbiol J, Kovalenko M, Cabot A. 2016. High performance thermoelectric nanocomposites from nanocrystal building blocks. Nature Communications. 7.
View
| DOI
2016 | Journal Article | IST-REx-ID: 370
Liu Y, García G, Ortega S, Cadavid D, Palacios P, Lu J, Ibanez M, Xi L, De Roo J, López A, Márti Sánchez S, Cabezas I, De La Mata M, Luo Z, Dun C, Dobrozhan O, Carroll D, Zhang W, Martins J, Kovalenko M, Arbiol J, Noriega G, Song J, Wahnón P, Cabot A. 2016. Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. 5(6), 2592–2602.
View
| DOI
2016 | Journal Article | IST-REx-ID: 372
Dalmases M, Ibáñez M, Torruella P, Fernàndez Altable V, López Conesa L, Cadavid D, Piveteau L, Nachtegaal M, Llorca J, Ruiz González M, Estradé S, Peiró F, Kovalenko M, Cabot A, Figuerola A. 2016. Synthesis and thermoelectric properties of noble metal ternary chalcogenide systems of Ag Au Se in the forms of alloyed nanoparticles and colloidal nanoheterostructures. Chemistry of Materials. 28(19), 7017–7028.
View
| DOI
2016 | Journal Article | IST-REx-ID: 380
Bertolotti F, Dirin D, Ibáñez M, Krumreich F, Cervellino A, Frison R, Voznyy O, Sargent E, Kovalenko M, Guagliardi A, Masciocchi N. 2016. Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots. Nature Materials. 15, 987–994.
View
| DOI
2016 | Journal Article | IST-REx-ID: 381
Liu Y, Cadavid D, Ibáñez M, De Roo J, Ortega S, Dobrozhan O, Kovalenko M, Cabot A. 2016. Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials. Journal of Materials Chemistry C. 4, 4756–4762.
View
| DOI
2016 | Journal Article | IST-REx-ID: 390
Hinton J, Thewalt E, Alpichshev Z, Mahmood F, Koralek J, Chan M, Veit M, Dorow C, Barišić N, Kemper A, Bonn D, Hardy W, Liang R, Gedik N, Greven M, Lanzara A, Orenstein J. 2016. The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors. Scientific Reports. 6.
View
| DOI
2016 | Journal Article | IST-REx-ID: 363
De Roo J, Ibáñez M, Geiregat P, Nedelcu G, Walravens W, Maes J, Martins J, Van Driessche I, Kovalenko M, Hens Z. 2016. Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals. ACS Nano. 10(2), 2071–2081.
View
| DOI
2016 | Journal Article | IST-REx-ID: 366 |
Meyn M, Perálvarez M, Heuer Jungemann A, Hertog W, Ibáñez M, Nafria R, Genç A, Arbiol J, Kovalenko M, Carreras J, Cabot A, Kanaras A. 2016. Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. 8(30), 19579–19586.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 371
Luo Z, Márti Sánchez S, Nafria R, Joshua G, De La Mata M, Guardia P, Flox C, Martínez Boubeta C, Simeonidis K, Llorca J, Morante J, Arbiol J, Ibáñez M, Cabot A. 2016. Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. 8(43), 29461–29469.
View
| DOI
2016 | Journal Article | IST-REx-ID: 382
Luo Z, Irtem E, Ibanez M, Nafria R, Márti Sánchez S, Genç A, De La Mata M, Liu Y, Cadavid D, Llorca J, Arbiol J, Andreu T, Morante J, Cabot A. 2016. Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions. ACS Applied Materials and Interfaces. 8, 17435–17444.
View
| DOI
2016 | Journal Article | IST-REx-ID: 389 |
Mahmood F, Chan C, Alpichshev Z, Gardner D, Lee Y, Lee P, Gedik N. 2016. Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. 12(4), 306–310.
View
| DOI
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 460 |
Willmann K, Sacco R, Martins R, Garncarz W, Krolo A, Knapp S, Bennett K, Boztug K. 2016. Expanding the interactome of the noncanonical NF-κB signaling pathway. Journal of Proteome Research. 15(9), 2900–2909.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |
Chatterjee K, Ibsen-Jensen R. 2016. The complexity of deciding legality of a single step of magic: The gathering. ECAI: European Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, vol. 285, 1432–1439.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 479
Jiang Y, Liu H, Kong H, Wang R, Hosseini M, Sun J, Sha L. 2016. Use runtime verification to improve the quality of medical care practice. Proceedings of the 38th International Conference on Software Engineering Companion . ICSE: International Conference on Software Engineering, Proceedings International Conference on Software Engineering, , 112–121.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |
Chatterjee K, Doyen L. 2016. Perfect-information stochastic games with generalized mean-payoff objectives. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, vol. 05-08-July-2016, 247–256.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1379 |
Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2016. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 234, 26–48.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1166
Chatterjee K, Chmelik M, Davies J. 2016. A symbolic SAT based algorithm for almost sure reachability with small strategies in pomdps. Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2016, 3225–3232.
View
| Files available
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
Mattei S, Schur FK, Briggs JA. 2016. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 18(6), 27–35.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 5806
Biswas R, Bhowmick P. 2016. On functionality of quadraginta octants of naive sphere with application to circle drawing. Discrete Geometry for Computer Imagery. DGCI: International Conference on Discrete Geometry for Computer Imagery, LNCS, vol. 9647, 256–267.
View
| DOI
2016 | Journal Article | IST-REx-ID: 587 |
Hosten O, Krishnakumar R, Engelsen N, Kasevich M. 2016. Quantum phase magnification. Science. 352(6293), 1552–1555.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 592
Engelsen N, Hosten O, Krishnakumar R, Kasevich M. 2016. Engineering spin squeezed states for quantum-enhanced atom interferometry. CLEO: Conference on Lasers and Electro Optics.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 6732 |
Mondelli M, Hassani SH, Urbanke RL. 2016. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 62(12), 6698–6712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
Kudekar S, Kumar S, Mondelli M, Pfister HD, Urbankez R. 2016. Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. 2016 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 1755–1759.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7068 |
Moll PJW, Potter AC, Nair NL, Ramshaw BJ, Modic KA, Riggs S, Zeng B, Ghimire NJ, Bauer ED, Kealhofer R, Ronning F, Analytis JG. 2016. Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. 7, 12492.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7279 |
Mourad E, Coustan L, Lannelongue P, Zigah D, Mehdi A, Vioux A, Freunberger SA, Favier F, Fontaine O. 2016. Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. 16(4), 446–453.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7294
Escamilla-Pérez AM, Louvain N, Kaschowitz M, Freunberger SA, Fontaine O, Boury B, Brun N, Mutin PH. 2016. Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel. Journal of Sol-Gel Science and Technology. 79(2), 270–278.
View
| DOI