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.
4995 Publications
2023 | Journal Article | IST-REx-ID: 13093 |
Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
B. Nan, M. Li, Y. Zhang, K. Xiao, K.H. Lim, C. Chang, X. Han, Y. Zuo, J. Li, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Electronic Materials (2023).
2023 | Journal Article | IST-REx-ID: 13091 |
Free rational curves on low degree hypersurfaces and the circle method
T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.D. Browning, W. Sawin, Algebra and Number Theory 17 (2023) 719–748.
2023 | Journal Article | IST-REx-ID: 13117 |
Tunable directional photon scattering from a pair of superconducting qubits
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
E. Redchenko, A.V. Poshakinskiy, R. Sett, M. Zemlicka, A.N. Poddubny, J.M. Fink, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 13106 |
Entangling microwaves with light
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Science 380 (2023) 718–721.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Sahu, L. Qiu, W.J. Hease, G.M. Arnold, Y. Minoguchi, P. Rabl, J.M. Fink, Science 380 (2023) 718–721.
2023 | Journal Article | IST-REx-ID: 13129 |
Bias in the representative volume element method: Periodize the ensemble instead of its realizations
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
N. Clozeau, M. Josien, F. Otto, Q. Xu, Foundations of Computational Mathematics (2023).
2023 | Research Data Reference | IST-REx-ID: 13124 |
Tunable directional photon scattering from a pair of superconducting qubits
E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, J.M. Fink, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
E. Redchenko, A. Poshakinskiy, R. Sett, M. Zemlicka, A. Poddubny, J.M. Fink, (2023).
2023 | Research Data Reference | IST-REx-ID: 13122 |
Entangling microwaves with light
R. Sahu, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
R. Sahu, (2023).
2023 | Journal Article | IST-REx-ID: 13166 |
The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023).
2023 | Journal Article | IST-REx-ID: 13138 |
Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).
2023 | Journal Article | IST-REx-ID: 13213 |
Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.
2023 | Journal Article | IST-REx-ID: 12478 |
Monitoring lineages of growing and dividing bacteria reveals an inducible memory of mar operon expression
C.C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, P. Cluzel, Frontiers in Microbiology 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C.C. Guet, L. Bruneaux, P. Oikonomou, M. Aldana, P. Cluzel, Frontiers in Microbiology 14 (2023).
2023 | Journal Article | IST-REx-ID: 13237
Amyloid formation as a protein phase transition
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
View
| DOI
| WoS
T.C.T. Michaels, D. Qian, A. Šarić, M. Vendruscolo, S. Linse, T.P.J. Knowles, Nature Reviews Physics 5 (2023) 379–397.
2023 | Journal Article | IST-REx-ID: 13229 |
Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.
2023 | Journal Article | IST-REx-ID: 13197 |
Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).
2023 | Journal Article | IST-REx-ID: 13230 |
Environmental dynamics shape perceptual decision bias
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).
2023 | Journal Article | IST-REx-ID: 13232 |
Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein
D. Dormeshkin, M. Katsin, M. Stegantseva, S. Golenchenko, M. Shapira, S. Dubovik, D. Lutskovich, A. Kavaleuski, A. Meleshko, Vaccines 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
D. Dormeshkin, M. Katsin, M. Stegantseva, S. Golenchenko, M. Shapira, S. Dubovik, D. Lutskovich, A. Kavaleuski, A. Meleshko, Vaccines 11 (2023).
2023 | Journal Article | IST-REx-ID: 13235
Surface chemistry and band engineering in AgSbSe₂: Toward high thermoelectric performance
Y. Liu, M. Li, S. Wan, K.H. Lim, Y. Zhang, M. Li, J. Li, M. Ibáñez, M. Hong, A. Cabot, ACS Nano 17 (2023) 11923–11934.
View
| DOI
| WoS
| PubMed | Europe PMC
Y. Liu, M. Li, S. Wan, K.H. Lim, Y. Zhang, M. Li, J. Li, M. Ibáñez, M. Hong, A. Cabot, ACS Nano 17 (2023) 11923–11934.
2023 | Journal Article | IST-REx-ID: 13231 |
X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula
M. Schörner, M. Bethkenhagen, T. Döppner, D. Kraus, L.B. Fletcher, S.H. Glenzer, R. Redmer, Physical Review E 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Schörner, M. Bethkenhagen, T. Döppner, D. Kraus, L.B. Fletcher, S.H. Glenzer, R. Redmer, Physical Review E 107 (2023).
2023 | Journal Article | IST-REx-ID: 13233 |
Finite-range bias in fitting three-body loss to the zero-range model
S. Agafonova, M. Lemeshko, A. Volosniev, Physical Review A 107 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Agafonova, M. Lemeshko, A. Volosniev, Physical Review A 107 (2023).
2023 | Journal Article | IST-REx-ID: 13256 |
An assessment of the ENSO-monsoon teleconnection in a warming climate
B.B. GOSWAMI, S.I. An, Npj Climate and Atmospheric Science 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
B.B. GOSWAMI, S.I. An, Npj Climate and Atmospheric Science 6 (2023).
2023 | Journal Article | IST-REx-ID: 13260 |
Selection on the fly: Short-term adaptation to an altered sexual selection regime in Drosophila pseudoobscura
C. de Castro Barbosa Rodrigues Barata, R.R. Snook, M.G. Ritchie, C. Kosiol, Genome Biology and Evolution 15 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. de Castro Barbosa Rodrigues Barata, R.R. Snook, M.G. Ritchie, C. Kosiol, Genome Biology and Evolution 15 (2023).
2023 | Preprint | IST-REx-ID: 13447 |
Asteroseismology with the Roman galactic bulge time-domain survey
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Huber D, Pinsonneault M, Beck P, Bedding TR, Joss Bland-Hawthorn JB-H, Breton SN, Bugnet LA, Chaplin WJ, Garcia RA, Grunblatt SK, Guzik JA, Hekker S, Kawaler SD, Mathis S, Mathur S, Metcalfe T, Mosser B, Ness MK, Piro AL, Serenelli A, Sharma S, Soderblom DR, Stassun KG, Stello D, Tayar J, Belle GT van, Zinn JC. Asteroseismology with the Roman galactic bulge time-domain survey. arXiv, 2307.03237.
2023 | Thesis | IST-REx-ID: 13074 |
Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 13963 |
Many-body localization proximity effect in a two-species bosonic Hubbard model
P. Brighi, M. Ljubotina, D.A. Abanin, M. Serbyn, Physical Review B 108 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
P. Brighi, M. Ljubotina, D.A. Abanin, M. Serbyn, Physical Review B 108 (2023).
2023 | Journal Article | IST-REx-ID: 13966 |
Diagrammatic Monte Carlo for electronic correlation in molecules: High-order many-body perturbation theory with low scaling
G. Bighin, Q.P. Ho, M. Lemeshko, T.V. Tscherbul, Physical Review B 108 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Bighin, Q.P. Ho, M. Lemeshko, T.V. Tscherbul, Physical Review B 108 (2023).
2023 | Journal Article | IST-REx-ID: 13970 |
Visible-light-mediated oxidative debenzylation of 3-O-Benzyl-1,2:5,6-di-O-isopropylidene-α-D-glucofuranose
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Madani, E.T. Sletten, C. Cavedon, P.H. Seeberger, B. Pieber, Organic Syntheses 100 (2023) 271–286.
2023 | Journal Article | IST-REx-ID: 13127 |
Dynamic pathogen detection and social feedback shape collective hygiene in ants
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023).
2023 | Journal Article | IST-REx-ID: 12087 |
Curvature-dimension conditions for symmetric quantum Markov semigroups
M. Wirth, H. Zhang, Annales Henri Poincare 24 (2023) 717–750.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Wirth, H. Zhang, Annales Henri Poincare 24 (2023) 717–750.
2023 | Journal Article | IST-REx-ID: 9652 |
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
2023 | Journal Article | IST-REx-ID: 12113
Two-step post-treatment to deliver high performance thermoelectric device with vertical temperature gradient
L. Zhang, X. Liu, T. Wu, S. Xu, G. Suo, X. Ye, X. Hou, Y. Yang, Q. Liu, H. Wang, Applied Surface Science 613 (2023).
View
| DOI
| WoS
L. Zhang, X. Liu, T. Wu, S. Xu, G. Suo, X. Ye, X. Hou, Y. Yang, Q. Liu, H. Wang, Applied Surface Science 613 (2023).
2023 | Journal Article | IST-REx-ID: 10173 |
Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields
N. Clozeau, Stochastics and Partial Differential Equations: Analysis and Computations 11 (2023) 1254–1378.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
N. Clozeau, Stochastics and Partial Differential Equations: Analysis and Computations 11 (2023) 1254–1378.
2023 | Journal Article | IST-REx-ID: 11741 |
Quenched universality for deformed Wigner matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields 185 (2023) 1183–1218.
2023 | Journal Article | IST-REx-ID: 12331 |
Fine tuning of defects enables high carrier mobility and enhanced thermoelectric performance of n-type PbTe
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
[Published Version]
View
| Files available
| DOI
| WoS
S. Wang, C. Chang, S. Bai, B. Qin, Y. Zhu, S. Zhan, J. Zheng, S. Tang, L.D. Zhao, Chemistry of Materials 35 (2023) 755–763.
2023 | Journal Article | IST-REx-ID: 11999 |
Inserting one edge into a simple drawing is hard
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.M. Arroyo Guevara, F. Klute, I. Parada, B. Vogtenhuber, R. Seidel, T. Wiedera, Discrete and Computational Geometry 69 (2023) 745–770.
2023 | Journal Article | IST-REx-ID: 12330 |
The splay-list: A distribution-adaptive concurrent skip-list
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Aksenov, D.-A. Alistarh, A. Drozdova, A. Mohtashami, Distributed Computing 36 (2023) 395–418.
2023 | Journal Article | IST-REx-ID: 12159 |
On the origin and structure of haplotype blocks
D. Shipilina, A. Pal, S. Stankowski, Y.F. Chan, N.H. Barton, Molecular Ecology 32 (2023) 1441–1457.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Shipilina, A. Pal, S. Stankowski, Y.F. Chan, N.H. Barton, Molecular Ecology 32 (2023) 1441–1457.
2023 | Journal Article | IST-REx-ID: 12114 |
Aromatic ring flips in differently packed ubiquitin protein crystals from MAS NMR and MD
D.F. Gauto, O.O. Lebedenko, L.M. Becker, I. Ayala, R. Lichtenecker, N.R. Skrynnikov, P. Schanda, Journal of Structural Biology: X 7 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D.F. Gauto, O.O. Lebedenko, L.M. Becker, I. Ayala, R. Lichtenecker, N.R. Skrynnikov, P. Schanda, Journal of Structural Biology: X 7 (2023).
2023 | Journal Article | IST-REx-ID: 12163 |
In vitro reconstitution of small GTPase regulation
M. Loose, A. Auer, G. Brognara, H.R. Budiman, L.M. Kowalski, I. Matijevic, FEBS Letters 597 (2023) 762–777.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Loose, A. Auer, G. Brognara, H.R. Budiman, L.M. Kowalski, I. Matijevic, FEBS Letters 597 (2023) 762–777.
2023 | Journal Article | IST-REx-ID: 12164 |
Long-lived counters with polylogarithmic amortized step complexity
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
M.A. Baig, D. Hendler, A. Milani, C. Travers, Distributed Computing 36 (2023) 29–43.
2023 | Journal Article | IST-REx-ID: 12172
Experimental analysis of Cascade CSTRs with step and pulse inputs
B. Khatoon, S. Kamil, H. Babu, M. Siraj Alam, Materials Today: Proceedings 78 (2023) 40–47.
View
| DOI
B. Khatoon, S. Kamil, H. Babu, M. Siraj Alam, Materials Today: Proceedings 78 (2023) 40–47.
2023 | Journal Article | IST-REx-ID: 12515 |
The olfactory limbus of the red fox (Vulpes vulpes). New insights regarding a noncanonical olfactory bulb pathway
I. Ortiz-Leal, M.V. Torres, V.M. Vargas Barroso, L.E. Fidalgo, A.M. López-Beceiro, J.A. Larriva-Sahd, P. Sánchez-Quinteiro, Frontiers in Neuroanatomy 16 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
I. Ortiz-Leal, M.V. Torres, V.M. Vargas Barroso, L.E. Fidalgo, A.M. López-Beceiro, J.A. Larriva-Sahd, P. Sánchez-Quinteiro, Frontiers in Neuroanatomy 16 (2023).
2023 | Journal Article | IST-REx-ID: 12106 |
scChIX-seq infers dynamic relationships between histone modifications in single cells
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.
[Published Version]
View
| Files available
| DOI
| WoS
J. Yeung, M. Florescu, P. Zeller, B.A. De Barbanson, M.D. Wellenstein, A. Van Oudenaarden, Nature Biotechnology 41 (2023) 813–823.
2023 | Journal Article | IST-REx-ID: 12183 |
The Bose Gas in a box with Neumann boundary conditions
C. Boccato, R. Seiringer, Annales Henri Poincare 24 (2023) 1505–1560.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Boccato, R. Seiringer, Annales Henri Poincare 24 (2023) 1505–1560.
2023 | Journal Article | IST-REx-ID: 12544 |
Computing the volume, surface area, mean, and Gaussian curvatures of molecules and their derivatives
P. Koehl, A. Akopyan, H. Edelsbrunner, Journal of Chemical Information and Modeling 63 (2023) 973–985.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Koehl, A. Akopyan, H. Edelsbrunner, Journal of Chemical Information and Modeling 63 (2023) 973–985.
2023 | Journal Article | IST-REx-ID: 12543 |
Pathogen evasion of social immunity
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Stock, B. Milutinovic, M. Hönigsberger, A.V. Grasse, F. Wiesenhofer, N. Kampleitner, M. Narasimhan, T. Schmitt, S. Cremer, Nature Ecology and Evolution 7 (2023) 450–460.
2023 | Journal Article | IST-REx-ID: 12521 |
Slower-X: Reduced efficiency of selection in the early stages of X chromosome evolution
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Mrnjavac, K. Khudiakova, N.H. Barton, B. Vicoso, Evolution Letters 7 (2023).
2023 | Journal Article | IST-REx-ID: 12679 |
Principles of neural stem cell lineage progression: Insights from developing cerebral cortex
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Hippenmeyer, Current Opinion in Neurobiology 79 (2023).
2023 | Journal Article | IST-REx-ID: 12429 |
On the trace embedding and its applications to evolution equations
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023) 1319–1350.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Agresti, N. Lindemulder, M. Veraar, Mathematische Nachrichten 296 (2023) 1319–1350.
2023 | Journal Article | IST-REx-ID: 12430 |
Bogoliubov dynamics and higher-order corrections for the regularized Nelson model
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics 35 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Falconi, N.K. Leopold, D.J. Mitrouskas, S.P. Petrat, Reviews in Mathematical Physics 35 (2023).
2023 | Journal Article | IST-REx-ID: 12762 |
Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, Nature Computational Science 3 (2023) 254–263.
2023 | Conference Paper | IST-REx-ID: 14085 |
Efficient data structures for incremental exact and approximate maximum flow
G. Goranci, M.H. Henzinger, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
G. Goranci, M.H. Henzinger, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Conference Paper | IST-REx-ID: 14084 |
Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Conference Paper | IST-REx-ID: 14086 |
Faster submodular maximization for several classes of matroids
M.H. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M.H. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Conference Paper | IST-REx-ID: 14083 |
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Journal Article | IST-REx-ID: 12697 |
Single-collision statistics reveal a global mechanism driven by sample history for contact electrification in granular media
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G.M. Grosjean, S.R. Waitukaitis, Physical Review Letters 130 (2023).
2023 | Thesis | IST-REx-ID: 13175 |
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Thesis | IST-REx-ID: 12900
Cavity quantum electrooptics
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.
2023 | Conference Paper | IST-REx-ID: 14242 |
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
2023 | Conference Paper | IST-REx-ID: 14243 |
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 | Conference Paper | IST-REx-ID: 14241 |
Stealth shaper: Reflectivity optimization as surface stylization
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
2023 | Journal Article | IST-REx-ID: 12562
Loss of ETV1/ER81 in motor neurons leads to reduced monosynaptic inputs from proprioceptive sensory neurons
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology 129 (2023) 501–512.
View
| DOI
| WoS
| PubMed | Europe PMC
D.R. Ladle, S. Hippenmeyer, Journal of Neurophysiology 129 (2023) 501–512.
2023 | Conference Paper | IST-REx-ID: 13310 |
Monitoring algorithmic fairness
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.
2023 | Journal Article | IST-REx-ID: 12205 |
Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome and patient survival in primary and recurrent high-grade serous ovarian cancer: A multicenter retrospective study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) consortium
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.
[Published Version]
View
| Files available
| DOI
| WoS
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 35–45.
2023 | Journal Article | IST-REx-ID: 12115 |
ASO Visual Abstract: Impact of BRCA mutation status on tumor dissemination pattern, surgical outcome, and patient survival in primary and recurrent high-grade serous ovarian cancer (HGSOC). A multicenter, retrospective study of the ovarian cancer therapy—innovative models prolong survival (OCTIPS) consortium
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 46–47.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
J. Glajzer, D.C. Castillo-Tong, R. Richter, I. Vergote, H. Kulbe, A. Vanderstichele, I. Ruscito, F. Trillsch, A. Mustea, C. Kreuzinger, C. Gourley, H. Gabra, E.T. Taube, O. Dorigo, D. Horst, C. Keunecke, J. Baum, T. Angelotti, J. Sehouli, E.I. Braicu, Annals of Surgical Oncology 30 (2023) 46–47.
2023 | Journal Article | IST-REx-ID: 14253 |
Neuronal ER-plasma membrane junctions couple excitation to Ca2+-activated PKA signaling
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
N.C. Vierra, L. Ribeiro-Silva, M. Kirmiz, D. Van Der List, P. Bhandari, O.A. Mack, J. Carroll, E. Le Monnier, S.A. Aicher, R. Shigemoto, J.S. Trimmer, Nature Communications 14 (2023).
2023 | Conference Paper | IST-REx-ID: 14259 |
Guessing winning policies in LTL synthesis by semantic learning
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
[Published Version]
View
| Files available
| DOI
J. Kretinsky, T. Meggendorfer, M. Prokop, S. Rieder, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 390–414.
2023 | Conference Paper | IST-REx-ID: 14105 |
TeST: Test-time Self-Training under distribution shift
S. Sinha, P. Gehler, F. Locatello, B. Schiele, in:, 2023 IEEE/CVF Winter Conference on Applications of Computer Vision, Institute of Electrical and Electronics Engineers, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Sinha, P. Gehler, F. Locatello, B. Schiele, in:, 2023 IEEE/CVF Winter Conference on Applications of Computer Vision, Institute of Electrical and Electronics Engineers, 2023.
2023 | Journal Article | IST-REx-ID: 14256 |
Asymmetries of frequency splittings of dipolar mixed modes: A window on the topology of deep magnetic fields
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Mathis, L.A. Bugnet, Astronomy and Astrophysics 676 (2023).
2023 | Journal Article | IST-REx-ID: 14261 |
Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403.
2023 | Conference Paper | IST-REx-ID: 14208 |
Benign overfitting in deep neural networks under lazy training
Z. Zhu, F. Liu, G.G. Chrysos, F. Locatello, V. Cevher, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 43105–43128.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
Z. Zhu, F. Liu, G.G. Chrysos, F. Locatello, V. Cevher, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 43105–43128.
2023 | Preprint | IST-REx-ID: 14209 |
A data augmentation perspective on diffusion models and retrieval
M.F. Burg, F. Wenzel, D. Zietlow, M. Horn, O. Makansi, F. Locatello, C. Russell, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.F. Burg, F. Wenzel, D. Zietlow, M. Horn, O. Makansi, F. Locatello, C. Russell, ArXiv (n.d.).
2023 | Conference Paper | IST-REx-ID: 14211 |
Causal discovery with score matching on additive models with arbitrary noise
F. Montagna, N. Noceti, L. Rosasco, K. Zhang, F. Locatello, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Montagna, N. Noceti, L. Rosasco, K. Zhang, F. Locatello, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Conference Paper | IST-REx-ID: 14212 |
Scalable causal discovery with score matching
F. Montagna, N. Noceti, L. Rosasco, K. Zhang, F. Locatello, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
F. Montagna, N. Noceti, L. Rosasco, K. Zhang, F. Locatello, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Conference Paper | IST-REx-ID: 14214 |
Causal triplet: An open challenge for intervention-centric causal representation learning
Y. Liu, A. Alahi, C. Russell, M. Horn, D. Zietlow, B. Schölkopf, F. Locatello, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
Y. Liu, A. Alahi, C. Russell, M. Horn, D. Zietlow, B. Schölkopf, F. Locatello, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Conference Paper | IST-REx-ID: 14217 |
Relative representations enable zero-shot latent space communication
L. Moschella, V. Maiorca, M. Fumero, A. Norelli, F. Locatello, E. Rodolà, in:, The 11th International Conference on Learning Representations, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
L. Moschella, V. Maiorca, M. Fumero, A. Norelli, F. Locatello, E. Rodolà, in:, The 11th International Conference on Learning Representations, 2023.
2023 | Conference Paper | IST-REx-ID: 14222 |
Unsupervised object learning via common fate
M. Tangemann, S. Schneider, J. von Kügelgen, F. Locatello, P. Gehler, T. Brox, M. Kümmerer, M. Bethge, B. Schölkopf, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
M. Tangemann, S. Schneider, J. von Kügelgen, F. Locatello, P. Gehler, T. Brox, M. Kümmerer, M. Bethge, B. Schölkopf, in:, 2nd Conference on Causal Learning and Reasoning, 2023.
2023 | Conference Paper | IST-REx-ID: 14218 |
Bridging the gap to real-world object-centric learning
M. Seitzer, M. Horn, A. Zadaianchuk, D. Zietlow, T. Xiao, C.-J.S.-G. Carl-Johann Simon-Gabriel, T. He, Z. Zhang, B. Schölkopf, T. Brox, F. Locatello, in:, The 11th International Conference on Learning Representations, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
M. Seitzer, M. Horn, A. Zadaianchuk, D. Zietlow, T. Xiao, C.-J.S.-G. Carl-Johann Simon-Gabriel, T. He, Z. Zhang, B. Schölkopf, T. Brox, F. Locatello, in:, The 11th International Conference on Learning Representations, 2023.
2023 | Conference Paper | IST-REx-ID: 14219 |
Unsupervised semantic segmentation with self-supervised object-centric representations
A. Zadaianchuk, M. Kleindessner, Y. Zhu, F. Locatello, T. Brox, in:, The 11th International Conference on Learning Representations, 2023.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
A. Zadaianchuk, M. Kleindessner, Y. Zhu, F. Locatello, T. Brox, in:, The 11th International Conference on Learning Representations, 2023.
2023 | Preprint | IST-REx-ID: 14333 |
Self-compatibility: Evaluating causal discovery without ground truth
P.M. Faller, L.C. Vankadara, A.A. Mastakouri, F. Locatello, D. Janzing, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P.M. Faller, L.C. Vankadara, A.A. Mastakouri, F. Locatello, D. Janzing, ArXiv (n.d.).
2023 | Journal Article | IST-REx-ID: 14277 |
Interplay between mechanochemical patterning and glassy dynamics in cellular monolayers
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
[Published Version]
View
| Files available
| DOI
D.R. Boocock, T. Hirashima, E.B. Hannezo, PRX Life 1 (2023).
2023 | Journal Article | IST-REx-ID: 14314 |
Theta oscillations as a substrate for medial prefrontal-hippocampal assembly interactions
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
M. Nardin, K. Käfer, F. Stella, J.L. Csicsvari, Cell Reports 42 (2023).
2023 | Journal Article | IST-REx-ID: 14315 |
Caspase-mediated nuclear pore complex trimming in cell differentiation and endoplasmic reticulum stress
U.H. Cho, M. Hetzer, ELife 12 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
U.H. Cho, M. Hetzer, ELife 12 (2023).
2023 | Journal Article | IST-REx-ID: 14319 |
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Anastos, D. Fabian, A. Müyesser, T. Szabó, Electronic Journal of Combinatorics 30 (2023).
2023 | Conference Paper | IST-REx-ID: 14318 |
Automated tail bound analysis for probabilistic recurrence relations
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
[Published Version]
View
| Files available
| DOI
Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Computer Aided Verification, Springer Nature, 2023, pp. 16–39.
2023 | Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 | Journal Article | IST-REx-ID: 14316 |
Distinct role of TGN-resident clathrin adaptors for Vps21p activation in the TGN-endosome trafficking pathway
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
M. Nagano, K. Aoshima, H. Shimamura, D.E. Siekhaus, J.Y. Toshima, J. Toshima, Journal of Cell Science 136 (2023).
2023 | Journal Article | IST-REx-ID: 14320 |
Deep learning extraction of band structure parameters from density of states: A case study on trilayer graphene
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P.M. Henderson, A. Ghazaryan, A.A. Zibrov, A.F. Young, M. Serbyn, Physical Review B 108 (2023).
2023 | Thesis | IST-REx-ID: 12732 |
Ergodicity breaking in disordered and kinetically constrained quantum many-body systems
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023.
2023 | Journal Article | IST-REx-ID: 14334 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, SciPost Physics 15 (2023).
2023 | Journal Article | IST-REx-ID: 14321 |
Achiral dipoles on a ferromagnet can affect its magnetization direction
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
R. Al Hyder, A. Cappellaro, M. Lemeshko, A. Volosniev, The Journal of Chemical Physics 159 (2023).
2023 | Journal Article | IST-REx-ID: 14342 |
Mid-infrared Kerr index evaluation via cross-phase modulation with a near-infrared probe beam
D. Lorenc, Z. Alpichshev, Applied Physics Letters 123 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
D. Lorenc, Z. Alpichshev, Applied Physics Letters 123 (2023).
2023 | Journal Article | IST-REx-ID: 14341
Turbulence suppression by cardiac-cycle-inspired driving of pipe flow
D. Scarselli, J.M. Lopez Alonso, A. Varshney, B. Hof, Nature 621 (2023) 71–74.
View
| Files available
| DOI
| PubMed | Europe PMC
D. Scarselli, J.M. Lopez Alonso, A. Varshney, B. Hof, Nature 621 (2023) 71–74.
2023 | Conference Paper | IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Journal Article | IST-REx-ID: 13969 |
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
[Published Version]
View
| Files available
| DOI
| arXiv
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
2023 | Conference Paper | IST-REx-ID: 14344 |
Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
2023 | Journal Article | IST-REx-ID: 12710 |
Curvature in biological systems: Its quantification, emergence, and implications across the scales
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
2023 | Journal Article | IST-REx-ID: 13340 |
Disequilibrating azoarenes by visible-light sensitization under confinement
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Białek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Białek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.
2023 | Journal Article | IST-REx-ID: 12705 |
Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
2023 | Journal Article | IST-REx-ID: 12738 |
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
2023 | Research Data Reference | IST-REx-ID: 14279 |
Source data for the manuscript "CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.C. Ucar, (2023).