Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6887
DOI: 10.4230/LIPICS.CONCUR.2019.7

Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6888
DOI: 10.1109/icra.2019.8793840

Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6886
DOI: 10.4230/LIPICS.CONCUR.2019.20
arXiv: 1905.03588

Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6885
DOI: 10.4230/LIPICS.CONCUR.2019.27

Combinations of Qualitative Winning for Stochastic Parity Games
K. Chatterjee, N. Piterman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6889
DOI: 10.4230/LIPICS.CONCUR.2019.6

Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
LibreCat: https://research-explorer.ista.ac.at/record/6931
DOI: 10.4230/LIPICS.DISC.2019.29
arXiv: 1908.02743

Response characterization for auditing cell dynamics in long short-term memory networks
R. Hasani, A. Amini, M. Lechner, F. Naser, R. Grosu, D. Rus, in:, Proceedings of the International Joint Conference on Neural Networks, IEEE, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6985
DOI: 10.1109/ijcnn.2019.8851954
arXiv: 1809.03864

A new coding paradigm for the primitive relay channel
M. Mondelli, S.H. Hassani, R. Urbanke, Algorithms 12 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7007
DOI: 10.3390/a12100218
arXiv: 1801.03153

Dirac masses and isometric rigidity
G.P. Geher, T. Titkos, D. Virosztek, in:, Kyoto RIMS Kôkyûroku, Research Institute for Mathematical Sciences, Kyoto University, 2019, pp. 34–41.
LibreCat: https://research-explorer.ista.ac.at/record/7035

Out-of-plane transport in ZrSiS and ZrSiSe microstructures
K.R. Shirer, K.A. Modic, T. Zimmerling, M.D. Bachmann, M. König, P.J.W. Moll, L. Schoop, A.P. Mackenzie, APL Materials 7 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7055
DOI: 10.1063/1.5124568

Thermodynamic signatures of Weyl fermions in NbP
K.A. Modic, T. Meng, F. Ronning, E.D. Bauer, P.J.W. Moll, B.J. Ramshaw, Scientific Reports 9 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7057
DOI: 10.1038/s41598-018-38161-7

Persistent antiferromagnetic order in heavily overdoped Cx La x FeA
E. Martino, M.D. Bachmann, L. Rossi, K.A. Modic, I. Zivkovic, H.M. Rønnow, P.J.W. Moll, A. Akrap, L. Forró, S. Katrych, Journal of Physics: Condensed Matter 31 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7056
DOI: 10.1088/1361-648x/ab3b43
arXiv: 1905.08640

Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation
C. Torrini, R.J. Cubero, E. Dirkx, L. Braga, H. Ali, G. Prosdocimo, M.I. Gutierrez, C. Collesi, D. Licastro, L. Zentilin, M. Mano, S. Zacchigna, M. Vendruscolo, M. Marsili, A. Samal, M. Giacca, Cell Reports 27 (2019) 2759–2771.e5.
LibreCat: https://research-explorer.ista.ac.at/record/7128
DOI: 10.1016/j.celrep.2019.05.005
PMID: 31141697

Statistical criticality arises in most informative representations
R.J. Cubero, J. Jo, M. Marsili, Y. Roudi, J. Song, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7130
DOI: 10.1088/1742-5468/ab16c8
arXiv: 1808.00249

Algebraic methods in the congested clique
K. Censor-Hillel, P. Kaski, J. Korhonen, C. Lenzen, A. Paz, J. Suomela, Distributed Computing 32 (2019) 461–478.
LibreCat: https://research-explorer.ista.ac.at/record/7150
DOI: 10.1007/s00446-016-0270-2
arXiv: 1503.04963

Singlet oxygen from cation driven superoxide disproportionation and consequences for aprotic metal–O2 batteries
E. Mourad, Y.K. Petit, R. Spezia, A. Samojlov, F.F. Summa, C. Prehal, C. Leypold, N. Mahne, C. Slugovc, O. Fontaine, S. Brutti, S.A. Freunberger, Energy &; Environmental Science 12 (2019) 2559–2568.
LibreCat: https://research-explorer.ista.ac.at/record/7275
DOI: 10.1039/c9ee01453e

Deactivation of redox mediators in lithium-oxygen batteries by singlet oxygen
W.-J. Kwak, H. Kim, Y.K. Petit, C. Leypold, T.T. Nguyen, N. Mahne, P. Redfern, L.A. Curtiss, H.-G. Jung, S.M. Borisov, S.A. Freunberger, Y.-K. Sun, Nature Communications 10 (2019).
LibreCat: https://research-explorer.ista.ac.at/record/7280
DOI: 10.1038/s41467-019-09399-0

DABCOnium: An efficient and high-voltage stable singlet oxygen quencher for metal-O2 cells
Y.K. Petit, C. Leypold, N. Mahne, E. Mourad, L. Schafzahl, C. Slugovc, S.M. Borisov, S.A. Freunberger, Angewandte Chemie International Edition 58 (2019) 6535–6539.
LibreCat: https://research-explorer.ista.ac.at/record/7276
DOI: 10.1002/anie.201901869

Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries
W.-J. Kwak, S.A. Freunberger, H. Kim, J. Park, T.T. Nguyen, H.-G. Jung, H.R. Byon, Y.-K. Sun, ACS Catalysis 9 (2019) 9914–9922.
LibreCat: https://research-explorer.ista.ac.at/record/7281
DOI: 10.1021/acscatal.9b01337

Interphase identity crisis
S.A. Freunberger, Nature Chemistry 11 (2019) 761–763.
LibreCat: https://research-explorer.ista.ac.at/record/7282
DOI: 10.1038/s41557-019-0311-0