Kolyang

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 10

Top Topics

Domain Ontology

Relevant Concepts

Developing Countries

Top Venues

Publications

Dénis Awé Samalna, Justin Moskolai Ngossaha, Igor Tchappi, Ado Adamou Abba Ari, Kolyang, Amro Najjar
Towards an architectural framework for the design of a Cyber-Physical Urban Mobility System in Developing Countries. ANT/EDI40 (2023)
Dénis Awé Samalna, Justin Moskolai Ngossaha, Ado Adamou Abba Ari, Kolyang
Cyber-Physical Urban Mobility Systems: Opportunities and Challenges in Developing Countries. Int. J. Softw. Innov. 11 (1) (2023)
Abdoul Azize Kindo, Sadouanouan Malo, Gaoussou Camara, Guidedi Kaladzavi, Théodore Marie Yves Tapsoba, Kolyang
How to Handle Fuzzy Aspects in African Sociocultural Ontology. ISAmI (2023)
Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang
A Comparative Study of Deep Learning and CA-Markov Methods for Land Use / Land Cover Change Prediction. SITIS (2022)
Martin Luther Mfenjou, Ado Adamou Abba Ari, Arouna Ndam Njoya, David Jaurès Fotsa-Mbogne, Kolyang, Wahabou Abdou, François Spies
Control points deployment in an Intelligent Transportation System for monitoring inter-urban network roadway. J. King Saud Univ. Comput. Inf. Sci. 34 (2) (2022)
Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang
Application of Deep Learning Architectures for Satellite Image Time Series Prediction: A Review. Remote. Sens. 13 (23) (2021)
Djorwé Témoa, Anna Förster, Kolyang, Serge Doka Yamigno
A Reinforcement Learning Based Intercell Interference Coordination in LTE Networks. Future Internet 11 (1) (2019)
Guidedi Kaladzavi, Papa Fary Diallo, Cedric Béré, Olivier Corby, Isabelle Mirbel, Moussa Lo, Kolyang
Ontologies-based Architecture for Sociocultural Knowledge Co-Construction Systems. CoRR (2019)
Martin Luther Mfenjou, Ado Adamou Abba Ari, Wahabou Abdou, François Spies, Kolyang
Methodology and trends for an intelligent transport system in developing countries. Sustain. Comput. Informatics Syst. 19 (2018)
Hortense Boudjou Tchapgnouo, Abdoul Aziz Ciss, Djiby Sow, Kolyang
Two-sources randomness extractors in finite fields and in elliptic curves [Extracteur aléatoires multi-sources sur les corps finis et les courbes elliptiques]. ARIMA J. 24 (2017)
Guidedi Kaladzavi, Papa Fary Diallo, Kolyang, Moussa Lo
OntoSOC: Sociocultural Knowledge Ontology. CoRR (2015)
Kolyang
E-Learning in Cameroon: Stand and Perspectives. DeLFI (2006)
Kolyang, Paul Dayang
Enhancing Environmental Management and Protection in the Lake Chad Basin Through Computing Science. ITEE (2005)
Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE (1999)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification (1998)
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM (1998)
Till Mossakowski, Kolyang, Bernd Krieg-Brückner
Static semantic analysis and theorem proving for CASL. WADT (1997)
Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT (1997)
Kolyang, Thomas Santen, Burkhart Wolff
Correct and User-Friendly Implementations of Transformation Systems. FME (1996)
Kolyang, Thomas Santen, Burkhart Wolff
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs (1996)