Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3042 Publications
2020 | Journal Article | IST-REx-ID: 8011 |

Stabilizing two-dimensional quantum scars by deformation and synchronization
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
View
| Files available
| DOI
A. Michailidis, C.J. Turner, Z. Papić, D.A. Abanin, M. Serbyn, Physical Review Research 2 (2020).
2020 | Conference Paper | IST-REx-ID: 8012 |

Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
View
| Files available
| DOI
| Download Published Version (ext.)
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
2020 | Thesis | IST-REx-ID: 8032 |

Combinatorial width parameters for 3-dimensional manifolds
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
View
| Files available
| DOI
K. Huszár, Combinatorial Width Parameters for 3-Dimensional Manifolds, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8036 |

Magnetically powered metachronal waves induce locomotion in self-assemblies
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
View
| Files available
| DOI
Y. Collard, G.M. Grosjean, N. Vandewalle, Communications Physics 3 (2020).
2020 | Journal Article | IST-REx-ID: 8038 |

Efficient microwave frequency conversion mediated by a photonics compatible silicon nitride nanobeam oscillator
J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).
View
| Files available
| DOI
J.M. Fink, M. Kalaee, R. Norte, A. Pitanti, O. Painter, Quantum Science and Technology 5 (2020).
2020 | Journal Article | IST-REx-ID: 8039
Tin selenide molecular precursor for the solution processing of thermoelectric materials and devices
Y. Zhang, Y. Liu, C. Xing, T. Zhang, M. Li, M. Pacios, X. Yu, J. Arbiol, J. Llorca, D. Cadavid, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 12 (2020) 27104–27111.
View
| DOI
| PubMed | Europe PMC
Y. Zhang, Y. Liu, C. Xing, T. Zhang, M. Li, M. Pacios, X. Yu, J. Arbiol, J. Llorca, D. Cadavid, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 12 (2020) 27104–27111.
2020 | Journal Article | IST-REx-ID: 8042 |

The excitation spectrum of Bose gases interacting through singular potentials
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Boccato, C. Brennecke, S. Cenatiempo, B. Schlein, Journal of the European Mathematical Society 22 (2020) 2331–2403.
2020 | Journal Article | IST-REx-ID: 8043 |

Oblique stripe solutions of channel flow
C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
View
| Files available
| DOI
C.S. Paranjape, Y. Duguet, B. Hof, Journal of Fluid Mechanics 897 (2020).
2020 | Journal Article | IST-REx-ID: 8057 |

Competitive salt precipitation/dissolution during free‐water reduction in water‐in‐salt electrolyte
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
View
| Files available
| DOI
R. Bouchal, Z. Li, C. Bongu, S. Le Vot, R. Berthelot, B. Rotenberg, F. Favier, S.A. Freunberger, M. Salanne, O. Fontaine, Angewandte Chemie 132 (2020) 16047–16051.
2020 | Preprint | IST-REx-ID: 8063 |

Object-centric image generation with factored depths, locations, and appearances
T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
T. Anciukevicius, C. Lampert, P.M. Henderson, ArXiv (n.d.).
2020 | Technical Report | IST-REx-ID: 8067 |

Current status and future perspectives of Lithium metal batteries
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Current Status and Future Perspectives of Lithium Metal Batteries, IST Austria, n.d.
View
| Files available
| DOI
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Current Status and Future Perspectives of Lithium Metal Batteries, IST Austria, n.d.
2020 | Journal Article | IST-REx-ID: 8077 |

Projection methods with alternating inertial steps for variational inequalities: Weak and linear convergence
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
View
| Files available
| DOI
Y. Shehu, O.S. Iyiola, Applied Numerical Mathematics 157 (2020) 315–337.
2020 | Preprint | IST-REx-ID: 8081 |

High specific capacitance supercapacitors from hierarchically organized all-cellulose composites
M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress, A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger, R. Eckhart, W. Bauer, S. Spirk, (n.d.).
View
| Files available
M.A. Hobisch, E. Mourad, W.J. Fischer, C. Prehal, S. Eyley, A. Childress, A. Zankel, A. Mautner, S. Breitenbach, A.M. Rao, W. Thielemans, S.A. Freunberger, R. Eckhart, W. Bauer, S. Spirk, (n.d.).
2020 | Journal Article | IST-REx-ID: 8084 |

Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
View
| Files available
| DOI
| PubMed | Europe PMC
F. Lombardi, M. Gómez-Extremera, P. Bernaola-Galván, R. Vetrivelan, C.B. Saper, T.E. Scammell, P.C. Ivanov, Journal of Neuroscience 40 (2020) 171–190.
2020 | Journal Article | IST-REx-ID: 8091 |

Emergence of Haldane pseudo-potentials in systems with short-range interactions
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
View
| Files available
| DOI
| arXiv
R. Seiringer, J. Yngvason, Journal of Statistical Physics 181 (2020) 448–464.
2020 | Book Chapter | IST-REx-ID: 8092 |

