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 TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi: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 MH, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi: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 TA, Grosu R. Designing worm-inspired neural networks for interpretable robotic control. In: Proceedings - IEEE International Conference on Robotics and Automation. Vol 2019-May. IEEE; 2019. doi:10.1109/icra.2019.8793840
[Submitted Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6886 | OA
Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.20
[Published Version] View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885 | OA
Chatterjee K, Henzinger TA, Otop J. Long-run average behavior of vector addition systems with states. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.27
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.6
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6931 | OA
Nowak T, Rybicki J. Byzantine approximate agreement on graphs. In: 33rd International Symposium on Distributed Computing. Vol 146. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:29:1--29:17. doi: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. Response characterization for auditing cell dynamics in long short-term memory networks. In: Proceedings of the International Joint Conference on Neural Networks. IEEE; 2019. doi:10.1109/ijcnn.2019.8851954
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

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

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

2019 | Journal Article | IST-REx-ID: 7055 | OA
Shirer KR, Modic KA, Zimmerling T, et al. Out-of-plane transport in ZrSiS and ZrSiSe microstructures. APL Materials. 2019;7(10). doi:10.1063/1.5124568
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7057 | OA
Modic KA, Meng T, Ronning F, Bauer ED, Moll PJW, Ramshaw BJ. Thermodynamic signatures of Weyl fermions in NbP. Scientific Reports. 2019;9(1). doi:10.1038/s41598-018-38161-7
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7056 | OA
Martino E, Bachmann MD, Rossi L, et al. Persistent antiferromagnetic order in heavily overdoped Ca1−x La x FeAs2. Journal of Physics: Condensed Matter. 2019;31(48). doi:10.1088/1361-648x/ab3b43
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7128 | OA
Torrini C, Cubero RJ, Dirkx E, et al. Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation. Cell Reports. 2019;27(9):2759-2771.e5. doi: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 RJ, Jo J, Marsili M, Roudi Y, Song J. Statistical criticality arises in most informative representations. Journal of Statistical Mechanics: Theory and Experiment. 2019;2019(6). doi: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. Algebraic methods in the congested clique. Distributed Computing. 2019;32(6):461-478. doi:10.1007/s00446-016-0270-2
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7275 | OA
Mourad E, Petit YK, Spezia R, et al. Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries. Energy & Environmental Science. 2019;12(8):2559-2568. doi:10.1039/c9ee01453e
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7280 | OA
Kwak W-J, Kim H, Petit YK, et al. Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen. Nature Communications. 2019;10. doi:10.1038/s41467-019-09399-0
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7276 | OA
Petit YK, Leypold C, Mahne N, et al. DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells. Angewandte Chemie International Edition. 2019;58(20):6535-6539. doi:10.1002/anie.201901869
[Published Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7281 | OA
Kwak W-J, Freunberger SA, Kim H, et al. Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. 2019;9(11):9914-9922. doi:10.1021/acscatal.9b01337
[Submitted Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7282 | OA
Freunberger SA. Interphase identity crisis. Nature Chemistry. 2019;11(9):761-763. doi:10.1038/s41557-019-0311-0
[Submitted Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7283 | OA
Petit YK, Freunberger SA. Thousands of cycles. Nature Materials. 2019;18(4):301-302. doi:10.1038/s41563-019-0313-8
[Submitted Version] View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7284 | OA
Prehal C, Freunberger SA. Li-O2 cell-scale energy densities. Joule. 2019;3(2):321-323. doi: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 JR, Vishlaghi N, et al. TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids. bioRxiv. 2019. doi:10.1101/2019.12.13.875773
[Preprint] View | DOI | Download Preprint (ext.)
 

2019 | Conference Paper | IST-REx-ID: 7401 | OA
Fulek R, Kyncl J. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. In: 35th International Symposium on Computational Geometry (SoCG 2019). Vol 129. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi: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 TA, Larsen KG, Mikučionis M. Continuous-time models for system design and analysis. In: Steffen B, Woeginger G, eds. Computing and Software Science. Vol 10000. LNCS. Springer Nature; 2019:452-477. doi: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 MS, Hannezo EB, Ulyanchenko S, et al. Tracing the cellular dynamics of sebaceous gland development in normal and perturbed states. Nature Cell Biology. 2019;21(8):924-932. doi: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. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 2019;28(2):425-447.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 61. EasyChair Publications; 2019:41-61. doi: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 SA. A revised O2 reduction model in Li-O2 batteries as revealed by in situ small angle X-ray scattering.
[Preprint] View | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 7710 | OA
Delaneau O, Zagury J-F, Robinson MR, Marchini JL, Dermitzakis ET. Accurate, scalable and integrative haplotype estimation. Nature Communications. 2019;10. doi: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, 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. 2019.
[Preprint] View | Download Preprint (ext.)
 

2019 | Journal Article | IST-REx-ID: 8013 | OA
Currin CB, Khoza PN, Antrobus AD, Latham PE, Vogels TP, Raimondo JV. Think: Theory for Africa. PLOS Computational Biology. 2019;15(7). doi:10.1371/journal.pcbi.1007049
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 8014 | OA
Manohar SG, Zokaei N, Fallon SJ, Vogels TP, Husain M. Neural mechanisms of attending to items in working memory. Neuroscience and Biobehavioral Reviews. 2019;101:1-12. doi: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. New edge asymptotics of skew Young diagrams via free boundaries. In: Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. Formal Power Series and Algebraic Combinatorics; 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 8228 | OA
Singer J, Achatz-Straussberger G, Bentley-Lukschal A, et al. AllergoOncology: High innate IgE levels are decisive for the survival of cancer-bearing mice. World Allergy Organization Journal. 2019;12(7). doi:10.1016/j.waojou.2019.100044
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8229 | OA
Ondracek AS, Heiden D, Oostingh GJ, et al. Immune effects of the nitrated food allergen beta-lactoglobulin in an experimental food allergy model. Nutrients. 2019;11(10). doi:10.3390/nu11102463
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8227 | OA
Ilieva KM, Singer J, Bax HJ, et al. AllergoOncology: Expression platform development and functional profiling of an anti‐HER2 IgE antibody. Allergy. 2019;74(10):1985-1989. doi:10.1111/all.13818
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8263 | OA
Shelyakin PV, Bochkareva O, Karan AA, Gelfand MS. Micro-evolution of three Streptococcus species: Selection, antigenic variation, and horizontal gene inflow. BMC Evolutionary Biology. 2019;19. doi: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, et al. SoK: Communication across distributed ledgers. Cryptology ePrint Archive.
[Preprint] View | Download Preprint (ext.)
 

2019 | Preprint | IST-REx-ID: 8303 | OA
Kokoris Kogias E. 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. Secure, confidential blockchains providing high throughput and low latency. 2019. doi: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. 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. 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. Methods and systems for secure data exchange. 2019.
[Published Version] View | Download Published Version (ext.)
 

2019 | Journal Article | IST-REx-ID: 8405 | OA
Gauto DF, Estrozi LF, Schwieters CD, et al. Integrated NMR and cryo-EM atomic-resolution structure determination of a half-megadalton enzyme complex. Nature Communications. 2019;10. doi: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, et al. Mechanism of the allosteric activation of the ClpP protease machinery by substrates and active-site inhibitors. Science Advances. 2019;5(9). doi: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. Marked length spectrum, homoclinic orbits and the geometry of open dispersing billiards. Communications in Mathematical Physics. 2019;374(3):1531-1575. doi:10.1007/s00220-019-03448-x
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 8410 | OA
Schanda P, Chekmenev EY. NMR for Biological Systems. ChemPhysChem. 2019;20(2):177-177. doi:10.1002/cphc.201801100
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

Search

Filter Publications