Please note that IST 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.
3017 Publications
2020 | Conference Paper | IST-REx-ID: 7348 |

Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Thesis | IST-REx-ID: 7460 |

The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
View
| Files available
| DOI
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 7463 |

Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, BioRxiv (2020).
View
| DOI
| Download Preprint (ext.)
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, BioRxiv (2020).
2020 | Journal Article | IST-REx-ID: 7464 |

Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
View
| Files available
| DOI
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
2020 | Journal Article | IST-REx-ID: 7465 |

Clathrin-mediated trafficking and PIN trafficking are required for auxin canalization and vascular tissue formation in Arabidopsis
E. Mazur, M.C. Gallei, M. Adamowski, H. Han, H.S. Robert, J. Friml, Plant Science 293 (2020).
View
| Files available
| DOI
E. Mazur, M.C. Gallei, M. Adamowski, H. Han, H.S. Robert, J. Friml, Plant Science 293 (2020).
2020 | Journal Article | IST-REx-ID: 7466 |

Muscle function and homeostasis require cytokine inhibition of AKT activity in Drosophila
K. Kierdorf, F. Hersperger, J. Sharrock, C.M. Vincent, P. Ustaoglu, J. Dou, A. György, O. Groß, D.E. Siekhaus, M.S. Dionne, ELife 9 (2020).
View
| Files available
| DOI
K. Kierdorf, F. Hersperger, J. Sharrock, C.M. Vincent, P. Ustaoglu, J. Dou, A. György, O. Groß, D.E. Siekhaus, M.S. Dionne, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7467
Influence of the ligand stripping on the transport properties of nanoparticle-based PbSe nanomaterials
D. Cadavid, S. Ortega, S. Illera, Y. Liu, M. Ibáñez, A. Shavel, Y. Zhang, M. Li, A.M. López, G. Noriega, O.J. Durá, M.A. López De La Torre, J.D. Prades, A. Cabot, ACS Applied Energy Materials 3 (2020) 2120–2129.
View
| DOI
D. Cadavid, S. Ortega, S. Illera, Y. Liu, M. Ibáñez, A. Shavel, Y. Zhang, M. Li, A.M. López, G. Noriega, O.J. Durá, M.A. López De La Torre, J.D. Prades, A. Cabot, ACS Applied Energy Materials 3 (2020) 2120–2129.
2020 | Journal Article | IST-REx-ID: 7472
Replay of behavioral sequences in the medial prefrontal cortex during rule switching
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) 154–165.e6.
View
| Files available
| DOI
| PubMed | Europe PMC
K. Käfer, M. Nardin, K. Blahna, J.L. Csicsvari, Neuron 106 (2020) 154–165.e6.
2020 | Journal Article | IST-REx-ID: 7473 |

Functional electron microscopy (“Flash and Freeze”) of identified cortical synapses in acute brain slices
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron 105 (2020) 992–1006.
View
| Files available
| DOI
| PubMed | Europe PMC
C. Borges Merjane, O. Kim, P.M. Jonas, Neuron 105 (2020) 992–1006.
2020 | Book (Editor) | IST-REx-ID: 7474 |

Austrian High-Performance-Computing meeting (AHPC2020)
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
View
| Files available
| DOI
A. Schlögl, J. Kiss, S. Elefante, eds., Austrian High-Performance-Computing Meeting (AHPC2020), IST Austria, Klosterneuburg, Austria, 2020.
2020 | Conference Paper | IST-REx-ID: 7481 |

Functional vs. parametric equivalence of ReLU networks
P. Bui Thi Mai, C. Lampert, in:, n.d.
View
| Files available
P. Bui Thi Mai, C. Lampert, in:, n.d.
2020 | Journal Article | IST-REx-ID: 7487 |

Nuclear translocation of glutaminase GLS2 in human cancer cells associates with proliferation arrest and differentiation
A.R. López De La Oliva, J.A. Campos-Sandoval, M.C. Gómez-García, C. Cardona, M. Martín-Rufián, F.J. Sialana, L. Castilla, N. Bae, C. Lobo, A. Peñalver, M. García-Frutos, D. Carro, V. Enrique, J.C. Paz, R.G. Mirmira, A. Gutiérrez, F.J. Alonso, J.A. Segura, J.M. Matés, G. Lubec, J. Márquez, Scientific Reports 10 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A.R. López De La Oliva, J.A. Campos-Sandoval, M.C. Gómez-García, C. Cardona, M. Martín-Rufián, F.J. Sialana, L. Castilla, N. Bae, C. Lobo, A. Peñalver, M. García-Frutos, D. Carro, V. Enrique, J.C. Paz, R.G. Mirmira, A. Gutiérrez, F.J. Alonso, J.A. Segura, J.M. Matés, G. Lubec, J. Márquez, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 7488 |

