Nabil Layaïda — TYREX: Types and Reasoning for the Web | Morademia

Find an advisor Search Papers Assistant Browse Positions Data overview Compare Network Methodology

Search / A5058810337

Loading profile…

Methodology Data overview Privacy Terms Corrections and removals API

Data from OpenAlex, ORCID, and Crossref. Statements are evidence, not verdicts. Flag images: Twemoji, CC BY 4.0. Contact: [email protected]

Nabil Layaïda — TYREX: Types and Reasoning for the Web | Morademia