---
OA_place: publisher
OA_type: gold
_id: '21327'
abstract:
- lang: eng
text: Proteins exist as a dynamic ensemble of multiple conformations, and these
motions are often crucial for their functions. However, current structure prediction
methods predominantly yield a single conformation, overlooking the conformational
heterogeneity revealed by diverse experimental modalities. Here, we present a
framework for building experiment-grounded protein structure generative models
that infer conformational ensembles consistent with measured experimental data.
The key idea is to treat stateof-the-art protein structure predictors (e.g., AlphaFold3)
as sequence-conditioned structural priors, and cast ensemble modeling as posterior
inference of protein structures given experimental measurements. Through extensive
real-data experiments, we demonstrate the generality of our method to incorporate
a variety of experimental measurements. In particular, our framework uncovers
previously unmodeled conformational heterogeneity from crystallographic densities,
and generates high-accuracy NMR ensembles orders of magnitude faster than the
status quo. Notably, we demonstrate that our ensembles outperform AlphaFold3 (Abramson
et al., 2024) and sometimes better fit experimental data than publicly deposited
structures to the Protein Data Bank (PDB, Burley et al. (2017)). We believe that
this approach will unlock building predictive models that fully embrace experimentally
observed conformational diversity.
acknowledged_ssus:
- _id: ScienComp
acknowledgement: 'This work was supported by the Israeli Science Foundation (ISF)
grant number 1834/24. We acknowledge support from the Austrian Science Fund (FWF,
grant numbers I5812-B and I6223) and the financial support of the Helmsley Fellowships
Program for Sustainability and Health. This research uses resources of the Institute
of Science and Technology Austria’s scientific computing cluster. '
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Sai A
full_name: Maddipatla, Sai A
id: e957f5e5-91c9-11f0-a95f-e090f66ecb4d
last_name: Maddipatla
- first_name: Nadav E
full_name: Sellam, Nadav E
id: ef280fe0-91c9-11f0-a95f-8dea3f5bc513
last_name: Sellam
- first_name: Meital I
full_name: Bojan, Meital I
id: 11d88cf5-91ca-11f0-a95f-edf9f08f47b7
last_name: Bojan
- first_name: Sanketh
full_name: Vedula, Sanketh
id: 94f2fe44-70fa-11f0-b76b-92922c09452b
last_name: Vedula
- first_name: Paul
full_name: Schanda, Paul
id: 7B541462-FAF6-11E9-A490-E8DFE5697425
last_name: Schanda
orcid: 0000-0002-9350-7606
- first_name: Ailie
full_name: Marx, Ailie
last_name: Marx
- first_name: Alexander
full_name: Bronstein, Alexander
id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6
last_name: Bronstein
orcid: 0000-0001-9699-8730
citation:
ama: 'Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided
AlphaFold. In: Proceedings of the 42nd International Conference on Machine
Learning. Vol 267. ML Research Press; 2025:42366-42393.'
apa: 'Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Vedula, S., Schanda, P., Marx,
A., & Bronstein, A. M. (2025). Inverse problems with experiment-guided AlphaFold.
In Proceedings of the 42nd International Conference on Machine Learning
(Vol. 267, pp. 42366–42393). Vancouver, Canada: ML Research Press.'
chicago: Maddipatla, Sai A, Nadav E Sellam, Meital I Bojan, Sanketh Vedula, Paul
Schanda, Ailie Marx, and Alex M. Bronstein. “Inverse Problems with Experiment-Guided
AlphaFold.” In Proceedings of the 42nd International Conference on Machine
Learning, 267:42366–93. ML Research Press, 2025.
ieee: S. A. Maddipatla et al., “Inverse problems with experiment-guided AlphaFold,”
in Proceedings of the 42nd International Conference on Machine Learning,
Vancouver, Canada, 2025, vol. 267, pp. 42366–42393.
ista: 'Maddipatla SA, Sellam NE, Bojan MI, Vedula S, Schanda P, Marx A, Bronstein
AM. 2025. Inverse problems with experiment-guided AlphaFold. Proceedings of the
42nd International Conference on Machine Learning. ICML: International Conference
on Machine Learning, PMLR, vol. 267, 42366–42393.'
mla: Maddipatla, Sai A., et al. “Inverse Problems with Experiment-Guided AlphaFold.”
Proceedings of the 42nd International Conference on Machine Learning, vol.
267, ML Research Press, 2025, pp. 42366–93.
short: S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx,
A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine
Learning, ML Research Press, 2025, pp. 42366–42393.
conference:
end_date: 2025-07-19
location: Vancouver, Canada
name: 'ICML: International Conference on Machine Learning'
start_date: 2025-07-13
corr_author: '1'
date_created: 2026-02-18T12:11:17Z
date_published: 2025-07-30T00:00:00Z
date_updated: 2026-02-19T08:56:43Z
day: '30'
ddc:
- '000'
- '540'
department:
- _id: PaSc
- _id: AlBr
- _id: GradSch
external_id:
arxiv:
- '2502.09372'
file:
- access_level: open_access
checksum: f33230a6d59b7978d4cd72795e4e9059
content_type: application/pdf
creator: dernst
date_created: 2026-02-19T08:56:10Z
date_updated: 2026-02-19T08:56:10Z
file_id: '21338'
file_name: 2025_ICML_Maddipatla.pdf
file_size: 1924177
relation: main_file
success: 1
file_date_updated: 2026-02-19T08:56:10Z
has_accepted_license: '1'
intvolume: ' 267'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 42366 - 42393
project:
- _id: eb9c82eb-77a9-11ec-83b8-aadd536561cf
grant_number: I05812
name: AlloSpace. The emergence and mechanisms of allostery
- _id: bdb9578d-d553-11ed-ba76-ed5d39fce6f0
grant_number: I06223
name: Structure and mechanism of the mitochondrial MIM insertase
publication: Proceedings of the 42nd International Conference on Machine Learning
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
status: public
title: Inverse problems with experiment-guided AlphaFold
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 267
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '21328'
abstract:
- lang: eng
text: Multi-index models provide a popular framework to investigate the learnability
of functions with low-dimensional structure and, also due to their connections
with neural networks, they have been object of recent intensive study. In this
paper, we focus on recovering the subspace spanned by the signals via spectral
estimators – a family of methods routinely used in practice, often as a warm-start
for iterative algorithms. Our main technical contribution is a precise asymptotic
characterization of the performance of spectral methods, when sample size and
input dimension grow proportionally and the dimension p of the space to recover
is fixed. Specifically, we locate the top-p eigenvalues of the spectral matrix
and establish the overlaps between the corresponding eigenvectors (which give
the spectral estimators) and a basis of the signal subspace. Our analysis unveils
a phase transition phenomenon in which, as the sample complexity grows, eigenvalues
escape from the bulk of the spectrum and, when that happens, eigenvectors recover
directions of the desired subspace. The precise characterization we put forward
enables the optimization of the data preprocessing, thus allowing to identify
the spectral estimator that requires the minimal sample size for weak recovery.
acknowledgement: "This work was done when Y. Z. was at the Institute of Science and
Technology Austria. Y. Z. and\r\nM. M. are funded by the European Union (ERC, INF2,
project number 101161364). Views and\r\nopinions expressed are however those of
the author(s) only and do not necessarily reflect those of the European Union or
the European Research Council Executive Agency. Neither the European Union nor the
granting authority can be held responsible for them. The authors would like to acknowledge
(in alphabetical order) discussions with Yatin Dandi, Leonardo Defilippis and Bruno
Loureiro concerning their parallel work (Defilippis et al., 2025)."
alternative_title:
- PMLR
article_processing_charge: No
arxiv: 1
author:
- first_name: Filip
full_name: Kovačević, Filip
id: d0258e7b-50b8-11ef-ad56-8b9f537b6b1b
last_name: Kovačević
- first_name: Zhang
full_name: Yihan, Zhang
last_name: Yihan
- first_name: Marco
full_name: Mondelli, Marco
id: 27EB676C-8706-11E9-9510-7717E6697425
last_name: Mondelli
orcid: 0000-0002-3242-7020
citation:
ama: 'Kovačević F, Yihan Z, Mondelli M. Spectral estimators for multi-index models:
Precise asymptotics and optimal weak recovery. In: Proceedings of 38th Conference
on Learning Theory. Vol 291. ML Research Press; 2025:3354-3404.'
apa: 'Kovačević, F., Yihan, Z., & Mondelli, M. (2025). Spectral estimators for
multi-index models: Precise asymptotics and optimal weak recovery. In Proceedings
of 38th Conference on Learning Theory (Vol. 291, pp. 3354–3404). Lyon, France:
ML Research Press.'
chicago: 'Kovačević, Filip, Zhang Yihan, and Marco Mondelli. “Spectral Estimators
for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” In Proceedings
of 38th Conference on Learning Theory, 291:3354–3404. ML Research Press, 2025.'
ieee: 'F. Kovačević, Z. Yihan, and M. Mondelli, “Spectral estimators for multi-index
models: Precise asymptotics and optimal weak recovery,” in Proceedings of 38th
Conference on Learning Theory, Lyon, France, 2025, vol. 291, pp. 3354–3404.'
ista: 'Kovačević F, Yihan Z, Mondelli M. 2025. Spectral estimators for multi-index
models: Precise asymptotics and optimal weak recovery. Proceedings of 38th Conference
on Learning Theory. COLT: Conference on Learning Theory, PMLR, vol. 291, 3354–3404.'
mla: 'Kovačević, Filip, et al. “Spectral Estimators for Multi-Index Models: Precise
Asymptotics and Optimal Weak Recovery.” Proceedings of 38th Conference on Learning
Theory, vol. 291, ML Research Press, 2025, pp. 3354–404.'
short: F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference
on Learning Theory, ML Research Press, 2025, pp. 3354–3404.
conference:
end_date: 2025-07-04
location: Lyon, France
name: 'COLT: Conference on Learning Theory'
start_date: 2025-06-30
corr_author: '1'
date_created: 2026-02-18T12:12:47Z
date_published: 2025-07-01T00:00:00Z
date_updated: 2026-02-19T09:03:53Z
day: '01'
ddc:
- '000'
department:
- _id: MaMo
external_id:
arxiv:
- '2502.01583'
file:
- access_level: open_access
checksum: 19aa70ab4f57fb9067b6ebb99a5fd6f0
content_type: application/pdf
creator: dernst
date_created: 2026-02-19T09:03:43Z
date_updated: 2026-02-19T09:03:43Z
file_id: '21339'
file_name: 2025_LearningTheory_Kovacevic.pdf
file_size: 844611
relation: main_file
success: 1
file_date_updated: 2026-02-19T09:03:43Z
has_accepted_license: '1'
intvolume: ' 291'
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 3354-3404
project:
- _id: 911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf
grant_number: '101161364'
name: 'Inference in High Dimensions: Light-speed Algorithms and Information Limits'
publication: Proceedings of 38th Conference on Learning Theory
publication_identifier:
eissn:
- 2640-3498
publication_status: published
publisher: ML Research Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Spectral estimators for multi-index models: Precise asymptotics and optimal
weak recovery'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 291
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '21343'
abstract:
- lang: eng
text: "The large sieve is used to estimate the density of quadratic polynomials
Q ∈ Z[x],\r\nsuch that there exists an odd degree polynomial defined over Z which
has resultant ±1 with Q.\r\nGiven a monic polynomial R ∈ Z[x] of odd degree, this
is used to show that for almost all\r\nquadratic polynomials Q ∈ Z[x], there exists
a prime p such that Q and R share a common\r\nroot in Fp. Using recent work of
Landesman, an application to the average size of the odd part\r\nof the class
group of quadratic number fields is also given"
- lang: fre
text: ' Le grand crible est utilisé pour estimer la densité des polynômes quadratiques
Q ∈ Z[x] tels qu’il existe un polynôme de degré impair défini sur Z dont le résultant
avec Q est égal à ±1. Étant donné un polynôme unitaire R ∈ Z[x] de degré impair,
on s’en sert pour montrer que, pour presque tous les polynômes quadratiques Q
∈ Z[x], il existe un nombre premier p tel que Q et R aient une racine commune
dans Fp. En utilisant des travaux récents de Landesman, on obtient également une
application concernant la taille moyenne de la partie impaire du groupe de classe
des corps quadratiques.'
acknowledgement: While working on this paper, the first author was supported by a
FWF grant (DOI 10.55776/P36278).
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Timothy D
full_name: Browning, Timothy D
id: 35827D50-F248-11E8-B48F-1D18A9856A87
last_name: Browning
orcid: 0000-0002-8314-0177
- first_name: Yik Tung
full_name: Chan, Yik Tung
id: c4c0afc8-9262-11ed-9231-d8b0bc743af1
last_name: Chan
orcid: 0000-0001-8467-4106
citation:
ama: Browning TD, Chan S. Solubility of a resultant equation and applications. Journal
de l’ecole polytechnique mathematiques. 2025;12:1677-1691. doi:10.5802/jep.320
apa: Browning, T. D., & Chan, S. (2025). Solubility of a resultant equation
and applications. Journal de l’ecole Polytechnique Mathematiques. Ecole
polytechnique. https://doi.org/10.5802/jep.320
chicago: Browning, Timothy D, and Stephanie Chan. “Solubility of a Resultant Equation
and Applications.” Journal de l’ecole Polytechnique Mathematiques. Ecole
polytechnique, 2025. https://doi.org/10.5802/jep.320.
ieee: T. D. Browning and S. Chan, “Solubility of a resultant equation and applications,”
Journal de l’ecole polytechnique mathematiques, vol. 12. Ecole polytechnique,
pp. 1677–1691, 2025.
ista: Browning TD, Chan S. 2025. Solubility of a resultant equation and applications.
Journal de l’ecole polytechnique mathematiques. 12, 1677–1691.
mla: Browning, Timothy D., and Stephanie Chan. “Solubility of a Resultant Equation
and Applications.” Journal de l’ecole Polytechnique Mathematiques, vol.
12, Ecole polytechnique, 2025, pp. 1677–91, doi:10.5802/jep.320.
short: T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12
(2025) 1677–1691.
corr_author: '1'
date_created: 2026-02-22T23:01:36Z
date_published: 2025-10-21T00:00:00Z
date_updated: 2026-02-24T07:57:53Z
day: '21'
ddc:
- '510'
department:
- _id: TiBr
doi: 10.5802/jep.320
external_id:
arxiv:
- '2411.09264'
file:
- access_level: open_access
checksum: 828577ea48ac6109d3e9dd1aeddd45c4
content_type: application/pdf
creator: dernst
date_created: 2026-02-24T07:56:34Z
date_updated: 2026-02-24T07:56:34Z
file_id: '21356'
file_name: 2025_JEP_Browning.pdf
file_size: 1003689
relation: main_file
success: 1
file_date_updated: 2026-02-24T07:56:34Z
has_accepted_license: '1'
intvolume: ' 12'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
page: 1677-1691
project:
- _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3
grant_number: P36278
name: Rational curves via function field analytic number theory
publication: Journal de l'ecole polytechnique mathematiques
publication_identifier:
eissn:
- 2270-518X
issn:
- 2429-7100
publication_status: published
publisher: Ecole polytechnique
quality_controlled: '1'
scopus_import: '1'
status: public
title: Solubility of a resultant equation and applications
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 12
year: '2025'
...
---
OA_place: repository
_id: '21399'
abstract:
- lang: eng
text: We report on the Equational Theories Project (ETP), an online collaborative
pilot project to explore new ways to collaborate in mathematics with machine assistance.
The project successfully determined all 22 028 942 edges of the implication graph
between the 4694 simplest equational laws on magmas, by a combination of human-generated
and automated proofs, all validated by the formal proof assistant language Lean.
As a result of this project, several new constructions of magmas satisfying specific
laws were discovered, and several auxiliary questions were also addressed, such
as the effect of restricting attention to finite magmas.
article_processing_charge: No
arxiv: 1
author:
- first_name: Matthew
full_name: Bolan, Matthew
last_name: Bolan
- first_name: Joachim
full_name: Breitner, Joachim
last_name: Breitner
- first_name: Jose
full_name: Brox, Jose
last_name: Brox
- first_name: Nicholas
full_name: Carlini, Nicholas
last_name: Carlini
- first_name: Mario
full_name: Carneiro, Mario
last_name: Carneiro
- first_name: Floris van
full_name: Doorn, Floris van
last_name: Doorn
- first_name: Martin
full_name: Dvorak, Martin
id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425
last_name: Dvorak
orcid: 0000-0001-5293-214X
- first_name: Andrés
full_name: Goens, Andrés
last_name: Goens
- first_name: Aaron
full_name: Hill, Aaron
last_name: Hill
- first_name: Harald
full_name: Husum, Harald
last_name: Husum
- first_name: Hernán Ibarra
full_name: Mejia, Hernán Ibarra
last_name: Mejia
- first_name: Zoltan A.
full_name: Kocsis, Zoltan A.
last_name: Kocsis
- first_name: Bruno Le
full_name: Floch, Bruno Le
last_name: Floch
- first_name: Amir
full_name: Bar-on, Amir
last_name: Bar-on
- first_name: Lorenzo
full_name: Luccioli, Lorenzo
last_name: Luccioli
- first_name: Douglas
full_name: McNeil, Douglas
last_name: McNeil
- first_name: Alex
full_name: Meiburg, Alex
last_name: Meiburg
- first_name: Pietro
full_name: Monticone, Pietro
last_name: Monticone
- first_name: Pace P.
full_name: Nielsen, Pace P.
last_name: Nielsen
- first_name: Emmanuel Osalotioman
full_name: Osazuwa, Emmanuel Osalotioman
last_name: Osazuwa
- first_name: Giovanni
full_name: Paolini, Giovanni
last_name: Paolini
- first_name: Marco
full_name: Petracci, Marco
last_name: Petracci
- first_name: Bernhard
full_name: Reinke, Bernhard
last_name: Reinke
- first_name: David
full_name: Renshaw, David
last_name: Renshaw
- first_name: Marcus
full_name: Rossel, Marcus
last_name: Rossel
- first_name: Cody
full_name: Roux, Cody
last_name: Roux
- first_name: Jérémy
full_name: Scanvic, Jérémy
last_name: Scanvic
- first_name: Shreyas
full_name: Srinivas, Shreyas
last_name: Srinivas
- first_name: Anand Rao
full_name: Tadipatri, Anand Rao
last_name: Tadipatri
- first_name: Terence
full_name: Tao, Terence
last_name: Tao
- first_name: Vlad
full_name: Tsyrklevich, Vlad
last_name: Tsyrklevich
- first_name: Fernando
full_name: Vaquerizo-Villar, Fernando
last_name: Vaquerizo-Villar
- first_name: Daniel
full_name: Weber, Daniel
last_name: Weber
- first_name: Fan
full_name: Zheng, Fan
last_name: Zheng
citation:
ama: 'Bolan M, Breitner J, Brox J, et al. The equational theories project: Advancing
collaborative mathematical research at scale. arXiv. doi:10.48550/arXiv.2512.07087'
apa: 'Bolan, M., Breitner, J., Brox, J., Carlini, N., Carneiro, M., Doorn, F. van,
… Zheng, F. (n.d.). The equational theories project: Advancing collaborative mathematical
research at scale. arXiv. https://doi.org/10.48550/arXiv.2512.07087'
chicago: 'Bolan, Matthew, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro,
Floris van Doorn, Martin Dvorak, et al. “The Equational Theories Project: Advancing
Collaborative Mathematical Research at Scale.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2512.07087.'
ieee: 'M. Bolan et al., “The equational theories project: Advancing collaborative
mathematical research at scale,” arXiv. .'
ista: 'Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M,
Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L,
McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci
M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR,
Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories
project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.'
mla: 'Bolan, Matthew, et al. “The Equational Theories Project: Advancing Collaborative
Mathematical Research at Scale.” ArXiv, doi:10.48550/arXiv.2512.07087.'
short: M. Bolan, J. Breitner, J. Brox, N. Carlini, M. Carneiro, F. van Doorn, M.
Dvorak, A. Goens, A. Hill, H. Husum, H.I. Mejia, Z.A. Kocsis, B.L. Floch, A. Bar-on,
L. Luccioli, D. McNeil, A. Meiburg, P. Monticone, P.P. Nielsen, E.O. Osazuwa,
G. Paolini, M. Petracci, B. Reinke, D. Renshaw, M. Rossel, C. Roux, J. Scanvic,
S. Srinivas, A.R. Tadipatri, T. Tao, V. Tsyrklevich, F. Vaquerizo-Villar, D. Weber,
F. Zheng, ArXiv (n.d.).
date_created: 2026-03-04T12:00:16Z
date_published: 2025-12-16T00:00:00Z
date_updated: 2026-03-12T08:36:21Z
day: '16'
department:
- _id: GradSch
- _id: VlKo
doi: 10.48550/arXiv.2512.07087
external_id:
arxiv:
- '2512.07087'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2512.07087
month: '12'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: 'The equational theories project: Advancing collaborative mathematical research
at scale'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '21412'
abstract:
- lang: eng
text: "Payment channel networks (PCNs) are a promising technology that alleviates
blockchain scalability by shifting the transaction load from the blockchain to
the PCN. Nevertheless, the network topology has to be carefully designed to maximise
the transaction throughput in PCNs. Additionally, users in PCNs also have to make
optimal decisions on which transactions to forward and which to reject to prolong
the lifetime of their channels. In this work, we consider an input sequence of
transactions over p parties. Each transaction consists of a transaction size,
source, and target, and can be either accepted or rejected (entailing a cost).
The goal is to design a PCN topology among the p cooperating parties, along with
the channel capacities, and then output a decision for each transaction in the
sequence to minimise the cost of creating and augmenting channels, as well as
the cost of rejecting transactions. Our main contribution is an \U0001D4AA(p)
approximation algorithm for the problem with p parties. We further show that with
some assumptions on the distribution of transactions, we can reduce the approximation
ratio to \U0001D4AA(√p). We complement our theoretical analysis with an empirical
study of our assumptions and approach in the context of the Lightning Network."
acknowledgement: "Chatterjee, Krishnendu: European Research Council CoG 863818 (ForM-SMArt)
and Austrian Science Fund 10.55776/COE12.\r\nKřišťan, Jan Matyáš: Czech Science
Foundation Grant no. 24-12046S.\r\nSchmid, Stefan: German Research Foundation (DFG)
project ReNO (SPP 2378) from 2023-2027.\r\nSvoboda, Jakub: European Research Council
CoG 863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12.\r\nYeo, Michelle:
MOE-T2EP20122-0014 (Data-Driven Distributed Algorithms)."
alternative_title:
- LIPIcs
article_number: '23'
article_processing_charge: No
arxiv: 1
author:
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Jan Matyáš
full_name: Křišťan, Jan Matyáš
last_name: Křišťan
- first_name: Stefan
full_name: Schmid, Stefan
last_name: Schmid
- first_name: Jakub
full_name: Svoboda, Jakub
id: 130759D2-D7DD-11E9-87D2-DE0DE6697425
last_name: Svoboda
orcid: 0000-0002-1419-3267
- first_name: Michelle X
full_name: Yeo, Michelle X
id: 2D82B818-F248-11E8-B48F-1D18A9856A87
last_name: Yeo
orcid: 0009-0001-3676-4809
citation:
ama: 'Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. Boosting payment channel
network liquidity with topology optimization and transaction selection. In: 39th
International Symposium on Distributed Computing. Vol 356. Schloss Dagstuhl
- Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.DISC.2025.23'
apa: 'Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., & Yeo, M. X.
(2025). Boosting payment channel network liquidity with topology optimization
and transaction selection. In 39th International Symposium on Distributed Computing
(Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
https://doi.org/10.4230/LIPIcs.DISC.2025.23'
chicago: Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda,
and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology
Optimization and Transaction Selection.” In 39th International Symposium on
Distributed Computing, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025. https://doi.org/10.4230/LIPIcs.DISC.2025.23.
ieee: K. Chatterjee, J. M. Křišťan, S. Schmid, J. Svoboda, and M. X. Yeo, “Boosting
payment channel network liquidity with topology optimization and transaction selection,”
in 39th International Symposium on Distributed Computing, Berlin, Germany,
2025, vol. 356.
ista: 'Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. 2025. Boosting payment
channel network liquidity with topology optimization and transaction selection.
39th International Symposium on Distributed Computing. DISC: Symposium on Distributed
Computing, LIPIcs, vol. 356, 23.'
mla: Chatterjee, Krishnendu, et al. “Boosting Payment Channel Network Liquidity
with Topology Optimization and Transaction Selection.” 39th International Symposium
on Distributed Computing, vol. 356, 23, Schloss Dagstuhl - Leibniz-Zentrum
für Informatik, 2025, doi:10.4230/LIPIcs.DISC.2025.23.
short: K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International
Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2025.
conference:
end_date: 2025-10-31
location: Berlin, Germany
name: 'DISC: Symposium on Distributed Computing'
start_date: 2025-10-27
date_created: 2026-03-08T23:01:46Z
date_published: 2025-10-22T00:00:00Z
date_updated: 2026-03-09T11:52:58Z
day: '22'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.4230/LIPIcs.DISC.2025.23
ec_funded: 1
external_id:
arxiv:
- '2508.14524'
file:
- access_level: open_access
checksum: 8e3d1594365df60163d9df22158a37b1
content_type: application/pdf
creator: dernst
date_created: 2026-03-09T11:51:59Z
date_updated: 2026-03-09T11:51:59Z
file_id: '21418'
file_name: 2025_DISC_Chatterjee.pdf
file_size: 1130069
relation: main_file
success: 1
file_date_updated: 2026-03-09T11:51:59Z
has_accepted_license: '1'
intvolume: ' 356'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2025/1484.pdf
month: '10'
oa: 1
oa_version: Published Version
project:
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: 39th International Symposium on Distributed Computing
publication_identifier:
isbn:
- '9783959774024'
issn:
- 1868-8969
publication_status: published
publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
quality_controlled: '1'
scopus_import: '1'
status: public
title: Boosting payment channel network liquidity with topology optimization and transaction
selection
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 356
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
PlanS_conform: '1'
_id: '21413'
abstract:
- lang: eng
text: "We present a general framework for applying learning algorithms and heuristical
guidance to the verification of Markov decision processes (MDPs).\r\nThe primary
goal of our techniques is to improve performance by avoiding an exhaustive exploration
of the state space, instead focussing on particularly relevant areas of the system,
guided by heuristics. Our work builds on the previous results of Br{á}zdil et
al., significantly extending it as well as refining several details and fixing
errors.\r\nThe presented framework focuses on probabilistic reachability, which
is a core problem in verification, and is instantiated in two distinct scenarios.\r\nThe
first assumes that full knowledge of the MDP is available, in particular precise
transition probabilities. It performs a heuristic-driven partial exploration of
the model, yielding precise lower and upper bounds on the required probability.
The second tackles the case where we may only sample the MDP without knowing the
exact transition dynamics. Here, we obtain probabilistic guarantees, again in
terms of both the lower and upper bounds, which provides efficient stopping criteria
for the approximation. In particular, the latter is an extension of statistical
model-checking (SMC) for unbounded properties in MDPs. In contrast to other related
approaches, we do not restrict our attention to time-bounded (finite-horizon)
or discounted properties, nor assume any particular structural properties of the
MDP."
acknowledgement: "This research was funded in part by the European Research Council
(ERC) under grant agreement AdG-267989 (QUAREM)*, AdG-246967 (VERIWARE)*, StG-279307
(Graph Games)*\r\n, CoG-863818 (ForM-SMArt), and AdG-834115 (FUN2MODEL), by the
EU FP7 project HIERATIC*, by the German Research Foundation (DFG) project 427755713
(GOPro), by the Austrian Science Fund (FWF) projects S11402-N23 (RiSE)* , S11407-N23
(RiSE)*\r\n, and P23499-N23* , by the Czech Science Foundation grant No P202/12/P612*
and GA23-06963S, by the MUNI Award in Science and Humanities (MUNI/I/1757/2021)
of the Grant\r\nAgency of Masaryk University, by EPSRC project EP/K038575/1*, and
by the Microsoft faculty fellows award*. A preliminary version of this article appeared
at ATVA 2014 [33]. The * indicates funding that supported that version."
article_number: '10'
article_processing_charge: Yes
article_type: original
arxiv: 1
author:
- first_name: Tomáš
full_name: Brázdil, Tomáš
last_name: Brázdil
- first_name: Krishnendu
full_name: Chatterjee, Krishnendu
id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
last_name: Chatterjee
orcid: 0000-0002-4561-241X
- first_name: Martin
full_name: Chmelik, Martin
id: 3624234E-F248-11E8-B48F-1D18A9856A87
last_name: Chmelik
- first_name: Vojtěch
full_name: Forejt, Vojtěch
last_name: Forejt
- first_name: Jan
full_name: Kretinsky, Jan
id: 44CEF464-F248-11E8-B48F-1D18A9856A87
last_name: Kretinsky
orcid: 0000-0002-8122-2881
- first_name: Marta
full_name: Kwiatkowska, Marta
last_name: Kwiatkowska
- first_name: Tobias
full_name: Meggendorfer, Tobias
id: b21b0c15-30a2-11eb-80dc-f13ca25802e1
last_name: Meggendorfer
orcid: 0000-0002-1712-2165
- first_name: David
full_name: Parker, David
last_name: Parker
- first_name: Mateusz
full_name: Ujma, Mateusz
last_name: Ujma
citation:
ama: Brázdil T, Chatterjee K, Chmelik M, et al. Learning algorithms for verification
of Markov decision processes. TheoretiCS. 2025;4. doi:10.46298/theoretics.25.10
apa: Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska,
M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision
processes. TheoretiCS. TheoretiCS Foundation. https://doi.org/10.46298/theoretics.25.10
chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt,
Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz
Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” TheoretiCS.
TheoretiCS Foundation, 2025. https://doi.org/10.46298/theoretics.25.10.
ieee: T. Brázdil et al., “Learning algorithms for verification of Markov
decision processes,” TheoretiCS, vol. 4. TheoretiCS Foundation, 2025.
ista: Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M,
Meggendorfer T, Parker D, Ujma M. 2025. Learning algorithms for verification of
Markov decision processes. TheoretiCS. 4, 10.
mla: Brázdil, Tomáš, et al. “Learning Algorithms for Verification of Markov Decision
Processes.” TheoretiCS, vol. 4, 10, TheoretiCS Foundation, 2025, doi:10.46298/theoretics.25.10.
short: T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska,
T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).
date_created: 2026-03-08T23:01:46Z
date_published: 2025-04-01T00:00:00Z
date_updated: 2026-03-09T11:43:38Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.46298/theoretics.25.10
ec_funded: 1
external_id:
arxiv:
- '2403.09184'
file:
- access_level: open_access
checksum: 2ccf563ae577ee08d82baf752292ca7b
content_type: application/pdf
creator: dernst
date_created: 2026-03-09T11:39:59Z
date_updated: 2026-03-09T11:39:59Z
file_id: '21417'
file_name: 2026_TheoretiCS_Brazdil.pdf
file_size: 861607
relation: main_file
success: 1
file_date_updated: 2026-03-09T11:39:59Z
has_accepted_license: '1'
intvolume: ' 4'
language:
- iso: eng
month: '04'
oa: 1
oa_version: Published Version
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '267989'
name: Quantitative Reactive Modeling
- _id: 2581B60A-B435-11E9-9278-68D0E5697425
call_identifier: FP7
grant_number: '279307'
name: 'Quantitative Graph Games: Theory and Applications'
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
call_identifier: H2020
grant_number: '863818'
name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
- _id: 25F2ACDE-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: S11402-N23
name: Rigorous Systems Engineering
- _id: 2584A770-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P 23499-N23
name: Modern Graph Algorithmic Techniques in Formal Verification
publication: TheoretiCS
publication_identifier:
eissn:
- 2751-4838
publication_status: published
publisher: TheoretiCS Foundation
quality_controlled: '1'
scopus_import: '1'
status: public
title: Learning algorithms for verification of Markov decision processes
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 4
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '17094'
abstract:
- lang: eng
text: Contract-based design is a promising methodology for taming the complexity
of developing sophisticated systems. A formal contract distinguishes between assumptions,
which are constraints that the designer of a component puts on the environments
in which the component can be used safely, and guarantees, which are promises
that the designer asks from the team that implements the component. A theory of
formal contracts can be formalized as an interface theory, which supports the
composition and refinement of both assumptions and guarantees. Although there
is a rich landscape of contract-based design methods that address functional and
extra-functional properties, we present the first interface theory designed to
ensure system-wide security properties. Our framework provides a refinement relation
and a composition operation that support both incremental design and independent
implementability. We develop our theory for both stateless and stateful interfaces.
Additionally, we introduce information-flow contracts where assumptions and guarantees
are sets of flow relations. We use these contracts to illustrate how to enrich
information-flow interfaces with a semantic view. We illustrate the applicability
of our framework with two examples inspired by the automotive domain.
acknowledgement: This project has received funding from the European Union’s Horizon
2020 research and innovation programme under grant agreement No 956123 and it was
funded in part by the Austrian Science Fund (FWF) project W1255-N23, by the Austrian
FWF project ZK-35, by the FWF project SpyCoDe 10.55776/F85 and by the ERC-2020-AdG
101020093. This paper extends the text and the results of the manuscript published
at FASE 2022 [1].
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Ezio
full_name: Bartocci, Ezio
last_name: Bartocci
- first_name: Thomas
full_name: Ferrere, Thomas
id: 40960E6E-F248-11E8-B48F-1D18A9856A87
last_name: Ferrere
orcid: 0000-0001-5199-3143
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Dejan
full_name: Nickovic, Dejan
id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
last_name: Nickovic
- first_name: Ana
full_name: Oliveira da Costa, Ana
id: f347ec37-6676-11ee-b395-a888cb7b4fb4
last_name: Oliveira da Costa
orcid: 0000-0002-8741-5799
citation:
ama: Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow
interfaces. Formal Methods in System Design. 2025;66:3-48. doi:10.1007/s10703-024-00447-0
apa: Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da
Costa, A. (2025). Information-flow interfaces. Formal Methods in System Design.
Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
chicago: Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and
Ana Oliveira da Costa. “Information-Flow Interfaces.” Formal Methods in System
Design. Springer Nature, 2025. https://doi.org/10.1007/s10703-024-00447-0.
ieee: E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da
Costa, “Information-flow interfaces,” Formal Methods in System Design,
vol. 66. Springer Nature, pp. 3–48, 2025.
ista: Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025.
Information-flow interfaces. Formal Methods in System Design. 66, 3–48.
mla: Bartocci, Ezio, et al. “Information-Flow Interfaces.” Formal Methods in
System Design, vol. 66, Springer Nature, 2025, pp. 3–48, doi:10.1007/s10703-024-00447-0.
short: E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa,
Formal Methods in System Design 66 (2025) 3–48.
corr_author: '1'
date_created: 2024-06-02T22:00:57Z
date_published: 2025-05-01T00:00:00Z
date_updated: 2025-12-30T06:50:51Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.1007/s10703-024-00447-0
ec_funded: 1
external_id:
arxiv:
- '2002.06465'
isi:
- '001230084200001'
file:
- access_level: open_access
checksum: 244a71a916103b8ea08e9d0bab32bcd9
content_type: application/pdf
creator: dernst
date_created: 2025-12-30T06:50:12Z
date_updated: 2025-12-30T06:50:12Z
file_id: '20879'
file_name: 2025_FormalMethodsSysDesign_Bartocci.pdf
file_size: 3860690
relation: main_file
success: 1
file_date_updated: 2025-12-30T06:50:12Z
has_accepted_license: '1'
intvolume: ' 66'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 3-48
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
- _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e
grant_number: F8502
name: Interface Theory for Security and Privacy
publication: Formal Methods in System Design
publication_identifier:
eissn:
- 1572-8102
issn:
- 0925-9856
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
record:
- id: '11355'
relation: shorter_version
status: public
scopus_import: '1'
status: public
title: Information-flow interfaces
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 66
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '17149'
abstract:
- lang: eng
text: The approximation of a circle with the edges of a fine square grid distorts
the perimeter by a factor about 4/Pi. We prove that this factor is the same on
average (in the ergodic sense) for approximations of any rectifiable curve by
the edges of any non-exotic Delaunay mosaic (known as Voronoi path), and extend
the results to all dimensions, generalizing Voronoi paths to Voronoi scapes.
acknowledgement: "The authors thank Ranita Biswas and Tatiana Ezubova for the collaboration
on computational experiments that motivated the work reported in this paper. The
authors also thank Daniel Bonnema for proofreading and noticing an issue with the
original proof of Lemma 4.3.\r\nOpen access funding provided by Institute of Science
and Technology (IST Austria).\r\nThis project has received funding from the European
Research Council (ERC) under the European Union’s Horizon 2020 research and innovation
programme, Grant No. 788183, from the Wittgenstein Prize, Austrian Science Fund
(FWF), Grant No. Z 342-N31, and from the DFG Collaborative Research Center TRR 109,
‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), Grant No.
I 02979-N35."
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Herbert
full_name: Edelsbrunner, Herbert
id: 3FB178DA-F248-11E8-B48F-1D18A9856A87
last_name: Edelsbrunner
orcid: 0000-0002-9823-6833
- first_name: Anton
full_name: Nikitenko, Anton
id: 3E4FF1BA-F248-11E8-B48F-1D18A9856A87
last_name: Nikitenko
orcid: 0000-0002-0659-3201
citation:
ama: Edelsbrunner H, Nikitenko A. Average and expected distortion of Voronoi paths
and scapes. Discrete & Computational Geometry. 2025;73:490-499. doi:10.1007/s00454-024-00660-y
apa: Edelsbrunner, H., & Nikitenko, A. (2025). Average and expected distortion
of Voronoi paths and scapes. Discrete & Computational Geometry. Springer
Nature. https://doi.org/10.1007/s00454-024-00660-y
chicago: Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion
of Voronoi Paths and Scapes.” Discrete & Computational Geometry. Springer
Nature, 2025. https://doi.org/10.1007/s00454-024-00660-y.
ieee: H. Edelsbrunner and A. Nikitenko, “Average and expected distortion of Voronoi
paths and scapes,” Discrete & Computational Geometry, vol. 73. Springer
Nature, pp. 490–499, 2025.
ista: Edelsbrunner H, Nikitenko A. 2025. Average and expected distortion of Voronoi
paths and scapes. Discrete & Computational Geometry. 73, 490–499.
mla: Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion
of Voronoi Paths and Scapes.” Discrete & Computational Geometry, vol.
73, Springer Nature, 2025, pp. 490–99, doi:10.1007/s00454-024-00660-y.
short: H. Edelsbrunner, A. Nikitenko, Discrete & Computational Geometry 73 (2025)
490–499.
corr_author: '1'
date_created: 2024-06-16T22:01:07Z
date_published: 2025-03-01T00:00:00Z
date_updated: 2026-02-16T12:18:50Z
day: '01'
ddc:
- '510'
department:
- _id: HeEd
doi: 10.1007/s00454-024-00660-y
ec_funded: 1
external_id:
arxiv:
- '2012.03350'
isi:
- '001238566200004'
pmid:
- '39974750'
file:
- access_level: open_access
checksum: ffb0c818222138f9f113f4bbea41e834
content_type: application/pdf
creator: dernst
date_created: 2025-04-23T07:31:32Z
date_updated: 2025-04-23T07:31:32Z
file_id: '19610'
file_name: 2025_DiscreteComputGeom_EdelsbrunnerHe.pdf
file_size: 283443
relation: main_file
success: 1
file_date_updated: 2025-04-23T07:31:32Z
has_accepted_license: '1'
intvolume: ' 73'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 490-499
pmid: 1
project:
- _id: 266A2E9E-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '788183'
name: Alpha Shape Theory Extended
- _id: 268116B8-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: Z00342
name: Mathematics, Computer Science
- _id: 2561EBF4-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: I02979-N35
name: Persistence and stability of geometric complexes
publication: Discrete & Computational Geometry
publication_identifier:
eissn:
- 1432-0444
issn:
- 0179-5376
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Average and expected distortion of Voronoi paths and scapes
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 73
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '17293'
abstract:
- lang: eng
text: Voltage-gated CaV2.1 (P/Q-type) Ca2+ channels play a crucial role in regulating
neurotransmitter release, thus contributing to synaptic plasticity and to processes
such as learning and memory. Despite their recognized importance in neural function,
there is limited information on their potential involvement in neurodegenerative
conditions such as Alzheimer's disease (AD). Here, we aimed to explore the impact
of AD pathology on the density and nanoscale compartmentalization of CaV2.1 channels
in the hippocampus in association with GABAB receptors. Histoblotting experiments
showed that the density of CaV2.1 channel was significantly reduced in the hippocampus
of APP/PS1 mice in a laminar-dependent manner. CaV2.1 channel was enriched in
the active zone of the axon terminals and was present at a very low density over
the surface of dendritic tree of the CA1 pyramidal cells, as shown by quantitative
SDS-digested freeze-fracture replica labelling (SDS-FRL). In APP/PS1 mice, the
density of CaV2.1 channel in the active zone was significantly reduced in the
strata radiatum and lacunosum-moleculare, while it remained unaltered in the stratum
oriens. The decline in Cav2.1 channel density was found to be associated with
a corresponding impairment in the GABAergic synaptic function, as evidenced by
electrophysiological experiments carried out in the hippocampus of APP/PS1 mice.
Remarkably, double SDS-FRL showed a co-clustering of CaV2.1 channel and GABAB1
receptor in nanodomains (~40–50 nm) in wild type mice, while in APP/PS1 mice this
nanoarchitecture was absent. Together, these findings suggest that the AD pathology-induced
reduction in CaV2.1 channel density and CaV2.1-GABAB1 de-clustering may play a
role in the synaptic transmission alterations shown in the AD hippocampus. Therefore,
uncovering these layer-dependent changes in P/Q calcium currents associated with
AD pathology can benefit the development of future strategies for AD management.
acknowledgement: "Funding sources were Spanish Ministerio de Economía y Competitividad,
Junta de Comunidades de Castilla-La Mancha (Spain), Life Science Innovation Center
at University of Fukui and German Research Foundation.\r\nGrants RTI2018-095812-B-I00
and PID2021-125875OB-I00 funded by MCIN/AEI/10.13039/501100011033 and by “ERDF A
way of making Europe” to Rafael Luján. This study was also supported by a grant
from Junta de Comunidades de Castilla-La Mancha (SBPLY/17/180501/000229 and SBPLY/21/180501/000064)
and Universidad de Castilla-La Mancha (2023-GRIN-34187) to Rafael Luján, and Life
Science Innovation Center (Research and Education Program for Life Science) at University
of Fukui and JSPS KAKENHI Grant Numbers 16H04662, 17K19446, 18H05120 to Yugo Fukazawa
and Margarita Salas fellowship from Ministerio de Universidades and Universidad
de Castilla-La Mancha to Alejandro Martín-Belmonte. German Research Foundation (DFG
FOR 2143) and BIOSS-2 to Akos Kulik."
article_number: e13279
article_processing_charge: Yes
article_type: original
author:
- first_name: Alejandro
full_name: Martín‐Belmonte, Alejandro
last_name: Martín‐Belmonte
- first_name: Carolina
full_name: Aguado, Carolina
last_name: Aguado
- first_name: Rocío
full_name: Alfaro‐Ruiz, Rocío
last_name: Alfaro‐Ruiz
- first_name: Akos
full_name: Kulik, Akos
last_name: Kulik
- first_name: Luis
full_name: de la Ossa, Luis
last_name: de la Ossa
- first_name: Ana Esther
full_name: Moreno‐Martínez, Ana Esther
last_name: Moreno‐Martínez
- first_name: Samuel
full_name: Alberquilla, Samuel
last_name: Alberquilla
- first_name: Lucía
full_name: García‐Carracedo, Lucía
last_name: García‐Carracedo
- first_name: Miriam
full_name: Fernández, Miriam
last_name: Fernández
- first_name: Ana
full_name: Fajardo‐Serrano, Ana
last_name: Fajardo‐Serrano
- first_name: Ester
full_name: Aso, Ester
last_name: Aso
- first_name: Ryuichi
full_name: Shigemoto, Ryuichi
id: 499F3ABC-F248-11E8-B48F-1D18A9856A87
last_name: Shigemoto
orcid: 0000-0001-8761-9444
- first_name: Eduardo D.
full_name: Martín, Eduardo D.
last_name: Martín
- first_name: Yugo
full_name: Fukazawa, Yugo
last_name: Fukazawa
- first_name: Francisco
full_name: Ciruela, Francisco
last_name: Ciruela
- first_name: Rafael
full_name: Luján, Rafael
last_name: Luján
citation:
ama: 'Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, et al. Nanoarchitecture of CaV>2.1
channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology.
Brain Pathology. 2025;35(2). doi:10.1111/bpa.13279'
apa: 'Martín‐Belmonte, A., Aguado, C., Alfaro‐Ruiz, R., Kulik, A., de la Ossa, L.,
Moreno‐Martínez, A. E., … Luján, R. (2025). Nanoarchitecture of CaV>2.1 channels
and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. Brain
Pathology. Wiley. https://doi.org/10.1111/bpa.13279'
chicago: 'Martín‐Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro‐Ruiz, Akos Kulik,
Luis de la Ossa, Ana Esther Moreno‐Martínez, Samuel Alberquilla, et al. “Nanoarchitecture
of CaV>2.1 Channels and GABAB Receptors in the Mouse Hippocampus: Impact of
APP/PS1 Pathology.” Brain Pathology. Wiley, 2025. https://doi.org/10.1111/bpa.13279.'
ieee: 'A. Martín‐Belmonte et al., “Nanoarchitecture of CaV>2.1 channels
and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology,” Brain
Pathology, vol. 35, no. 2. Wiley, 2025.'
ista: 'Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, Kulik A, de la Ossa L, Moreno‐Martínez
AE, Alberquilla S, García‐Carracedo L, Fernández M, Fajardo‐Serrano A, Aso E,
Shigemoto R, Martín ED, Fukazawa Y, Ciruela F, Luján R. 2025. Nanoarchitecture
of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of
APP/PS1 pathology. Brain Pathology. 35(2), e13279.'
mla: 'Martín‐Belmonte, Alejandro, et al. “Nanoarchitecture of CaV>2.1 Channels
and GABAB Receptors in the Mouse Hippocampus: Impact of APP/PS1 Pathology.” Brain
Pathology, vol. 35, no. 2, e13279, Wiley, 2025, doi:10.1111/bpa.13279.'
short: A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E.
Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano,
E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology
35 (2025).
date_created: 2024-07-22T07:48:20Z
date_published: 2025-03-01T00:00:00Z
date_updated: 2025-05-19T13:58:12Z
day: '01'
ddc:
- '570'
department:
- _id: RySh
doi: 10.1111/bpa.13279
external_id:
isi:
- '001250034200001'
pmid:
- '38887180'
file:
- access_level: open_access
checksum: 75a172800ab2e949abb66fba97cf70f0
content_type: application/pdf
creator: dernst
date_created: 2025-04-16T09:56:08Z
date_updated: 2025-04-16T09:56:08Z
file_id: '19582'
file_name: 2025_BrainPathology_MartinBelmonte.pdf
file_size: 8767863
relation: main_file
success: 1
file_date_updated: 2025-04-16T09:56:08Z
has_accepted_license: '1'
intvolume: ' 35'
isi: 1
issue: '2'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc-nd/4.0/
month: '03'
oa: 1
oa_version: Published Version
pmid: 1
publication: Brain Pathology
publication_identifier:
eissn:
- 1750-3639
issn:
- 1015-6305
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus:
Impact of APP/PS1 pathology'
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 35
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '17459'
abstract:
- lang: eng
text: Atopic dermatitis (AD) is the most common chronic inflammatory skin disease
worldwide. AD is a highly complex disease with different subtypes. Many elements
of AD pathophysiology have been described, but if/how they interact with each
other or which mechanisms are important in which patients is still unclear. Langerhans
cells (LCs) are antigen-presenting cells (APCs) in the epidermis. Depending on
the context, they can act either pro- or anti-inflammatory. Many different studies
have investigated LCs in the context of AD and found them to be connected to all
major mechanisms of AD pathophysiology. As APCs, LCs recruit other immune cells
and shape the immune response, especially adaptive immunity via polarization of
T cells. As sentinel cells, LCs are primary sensors of the skin microbiome and
are important for the decision of immunity versus tolerance. LCs are also involved
with the integrity of the skin barrier by influencing tight junctions. Finally,
LCs are important cells in the neuro-immune crosstalk in the skin. In this review,
we provide an overview about the many different roles of LCs in AD. Understanding
LCs might bring us closer to a more complete understanding of this highly complex
disease. Potentially, modulating LCs might offer new options for targeted therapies
for AD patients.
acknowledgement: This work was supported by the CK-CARE of the KühneFoundation, Switzerland;
the China Scholarship Counciland Shanghai Biocelline Enterprise Co. Ltd, China.
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Yi
full_name: Pan, Yi
last_name: Pan
- first_name: Mathias
full_name: Hochgerner, Mathias
last_name: Hochgerner
- first_name: Malgorzata Anna
full_name: Cichon, Malgorzata Anna
id: d63197a3-c188-11ed-9387-8d33a3f13871
last_name: Cichon
- first_name: Theresa
full_name: Benezeder, Theresa
last_name: Benezeder
- first_name: Thomas
full_name: Bieber, Thomas
last_name: Bieber
- first_name: Peter
full_name: Wolf, Peter
last_name: Wolf
citation:
ama: 'Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. Langerhans
cells: Central players in the pathophysiology of atopic dermatitis. Journal
of the European Academy of Dermatology and Venereology. 2025;39(2):278-289.
doi:10.1111/jdv.20291'
apa: 'Pan, Y., Hochgerner, M., Cichon, M. A., Benezeder, T., Bieber, T., & Wolf,
P. (2025). Langerhans cells: Central players in the pathophysiology of atopic
dermatitis. Journal of the European Academy of Dermatology and Venereology.
Wiley. https://doi.org/10.1111/jdv.20291'
chicago: 'Pan, Yi, Mathias Hochgerner, Malgorzata Anna Cichon, Theresa Benezeder,
Thomas Bieber, and Peter Wolf. “Langerhans Cells: Central Players in the Pathophysiology
of Atopic Dermatitis.” Journal of the European Academy of Dermatology and Venereology.
Wiley, 2025. https://doi.org/10.1111/jdv.20291.'
ieee: 'Y. Pan, M. Hochgerner, M. A. Cichon, T. Benezeder, T. Bieber, and P. Wolf,
“Langerhans cells: Central players in the pathophysiology of atopic dermatitis,”
Journal of the European Academy of Dermatology and Venereology, vol. 39,
no. 2. Wiley, pp. 278–289, 2025.'
ista: 'Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. 2025. Langerhans
cells: Central players in the pathophysiology of atopic dermatitis. Journal of
the European Academy of Dermatology and Venereology. 39(2), 278–289.'
mla: 'Pan, Yi, et al. “Langerhans Cells: Central Players in the Pathophysiology
of Atopic Dermatitis.” Journal of the European Academy of Dermatology and Venereology,
vol. 39, no. 2, Wiley, 2025, pp. 278–89, doi:10.1111/jdv.20291.'
short: Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal
of the European Academy of Dermatology and Venereology 39 (2025) 278–289.
date_created: 2024-08-25T22:01:07Z
date_published: 2025-02-01T00:00:00Z
date_updated: 2025-05-19T13:58:50Z
day: '01'
ddc:
- '570'
department:
- _id: MiSi
doi: 10.1111/jdv.20291
external_id:
isi:
- '001292894900001'
pmid:
- '39157943'
file:
- access_level: open_access
checksum: 12555ddb3490daf10b8d44e334e7312e
content_type: application/pdf
creator: dernst
date_created: 2025-04-16T09:59:37Z
date_updated: 2025-04-16T09:59:37Z
file_id: '19583'
file_name: 2025_JEADV_Pan.pdf
file_size: 457698
relation: main_file
success: 1
file_date_updated: 2025-04-16T09:59:37Z
has_accepted_license: '1'
intvolume: ' 39'
isi: 1
issue: '2'
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
page: 278-289
pmid: 1
publication: Journal of the European Academy of Dermatology and Venereology
publication_identifier:
eissn:
- 1468-3083
issn:
- 0926-9959
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Langerhans cells: Central players in the pathophysiology of atopic dermatitis'
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 39
year: '2025'
...
---
DOAJ_listed: '1'
OA_place: publisher
OA_type: gold
_id: '8616'
abstract:
- lang: eng
text: The brain vasculature supplies neurons with glucose and oxygen, but little
is known about how vascular plasticity contributes to brain function. Using longitudinal
in vivo imaging, we report that a substantial proportion of blood vessels in the
adult mouse brain sporadically occlude and regress. Their regression proceeds
through sequential stages of blood-flow occlusion, endothelial cell collapse,
relocation or loss of pericytes, and retraction of glial endfeet. Regressing vessels
are found to be widespread in mouse, monkey and human brains. We further reveal
that blood vessel regression cause a reduction of neuronal activity due to a dysfunction
in mitochondrial metabolism and glutamate production. Our results elucidate the
mechanism of vessel regression and its role in neuronal function in the adult
brain.
acknowledgement: 'The project was initiated in the Jan lab at UCSF. We thank Lily
Jan and Yuh-Nung Jan’s generous support. We thank Liqun Luo’s lab for providing
MADM-7 mice and Rolf A Brekken for VEGF-antibodies. Drs. Yuanquan Song (UPenn),
Zhaozhu Hu (JHU), Ji Hu (ShanghaiTech), Yang Xiang (U. Mass), Hao Wang (Zhejiang
U.) and Ruikang Wang (U. Washington) for critical input, colleagues at Children’s
Research Institute, Departments of Neuroscience, Neurology and Neurotherapeutics,
Pediatrics from UT Southwestern, and colleagues from the Jan lab for discussion.
Dr. Bridget Samuels, Sean Morrison (UT Southwestern), and Nannan Lu (Zhejiang U.)
for critical reading. We acknowledge the assistance of the CIBR Imaging core. We
also thank UT Southwestern Live Cell Imaging Facility, a Shared Resource of the
Harold C. Simmons Cancer Center, supported in part by an NCI Cancer Center Support
Grant, P30 CA142543K. This work is supported by CIBR funds and the American Heart
Association AWRP Summer 2016 Innovative Research Grant (17IRG33410377) to W-P.G.;
National Natural Science Foundation of China (No.81370031) to Z.Z.;National Key
Research and Development Program of China (2016YFE0125400)to F.H.;National Natural
Science Foundations of China (No. 81473202) to Y.L.; National Natural Science Foundation
of China (No.31600839) and Shenzhen Science and Technology Research Program (JCYJ20170818163320865)
to B.P.; National Natural Science Foundation of China (No. 31800864) and Westlake
University start-up funds to J-M. J. NIH R01NS088627 to W.L.J.; NIH: R01 AG020670
and RF1AG054111 to H.Z.; R01 NS088555 to A.M.S., and European Research Council No.725780
to S.H.;W-P.G. was a recipient of Bugher-American Heart Association Dan Adams Thinking
Outside the Box Award.'
article_number: '5840'
article_processing_charge: Yes
article_type: original
author:
- first_name: Xiaofei
full_name: Gao, Xiaofei
last_name: Gao
- first_name: Jun-Liszt
full_name: Li, Jun-Liszt
last_name: Li
- first_name: Xingjun
full_name: Chen, Xingjun
last_name: Chen
- first_name: Bo
full_name: Ci, Bo
last_name: Ci
- first_name: Fei
full_name: Chen, Fei
last_name: Chen
- first_name: Nannan
full_name: Lu, Nannan
last_name: Lu
- first_name: Bo
full_name: Shen, Bo
last_name: Shen
- first_name: Lijun
full_name: Zheng, Lijun
last_name: Zheng
- first_name: Jie-Min
full_name: Jia, Jie-Min
last_name: Jia
- first_name: Yating
full_name: Yi, Yating
last_name: Yi
- first_name: Shiwen
full_name: Zhang, Shiwen
last_name: Zhang
- first_name: Ying-Chao
full_name: Shi, Ying-Chao
last_name: Shi
- first_name: Kaibin
full_name: Shi, Kaibin
last_name: Shi
- first_name: Nicholas E
full_name: Propson, Nicholas E
last_name: Propson
- first_name: Yubin
full_name: Huang, Yubin
last_name: Huang
- first_name: Katherine
full_name: Poinsatte, Katherine
last_name: Poinsatte
- first_name: Zhaohuan
full_name: Zhang, Zhaohuan
last_name: Zhang
- first_name: Yuanlei
full_name: Yue, Yuanlei
last_name: Yue
- first_name: Dale B
full_name: Bosco, Dale B
last_name: Bosco
- first_name: Ying-mei
full_name: Lu, Ying-mei
last_name: Lu
- first_name: Shi-bing
full_name: Yang, Shi-bing
last_name: Yang
- first_name: Ralf H.
full_name: Adams, Ralf H.
last_name: Adams
- first_name: Volkhard
full_name: Lindner, Volkhard
last_name: Lindner
- first_name: Fen
full_name: Huang, Fen
last_name: Huang
- first_name: Long-Jun
full_name: Wu, Long-Jun
last_name: Wu
- first_name: Hui
full_name: Zheng, Hui
last_name: Zheng
- first_name: Feng
full_name: Han, Feng
last_name: Han
- first_name: Simon
full_name: Hippenmeyer, Simon
id: 37B36620-F248-11E8-B48F-1D18A9856A87
last_name: Hippenmeyer
orcid: 0000-0003-2279-1061
- first_name: Ann M.
full_name: Stowe, Ann M.
last_name: Stowe
- first_name: Bo
full_name: Peng, Bo
last_name: Peng
- first_name: Marta
full_name: Margeta, Marta
last_name: Margeta
- first_name: Xiaoqun
full_name: Wang, Xiaoqun
last_name: Wang
- first_name: Qiang
full_name: Liu, Qiang
last_name: Liu
- first_name: Jakob
full_name: Körbelin, Jakob
last_name: Körbelin
- first_name: Martin
full_name: Trepel, Martin
last_name: Trepel
- first_name: Hui
full_name: Lu, Hui
last_name: Lu
- first_name: Bo O.
full_name: Zhou, Bo O.
last_name: Zhou
- first_name: Hu
full_name: Zhao, Hu
last_name: Zhao
- first_name: Wenzhi
full_name: Su, Wenzhi
last_name: Su
- first_name: Robert M.
full_name: Bachoo, Robert M.
last_name: Bachoo
- first_name: Woo-ping
full_name: Ge, Woo-ping
last_name: Ge
citation:
ama: Gao X, Li J-L, Chen X, et al. Reduction of neuronal activity mediated by blood-vessel
regression in the brain. Nature Communications. 2025;16. doi:10.1038/s41467-025-60308-0
apa: Gao, X., Li, J.-L., Chen, X., Ci, B., Chen, F., Lu, N., … Ge, W. (2025). Reduction
of neuronal activity mediated by blood-vessel regression in the brain. Nature
Communications. Springer Nature. https://doi.org/10.1038/s41467-025-60308-0
chicago: Gao, Xiaofei, Jun-Liszt Li, Xingjun Chen, Bo Ci, Fei Chen, Nannan Lu, Bo
Shen, et al. “Reduction of Neuronal Activity Mediated by Blood-Vessel Regression
in the Brain.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-60308-0.
ieee: X. Gao et al., “Reduction of neuronal activity mediated by blood-vessel
regression in the brain,” Nature Communications, vol. 16. Springer Nature,
2025.
ista: Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y,
Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco
DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer
S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou
BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated
by blood-vessel regression in the brain. Nature Communications. 16, 5840.
mla: Gao, Xiaofei, et al. “Reduction of Neuronal Activity Mediated by Blood-Vessel
Regression in the Brain.” Nature Communications, vol. 16, 5840, Springer
Nature, 2025, doi:10.1038/s41467-025-60308-0.
short: X. Gao, J.-L. Li, X. Chen, B. Ci, F. Chen, N. Lu, B. Shen, L. Zheng, J.-M.
Jia, Y. Yi, S. Zhang, Y.-C. Shi, K. Shi, N.E. Propson, Y. Huang, K. Poinsatte,
Z. Zhang, Y. Yue, D.B. Bosco, Y. Lu, S. Yang, R.H. Adams, V. Lindner, F. Huang,
L.-J. Wu, H. Zheng, F. Han, S. Hippenmeyer, A.M. Stowe, B. Peng, M. Margeta, X.
Wang, Q. Liu, J. Körbelin, M. Trepel, H. Lu, B.O. Zhou, H. Zhao, W. Su, R.M. Bachoo,
W. Ge, Nature Communications 16 (2025).
date_created: 2020-10-06T08:58:59Z
date_published: 2025-07-01T00:00:00Z
date_updated: 2025-09-04T07:08:37Z
day: '01'
ddc:
- '570'
department:
- _id: SiHi
doi: 10.1038/s41467-025-60308-0
ec_funded: 1
external_id:
isi:
- '001523450500035'
file:
- access_level: open_access
checksum: f59748cb67232cfb210035d9aef60836
content_type: application/pdf
creator: dernst
date_created: 2025-07-07T09:52:46Z
date_updated: 2025-07-07T09:52:46Z
file_id: '19971'
file_name: 2025_NatureComm_Gao.pdf
file_size: 17018106
relation: main_file
success: 1
file_date_updated: 2025-07-07T09:52:46Z
has_accepted_license: '1'
intvolume: ' 16'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
project:
- _id: 260018B0-B435-11E9-9278-68D0E5697425
call_identifier: H2020
grant_number: '725780'
name: Principles of Neural Stem Cell Lineage Progression in Cerebral Cortex Development
publication: Nature Communications
publication_identifier:
eissn:
- 2041-1723
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Reduction of neuronal activity mediated by blood-vessel regression in the brain
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 16
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
_id: '21020'
abstract:
- lang: eng
text: "Runtime verification offers scalable solutions to improve the safety and
reliability of systems. However, systems that require verification or monitoring
by a third party to ensure compliance with a specification might contain sensitive
information, causing privacy concerns when usual runtime verification approaches
are used. Privacy is compromised if protected information about the system, or
sensitive data that is processed by the system, is revealed. In addition, revealing
the specification being monitored may undermine the essence of third-party verification.\r\nIn
this work, we propose two novel protocols for the privacy-preserving runtime verification
of systems against formal sequential specifications. In our first protocol, the
monitor verifies whether the system satisfies the specification without learning
anything else, though both parties are aware of the specification. Our second
protocol ensures that the system remains oblivious to the monitored specification,
while the monitor learns only whether the system satisfies the specification and
nothing more. Our protocols adapt and improve existing techniques used in cryptography,
and more specifically, multi-party computation.\r\nThe sequential specification
defines the observation step of the monitor, whose granularity depends on the
situation (e.g., banks may be monitored on a daily basis). Our protocols exchange
a single message per observation step, after an initialisation phase. This design
minimises communication overhead, enabling relatively lightweight privacy-preserving
monitoring. We implement our approach for monitoring specifications described
by register automata and evaluate it experimentally."
acknowledgement: This work is a part of projects VAMOS that has received fund-ing
from the European Research Council (ERC), grant agreementNo 101020093 and the Austrian
Science Fund (FWF) SFB projectSpyCoDe F8502.We thank anonymous reviewers for pointing
us to related work [ 3] and for their valuable suggestions that improved this paper.
article_processing_charge: Yes (via OA deal)
arxiv: 1
author:
- first_name: Thomas A
full_name: Henzinger, Thomas A
id: 40876CD8-F248-11E8-B48F-1D18A9856A87
last_name: Henzinger
orcid: 0000-0002-2985-7724
- first_name: Mahyar
full_name: Karimi, Mahyar
id: 6e5417ba-5355-11ee-ae5a-94c2e510b26b
last_name: Karimi
orcid: 0009-0005-0820-1696
- first_name: K. S.
full_name: Thejaswini, K. S.
id: 3807fb92-fdc1-11ee-bb4a-b4d8a431c753
last_name: Thejaswini
citation:
ama: 'Henzinger TA, Karimi M, Thejaswini KS. Privacy-preserving runtime verification.
In: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications
Security. Association for Computing Machinery; 2025:2774-2787. doi:10.1145/3719027.3765137'
apa: 'Henzinger, T. A., Karimi, M., & Thejaswini, K. S. (2025). Privacy-preserving
runtime verification. In Proceedings of the 2025 ACM SIGSAC Conference on Computer
and Communications Security (pp. 2774–2787). Taipei, Taiwan: Association for
Computing Machinery. https://doi.org/10.1145/3719027.3765137'
chicago: Henzinger, Thomas A, Mahyar Karimi, and K. S. Thejaswini. “Privacy-Preserving
Runtime Verification.” In Proceedings of the 2025 ACM SIGSAC Conference on
Computer and Communications Security, 2774–87. Association for Computing Machinery,
2025. https://doi.org/10.1145/3719027.3765137.
ieee: T. A. Henzinger, M. Karimi, and K. S. Thejaswini, “Privacy-preserving runtime
verification,” in Proceedings of the 2025 ACM SIGSAC Conference on Computer
and Communications Security, Taipei, Taiwan, 2025, pp. 2774–2787.
ista: 'Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification.
Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security.
CCS: Conference on Computer and Communications Security, 2774–2787.'
mla: Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” Proceedings
of the 2025 ACM SIGSAC Conference on Computer and Communications Security,
Association for Computing Machinery, 2025, pp. 2774–87, doi:10.1145/3719027.3765137.
short: T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025
ACM SIGSAC Conference on Computer and Communications Security, Association for
Computing Machinery, 2025, pp. 2774–2787.
conference:
end_date: 2025-10-17
location: Taipei, Taiwan
name: 'CCS: Conference on Computer and Communications Security'
start_date: 2025-10-13
corr_author: '1'
date_created: 2026-01-20T10:17:10Z
date_published: 2025-11-22T00:00:00Z
date_updated: 2026-03-13T13:37:19Z
day: '22'
ddc:
- '000'
department:
- _id: ToHe
- _id: GradSch
doi: 10.1145/3719027.3765137
ec_funded: 1
external_id:
arxiv:
- '2505.09276'
file:
- access_level: open_access
checksum: 615ffddab6c7285158c2953acec6fa6f
content_type: application/pdf
creator: dernst
date_created: 2026-01-21T07:34:58Z
date_updated: 2026-01-21T07:34:58Z
file_id: '21024'
file_name: 2025_CCS_HenzingerT.pdf
file_size: 1241912
relation: main_file
success: 1
file_date_updated: 2026-01-21T07:34:58Z
has_accepted_license: '1'
language:
- iso: eng
month: '11'
oa: 1
oa_version: Published Version
page: 2774-2787
project:
- _id: 62781420-2b32-11ec-9570-8d9b63373d4d
call_identifier: H2020
grant_number: '101020093'
name: Vigilant Algorithmic Monitoring of Software
- _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e
grant_number: F8502
name: Interface Theory for Security and Privacy
publication: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications
Security
publication_identifier:
isbn:
- '9798400715259'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
related_material:
record:
- id: '21401'
relation: dissertation_contains
status: public
scopus_import: '1'
status: public
title: Privacy-preserving runtime verification
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '21435'
abstract:
- lang: eng
text: Multiferroic materials, in which electric polarization and magnetic order
coexist and couple, offer rich opportunities for both fundamental discovery and
technology. However, multiferroicity remains rare due to conflicting electronic
requirements for ferroelectricity and magnetism. One route to circumvent this
challenge is to exploit the noncollinear ordering of spin cycloids, whose symmetry
permits the emergence of polar order. In this work, we introduce another pathway
to multiferroic order in which strain generates polarization in materials that
host nonpolar spin spirals. To demonstrate this phenomenon, we chose the spin
spiral in the well-studied helimagnet Cr1/3NbS2. To detect the induced polarization,
we introduce the technique of magnetoelectric birefringence (MEB), an optical
probe that enables spatially-resolved and unambiguous detection of polar order.
By combining MEB imaging with strain engineering, we confirm the onset of a polar
vector at the magnetic transition, establishing strained Cr1/3NbS2 as a type-II
multiferroic.
acknowledgement: "Y.S., V.S. and J.O. received support from the Gordon and Betty Moore
Foundation’s\r\nEPiQS Initiative through Grant GBMF4537 to J.O. at UC Berkeley.
Experimental and theoretical work at LBNL and UC Berkeley was funded by the Quantum
Materials (KC2202) program under the U.S. Department of Energy, Office of Science,
Office of Basic Energy Sciences,\r\nMaterials Sciences and Engineering Division
under Contract No. DE-AC02-05CH11231.\r\nY.S. also acknowledges support by the David
J. Thouless Postdoctoral Fellowship at the\r\nDepartment of Physics, University
of Washington. DGM acknowledges support from the\r\nGordon and Betty Moore Foundation’s
EPiQS Initiative, Grant GBMF9069. L.Z. acknowledges the support from the U.S. Department
of Energy (DOE), Office of Science, Basic\r\nEnergy Science (BES), under award No.
DE-SC0024145"
article_number: '2510.11619'
article_processing_charge: No
arxiv: 1
author:
- first_name: Y.
full_name: Sun, Y.
last_name: Sun
- first_name: Y.
full_name: Ahn, Y.
last_name: Ahn
- first_name: D.
full_name: Sapkota, D.
last_name: Sapkota
- first_name: H. S.
full_name: Arachchige, H. S.
last_name: Arachchige
- first_name: R.
full_name: Xue, R.
last_name: Xue
- first_name: S.
full_name: Mozaffari, S.
last_name: Mozaffari
- first_name: D. G.
full_name: Mandrus, D. G.
last_name: Mandrus
- first_name: L.
full_name: Zhao, L.
last_name: Zhao
- first_name: J.
full_name: Orenstein, J.
last_name: Orenstein
- first_name: Veronika
full_name: Sunko, Veronika
id: 23cb1cf6-2c7a-11ef-91a4-f72fc19f20b3
last_name: Sunko
orcid: 0000-0003-2724-3523
citation:
ama: Sun Y, Ahn Y, Sapkota D, et al. Strain-induced multiferroicity in Cr1/3NbS2.
arXiv. doi:10.48550/arXiv.2510.11619
apa: Sun, Y., Ahn, Y., Sapkota, D., Arachchige, H. S., Xue, R., Mozaffari, S., …
Sunko, V. (n.d.). Strain-induced multiferroicity in Cr1/3NbS2. arXiv. https://doi.org/10.48550/arXiv.2510.11619
chicago: Sun, Y., Y. Ahn, D. Sapkota, H. S. Arachchige, R. Xue, S. Mozaffari, D.
G. Mandrus, L. Zhao, J. Orenstein, and Veronika Sunko. “Strain-Induced Multiferroicity
in Cr1/3NbS2.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2510.11619.
ieee: Y. Sun et al., “Strain-induced multiferroicity in Cr1/3NbS2,” arXiv.
.
ista: Sun Y, Ahn Y, Sapkota D, Arachchige HS, Xue R, Mozaffari S, Mandrus DG, Zhao
L, Orenstein J, Sunko V. Strain-induced multiferroicity in Cr1/3NbS2. arXiv, 2510.11619.
mla: Sun, Y., et al. “Strain-Induced Multiferroicity in Cr1/3NbS2.” ArXiv,
2510.11619, doi:10.48550/arXiv.2510.11619.
short: Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus,
L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
corr_author: '1'
date_created: 2026-03-11T10:39:44Z
date_published: 2025-10-13T00:00:00Z
date_updated: 2026-03-16T08:43:57Z
day: '13'
department:
- _id: VeSu
doi: 10.48550/arXiv.2510.11619
external_id:
arxiv:
- '2510.11619'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2510.11619
month: '10'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Strain-induced multiferroicity in Cr1/3NbS2
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: repository
OA_type: green
_id: '21437'
abstract:
- lang: eng
text: Altermagnets are a class of collinear magnets that exhibit non-relativistic
spin splitting (NRSS) of electronic bands in the absence of net magnetization.
Their potential to generate large spin polarization without spin-orbit coupling
has created strong interest in probes that access the underlying order parameter
directly. In this Perspective, we show that linear magneto-birefringence (LMB)
provides a natural and broadly applicable route to detecting altermagnetic order.
Building on the correspondence between the momentum-space structure of NRSS and
the ferroic ordering of magnetic multipoles in real space, we demonstrate how
$d$-wave and $g$-wave NRSS textures yield distinct LMB responses. We present a
symmetry-based framework that identifies the optical geometries and field configurations
required to isolate specific multipole components, enabling domain imaging and
providing benchmarks for theoretical models of LMB.
acknowledgement: We thank Nicola Spaldin for valuable discussions. J.O. received support
from the Quantum Materials (KC2202) program under the U.S. Department of Energy,
Office of Science, Office of Basic Energy Sciences, Materials Sciences and Engineering
Division under Contract No. DE-AC02-05CH11231, and the Gordon and Betty Moore Foundation’s
EPiQS Initiative through Grant GBMF4537 to J.O. at UC Berkeley.
article_number: '2511.16421'
article_processing_charge: No
arxiv: 1
author:
- first_name: Veronika
full_name: Sunko, Veronika
id: 23cb1cf6-2c7a-11ef-91a4-f72fc19f20b3
last_name: Sunko
orcid: 0000-0003-2724-3523
- first_name: J.
full_name: Orenstein, J.
last_name: Orenstein
citation:
ama: Sunko V, Orenstein J. Linear magneto-birefringence as a probe of altermagnetism.
arXiv. doi:10.48550/arXiv.2511.16421
apa: Sunko, V., & Orenstein, J. (n.d.). Linear magneto-birefringence as a probe
of altermagnetism. arXiv. https://doi.org/10.48550/arXiv.2511.16421
chicago: Sunko, Veronika, and J. Orenstein. “Linear Magneto-Birefringence as a Probe
of Altermagnetism.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2511.16421.
ieee: V. Sunko and J. Orenstein, “Linear magneto-birefringence as a probe of altermagnetism,”
arXiv. .
ista: Sunko V, Orenstein J. Linear magneto-birefringence as a probe of altermagnetism.
arXiv, 2511.16421.
mla: Sunko, Veronika, and J. Orenstein. “Linear Magneto-Birefringence as a Probe
of Altermagnetism.” ArXiv, 2511.16421, doi:10.48550/arXiv.2511.16421.
short: V. Sunko, J. Orenstein, ArXiv (n.d.).
corr_author: '1'
date_created: 2026-03-11T10:40:08Z
date_published: 2025-11-20T00:00:00Z
date_updated: 2026-03-16T08:52:35Z
day: '20'
department:
- _id: VeSu
doi: 10.48550/arXiv.2511.16421
external_id:
arxiv:
- '2511.16421'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2511.16421
month: '11'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: submitted
status: public
title: Linear magneto-birefringence as a probe of altermagnetism
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
_id: '20842'
abstract:
- lang: eng
text: Probing the possibility of entanglement generation through gravity offers
a path to tackle the question of whether gravitational fields possess a quantum
mechanical nature. A potential realization necessitates systems with low-frequency
dynamics at an optimal mass scale, for which the microgram-to-milligram range
is a strong contender. Here, after refining a figure-of-merit for the problem,
we present a 1-milligram torsional pendulum operating at 18 Hz. We demonstrate
laser cooling its motion from room temperature to 240~microkelvins, surpassing
by over 20-fold the coldest motions attained for oscillators ranging from micrograms
to kilograms. We quantify and contrast the utility of the current approach with
other platforms. The achieved performance and large improvement potential highlight
milligram-scale torsional pendulums as a powerful platform for precision measurements
relevant to future studies at the quantum-gravity interface.
article_processing_charge: No
author:
- first_name: Sofya
full_name: Agafonova, Sofya
id: 09501ff6-dca7-11ea-a8ae-b3e0b9166e80
last_name: Agafonova
orcid: 0000-0003-0582-2946
citation:
ama: 'Agafonova S. Research Data for: “One-milligram torsional pendulum toward experiments
at the quantum-gravity interface.” 2025. doi:10.15479/AT-ISTA-20842'
apa: 'Agafonova, S. (2025). Research Data for: “One-milligram torsional pendulum
toward experiments at the quantum-gravity interface.” Institute of Science and
Technology Austria. https://doi.org/10.15479/AT-ISTA-20842'
chicago: 'Agafonova, Sofia. “Research Data for: ‘One-Milligram Torsional Pendulum
toward Experiments at the Quantum-Gravity Interface.’” Institute of Science and
Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20842.'
ieee: 'S. Agafonova, “Research Data for: ‘One-milligram torsional pendulum toward
experiments at the quantum-gravity interface.’” Institute of Science and Technology
Austria, 2025.'
ista: 'Agafonova S. 2025. Research Data for: ‘One-milligram torsional pendulum toward
experiments at the quantum-gravity interface’, Institute of Science and Technology
Austria, 10.15479/AT-ISTA-20842.'
mla: 'Agafonova, Sofia. Research Data for: “One-Milligram Torsional Pendulum
toward Experiments at the Quantum-Gravity Interface.” Institute of Science
and Technology Austria, 2025, doi:10.15479/AT-ISTA-20842.'
short: S. Agafonova, (2025).
contributor:
- first_name: Pere
last_name: Rosello
- first_name: Manuel
last_name: Mekonnen
- contributor_type: supervisor
first_name: Onur
id: 4C02D85E-F248-11E8-B48F-1D18A9856A87
last_name: Hosten
orcid: 0000-0002-2031-204X
corr_author: '1'
date_created: 2025-12-21T14:23:50Z
date_published: 2025-12-22T00:00:00Z
date_updated: 2026-03-16T10:09:21Z
day: '22'
department:
- _id: GradSch
- _id: OnHo
doi: 10.15479/AT-ISTA-20842
file:
- access_level: open_access
checksum: 7af34e4226a00cdcb7f154272050e217
content_type: application/x-zip-compressed
creator: sagafono
date_created: 2025-12-22T13:45:30Z
date_updated: 2025-12-22T13:45:30Z
file_id: '20854'
file_name: AllData.zip
file_size: 146656591
relation: main_file
success: 1
- access_level: open_access
checksum: 71806a2ef9fb26ad7b78e04c6754ee4e
content_type: application/x-zip-compressed
creator: sagafono
date_created: 2025-12-22T13:45:33Z
date_updated: 2025-12-22T13:45:33Z
file_id: '20855'
file_name: SourceData.zip
file_size: 93470129
relation: main_file
success: 1
- access_level: open_access
checksum: 08facd1b4a102f83e4d99d48a85b258d
content_type: text/plain
creator: sagafono
date_created: 2025-12-22T13:51:09Z
date_updated: 2025-12-22T13:51:09Z
file_id: '20856'
file_name: readme.txt
file_size: 461
relation: main_file
success: 1
file_date_updated: 2025-12-22T13:51:09Z
has_accepted_license: '1'
month: '12'
oa: 1
oa_version: None
project:
- _id: bdb2a702-d553-11ed-ba76-f12e3e5a3bc6
grant_number: '101087907'
name: 'A quantum hybrid of atoms and milligram-scale pendulums: towards gravitational
quantum mechanics'
publisher: Institute of Science and Technology Austria
related_material:
record:
- id: '20840'
relation: used_in_publication
status: public
status: public
title: 'Research Data for: ''One-milligram torsional pendulum toward experiments at
the quantum-gravity interface'''
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: research_data
user_id: 68b8ca59-c5b3-11ee-8790-cd641c68093d
year: '2025'
...
---
APC_amount: 12348 EUR
OA_place: publisher
OA_type: hybrid
_id: '17884'
abstract:
- lang: eng
text: Human T cell leukemia virus type 1 (HTLV-1) immature particles differ in morphology
from other retroviruses, suggesting a distinct way of assembly. Here we report
the results of cryo-electron tomography studies of HTLV-1 virus-like particles
assembled in vitro, as well as derived from cells. This work shows that HTLV-1
uses a distinct mechanism of Gag–Gag interactions to form the immature viral lattice.
Analysis of high-resolution structural information from immature capsid (CA) tubular
arrays reveals that the primary stabilizing component in HTLV-1 is the N-terminal
domain of CA. Mutagenesis analysis supports this observation. This distinguishes
HTLV-1 from other retroviruses, in which the stabilization is provided primarily
by the C-terminal domain of CA. These results provide structural details of the
quaternary arrangement of Gag for an immature deltaretrovirus and this helps explain
why HTLV-1 particles are morphologically distinct.
acknowledged_ssus:
- _id: ScienComp
- _id: LifeSc
- _id: EM-Fac
acknowledgement: This work was funded by the Institute of Science and Technology Austria
(ISTA) and the Austrian Science Fund (grant P31445 to F.K.M.S.). Access to high-resolution
cryo-ET data acquisition at European Molecular Biology Laboratory (EMBL) Heidelberg
was supported through the EMBL cryo-EM platform. We thank V.-V. Hodirnau at ISTA
and W. Hagen and F. Weis at EMBL Heidelberg for support in cryo-ET data acquisition.
This research was also supported by the scientific service units of ISTA through
resources provided by Scientific Computing, the Life Science Facility, and the EM
Facility. L.M.M. was supported by National Institutes of Health grants R01 GM151775
and R21 DE032878 and by the University of Minnesota Masonic Cancer Center. D.P.
was supported by the DOC doctoral fellowship program of the Austrian Academy of
Sciences. R.A.D was supported by the National Institute of Allergy and Infectious
Diseases (grant R01AI147890). The funders had no role in study design, data collection
and analysis, decision to publish or preparation of the manuscript. Specifically,
we also want to thank A. Schlögl for computational support and J. Hansen and V.
Vogt for critical comments on the manuscript. We also thank the other members of
the Schur lab for helpful discussions and experimental advice.
article_processing_charge: Yes (in subscription journal)
article_type: original
author:
- first_name: Martin
full_name: Obr, Martin
id: 4741CA5A-F248-11E8-B48F-1D18A9856A87
last_name: Obr
orcid: 0000-0003-1756-6564
- first_name: Mathias
full_name: Percipalle, Mathias
id: 4986e21c-eb97-11eb-a6c2-a4ef0b629971
last_name: Percipalle
- first_name: Darya
full_name: Chernikova, Darya
id: 7dbaf460-fa9e-11eb-b0ca-bc7c7ff21ad0
last_name: Chernikova
- first_name: Huixin
full_name: Yang, Huixin
last_name: Yang
- first_name: Andreas
full_name: Thader, Andreas
id: 3A18A7B8-F248-11E8-B48F-1D18A9856A87
last_name: Thader
- first_name: Gergely
full_name: Pinke, Gergely
id: 4D5303E6-F248-11E8-B48F-1D18A9856A87
last_name: Pinke
- first_name: Dario J
full_name: Porley, Dario J
id: 2FD6EA6C-F248-11E8-B48F-1D18A9856A87
last_name: Porley
- first_name: Louis M.
full_name: Mansky, Louis M.
last_name: Mansky
- first_name: Robert A.
full_name: Dick, Robert A.
last_name: Dick
- first_name: Florian KM
full_name: Schur, Florian KM
id: 48AD8942-F248-11E8-B48F-1D18A9856A87
last_name: Schur
orcid: 0000-0003-4790-8078
citation:
ama: Obr M, Percipalle M, Chernikova D, et al. Distinct stabilization of the human
T cell leukemia virus type 1 immature Gag lattice. Nature Structural &
Molecular Biology. 2025;32:268-276. doi:10.1038/s41594-024-01390-8
apa: Obr, M., Percipalle, M., Chernikova, D., Yang, H., Thader, A., Pinke, G., …
Schur, F. K. (2025). Distinct stabilization of the human T cell leukemia virus
type 1 immature Gag lattice. Nature Structural & Molecular Biology.
Springer Nature. https://doi.org/10.1038/s41594-024-01390-8
chicago: Obr, Martin, Mathias Percipalle, Darya Chernikova, Huixin Yang, Andreas
Thader, Gergely Pinke, Darío Porley Esteves, Louis M. Mansky, Robert A. Dick,
and Florian KM Schur. “Distinct Stabilization of the Human T Cell Leukemia Virus
Type 1 Immature Gag Lattice.” Nature Structural & Molecular Biology.
Springer Nature, 2025. https://doi.org/10.1038/s41594-024-01390-8.
ieee: M. Obr et al., “Distinct stabilization of the human T cell leukemia
virus type 1 immature Gag lattice,” Nature Structural & Molecular Biology,
vol. 32. Springer Nature, pp. 268–276, 2025.
ista: Obr M, Percipalle M, Chernikova D, Yang H, Thader A, Pinke G, Porley Esteves
D, Mansky LM, Dick RA, Schur FK. 2025. Distinct stabilization of the human T cell
leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular
Biology. 32, 268–276.
mla: Obr, Martin, et al. “Distinct Stabilization of the Human T Cell Leukemia Virus
Type 1 Immature Gag Lattice.” Nature Structural & Molecular Biology,
vol. 32, Springer Nature, 2025, pp. 268–76, doi:10.1038/s41594-024-01390-8.
short: M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley
Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular
Biology 32 (2025) 268–276.
corr_author: '1'
date_created: 2024-09-08T10:29:06Z
date_published: 2025-02-01T00:00:00Z
date_updated: 2026-03-16T12:55:18Z
day: '01'
ddc:
- '570'
department:
- _id: FlSc
- _id: LeSa
doi: 10.1038/s41594-024-01390-8
external_id:
isi:
- '001306564000001'
oaworkid:
- W4402316284
pmid:
- '39242978'
file:
- access_level: open_access
checksum: c641ad94afb28917b20425db676fc3ee
content_type: application/pdf
creator: dernst
date_created: 2025-04-23T07:02:33Z
date_updated: 2025-04-23T07:02:33Z
file_id: '19608'
file_name: 2025_NatureStrucBio_Obr.pdf
file_size: 13724041
relation: main_file
success: 1
file_date_updated: 2025-04-23T07:02:33Z
has_accepted_license: '1'
intvolume: ' 32'
isi: 1
language:
- iso: eng
month: '02'
oa: 1
oa_version: Published Version
oaworkid: 1
page: 268-276
pmid: 1
project:
- _id: 26736D6A-B435-11E9-9278-68D0E5697425
call_identifier: FWF
grant_number: P31445
name: Structural conservation and diversity in retroviral capsid
- _id: 9B9C98E0-BA93-11EA-9121-9846C619BF3A
grant_number: '25762'
name: Structural characterization of spumavirus capsid assemblies to understand
conserved Ortervirales assembly mechanisms
publication: Nature Structural & Molecular Biology
publication_identifier:
eissn:
- 1545-9985
issn:
- 1545-9993
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Distinct stabilization of the human T cell leukemia virus type 1 immature Gag
lattice
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 32
year: '2025'
...
---
OA_place: repository
_id: '21427'
abstract:
- lang: eng
text: While tumor malignancy has been extensively studied under the prism of genetic
and epigenetic heterogeneity, tumor cell states also critically depend on reciprocal
interactions with the microenvironment. This raises the hitherto untested possibility
that heterogeneity of the untransformed tumor stroma can actively fuel malignant
progression. As biological heterogeneity is inherently difficult to control, we
adopted a reductionist approach and let tumor cells invade micro-engineered environments
harboring obstacles with precision-controlled geometry. We find that not only
the presence of obstacles, but more surprisingly their spatial disorder, causes
a drastic shift from a collective to a single-cell mode of invasion – comparable
in strength to cadherin loss. Combining live-imaging and perturbation experiments
with minimal biophysical modeling, we demonstrate that cell detachments result
both from local geometrical constraints and a global integration of spatial disorder
over time. We show that different types of microenvironments map onto different
universality classes of invasion dynamics - homogeneous substrates follow Kardar–Parisi–Zhang
(KPZ) scaling, while disordered ones exhibit exponents consistent with KPZ with
quenched disorder (KPZq). Our findings highlight generic physical principles for
how the mode of cancer cell invasion depends on environmental heterogeneity, with
potential implications to understand tumor evolution in vivo.
acknowledgement: "European Research Council, https://ror.org/0472cxd90, 101071793\r\nAustrian
Academy of Sciences, 26360"
article_processing_charge: No
author:
- first_name: Zuzana
full_name: Dunajova, Zuzana
id: 4B39F286-F248-11E8-B48F-1D18A9856A87
last_name: Dunajova
- first_name: Saren
full_name: Tasciyan, Saren
id: 4323B49C-F248-11E8-B48F-1D18A9856A87
last_name: Tasciyan
orcid: 0000-0003-1671-393X
- first_name: Juraj
full_name: Majek, Juraj
id: 3e6d9473-f38e-11ec-8ae0-c4e05a8aa9e1
last_name: Majek
- first_name: Jack
full_name: Merrin, Jack
id: 4515C308-F248-11E8-B48F-1D18A9856A87
last_name: Merrin
orcid: 0000-0001-5145-4609
- first_name: Erik
full_name: Sahai, Erik
last_name: Sahai
- first_name: Michael K
full_name: Sixt, Michael K
id: 41E9FBEA-F248-11E8-B48F-1D18A9856A87
last_name: Sixt
orcid: 0000-0002-6620-9179
- first_name: Edouard B
full_name: Hannezo, Edouard B
id: 3A9DB764-F248-11E8-B48F-1D18A9856A87
last_name: Hannezo
orcid: 0000-0001-6005-1561
citation:
ama: Dunajova Z, Tasciyan S, Majek J, et al. Substrate heterogeneity promotes cancer
cell dissemination through interface roughening. doi:10.1101/2025.05.20.655037
apa: Dunajova, Z., Tasciyan, S., Majek, J., Merrin, J., Sahai, E., Sixt, M. K.,
& Hannezo, E. B. (n.d.). Substrate heterogeneity promotes cancer cell dissemination
through interface roughening. bioRxiv. https://doi.org/10.1101/2025.05.20.655037
chicago: Dunajova, Zuzana, Saren Tasciyan, Juraj Majek, Jack Merrin, Erik Sahai,
Michael K Sixt, and Edouard B Hannezo. “Substrate Heterogeneity Promotes Cancer
Cell Dissemination through Interface Roughening.” bioRxiv, n.d. https://doi.org/10.1101/2025.05.20.655037.
ieee: Z. Dunajova et al., “Substrate heterogeneity promotes cancer cell dissemination
through interface roughening.” bioRxiv.
ista: Dunajova Z, Tasciyan S, Majek J, Merrin J, Sahai E, Sixt MK, Hannezo EB. Substrate
heterogeneity promotes cancer cell dissemination through interface roughening.
10.1101/2025.05.20.655037.
mla: Dunajova, Zuzana, et al. Substrate Heterogeneity Promotes Cancer Cell Dissemination
through Interface Roughening. bioRxiv, doi:10.1101/2025.05.20.655037.
short: Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B.
Hannezo, (n.d.).
corr_author: '1'
date_created: 2026-03-11T08:40:06Z
date_published: 2025-09-25T00:00:00Z
date_updated: 2026-03-18T14:11:35Z
day: '25'
ddc:
- '539'
- '570'
department:
- _id: GradSch
- _id: EdHa
- _id: MiSi
- _id: NanoFab
- _id: AnSa
doi: 10.1101/2025.05.20.655037
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.1101/2025.05.20.655037
month: '09'
oa: 1
oa_version: Preprint
project:
- _id: bd91e723-d553-11ed-ba76-fe7eeb2185fd
grant_number: '101071793'
name: 'Pushing from within: Control of cell shape, integrity and motility by cytoskeletal
pushing forces'
- _id: 34d75525-11ca-11ed-8bc3-89b6307fee9d
grant_number: '26360'
name: Motile active matter models of migrating cells and chiral filaments
publication_status: draft
publisher: bioRxiv
related_material:
record:
- id: '21423'
relation: dissertation_contains
status: public
- id: '21439'
relation: research_data
status: public
status: public
title: Substrate heterogeneity promotes cancer cell dissemination through interface
roughening
tmp:
image: /images/cc_by_nc_nd.png
legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
(CC BY-NC-ND 4.0)
short: CC BY-NC-ND (4.0)
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2025'
...
---
OA_place: publisher
OA_type: gold
_id: '21474'
abstract:
- lang: eng
text: Rendering novel, relit views of a human head, given a monocular portrait image
as input, is an inherently underconstrained problem. The traditional graphics
solution is to explicitly decompose the input image into geometry, material and
lighting via differentiable rendering; but this is constrained by the multiple
assumptions and approximations of the underlying models and parameterizations
of these scene components. We propose 3DPR, an image-based relighting model that
leverages generative priors learnt from multi-view One-Light-at-A-Time (OLAT)
images captured in a light stage. We introduce a new diverse and large-scale multi-view
4K OLAT dataset of 139 subjects to learn a high-quality prior over the distribution
of high-frequency face reflectance. We leverage the latent space of a pre-trained
generative head model that provides a rich prior over face geometry learnt from
in-the-wild image datasets. The input portrait is first embedded in the latent
manifold of such a model through an encoder-based inversion process. Then a novel
triplane-based reflectance network trained on our lightstage data is used to synthesize
high-fidelity OLAT images to enable image-based relighting. Our reflectance network
operates in the latent space of the generative head model, crucially enabling
a relatively small number of lightstage images to train the reflectance model.
Combining the generated OLATs according to a given HDRI environment maps yields
physically accurate environmental relighting results. Through quantitative and
qualitative evaluations, we demonstrate that 3DPR outperforms previous methods,
particularly in preserving identity and in capturing lighting effects such as
specularities, self-shadows, and subsurface scattering.
acknowledgement: This work was supported by the ERC Consolidator Grant 4DReply (770784)
and Saarbrücken Research Center for Visual Comput- ing, Interaction, and AI. We
thank Oleksandr Sotnychenko for helping us with setting up data capture. Finally,
we thank Shrisha Bharadwaj for discussions, proofreading and innumerable support.
article_number: '108'
article_processing_charge: No
arxiv: 1
author:
- first_name: Pramod
full_name: Rao, Pramod
last_name: Rao
- first_name: Abhimitra
full_name: Meka, Abhimitra
last_name: Meka
- first_name: Xilong
full_name: Zhou, Xilong
last_name: Zhou
- first_name: Gereon
full_name: Fox, Gereon
last_name: Fox
- first_name: B. R.
full_name: Mallikarjun, B. R.
last_name: Mallikarjun
- first_name: Fangneng
full_name: Zhan, Fangneng
last_name: Zhan
- first_name: Tim
full_name: Weyrich, Tim
last_name: Weyrich
- first_name: Bernd
full_name: Bickel, Bernd
id: 49876194-F248-11E8-B48F-1D18A9856A87
last_name: Bickel
orcid: 0000-0001-6511-9385
- first_name: Hanspeter
full_name: Pfister, Hanspeter
last_name: Pfister
- first_name: Wojciech
full_name: Matusik, Wojciech
last_name: Matusik
- first_name: Thabo
full_name: Beeler, Thabo
last_name: Beeler
- first_name: Mohamed
full_name: Elgharib, Mohamed
last_name: Elgharib
- first_name: Marc
full_name: Habermann, Marc
last_name: Habermann
- first_name: Christian
full_name: Theobalt, Christian
last_name: Theobalt
citation:
ama: 'Rao P, Meka A, Zhou X, et al. 3DPR: Single image 3D portrait relighting with
generative priors. In: Proceedings SIGGRAPH Asia 2025 Conference Papers 2025.
Association for Computing Machinery; 2025. doi:10.1145/3757377.3763962'
apa: 'Rao, P., Meka, A., Zhou, X., Fox, G., Mallikarjun, B. R., Zhan, F., … Theobalt,
C. (2025). 3DPR: Single image 3D portrait relighting with generative priors. In
Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. Hong Kong, Hong
Kong: Association for Computing Machinery. https://doi.org/10.1145/3757377.3763962'
chicago: 'Rao, Pramod, Abhimitra Meka, Xilong Zhou, Gereon Fox, B. R. Mallikarjun,
Fangneng Zhan, Tim Weyrich, et al. “3DPR: Single Image 3D Portrait Relighting
with Generative Priors.” In Proceedings SIGGRAPH Asia 2025 Conference Papers
2025. Association for Computing Machinery, 2025. https://doi.org/10.1145/3757377.3763962.'
ieee: 'P. Rao et al., “3DPR: Single image 3D portrait relighting with generative
priors,” in Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Hong
Kong, Hong Kong, 2025.'
ista: 'Rao P, Meka A, Zhou X, Fox G, Mallikarjun BR, Zhan F, Weyrich T, Bickel B,
Pfister H, Matusik W, Beeler T, Elgharib M, Habermann M, Theobalt C. 2025. 3DPR:
Single image 3D portrait relighting with generative priors. Proceedings SIGGRAPH
Asia 2025 Conference Papers 2025. SA: SIGGRAPH Asia, 108.'
mla: 'Rao, Pramod, et al. “3DPR: Single Image 3D Portrait Relighting with Generative
Priors.” Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, 108, Association
for Computing Machinery, 2025, doi:10.1145/3757377.3763962.'
short: P. Rao, A. Meka, X. Zhou, G. Fox, B.R. Mallikarjun, F. Zhan, T. Weyrich,
B. Bickel, H. Pfister, W. Matusik, T. Beeler, M. Elgharib, M. Habermann, C. Theobalt,
in:, Proceedings SIGGRAPH Asia 2025 Conference Papers 2025, Association for Computing
Machinery, 2025.
conference:
end_date: 2025-12-18
location: Hong Kong, Hong Kong
name: 'SA: SIGGRAPH Asia'
start_date: 2025-12-15
date_created: 2026-03-22T23:04:35Z
date_published: 2025-12-14T00:00:00Z
date_updated: 2026-03-23T14:45:58Z
day: '14'
ddc:
- '000'
department:
- _id: BeBi
doi: 10.1145/3757377.3763962
external_id:
arxiv:
- '2510.15846'
file:
- access_level: open_access
checksum: a3dc426cdf7bbd84a192e5140bb3bb49
content_type: application/pdf
creator: dernst
date_created: 2026-03-23T14:41:07Z
date_updated: 2026-03-23T14:41:07Z
file_id: '21479'
file_name: 2025_SiggraphAsia_Rao.pdf
file_size: 57903731
relation: main_file
success: 1
file_date_updated: 2026-03-23T14:41:07Z
has_accepted_license: '1'
language:
- iso: eng
license: https://creativecommons.org/licenses/by-nc/4.0/
month: '12'
oa: 1
oa_version: Published Version
publication: Proceedings SIGGRAPH Asia 2025 Conference Papers 2025
publication_identifier:
isbn:
- '9798400721373'
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: '3DPR: Single image 3D portrait relighting with generative priors'
tmp:
image: /images/cc_by_nc.png
legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode
name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
short: CC BY-NC (4.0)
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2025'
...
---
OA_place: repository
_id: '21398'
abstract:
- lang: eng
text: Seymour's decomposition theorem is a hallmark result in matroid theory presenting
a structural characterization of the class of regular matroids. Formalization
of matroid theory faces many challenges, most importantly that only a limited
number of notions and results have been implemented so far. In this work, we formalize
the proof of the forward (composition) direction of Seymour's theorem for regular
matroids. To this end, we develop a library in Lean 4 that implements definitions
and results about totally unimodular matrices, vector matroids, their standard
representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary
matroids given by their standard representations. Using this framework, we formally
state Seymour's decomposition theorem and implement a formally verified proof
of the composition direction in the setting where the matroids have finite rank
and may have infinite ground sets.
acknowledgement: "We would like to dedicate the paper to the memory of Klaus Truemper,
whose monograph Matroid Decomposition [12]\r\nlaid the foundation for our entire
work."
article_processing_charge: No
arxiv: 1
author:
- first_name: Martin
full_name: Dvorak, Martin
id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425
last_name: Dvorak
orcid: 0000-0001-5293-214X
- first_name: Tristan
full_name: Figueroa-Reid, Tristan
last_name: Figueroa-Reid
- first_name: Rida
full_name: Hamadani, Rida
last_name: Hamadani
- first_name: Byung-Hak
full_name: Hwang, Byung-Hak
last_name: Hwang
- first_name: Evgenia
full_name: Karunus, Evgenia
last_name: Karunus
- first_name: Vladimir
full_name: Kolmogorov, Vladimir
id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87
last_name: Kolmogorov
- first_name: Alexander
full_name: Meiburg, Alexander
last_name: Meiburg
- first_name: Alexander
full_name: Nelson, Alexander
last_name: Nelson
- first_name: Peter
full_name: Nelson, Peter
last_name: Nelson
- first_name: Mark
full_name: Sandey, Mark
last_name: Sandey
- first_name: Ivan
full_name: Sergeev, Ivan
id: ca3c9187-9a72-11ee-a009-8af825d896b0
last_name: Sergeev
orcid: 0009-0004-9145-8785
citation:
ama: Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s
theorem for regular matroids — Formally verified. arXiv. doi:10.48550/arXiv.2509.20539
apa: Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov,
V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular
matroids — Formally verified. arXiv. https://doi.org/10.48550/arXiv.2509.20539
chicago: Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang,
Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction
of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv,
n.d. https://doi.org/10.48550/arXiv.2509.20539.
ieee: M. Dvorak et al., “Composition direction of Seymour’s theorem for regular
matroids — Formally verified,” arXiv. .
ista: Dvorak M, Figueroa-Reid T, Hamadani R, Hwang B-H, Karunus E, Kolmogorov V,
Meiburg A, Nelson A, Nelson P, Sandey M, Sergeev I. Composition direction of Seymour’s
theorem for regular matroids — Formally verified. arXiv, 10.48550/arXiv.2509.20539.
mla: Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular
Matroids — Formally Verified.” ArXiv, doi:10.48550/arXiv.2509.20539.
short: M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov,
A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
corr_author: '1'
date_created: 2026-03-04T11:56:29Z
date_published: 2025-09-23T00:00:00Z
date_updated: 2026-03-27T12:36:59Z
day: '23'
department:
- _id: GradSch
- _id: VlKo
doi: 10.48550/arXiv.2509.20539
external_id:
arxiv:
- '2509.20539'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://doi.org/10.48550/arXiv.2509.20539
month: '09'
oa: 1
oa_version: Preprint
page: '21'
publication: arXiv
publication_status: draft
related_material:
record:
- id: '21393'
relation: dissertation_contains
status: public
status: public
title: Composition direction of Seymour's theorem for regular matroids — Formally
verified
type: preprint
user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9
year: '2025'
...
---
OA_place: publisher
OA_type: hybrid
PlanS_conform: '1'
_id: '20326'
abstract:
- lang: eng
text: Ag2Se is a promising n-type thermoelectric material, but its performance is
limited by excessive carrier concentration, compositional inhomogeneity, and phase
instability, challenges rooted in a narrow homogeneity range and uncontrolled
Ag+ diffusion in the superionic phase. Here, we address these issues by exploiting
liquid–solid interface reactions using CdSe complexes that remove surface excess
Ag to yield stoichiometric Ag2Se and generate CdSe nanodomains that inhibit Ag+
diffusion and constrain grain growth. The resulting Ag2Se-CdSe nanocomposites
exhibit a reproducible, stable figure of merit (zT) of 1.04 between 300 and 390
K. Beyond demonstrating high performance, we elucidate the interfacial chemical
reactions that give rise to the observed microstructure and transport properties,
providing a foundation for rationally engineering interfacial chemistry to tailor
transport properties across diverse thermoelectric material systems.
acknowledged_ssus:
- _id: EM-Fac
- _id: LifeSc
- _id: NanoFab
acknowledgement: 'M.I. acknowledges financial support from ISTA and the Werner Siemens
Foundation. The Scientific Service Units (SSU) of ISTA supported this work through
resources provided by the Electron Microscopy Facility (EMF), the Lab Support Facility
(LSF) and the Nanofabrication Facility (NNF) and the LSF Mass Spectrometry Service.
The members of the Ibáñez research group are acknowledged, especially Christine
Fiedler for scientific illustration and Ihor Cherniukh for valuable discussions.
Y.L. acknowledges funding from the National Natural Science Foundation of China
(NSFC) (Grants No. 22209034), the Innovation and Entrepreneurship Project of Overseas
Returnees in Anhui Province (Grant No. 2022LCX002) and the Fundamental Research
Funds for the Central Universities (JZ2024HGTB0239). K.H.L. acknowledges financial
support from the National Natural Science Foundation of China (NSFC) (Grant No.
22208293). ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457.
Authors acknowledge the Advanced Materials programme by the Spanish Government with
funding from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de
Catalunya (Project In-CAEM). The authors thank support from the project AMaDE (PID2023-149158OB-C43),
funded by MCIN/AEI/10.13039/501100011033/and by “ERDF Away of making Europe”, by
the “European Union”. ICN2 is supported by the Severo Ochoa program from Spanish
MCIN/AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme/Generalitat
de Catalunya. ICN2 is founding member of e-DREAM. (68) M.H. acknowledges the funding
from the Australian Research Council (FT230100316 and IH200100035). M.H. acknowledges
the computational support from the National Computational Infrastructure (NCI) and
Pawsey Supercomputing Centre, Australia.'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Yu
full_name: Liu, Yu
id: 2A70014E-F248-11E8-B48F-1D18A9856A87
last_name: Liu
orcid: 0000-0001-7313-6740
- first_name: Tobias
full_name: Kleinhanns, Tobias
id: 8BD9DE16-AB3C-11E9-9C8C-2A03E6697425
last_name: Kleinhanns
orcid: 0000-0003-1537-7436
- first_name: Sharona
full_name: Horta, Sharona
id: 03a7e858-01b1-11ec-8b71-99ae6c4a05bc
last_name: Horta
- first_name: Ewelina
full_name: Dutkiewicz, Ewelina
id: 0601cc46-c082-11ec-9b07-bb29641d1de9
last_name: Dutkiewicz
- first_name: Shaoqing
full_name: Lu, Shaoqing
last_name: Lu
- first_name: Maria Chiara
full_name: Spadaro, Maria Chiara
last_name: Spadaro
- first_name: Aziz
full_name: Genç, Aziz
last_name: Genç
- first_name: Lei
full_name: Chen, Lei
last_name: Chen
- first_name: Khak Ho
full_name: Lim, Khak Ho
last_name: Lim
- first_name: Min
full_name: Hong, Min
last_name: Hong
- first_name: Jordi
full_name: Arbiol, Jordi
last_name: Arbiol
- first_name: Maria
full_name: Ibáñez, Maria
id: 43C61214-F248-11E8-B48F-1D18A9856A87
last_name: Ibáñez
orcid: 0000-0001-5013-2843
citation:
ama: Liu Y, Kleinhanns T, Horta S, et al. Liquid-solid interface reactions drive
enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical
Society. 2025;147(35):32199-32208. doi:10.1021/jacs.5c11435
apa: Liu, Y., Kleinhanns, T., Horta, S., Dutkiewicz, E., Lu, S., Spadaro, M. C.,
… Ibáñez, M. (2025). Liquid-solid interface reactions drive enhanced thermoelectric
performance in Ag2Se. Journal of the American Chemical Society. American
Chemical Society. https://doi.org/10.1021/jacs.5c11435
chicago: Liu, Yu, Tobias Kleinhanns, Sharona Horta, Ewelina Dutkiewicz, Shaoqing
Lu, Maria Chiara Spadaro, Aziz Genç, et al. “Liquid-Solid Interface Reactions
Drive Enhanced Thermoelectric Performance in Ag2Se.” Journal of the American
Chemical Society. American Chemical Society, 2025. https://doi.org/10.1021/jacs.5c11435.
ieee: Y. Liu et al., “Liquid-solid interface reactions drive enhanced thermoelectric
performance in Ag2Se,” Journal of the American Chemical Society, vol. 147,
no. 35. American Chemical Society, pp. 32199–32208, 2025.
ista: Liu Y, Kleinhanns T, Horta S, Dutkiewicz E, Lu S, Spadaro MC, Genç A, Chen
L, Lim KH, Hong M, Arbiol J, Ibáñez M. 2025. Liquid-solid interface reactions
drive enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical
Society. 147(35), 32199–32208.
mla: Liu, Yu, et al. “Liquid-Solid Interface Reactions Drive Enhanced Thermoelectric
Performance in Ag2Se.” Journal of the American Chemical Society, vol. 147,
no. 35, American Chemical Society, 2025, pp. 32199–208, doi:10.1021/jacs.5c11435.
short: Y. Liu, T. Kleinhanns, S. Horta, E. Dutkiewicz, S. Lu, M.C. Spadaro, A. Genç,
L. Chen, K.H. Lim, M. Hong, J. Arbiol, M. Ibáñez, Journal of the American Chemical
Society 147 (2025) 32199–32208.
corr_author: '1'
date_created: 2025-09-10T05:44:03Z
date_published: 2025-08-22T00:00:00Z
date_updated: 2026-04-02T09:03:38Z
day: '22'
ddc:
- '540'
department:
- _id: MaIb
doi: 10.1021/jacs.5c11435
external_id:
isi:
- '001558320100001'
file:
- access_level: open_access
checksum: 52892fa91adadd39a1c42da9e01139a5
content_type: application/pdf
creator: dernst
date_created: 2025-09-10T06:55:17Z
date_updated: 2025-09-10T06:55:17Z
file_id: '20334'
file_name: 2025_JACS_Liu.pdf
file_size: 9997327
relation: main_file
success: 1
file_date_updated: 2025-09-10T06:55:17Z
has_accepted_license: '1'
intvolume: ' 147'
isi: 1
issue: '35'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
page: 32199-32208
project:
- _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A
name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of
Semiconductors for Waste Heat Recovery'
publication: Journal of the American Chemical Society
publication_identifier:
eissn:
- 1520-5126
issn:
- 0002-7863
publication_status: published
publisher: American Chemical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Liquid-solid interface reactions drive enhanced thermoelectric performance
in Ag2Se
tmp:
image: /images/cc_by.png
legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
short: CC BY (4.0)
type: journal_article
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
volume: 147
year: '2025'
...