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.
5760 Publications
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
2019 | Conference Paper | IST-REx-ID: 8570 |
M. Althoff et al., “ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics,” in EPiC Series in Computing, Montreal, Canada, 2019, vol. 61, pp. 14–40.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 9016 |
M. M. Bakail, S. Rodriguez‐Marin, Z. Hegedüs, M. E. Perrin, F. Ochsenbein, and A. J. Wilson, “Recognition of ASF1 by using hydrocarbon‐constrained peptides,” ChemBioChem, vol. 20, no. 7. Wiley, pp. 891–895, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 9060 |
S. Ramananarivo, E. Ducrot, and J. A. Palacci, “Activity-controlled annealing of colloidal monolayers,” Nature Communications, vol. 10, no. 1. Springer Nature, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2019 | Journal Article | IST-REx-ID: 9460 |
M. Y. Kim et al., “DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm,” Proceedings of the National Academy of Sciences, vol. 116, no. 19. National Academy of Sciences, pp. 9652–9657, 2019.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 9689 |
B. Cheng, E. A. Engel, J. Behler, C. Dellago, and M. Ceriotti, “Ab initio thermodynamics of liquid and solid water,” Proceedings of the National Academy of Sciences, vol. 116, no. 4. National Academy of Sciences, pp. 1110–1115, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv