Countries
Institutions
Fields
Rankings
Compare

Search institutions, scholars, countries and publications

Sankore

Named after the University of Sankore in Timbuktu — one of the world’s oldest centres of learning. Every figure here is computed from work-level records in our own graph, never copied from a source’s summary count.

Built from

OpenAlex — works, authorships, subject classification
ROR — institutional identity
ORCID — researcher identity
Crossref — publisher confirmation

Browse

Countries
Institutions
Fields
Rankings
What we cover

Coverage is partial and says so. A country appears with its research output only once its works have been swept; until then the portal shows whatever the graph happens to hold for it and labels it as exactly that.

Assuring Correctness, Testing, and Verification of X-Compiler by Integrating Communicating Stream X-Machine

2024PublicationOpen access

10.1145/3686614.3686622 Full text0 citations

Authors

4 authors across 2 institutions in 2 countries.

B. A. SanusiFirst author
as printed: Bashir Sanusi
Emmanuel Ogunshile
Mehmet Aydin
Stephen Olatunde OlabiyisiSenior author
- Ladoke Akintola University of Technology (NG)
as printed: Stephen Olabiyisi

Fields

Assignment is probabilistic — a work belongs to several fields in proportions.

Software Testing and Debugging Techniqueslevel 3 · 1.00
Advanced Malware Detection Techniqueslevel 3 · 1.00
Software Reliability and Analysis Researchlevel 3 · 0.99

Sources

Several sources describing one work is the point — it means the record rests on more than one authority.

openalexseen September 9, 2026
2024 · 0 citations
https://openalex.org/W4403413464

Assuring Correctness, Testing, and Verification of X-Compiler by Integrating Communicating Stream X-Machine · Sankore