Kolyang

According to our database, Kolyang authored at least 26 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Cyber-Physical Urban Mobility Systems: Opportunities and Challenges in Developing Countries.

Dénis Awé Samalna, Justin Moskolai Ngossaha, Ado Adamou Abba Ari, Kolyang

Int. J. Softw. Innov., 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, Amro Najjar

Proceedings of the 14th International Conference on Ambient Systems, 2023

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, Wahabou Abdou, François Spies

J. King Saud Univ. Comput. Inf. Sci., 2022

A Comparative Study of Deep Learning and CA-Markov Methods for Land Use / Land Cover Change Prediction.

Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang

Proceedings of the 16th International Conference on Signal-Image Technology & Internet-Based Systems, 2022

2021

Application of Deep Learning Architectures for Satellite Image Time Series Prediction: A Review.

Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang

Remote. Sens., 2021

2020

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

2019

A Reinforcement Learning Based Intercell Interference Coordination in LTE Networks.

Djorwé Témoa, Anna Förster, Kolyang, Serge Doka Yamigno

Future Internet, 2019

Ontologies-based Architecture for Sociocultural Knowledge Co-Construction Systems.

Guidedi Kaladzavi, Papa Fary Diallo, Cedric Béré, Olivier Corby, Isabelle Mirbel, Moussa Lo, Kolyang

CoRR, 2019

2018

Methodology and trends for an intelligent transport system in developing countries.

Martin Luther Mfenjou, Ado Adamou Abba Ari, Wahabou Abdou, François Spies, Kolyang

Sustain. Comput. Informatics Syst., 2018

2017

Mesh node placement in wireless mesh network based on multiobjective evolutionary metaheuristic.

Oumarou Mamadou Bello, Dina Taiwé Kolyang

Int. J. Auton. Comput., 2017

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

ARIMA J., 2017

2016

Identifying the Exact Bug Fixing Actions.

Hayatou Oumarou, Nicolas Anquetil, Anne Etien, Stéphane Ducasse, Dina Taiwé Kolyang

Proceedings of the 7th International Workshop on Empirical Software Engineering in Practice, 2016

2015

OntoSOC: Sociocultural Knowledge Ontology.

Guidedi Kaladzavi, Papa Fary Diallo, Kolyang, Moussa Lo

CoRR, 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

Identifying the exact fixing actions of static rule violation.

Hayatou Oumarou, Nicolas Anquetil, Anne Etien, Stéphane Ducasse, Dina Taiwé Kolyang

Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

2014

Application of Function Points to Software Based on Open Source: A Case Study.

Donatien Koulla Moulla, Irepran Damakoa, Dina Taiwé Kolyang

Proceedings of the 2014 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement, 2014

2006

E-Learning in Cameroon: Stand and Perspectives.

Kolyang

Proceedings of the DeLFI 2006, 4. e-Learning Fachtagung Informatik, 11.-14. September 2006, 2006

2005

Enhancing Environmental Management and Protection in the Lake Chad Basin Through Computing Science.

Kolyang, Paul Dayang

Proceedings of the ITEE 2005, 2005

1999

HOL-Z, an integrated formal support environment for Z in Isabelle/HOL.

Dina Taiwé Kolyang

PhD thesis, 1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.

Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Tool Integration in the UniForM-Workbench.

Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff

Proceedings of the International Workshop Tool Support for System Specification, 1998

1997

Static semantic analysis and theorem proving for CASL.

Till Mossakowski, Kolyang, Bernd Krieg-Brückner

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.

Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

A Structure Preserving Encoding of Z in Isabelle/HOL.

Kolyang, Thomas Santen, Burkhart Wolff

Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Correct and User-Friendly Implementations of Transformation Systems.

Kolyang, Thomas Santen, Burkhart Wolff

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996