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.
5745 Publications
2019 | Conference Paper | IST-REx-ID: 6822 | 
G. Avni, T. A. Henzinger, R. Ibsen-Jensen, and P. Novotny, “Bidding games on Markov decision processes,” in Proceedings of the 13th International Conference of Reachability Problems, Brussels, Belgium, 2019, vol. 11674, pp. 1–12.
[Submitted Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6887 |
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6888 |
M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.
[Submitted Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6886 |
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6885 |
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6889 |
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6931 |
T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6985 |
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, and D. Rus, “Response characterization for auditing cell dynamics in long short-term memory networks,” in Proceedings of the International Joint Conference on Neural Networks, Budapest, Hungary, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7007 |
M. Mondelli, S. H. Hassani, and R. Urbanke, “A new coding paradigm for the primitive relay channel,” Algorithms, vol. 12, no. 10. MDPI, 2019.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 7035 |
G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in Kyoto RIMS Kôkyûroku, Kyoto, Japan, 2019, vol. 2125, pp. 34–41.
[Submitted Version]
View
| Download Submitted Version (ext.)
2019 | Journal Article | IST-REx-ID: 7055 |
K. R. Shirer et al., “Out-of-plane transport in ZrSiS and ZrSiSe microstructures,” APL Materials, vol. 7, no. 10. AIP, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7057 |
K. A. Modic, T. Meng, F. Ronning, E. D. Bauer, P. J. W. Moll, and B. J. Ramshaw, “Thermodynamic signatures of Weyl fermions in NbP,” Scientific Reports, vol. 9, no. 1. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7056 |
E. Martino et al., “Persistent antiferromagnetic order in heavily overdoped Ca1−x La x FeAs2,” Journal of Physics: Condensed Matter, vol. 31, no. 48. IOP Publishing, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7128 |
C. Torrini et al., “Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation,” Cell Reports, vol. 27, no. 9. Elsevier, p. 2759–2771.e5, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7130 |
R. J. Cubero, J. Jo, M. Marsili, Y. Roudi, and J. Song, “Statistical criticality arises in most informative representations,” Journal of Statistical Mechanics: Theory and Experiment, vol. 2019, no. 6. IOP Publishing, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7150 |
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, and J. Suomela, “Algebraic methods in the congested clique,” Distributed Computing, vol. 32, no. 6. Springer Nature, pp. 461–478, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7275 |
E. Mourad et al., “Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries,” Energy & Environmental Science, vol. 12, no. 8. RSC, pp. 2559–2568, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7280 |
W.-J. Kwak et al., “Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7276 |
Y. K. Petit et al., “DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells,” Angewandte Chemie International Edition, vol. 58, no. 20. Wiley, pp. 6535–6539, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7281 |
W.-J. Kwak et al., “Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries,” ACS Catalysis, vol. 9, no. 11. ACS, pp. 9914–9922, 2019.
[Submitted Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7282 |
S. A. Freunberger, “Interphase identity crisis,” Nature Chemistry, vol. 11, no. 9. Springer Nature, pp. 761–763, 2019.
[Submitted Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7283 |
Y. K. Petit and S. A. Freunberger, “Thousands of cycles,” Nature Materials, vol. 18, no. 4. Springer Nature, pp. 301–302, 2019.
[Submitted Version]
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7284 |
C. Prehal and S. A. Freunberger, “Li-O2 cell-scale energy densities,” Joule, vol. 3, no. 2. Elsevier, pp. 321–323, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 7358 |
M. Watanabe et al., “TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids,” bioRxiv. Cold Spring Harbor Laboratory, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2019 | Conference Paper | IST-REx-ID: 7401 |
R. Fulek and J. Kyncl, “Z_2-Genus of graphs and minimum rank of partial symmetric matrices,” in 35th International Symposium on Computational Geometry (SoCG 2019), Portland, OR, United States, 2019, vol. 129.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Book Chapter | IST-REx-ID: 7453 |
R. Alur, M. Giacobbe, T. A. Henzinger, K. G. Larsen, and M. Mikučionis, “Continuous-time models for system design and analysis,” in Computing and Software Science, vol. 10000, B. Steffen and G. Woeginger, Eds. Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 7476 |
M. S. Andersen et al., “Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states,” Nature Cell Biology, vol. 21, no. 8. Springer Nature, pp. 924–932, 2019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 7550 |
L. Portinale and U. Stefanelli, “Penalization via global functionals of optimal-control problems for dissipative evolution,” Advances in Mathematical Sciences and Applications, vol. 28, no. 2. Gakko Tosho, pp. 425–447, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 7552 |
W. Bialek, T. Gregor, and G. Tkačik, “Action at a distance in transcriptional regulation,” arXiv:1912.08579. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 7576 |
F. Immler et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 41–61.
[Published Version]
View
| Files available
| DOI
2019 | Preprint | IST-REx-ID: 7627 |
C. Prehal, A. Samojlov, M. Nachtnebel, M. Kriechbaum, H. Amenitsch, and S. A. Freunberger, “A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.” ChemRxiv.
[Preprint]
View
| Download Preprint (ext.)
2019 | Journal Article | IST-REx-ID: 7710 |
O. Delaneau, J.-F. Zagury, M. R. Robinson, J. L. Marchini, and E. T. Dermitzakis, “Accurate, scalable and integrative haplotype estimation,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 7782 |
J. Sulc et al., “Maximum likelihood method quantifies the overall contribution of gene-environment interaction to continuous traits: An application to complex traits in the UK Biobank,” bioRxiv. Cold Spring Harbor Laboratory, 2019.
[Preprint]
View
| Download Preprint (ext.)
2019 | Journal Article | IST-REx-ID: 8013 |
C. B. Currin, P. N. Khoza, A. D. Antrobus, P. E. Latham, T. P. Vogels, and J. V. Raimondo, “Think: Theory for Africa,” PLOS Computational Biology, vol. 15, no. 7. Public Library of Science, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 8014 |
S. G. Manohar, N. Zokaei, S. J. Fallon, T. P. Vogels, and M. Husain, “Neural mechanisms of attending to items in working memory,” Neuroscience and Biobehavioral Reviews, vol. 101. Elsevier , pp. 1–12, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 8175 |
D. Betea, J. Bouttier, P. Nejjar, and M. Vuletíc, “New edge asymptotics of skew Young diagrams via free boundaries,” in Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Ljubljana, Slovenia, 2019.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 8228 |
J. Singer et al., “AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice,” World Allergy Organization Journal, vol. 12, no. 7. Elsevier, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 8229 |
A. S. Ondracek et al., “Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model,” Nutrients, vol. 11, no. 10. MDPI, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 8227 |
K. M. Ilieva et al., “AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody,” Allergy, vol. 74, no. 10. Wiley, pp. 1985–1989, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 8263 |
P. V. Shelyakin, O. Bochkareva, A. A. Karan, and M. S. Gelfand, “Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow,” BMC Evolutionary Biology, vol. 19. Springer Nature, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 8304 |
A. Zamyatin et al., “SoK: Communication across distributed ledgers,” Cryptology ePrint Archive. .
[Preprint]
View
| Download Preprint (ext.)
2019 | Preprint | IST-REx-ID: 8303 |
E. Kokoris Kogias, “Robust and scalable consensus for sharded distributed ledgers,” Cryptology ePrint Archive. .
[Preprint]
View
| Download Preprint (ext.)
2019 | Thesis | IST-REx-ID: 8311 |
E. Kokoris Kogias, “Secure, confidential blockchains providing high throughput and low latency,” École Polytechnique Fédérale de Lausanne, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 8314 |
G. Avarikioti, E. Kokoris Kogias, R. Wattenhofer, and D. Zindros, “Brick: Asynchronous payment channels,” arXiv. .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 8315 |
G. Avarikioti, E. Kokoris Kogias, and R. Wattenhofer, “Divide and scale: Formalization of distributed ledger sharding protocols,” arXiv. .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Patent | IST-REx-ID: 8313 |
B. Ford, L. Gasser, E. Kokoris Kogias, and P. Janovic, “Methods and systems for secure data exchange.” 2019.
[Published Version]
View
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 8405 |
D. F. Gauto et al., “Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 8406 |
J. Felix et al., “Mechanism of the allosteric activation of the ClpP protease machinery by substrates and active-site inhibitors,” Science Advances, vol. 5, no. 9. American Association for the Advancement of Science, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 8415 |
P. Bálint, J. De Simoi, V. Kaloshin, and M. Leguil, “Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards,” Communications in Mathematical Physics, vol. 374, no. 3. Springer Nature, pp. 1531–1575, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 8410 |
P. Schanda and E. Y. Chekmenev, “NMR for Biological Systems,” ChemPhysChem, vol. 20, no. 2. Wiley, pp. 177–177, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC