Yacoub Hendi

PhD student at Department of Mathematics; Academic staff

E-mail:: yacoub.hendi@math.uu.se
Visiting address:: Ångströmlaboratoriet, Regementsvägen 10
Postal address:: Box 480
751 06 UPPSALA

Download contact information for Yacoub Hendi at Department of Mathematics; Academic staff

PhD student at Department of Mathematics; Centre for Geometry and Physics

E-mail:: yacoub.hendi@math.uu.se
Visiting address:: Ångströmlaboratoriet, Regementsvägen 10
Postal address:: Box 480
751 06 UPPSALA

Download contact information for Yacoub Hendi at Department of Mathematics; Centre for Geometry and Physics

PhD student at Department of Mathematics; Geometry and Physics

E-mail:: yacoub.hendi@math.uu.se
Visiting address:: Ångströmlaboratoriet, Regementsvägen 10
Postal address:: Box 480
751 06 UPPSALA

Download contact information for Yacoub Hendi at Department of Mathematics; Geometry and Physics

PhD student at Department of Physics and Astronomy; Theoretical Physics

E-mail:: yacoub.hendi@physics.uu.se
Visiting address:: Ångströmlaboratoriet, Regementsvägen 10
752 37 Uppsala
Postal address:: Box 516
751 20 UPPSALA

Download contact information for Yacoub Hendi at Department of Physics and Astronomy; Theoretical Physics

Publications

Recent publications

Learning group invariant Calabi-Yau metrics by fundamental domain projections

Hendi, Yacoub; Larfors, Magdalena; Walden, Moritz

Part of Machine Learning, 2025
- DOI for Learning group invariant Calabi-Yau metrics by fundamental domain projections
- Download full text (pdf) of Learning group invariant Calabi-Yau metrics by fundamental domain projections
Parameterized Verification under TSO with Data Types

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Furbach, Florian; Godbole, Adwait A. et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 588-606, 2023
- DOI for Parameterized Verification under TSO with Data Types
- Download full text (pdf) of Parameterized Verification under TSO with Data Types

All publications

Articles in journal

Learning group invariant Calabi-Yau metrics by fundamental domain projections

Hendi, Yacoub; Larfors, Magdalena; Walden, Moritz

Part of Machine Learning, 2025
- DOI for Learning group invariant Calabi-Yau metrics by fundamental domain projections
- Download full text (pdf) of Learning group invariant Calabi-Yau metrics by fundamental domain projections

Conference papers

Parameterized Verification under TSO with Data Types

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Furbach, Florian; Godbole, Adwait A. et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 588-606, 2023
- DOI for Parameterized Verification under TSO with Data Types
- Download full text (pdf) of Parameterized Verification under TSO with Data Types