Kolyang

Affiliations:
  • University of Maroua, LaRI Lab, Cameroon
  • University of Ngaoundere, Department of Mathematics and Computer Science, Cameroon (former)
  • University of Bremen, Bremen Institute of Safe Systems (BISS), Germany (former)


According to our database1, Kolyang authored at least 27 papers between 1996 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Cyber-Physical Urban Mobility Systems: Opportunities and Challenges in Developing Countries.
Int. J. Softw. Innov., 2023

How to Handle Fuzzy Aspects in African Sociocultural Ontology.
Proceedings of the Ambient Intelligence - Software and Applications, 2023

Towards an architectural framework for the design of a Cyber-Physical Urban Mobility System in Developing Countries.
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.
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.
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.
Remote. Sens., 2021

2020
Application of LSTM architectures for next frame forecasting in Sentinel-1 images time series.
CoRR, 2020

2019
A Reinforcement Learning Based Intercell Interference Coordination in LTE Networks.
Future Internet, 2019

Ontologies-based Architecture for Sociocultural Knowledge Co-Construction Systems.
CoRR, 2019

2018
Methodology and trends for an intelligent transport system in developing countries.
Sustain. Comput. Informatics Syst., 2018

2017
Mesh node placement in wireless mesh network based on multiobjective evolutionary metaheuristic.
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].
ARIMA J., 2017

2016
Identifying the Exact Bug Fixing Actions.
Proceedings of the 7th International Workshop on Empirical Software Engineering in Practice, 2016

2015
OntoSOC: Sociocultural Knowledge Ontology.
CoRR, 2015

Nonparametric estimation for probability mass function with Disake: an R package for discrete associated kernel estimators.
ARIMA J., 2015

Identifying the exact fixing actions of static rule violation.
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.
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.
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.
Proceedings of the ITEE 2005, 2005

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

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z.
Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Tool Integration in the UniForM-Workbench.
Proceedings of the International Workshop Tool Support for System Specification, 1998

1997
Static semantic analysis and theorem proving for CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996
A Structure Preserving Encoding of Z in Isabelle/HOL.
Proceedings of the Theorem Proving in Higher Order Logics, 9th International Conference, 1996

Correct and User-Friendly Implementations of Transformation Systems.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996


  Loading...