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
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
Publications
Recent publications
Learning group invariant Calabi-Yau metrics by fundamental domain projections
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
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
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
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