XGAN: Unsupervised image-to-image translation for many-to-many mappings
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Royer, K. Bousmalis, S. Gouws, F. Bertsch, I. Mosseri, F. Cole, K. Murphy, in:, R. Singh, M. Vatsa, V.M. Patel, N. Ratha (Eds.), Domain Adaptation for Visual Understanding, Springer Nature, 2020, pp. 33–49.
2020 | Journal Article | IST-REx-ID: 8093
EGFR/Ras-induced CCL20 production modulates the tumour microenvironment
A. Hippe, S.A. Braun, P. Oláh, P.A. Gerber, A. Schorr, S. Seeliger, S. Holtz, K. Jannasch, A. Pivarcsi, B. Buhren, H. Schrumpf, A. Kislat, E. Bünemann, M. Steinhoff, J. Fischer, S.A. Lira, P. Boukamp, P. Hevezi, N.H. Stoecklein, T. Hoffmann, F. Alves, J. Sleeman, T. Bauer, J. Klufa, N. Amberg, M. Sibilia, A. Zlotnik, A. Müller-Homey, B. Homey, British Journal of Cancer 123 (2020) 942–954.
View
| DOI
| PubMed | Europe PMC
A. Hippe, S.A. Braun, P. Oláh, P.A. Gerber, A. Schorr, S. Seeliger, S. Holtz, K. Jannasch, A. Pivarcsi, B. Buhren, H. Schrumpf, A. Kislat, E. Bünemann, M. Steinhoff, J. Fischer, S.A. Lira, P. Boukamp, P. Hevezi, N.H. Stoecklein, T. Hoffmann, F. Alves, J. Sleeman, T. Bauer, J. Klufa, N. Amberg, M. Sibilia, A. Zlotnik, A. Müller-Homey, B. Homey, British Journal of Cancer 123 (2020) 942–954.
2020 | Research Data | IST-REx-ID: 8097 |

Analysis scripts and research data for the paper "Mechanisms of drug interactions between translation-inhibiting antibiotics"
B. Kavcic, (2020).
View
| Files available
| DOI
B. Kavcic, (2020).
2020 | Journal Article | IST-REx-ID: 8099 |

Disagreement in FST estimators: A case study from sex chromosomes
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources 20 (2020) 1517–1525.
View
| Files available
| DOI
| PubMed | Europe PMC
W.J. Gammerdinger, M.A. Toups, B. Vicoso, Molecular Ecology Resources 20 (2020) 1517–1525.
2020 | Journal Article | IST-REx-ID: 8101 |

Quantitatively consistent scale-spanning model for same-material tribocharging
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review Materials 4 (2020).
View
| Files available
| DOI
| arXiv
G.M. Grosjean, S. Wald, J.C.A. Sobarzo Ponce, S.R. Waitukaitis, Physical Review Materials 4 (2020).
2020 | Journal Article | IST-REx-ID: 8105 |

Power-law correlations and coupling of active and quiet states underlie a class of complex systems with self-organization at criticality
F. Lombardi, J.W.J.L. Wang, X. Zhang, P.C. Ivanov, EPJ Web of Conferences 230 (2020).
View
| Files available
| DOI
F. Lombardi, J.W.J.L. Wang, X. Zhang, P.C. Ivanov, EPJ Web of Conferences 230 (2020).
2020 | Journal Article | IST-REx-ID: 8112
On the completion of speciation
N.H. Barton, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8126 |

Complementary inhibitory weight profiles emerge from plasticity and allow attentional switching of receptive fields
E.J. Agnes, A.I. Luppi, T.P. Vogels, The Journal of Neuroscience 40 (2020) 9634–9649.
View
| Files available
| DOI
| PubMed | Europe PMC
E.J. Agnes, A.I. Luppi, T.P. Vogels, The Journal of Neuroscience 40 (2020) 9634–9649.
2020 | Journal Article | IST-REx-ID: 8127 |

Training deep neural density estimators to identify mechanistic models of neural dynamics
P.J. Gonçalves, J.-M. Lueckmann, M. Deistler, M. Nonnenmacher, K. Öcal, G. Bassetto, C. Chintaluri, W.F. Podlaski, S.A. Haddad, T.P. Vogels, D.S. Greenberg, J.H. Macke, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
P.J. Gonçalves, J.-M. Lueckmann, M. Deistler, M. Nonnenmacher, K. Öcal, G. Bassetto, C. Chintaluri, W.F. Podlaski, S.A. Haddad, T.P. Vogels, D.S. Greenberg, J.H. Macke, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 8130 |

Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
View
| Files available
| DOI
| arXiv
L. Bossmann, Archive for Rational Mechanics and Analysis 238 (2020) 541–606.
2020 | Journal Article | IST-REx-ID: 8131 |