Evaluating Face2Gene as a tool to identify Cornelia de Lange syndrome by facial phenotypes
A. Latorre-Pellicer, Á. Ascaso, L. Trujillano, M. Gil-Salvador, M. Arnedo, C. Lucia-Campos, R. Antoñanzas-Pérez, I. Marcos-Alcalde, I. Parenti, G. Bueno-Lozano, A. Musio, B. Puisac, F.J. Kaiser, F.J. Ramos, P. Gómez-Puertas, J. Pié, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
A. Latorre-Pellicer, Á. Ascaso, L. Trujillano, M. Gil-Salvador, M. Arnedo, C. Lucia-Campos, R. Antoñanzas-Pérez, I. Marcos-Alcalde, I. Parenti, G. Bueno-Lozano, A. Musio, B. Puisac, F.J. Kaiser, F.J. Ramos, P. Gómez-Puertas, J. Pié, International Journal of Molecular Sciences 21 (2020).
2020 | Journal Article | IST-REx-ID: 7489 |

Weak–strong uniqueness for the Navier–Stokes equation for two fluids with surface tension
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
View
| Files available
| DOI
J.L. Fischer, S. Hensel, Archive for Rational Mechanics and Analysis 236 (2020) 967–1087.
2020 | Journal Article | IST-REx-ID: 7428 |

Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors
A. Ghazaryan, P.L.S. Lopes, P. Hosur, M.J. Gilbert, P. Ghaemi, Physical Review B 101 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Ghazaryan, P.L.S. Lopes, P. Hosur, M.J. Gilbert, P. Ghaemi, Physical Review B 101 (2020).
2020 | Journal Article | IST-REx-ID: 7431 |

Decomposing information into copying versus transformation
A. Kolchinsky, B. Corominas-Murtra, Journal of the Royal Society Interface 17 (2020).
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
A. Kolchinsky, B. Corominas-Murtra, Journal of the Royal Society Interface 17 (2020).
2020 | Journal Article | IST-REx-ID: 7416 |

Generation of effective zinc-deficient agar-solidified media allows identification of root morphology changes in response to zinc limitation
S.A. Sinclair, U. Krämer, Plant Signaling & Behavior 15 (2020).
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S.A. Sinclair, U. Krämer, Plant Signaling & Behavior 15 (2020).
2020 | Journal Article | IST-REx-ID: 7417 |

Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
2020 | Journal Article | IST-REx-ID: 7426
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
View
| Files available
| DOI
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
2020 | Journal Article | IST-REx-ID: 7490 |

Evolutionarily unique mechanistic framework of clathrin-mediated endocytosis in plants
M. Narasimhan, A.J. Johnson, R. Prizak, W. Kaufmann, S. Tan, B.E. Casillas Perez, J. Friml, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
M. Narasimhan, A.J. Johnson, R. Prizak, W. Kaufmann, S. Tan, B.E. Casillas Perez, J. Friml, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7497
Colonization of endophyte Acremonium sp. D212 in Panax notoginseng and rice mediated by auxin and jasmonic acid
L. Han, X. Zhou, Y. Zhao, S. Zhu, L. Wu, Y. He, X. Ping, X. Lu, W. Huang, J. Qian, L. Zhang, X. Jiang, D. Zhu, C. Luo, S. Li, Q. Dong, Q. Fu, K. Deng, X. Wang, L. Wang, S. Peng, J. Wu, W. Li, J. Friml, Y. Zhu, X. He, Y. Du, Journal of Integrative Plant Biology 62 (2020) 1433–1451.
View
| DOI
| PubMed | Europe PMC
L. Han, X. Zhou, Y. Zhao, S. Zhu, L. Wu, Y. He, X. Ping, X. Lu, W. Huang, J. Qian, L. Zhang, X. Jiang, D. Zhu, C. Luo, S. Li, Q. Dong, Q. Fu, K. Deng, X. Wang, L. Wang, S. Peng, J. Wu, W. Li, J. Friml, Y. Zhu, X. He, Y. Du, Journal of Integrative Plant Biology 62 (2020) 1433–1451.
2020 | Conference Paper | IST-REx-ID: 7505 |

Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
View
| Files available
| DOI
| arXiv
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, IOS Press, 2020, pp. 2433–2440.
2020 | Journal Article | IST-REx-ID: 7508 |

