Yacoub Hendi

Doktorand vid Institutionen för fysik och astronomi; Teoretisk fysik

E-post:: yacoub.hendi@physics.uu.se
Besöksadress:: Ångströmlaboratoriet, Regementsvägen 10
752 37 Uppsala
Postadress:: Box 516
751 20 UPPSALA

Ladda ned kontaktuppgifter för Yacoub Hendi vid Institutionen för fysik och astronomi; Teoretisk fysik

Doktorand vid Matematiska institutionen; Akademisk personal

E-post:: yacoub.hendi@math.uu.se
Besöksadress:: Ångströmlaboratoriet, Regementsvägen 10
Postadress:: Box 480
751 06 UPPSALA

Ladda ned kontaktuppgifter för Yacoub Hendi vid Matematiska institutionen; Akademisk personal

Doktorand vid Matematiska institutionen; Centrum för geometri och fysik

E-post:: yacoub.hendi@math.uu.se
Besöksadress:: Ångströmlaboratoriet, Regementsvägen 10
Postadress:: Box 480
751 06 UPPSALA

Ladda ned kontaktuppgifter för Yacoub Hendi vid Matematiska institutionen; Centrum för geometri och fysik

Doktorand vid Matematiska institutionen; Geometri och fysik

E-post:: yacoub.hendi@math.uu.se
Besöksadress:: Ångströmlaboratoriet, Regementsvägen 10
Postadress:: Box 480
751 06 UPPSALA

Ladda ned kontaktuppgifter för Yacoub Hendi vid Matematiska institutionen; Geometri och fysik

Publikationer

Senaste publikationer

Learning group invariant Calabi-Yau metrics by fundamental domain projections

Hendi, Yacoub; Larfors, Magdalena; Walden, Moritz

Ingår i Machine Learning, 2025
- DOI för Learning group invariant Calabi-Yau metrics by fundamental domain projections
- Ladda ner fulltext (pdf) av 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.

Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 588-606, 2023
- DOI för Parameterized Verification under TSO with Data Types
- Ladda ner fulltext (pdf) av Parameterized Verification under TSO with Data Types

Alla publikationer

Artiklar i tidskrift

Learning group invariant Calabi-Yau metrics by fundamental domain projections

Hendi, Yacoub; Larfors, Magdalena; Walden, Moritz

Ingår i Machine Learning, 2025
- DOI för Learning group invariant Calabi-Yau metrics by fundamental domain projections
- Ladda ner fulltext (pdf) av Learning group invariant Calabi-Yau metrics by fundamental domain projections

Konferensbidrag

Parameterized Verification under TSO with Data Types

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

Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 588-606, 2023
- DOI för Parameterized Verification under TSO with Data Types
- Ladda ner fulltext (pdf) av Parameterized Verification under TSO with Data Types