Correct and User-Friendly Implementations of Transformation Systems. - Kolyang 001; Thomas Santen; Burkhart Wolff (FME, 1996)

A Structure Preserving Encoding of Z in Isabelle/HOL. - Kolyang 001; Thomas Santen; Burkhart Wolff (TPHOLs, 1996)

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. - Kolyang 001; Christoph Lüth; Thomas Meyer 001; Burkhart Wolff (TAPSOFT, 1997)

Static semantic analysis and theorem proving for CASL. - Till Mossakowski; Kolyang 001; Bernd Krieg-Brückner (WADT, 1997)

Tool Integration in the UniForM-Workbench. - Christoph Lüth; Einar W. Karlsen; Kolyang 001; Stefan Westmeier; Burkhart Wolff (Tool Support for System Specification, Development and Verification, 1998)

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. - Christoph Lüth; Einar W. Karlsen; Kolyang 001; Stefan Westmeier; Burkhart Wolff (ZUM, 1998)

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. - Christoph Lüth; Haykal Tej; Kolyang 001; Bernd Krieg-Brückner (FASE, 1999)

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL. - Dina Taiwé Kolyang (Shaker, 1999)

Enhancing Environmental Management and Protection in the Lake Chad Basin Through Computing Science. - Kolyang 001; Paul Dayang (ITEE, 2005)

E-Learning in Cameroon: Stand and Perspectives. - Kolyang 001 (DeLFI, 2006)

Application of Function Points to Software Based on Open Source: A Case Study. - Donatien Koulla Moulla; Irepran Damakoa; Dina Taiwé Kolyang (IWSM/Mensura, 2014)

Identifying the exact fixing actions of static rule violation. - Hayatou Oumarou; Nicolas Anquetil; Anne Etien; Stéphane Ducasse; Dina Taiwé Kolyang (SANER, 2015)

Nonparametric estimation for probability mass function with Disake: an R package for discrete associated kernel estimators. - Wanbitching E. Wansouwé; Célestin C. Kokonendji; Dina Taiwé Kolyang (ARIMA J., 2015)

OntoSOC: Sociocultural Knowledge Ontology. - Guidedi Kaladzavi; Papa Fary Diallo; Kolyang 001; Moussa Lo (CoRR, 2015)

Identifying the Exact Bug Fixing Actions. - Hayatou Oumarou; Nicolas Anquetil; Anne Etien; Stéphane Ducasse; Dina Taiwé Kolyang (IWESEP@SANER, 2016)

Two-sources randomness extractors in finite fields and in elliptic curves [Extracteur aléatoires multi-sources sur les corps finis et les courbes elliptiques]. - Hortense Boudjou Tchapgnouo; Abdoul Aziz Ciss; Djiby Sow; Kolyang 001 (ARIMA J., 2017)

Mesh node placement in wireless mesh network based on multiobjective evolutionary metaheuristic. - Oumarou Mamadou Bello; Dina Taiwé Kolyang (Int. J. Auton. Comput., 2017)

Methodology and trends for an intelligent transport system in developing countries. - Martin Luther Mfenjou; Ado Adamou Abba Ari; Wahabou Abdou; François Spies; Kolyang 001 (Sustain. Comput. Informatics Syst., 2018)

Ontologies-based Architecture for Sociocultural Knowledge Co-Construction Systems. - Guidedi Kaladzavi; Papa Fary Diallo; Cedric Béré; Olivier Corby; Isabelle Mirbel; Moussa Lo; Kolyang 001 (CoRR, 2019)

A Reinforcement Learning Based Intercell Interference Coordination in LTE Networks. - Djorwé Témoa; Anna Förster; Kolyang 001; Serge Doka Yamigno (Future Internet, 2019)

Application of LSTM architectures for next frame forecasting in Sentinel-1 images time series. - Waytehad Moskolaï; Wahabou Abdou; Albert Dipanda; Dina Taiwé Kolyang (CoRR, 2020)

Application of Deep Learning Architectures for Satellite Image Time Series Prediction: A Review. - Waytehad Moskolaï; Wahabou Abdou; Albert Dipanda; Kolyang 001 (Remote. Sens., 2021)

A Comparative Study of Deep Learning and CA-Markov Methods for Land Use / Land Cover Change Prediction. - Waytehad Moskolaï; Wahabou Abdou; Albert Dipanda; Kolyang 001 (SITIS, 2022)

Control points deployment in an Intelligent Transportation System for monitoring inter-urban network roadway. - Martin Luther Mfenjou; Ado Adamou Abba Ari; Arouna Ndam Njoya; David Jaurès Fotsa-Mbogne; Kolyang 001; Wahabou Abdou; François Spies (J. King Saud Univ. Comput. Inf. Sci., 2022)

Culture Ontology to Enhance Social Cohesion. - Abdoul Azize Kindo; Gaoussou Camara; Sadouanouan Malo; Guidedi Kaladzavi; Théodore Marie Yves Tapsoba; Kolyang 001 (AFRICOMM (2), 2023)

Towards an architectural framework for the design of a Cyber-Physical Urban Mobility System in Developing Countries. - Dénis Awé Samalna; Justin Moskolai Ngossaha; Igor Tchappi; Ado Adamou Abba Ari; Kolyang 001; Amro Najjar (ANT/EDI40, 2023)

How to Handle Fuzzy Aspects in African Sociocultural Ontology. - Abdoul Azize Kindo; Sadouanouan Malo; Gaoussou Camara; Guidedi Kaladzavi; Théodore Marie Yves Tapsoba; Kolyang 001 (ISAmI, 2023)

Cyber-Physical Urban Mobility Systems: Opportunities and Challenges in Developing Countries. - Dénis Awé Samalna; Justin Moskolai Ngossaha; Ado Adamou Abba Ari; Kolyang 001 (Int. J. Softw. Innov., 2023)