Higher order corrections to the mean-field description of the dynamics of interacting bosons
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics 178 (2020) 1362–1396.
View
| Files available
| DOI
| arXiv
L. Bossmann, N. Pavlović, P. Pickl, A. Soffer, Journal of Statistical Physics 178 (2020) 1362–1396.
2020 | Journal Article | IST-REx-ID: 7509 |

From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture
H. Zhang, Advances in Mathematics 365 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Zhang, Advances in Mathematics 365 (2020).
2020 | Journal Article | IST-REx-ID: 7511 |

Benchmarking tomographic acquisition schemes for high-resolution structural biology
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
View
| Files available
| DOI
B. Turoňová, W.J.H. Hagen, M. Obr, S. Mosalaganti, J.W. Beugelink, C.E. Zimmerli, H.G. Kräusslich, M. Beck, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 7512 |

Local laws for polynomials of Wigner matrices
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis 278 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
L. Erdös, T.H. Krüger, Y. Nemish, Journal of Functional Analysis 278 (2020).
2020 | Thesis | IST-REx-ID: 7525
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7534 |

Upper edge of chaos and the energetics of transition in pipe flow
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
N.B. Budanur, E. Marensi, A.P. Willis, B. Hof, Physical Review Fluids 5 (2020).
2020 | Journal Article | IST-REx-ID: 7540
In vitro shoot growth and adventitious rooting of Wikstroemia gemmata depends on light quality
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
View
| DOI
I. Verstraeten, H. Buyle, S. Werbrouck, M.C. Van Labeke, D. Geelen, Israel Journal of Plant Sciences 67 (2020) 16–26.
2020 | Thesis | IST-REx-ID: 7514 |

The free energy of a dilute two-dimensional Bose gas
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
View
| Files available
| DOI
S. Mayer, The Free Energy of a Dilute Two-Dimensional Bose Gas, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7582 |

Molecular evolution and diversification of proteins involved in miRNA maturation pathway
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
T.R. Moturu, S. Sinha, H. Salava, S. Thula, T. Nodzyński, R.S. Vařeková, J. Friml, S. Simon, Plants 9 (2020).
2020 | Journal Article | IST-REx-ID: 7586 |

Uncoupling endosomal CLC chloride/proton exchange causes severe neurodegeneration
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
S. Weinert, N. Gimber, D. Deuschel, T. Stuhlmann, D. Puchkov, Z. Farsi, C.F. Ludwig, G. Novarino, K.I. López-Cayuqueo, R. Planells-Cases, T.J. Jentsch, EMBO Journal 39 (2020).
2020 | Journal Article | IST-REx-ID: 7593 |

LIS1 determines cleavage plane positioning by regulating actomyosin-mediated cell membrane contractility
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H.M. Moon, S. Hippenmeyer, L. Luo, A. Wynshaw-Boris, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 7594 |

How spin-orbital entanglement depends on the spin-orbit coupling in a Mott insulator
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
View
| Files available
| DOI
D. Gotfryd, E. Paerschke, J. Chaloupka, A.M. Oles, K. Wohlfeld, Physical Review Research 2 (2020).
2020 | Journal Article | IST-REx-ID: 7600 |

The lipid code-dependent phosphoswitch PDK1–D6PK activates PIN-mediated auxin efflux in Arabidopsis
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
S. Tan, X. Zhang, W. Kong, X.-L. Yang, G. Molnar, Z. Vondráková, R. Filepová, J. Petrášek, J. Friml, H.-W. Xue, Nature Plants 6 (2020) 556–569.
2020 | Preprint | IST-REx-ID: 7601 |

Plasmodesmata-like intercellular connections by plant remorin in animal cells
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
View
| DOI
| Download Preprint (ext.)
Z. Wei, S. Tan, T. Liu, Y. Wu, J.-G. Lei, Z. Chen, J. Friml, H.-W. Xue, K. Liao, BioRxiv (2020).
2020 | Journal Article | IST-REx-ID: 7603 |

