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.

5660 Publications


2019 | Conference Paper | IST-REx-ID: 6822 | OA
Avni, G., Henzinger, T. A., Ibsen-Jensen, R., & Novotny, P. (2019). Bidding games on Markov decision processes. In Proceedings of the 13th International Conference of Reachability Problems (Vol. 11674, pp. 1–12). Brussels, Belgium: Springer. https://doi.org/10.1007/978-3-030-30806-3_1
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6887 | OA
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari, M., Avni, G., & Henzinger, T. A. (2019). Determinacy in discrete-bidding infinite-duration games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.20
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.27
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6931 | OA
Nowak, T., & Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.DISC.2019.29
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6985 | OA
Hasani, R., Amini, A., Lechner, M., Naser, F., Grosu, R., & Rus, D. (2019). Response characterization for auditing cell dynamics in long short-term memory networks. In Proceedings of the International Joint Conference on Neural Networks. Budapest, Hungary: IEEE. https://doi.org/10.1109/ijcnn.2019.8851954
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7007 | OA
Mondelli, M., Hassani, S. H., & Urbanke, R. (2019). A new coding paradigm for the primitive relay channel. Algorithms. MDPI. https://doi.org/10.3390/a12100218
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7035 | OA
Geher, G. P., Titkos, T., & Virosztek, D. (2019). Dirac masses and isometric rigidity. In Kyoto RIMS Kôkyûroku (Vol. 2125, pp. 34–41). Kyoto, Japan: Research Institute for Mathematical Sciences, Kyoto University.
[Submitted Version] View | Download Submitted Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 7055 | OA
Shirer, K. R., Modic, K. A., Zimmerling, T., Bachmann, M. D., König, M., Moll, P. J. W., … Mackenzie, A. P. (2019). Out-of-plane transport in ZrSiS and ZrSiSe microstructures. APL Materials. AIP. https://doi.org/10.1063/1.5124568
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7057 | OA
Modic, K. A., Meng, T., Ronning, F., Bauer, E. D., Moll, P. J. W., & Ramshaw, B. J. (2019). Thermodynamic signatures of Weyl fermions in NbP. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-018-38161-7
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7056 | OA
Martino, E., Bachmann, M. D., Rossi, L., Modic, K. A., Zivkovic, I., Rønnow, H. M., … Katrych, S. (2019). Persistent antiferromagnetic order in heavily overdoped Ca1−x La x FeAs2. Journal of Physics: Condensed Matter. IOP Publishing. https://doi.org/10.1088/1361-648x/ab3b43
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7128 | OA
Torrini, C., Cubero, R. J., Dirkx, E., Braga, L., Ali, H., Prosdocimo, G., … Giacca, M. (2019). Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2019.05.005
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130 | OA
Cubero, R. J., Jo, J., Marsili, M., Roudi, Y., & Song, J. (2019). Statistical criticality arises in most informative representations. Journal of Statistical Mechanics: Theory and Experiment. IOP Publishing. https://doi.org/10.1088/1742-5468/ab16c8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7150 | OA
Censor-Hillel, K., Kaski, P., Korhonen, J., Lenzen, C., Paz, A., & Suomela, J. (2019). Algebraic methods in the congested clique. Distributed Computing. Springer Nature. https://doi.org/10.1007/s00446-016-0270-2
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7275 | OA
Mourad, E., Petit, Y. K., Spezia, R., Samojlov, A., Summa, F. F., Prehal, C., … Freunberger, S. A. (2019). Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. RSC. https://doi.org/10.1039/c9ee01453e
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7280 | OA
Kwak, W.-J., Kim, H., Petit, Y. K., Leypold, C., Nguyen, T. T., Mahne, N., … Sun, Y.-K. (2019). Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-09399-0
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7276 | OA
Petit, Y. K., Leypold, C., Mahne, N., Mourad, E., Schafzahl, L., Slugovc, C., … Freunberger, S. A. (2019). DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.201901869
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7281 | OA
Kwak, W.-J., Freunberger, S. A., Kim, H., Park, J., Nguyen, T. T., Jung, H.-G., … Sun, Y.-K. (2019). Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. ACS. https://doi.org/10.1021/acscatal.9b01337
[Submitted Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7282 | OA
Freunberger, S. A. (2019). Interphase identity crisis. Nature Chemistry. Springer Nature. https://doi.org/10.1038/s41557-019-0311-0
[Submitted Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7283 | OA
Petit, Y. K., & Freunberger, S. A. (2019). Thousands of cycles. Nature Materials. Springer Nature. https://doi.org/10.1038/s41563-019-0313-8
[Submitted Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7284 | OA
Prehal, C., & Freunberger, S. A. (2019). Li-O2 cell-scale energy densities. Joule. Elsevier. https://doi.org/10.1016/j.joule.2019.01.020
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Preprint | IST-REx-ID: 7358 | OA
Watanabe, M., Haney, J. R., Vishlaghi, N., Turcios, F., Buth, J. E., Gu, W., … Novitch, B. G. (2019). TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv. Cold Spring Harbor Laboratory. https://doi.org/10.1101/2019.12.13.875773
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Conference Paper | IST-REx-ID: 7401 | OA
Fulek, R., & Kyncl, J. (2019). Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In 35th International Symposium on Computational Geometry (SoCG 2019) (Vol. 129). Portland, OR, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.SOCG.2019.39
[Published Version] View | Files available | DOI | arXiv
 

2019 | Book Chapter | IST-REx-ID: 7453 | OA
Alur, R., Giacobbe, M., Henzinger, T. A., Larsen, K. G., & Mikučionis, M. (2019). Continuous-time models for system design and analysis. In B. Steffen & G. Woeginger (Eds.), Computing and Software Science (Vol. 10000, pp. 452–477). Springer Nature. https://doi.org/10.1007/978-3-319-91908-9_22
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 7476 | OA
Andersen, M. S., Hannezo, E. B., Ulyanchenko, S., Estrach, S., Antoku, Y., Pisano, S., … Jensen, K. B. (2019). Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. Springer Nature. https://doi.org/10.1038/s41556-019-0362-x
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7550 | OA
Portinale, L., & Stefanelli, U. (2019). Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. Gakko Tosho.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 7552 | OA
Bialek, W., Gregor, T., & Tkačik, G. (n.d.). Action at a distance in transcriptional regulation. arXiv:1912.08579. ArXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, F., Althoff, M., Benet, L., Chapoutot, A., Chen, X., Forets, M., … Schilling, C. (2019). ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In EPiC Series in Computing (Vol. 61, pp. 41–61). Montreal, Canada: EasyChair Publications. https://doi.org/10.29007/m75b
[Published Version] View | Files available | DOI
 

2019 | Preprint | IST-REx-ID: 7627 | OA
Prehal, C., Samojlov, A., Nachtnebel, M., Kriechbaum, M., Amenitsch, H., & Freunberger, S. A. (n.d.). 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 | OA
Delaneau, O., Zagury, J.-F., Robinson, M. R., Marchini, J. L., & Dermitzakis, E. T. (2019). Accurate, scalable and integrative haplotype estimation. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-13225-y
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Preprint | IST-REx-ID: 7782 | OA
Sulc, J., Mounier, N., Günther, F., Winkler, T., Wood, A. R., Frayling, T. M., … Kutalik, Z. (2019). 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.
[Preprint] View | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 8013 | OA
Currin, C. B., Khoza, P. N., Antrobus, A. D., Latham, P. E., Vogels, T. P., & Raimondo, J. V. (2019). Think: Theory for Africa. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007049
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 8014 | OA
Manohar, S. G., Zokaei, N., Fallon, S. J., Vogels, T. P., & Husain, M. (2019). Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. Elsevier . https://doi.org/10.1016/j.neubiorev.2019.03.017
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 8175 | OA
Betea, D., Bouttier, J., Nejjar, P., & Vuletíc, M. (2019). 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: Formal Power Series and Algebraic Combinatorics.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 8228 | OA
Singer, J., Achatz-Straussberger, G., Bentley-Lukschal, A., Singer, J., Achatz, G., Karagiannis, S. N., & Jensen-Jarolim, E. (2019). AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. Elsevier. https://doi.org/10.1016/j.waojou.2019.100044
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8229 | OA
Ondracek, A. S., Heiden, D., Oostingh, G. J., Fuerst, E., Singer, J., Bergmayr, C., … Untersmayr, E. (2019). Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model. Nutrients. MDPI. https://doi.org/10.3390/nu11102463
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8227 | OA
Ilieva, K. M., Singer, J., Bax, H. J., Crescioli, S., Montero‐Morales, L., Mele, S., … Karagiannis, S. N. (2019). AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody. Allergy. Wiley. https://doi.org/10.1111/all.13818
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8263 | OA
Shelyakin, P. V., Bochkareva, O., Karan, A. A., & Gelfand, M. S. (2019). Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. Springer Nature. https://doi.org/10.1186/s12862-019-1403-6
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Preprint | IST-REx-ID: 8304 | OA
Zamyatin, A., Al-Bassam, M., Zindros, D., Kokoris Kogias, E., Moreno-Sanchez, P., Kiayias, A., & Knottenbelt, W. J. (n.d.). SoK: Communication across distributed ledgers. Cryptology ePrint Archive.
[Preprint] View | Download Preprint (ext.)
 

2019 | Preprint | IST-REx-ID: 8303 | OA
Kokoris Kogias, E. (n.d.). Robust and scalable consensus for sharded distributed ledgers. Cryptology ePrint Archive.
[Preprint] View | Download Preprint (ext.)
 

2019 | Thesis | IST-REx-ID: 8311 | OA
Kokoris Kogias, E. (2019). Secure, confidential blockchains providing high throughput and low latency. École Polytechnique Fédérale de Lausanne. https://doi.org/10.5075/epfl-thesis-7101
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Preprint | IST-REx-ID: 8314 | OA
Avarikioti, G., Kokoris Kogias, E., Wattenhofer, R., & Zindros, D. (n.d.). Brick: Asynchronous payment channels. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Preprint | IST-REx-ID: 8315 | OA
Avarikioti, G., Kokoris Kogias, E., & Wattenhofer, R. (n.d.). Divide and scale: Formalization of distributed ledger sharding protocols. arXiv.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Patent | IST-REx-ID: 8313 | OA
Ford, B., Gasser, L., Kokoris Kogias, E., & Janovic, P. (2019). Methods and systems for secure data exchange.
[Published Version] View | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8405 | OA
Gauto, D. F., Estrozi, L. F., Schwieters, C. D., Effantin, G., Macek, P., Sounier, R., … Boisbouvier, J. (2019). Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-10490-9
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 8406 | OA
Felix, J., Weinhäupl, K., Chipot, C., Dehez, F., Hessel, A., Gauto, D. F., … Fraga, H. (2019). Mechanism of the allosteric activation of the ClpP protease machinery by substrates and active-site inhibitors. Science Advances. American Association for the Advancement of Science. https://doi.org/10.1126/sciadv.aaw3818
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8415 | OA
Bálint, P., De Simoi, J., Kaloshin, V., & Leguil, M. (2019). Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-019-03448-x
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 8410 | OA
Schanda, P., & Chekmenev, E. Y. (2019). NMR for Biological Systems. ChemPhysChem. Wiley. https://doi.org/10.1002/cphc.201801100
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications