Assia Mahboubi (Dutch Wikipedia)

Analysis of information sources in references of the Wikipedia article "Assia Mahboubi" in Dutch language version.

refsWebsite

Global rank Dutch rank

4,903^rd place

low place

low place

low place

low place

low place

1lorentzcenter.nl

low place

low place

hal.science

theses.hal.science

(fr) Mahboubi, Assia (2006). Contributions à la certification des calculs dans ℝ : théorie, preuves, programmation (Université Nice Sophia Antipolis).

inria.fr

people.rennes.inria.fr

Website van Professor Mahboubi aan INRIA, Frankrijk. Geraadpleegd op 5 juli 2022.

inria.fr

Aankondiging van Mahboubi's ERC Consolidator Grant. Geraadpleegd op 5 juli 2022.

lorentzcenter.nl

Website van de workshop Machine-checked mathematics aan het Lorentzcenter te Leiden. Geraadpleegd op 5 juli 2022.

sigplan.org

popl18.sigplan.org

Website van ACM Conference on Certified Programs and Proofs. Geraadpleegd op 5 juli 2022.