Alternative splicing and DNA damage response in plants
B.A. Nimeth, S. Riegler, M. Kalyna, Frontiers in Plant Science 11 (2020).
View
| Files available
| DOI
B.A. Nimeth, S. Riegler, M. Kalyna, Frontiers in Plant Science 11 (2020).
2020 | Conference Paper | IST-REx-ID: 7605 |

In search of the fastest concurrent union-find algorithm
D.-A. Alistarh, A. Fedorov, N. Koval, in:, 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 15:1-15:16.
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, A. Fedorov, N. Koval, in:, 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 15:1-15:16.
2020 | Journal Article | IST-REx-ID: 7611 |

Central limit theorem for Bose gases interacting through singular potentials
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
View
| Files available
| DOI
S.A.E. Rademacher, Letters in Mathematical Physics 110 (2020) 2143–2174.
2020 | Journal Article | IST-REx-ID: 7618 |

Quantum Hellinger distances revisited
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Pitrik, D. Virosztek, Letters in Mathematical Physics 110 (2020) 2039–2052.
2020 | Journal Article | IST-REx-ID: 7619 |

Arabidopsis flippases cooperate with ARF GTPase exchange factors to regulate the trafficking and polarity of PIN auxin transporters
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Zhang, M. Adamowski, P. Marhavá, S. Tan, Y. Zhang, L. Rodriguez Solovey, M. Zwiewka, V. Pukyšová, A.S. Sánchez, V.K. Raxwal, C.S. Hardtke, T. Nodzynski, J. Friml, The Plant Cell 32 (2020) 1644–1664.
2020 | Journal Article | IST-REx-ID: 7622 |

The IYPT and the 'Ring Oiler' problem
M. Plesch, S. Plesník, N. Ruzickova, European Journal of Physics 41 (2020).
View
| Files available
| DOI
| arXiv
M. Plesch, S. Plesník, N. Ruzickova, European Journal of Physics 41 (2020).
2020 | Journal Article | IST-REx-ID: 7623 |

Modeling adhesion-independent cell migration
G. Jankowiak, D. Peurichard, A. REVERSAT, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences 30 (2020) 513–537.
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Jankowiak, D. Peurichard, A. REVERSAT, C. Schmeiser, M.K. Sixt, Mathematical Models and Methods in Applied Sciences 30 (2020) 513–537.
2020 | Thesis | IST-REx-ID: 7629 |

Gradient flows in spaces of probability measures for finite-volume schemes, metric graphs and non-reversible Markov chains
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
View
| Files available
| DOI
D.L. Forkert, Gradient Flows in Spaces of Probability Measures for Finite-Volume Schemes, Metric Graphs and Non-Reversible Markov Chains, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7632 |

Action representation in the mouse parieto-frontal network
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
View
| Files available
| DOI
T. Tombaz, B.A. Dunn, K. Hovde, R.J. Cubero, B. Mimica, P. Mamidanna, Y. Roudi, J.R. Whitlock, Scientific Reports 10 (2020).
2020 | Journal Article | IST-REx-ID: 7634
Exclusive electron transport in Core@Shell PbTe@PbS colloidal semiconductor nanocrystal assemblies
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
View
| DOI
| PubMed | Europe PMC
R. Miranti, D. Shin, R.D. Septianto, M. Ibáñez, M.V. Kovalenko, N. Matsushita, Y. Iwasa, S.Z. Bisri, ACS Nano 14 (2020) 3242–3250.
2020 | Conference Paper | IST-REx-ID: 7635
Testing concurrency on the JVM with Lincheck
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
View
| DOI
N. Koval, M. Sokolova, A. Fedorov, D.-A. Alistarh, D. Tsitelov, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP, ACM, 2020, pp. 423–424.
2020 | Conference Paper | IST-REx-ID: 7636
Non-blocking interpolation search trees with doubly-logarithmic running time
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, 2020, pp. 276–291.
View
| DOI
T.A. Brown, A. Prokopec, D.-A. Alistarh, in:, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, ACM, 2020, pp. 276–291.
2020 | Journal Article | IST-REx-ID: 7637 |

From weakly interacting particles to a regularised Dean-Kawasaki model
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cornalba, T. Shardlow, J. Zimmer, Nonlinearity 33 (2020) 864–891.
2020 | Journal Article | IST-REx-ID: 7638 |

Non-equilibrium quantum spin dynamics from classical stochastic processes
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).
View
| Files available
| DOI
| arXiv
S. De Nicola, B. Doyon, M.J. Bhaseen, Journal of Statistical Mechanics: Theory and Experiment 2020 (2020).