Molecular mechanisms for targeted ASD treatments
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.
View
| Files available
| DOI
| PubMed | Europe PMC
B. Basilico, J. Morandell, G. Novarino, Current Opinion in Genetics and Development 65 (2020) 126–137.
2020 | Journal Article | IST-REx-ID: 8132
The cytoskeletal regulator HEM1 governs B cell development and prevents autoimmunity
E. Salzer, S. Zoghi, M.G. Kiss, F. Kage, C. Rashkova, S. Stahnke, M. Haimel, R. Platzer, M. Caldera, R.C. Ardy, B. Hoeger, J. Block, D. Medgyesi, C. Sin, S. Shahkarami, R. Kain, V. Ziaee, P. Hammerl, C. Bock, J. Menche, L. Dupré, J.B. Huppa, M.K. Sixt, A. Lomakin, K. Rottner, C.J. Binder, T.E.B. Stradal, N. Rezaei, K. Boztug, Science Immunology 5 (2020).
View
| DOI
| PubMed | Europe PMC
E. Salzer, S. Zoghi, M.G. Kiss, F. Kage, C. Rashkova, S. Stahnke, M. Haimel, R. Platzer, M. Caldera, R.C. Ardy, B. Hoeger, J. Block, D. Medgyesi, C. Sin, S. Shahkarami, R. Kain, V. Ziaee, P. Hammerl, C. Bock, J. Menche, L. Dupré, J.B. Huppa, M.K. Sixt, A. Lomakin, K. Rottner, C.J. Binder, T.E.B. Stradal, N. Rezaei, K. Boztug, Science Immunology 5 (2020).
2020 | Journal Article | IST-REx-ID: 8133 |

Multi-method genome- and epigenome-wide studies of inflammatory protein levels in healthy older adults
R.F. Hillary, D. Trejo-Banos, A. Kousathanas, D.L. Mccartney, S.E. Harris, A.J. Stevenson, M. Patxot, S.E. Ojavee, Q. Zhang, D.C. Liewald, C.W. Ritchie, K.L. Evans, E.M. Tucker-Drob, N.R. Wray, A.F. Mcrae, P.M. Visscher, I.J. Deary, M.R. Robinson, R.E. Marioni, Genome Medicine 12 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
R.F. Hillary, D. Trejo-Banos, A. Kousathanas, D.L. Mccartney, S.E. Harris, A.J. Stevenson, M. Patxot, S.E. Ojavee, Q. Zhang, D.C. Liewald, C.W. Ritchie, K.L. Evans, E.M. Tucker-Drob, N.R. Wray, A.F. Mcrae, P.M. Visscher, I.J. Deary, M.R. Robinson, R.E. Marioni, Genome Medicine 12 (2020).
2020 | Journal Article | IST-REx-ID: 8134 |

The free energy of the two-dimensional dilute Bose gas. II. Upper bound
S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
2020 | Conference Paper | IST-REx-ID: 8135 |

Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
View
| Files available
| DOI
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
2020 | Journal Article | IST-REx-ID: 8138 |

Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization
J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y. Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P. Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
View
| Files available
| DOI
| PubMed | Europe PMC
J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y. Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P. Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
2020 | Journal Article | IST-REx-ID: 8139
Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
2020 | Journal Article | IST-REx-ID: 8142 |

Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage
J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös, J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös, J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
2020 | Thesis | IST-REx-ID: 8155 |

Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View
| Files available
| DOI
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8156 |

Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View
| Files available
| DOI
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8162 |

Cell-type specificity of genomic imprinting in cerebral cortex
S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher, T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (2020) 1160–1179.e9.
View
| Files available
| DOI
S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher, T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (2020) 1160–1179.e9.
2020 | Journal Article | IST-REx-ID: 8163 |

Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
View
| Files available
| DOI
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
2020 | Journal Article | IST-REx-ID: 8167 |

The evolution of strong reproductive isolation between sympatric intertidal snails
S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson, R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson, R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8168 |

Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8169 |

Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group
H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8170 |

Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
2020 | Book Chapter | IST-REx-ID: 8173
Design and application of light-regulated receptor tyrosine kinases
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
View
| DOI
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
2020 | Scientific Software | IST-REx-ID: 8181 |

Amplified centrosomes in dendritic cells promote immune cell effector functions
R. Hauschild, (2020).
View
| Files available
| DOI
R. Hauschild, (2020).
2020 | Conference Paper | IST-REx-ID: 8186 |

Leveraging 2D data to learn textured 3D mesh generation
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–7507.
View
| Files available
| Download Submitted Version (ext.)
| arXiv
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–7507.
2020 | Journal Article | IST-REx-ID: 8189
Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation
X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
View
| DOI
X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
2020 | Conference Paper | IST-REx-ID: 8191
Memory tagging: Minimalist synchronization for scalable concurrent data structures
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
View
| DOI
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
2020 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
| Files available
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
2020 | Conference Paper | IST-REx-ID: 8194 |

An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View
| DOI
| Download Published Version (ext.)
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
2020 | Conference Paper | IST-REx-ID: 8195 |

Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Journal Article | IST-REx-ID: 8196 |

New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
View
| Files available
| DOI
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).