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.
2023 Publications
2016 |Published| Journal Article | IST-REx-ID: 371
Luo, Zhishan, Sara Márti Sánchez, Raquel Nafria, Gihan Joshua, Maria De La Mata, Pablo Guardia, Christina Flox, et al. “Fe3O4@NiFexOy Nanoparticles with Enhanced Electrocatalytic Properties for Oxygen Evolution in Carbonate Electrolyte.” ACS Applied Materials and Interfaces. American Chemical Society, 2016. https://doi.org/10.1021/acsami.6b09888.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 382
Luo, Zhishan, Erdem Irtem, Maria Ibanez, Raquel Nafria, Sara Márti Sánchez, Aziz Genç, Maria De La Mata, 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. American Chemical Society, 2016. https://doi.org/10.1021/acsami.6b02786.
View
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 478 | 
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 480 |
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1477 |
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences. Elsevier, 2016. https://doi.org/10.1016/j.jcss.2016.02.009.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1529 |
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence. Elsevier, 2016. https://doi.org/10.1016/j.artint.2016.01.007.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Technical Report | IST-REx-ID: 5445 |
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1166
Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. “A Symbolic SAT Based Algorithm for Almost Sure Reachability with Small Strategies in Pomdps.” In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016:3225–32. AAAI Press, 2016.
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5449 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
[Updated Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5446 |
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5447 |
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
[Published Version]
View
| Files available
2016 |Published| Technical Report | IST-REx-ID: 5453 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5451 |
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-728-v1-1.
[Published Version]
View
| Files available
| DOI
2016 |Published| Technical Report | IST-REx-ID: 5448 |
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
[Published Version]
View
| Files available
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 5771 |
Mattei, Simone, Florian KM Schur, and John AG Briggs. “Retrovirus Maturation—an Extraordinary Structural Transformation.” Current Opinion in Virology. Elsevier, 2016. https://doi.org/10.1016/j.coviro.2016.02.008.
[Published Version]
View
| Files available
| DOI
2016 |Published| Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, Ranita Biswas, and Partha Bhowmick. “On Some Local Topological Properties of Naive Discrete Sphere.” In Computational Topology in Image Context, 9667:253–64. Cham: Springer Nature, 2016. https://doi.org/10.1007/978-3-319-39441-1_23.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 6732 |
Mondelli, Marco, S. Hamed Hassani, and Rudiger L. Urbanke. “Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error Floors.” IEEE Transactions on Information Theory. IEEE, 2016. https://doi.org/10.1109/tit.2016.2616117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 6733 |
Kudekar, Shrinivas, Santhosh Kumar, Marco Mondelli, Henry D. Pfister, and Rudiger Urbankez. “Comparing the Bit-MAP and Block-MAP Decoding Thresholds of Reed-Muller Codes on BMS Channels.” In 2016 IEEE International Symposium on Information Theory , 1755–59. IEEE, 2016. https://doi.org/10.1109/isit.2016.7541600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 7294
Escamilla-Pérez, A. M., N. Louvain, M. Kaschowitz, Stefan Alexander Freunberger, O. Fontaine, B. Boury, N. Brun, and P. H. Mutin. “Lithium Insertion Properties of Mesoporous Nanocrystalline TiO2 and TiO2–V2O5 Microspheres Prepared by Non-Hydrolytic Sol–Gel.” Journal of Sol-Gel Science and Technology. Springer Nature, 2016. https://doi.org/10.1007/s10971-016-4037-9.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 7295
Mourad, Eléonore, Laura Coustan, Stefan Alexander Freunberger, Ahmad Mehdi, André Vioux, Frédérique Favier, and Olivier Fontaine. “Biredox Ionic Liquids: Electrochemical Investigation and Impact of Ion Size on Electron Transfer.” Electrochimica Acta. Elsevier, 2016. https://doi.org/10.1016/j.electacta.2016.02.211.
View
| DOI