Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKolyang 0001
Person information
- affiliation: University of Maroua, LaRI Lab, Cameroon
- affiliation (former): University of Ngaoundere, Department of Mathematics and Computer Science, Cameroon
- affiliation (former): University of Bremen, Bremen Institute of Safe Systems (BISS), Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j8]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): 1-21 (2023)- [c15]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: 421-428 - 2022
- [j7]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): 16-26 (2022) - [c14]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: 190-197 - 2021
- [j6]Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Kolyang:
Application of Deep Learning Architectures for Satellite Image Time Series Prediction: A Review. Remote. Sens. 13(23): 4822 (2021) - 2020
- [i3]Waytehad Moskolaï, Wahabou Abdou, Albert Dipanda, Dina Taiwé Kolyang:
Application of LSTM architectures for next frame forecasting in Sentinel-1 images time series. CoRR abs/2009.00841 (2020)
2010 – 2019
- 2019
- [j5]Djorwé Témoa, Anna Förster, Kolyang, Serge Doka Yamigno:
A Reinforcement Learning Based Intercell Interference Coordination in LTE Networks. Future Internet 11(1): 19 (2019) - [i2]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 abs/1904.05596 (2019) - 2018
- [j4]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: 96-111 (2018) - 2017
- [j3]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) - [j2]Oumarou Mamadou Bello, Dina Taiwé Kolyang:
Mesh node placement in wireless mesh network based on multiobjective evolutionary metaheuristic. Int. J. Auton. Comput. 2(3): 231-254 (2017) - 2016
- [c13]Oumarou Mamadou Bello, Dina Taiwé Kolyang:
Mesh Node placement in Wireless mesh network based on multiobjective evolutionary metaheuristic. ICC 2016 2016: 59:1-59:6 - [c12]Hayatou Oumarou, Nicolas Anquetil, Anne Etien, Stéphane Ducasse, Dina Taiwé Kolyang:
Identifying the Exact Bug Fixing Actions. IWESEP@SANER 2016: 51-56 - 2015
- [j1]Wanbitching E. Wansouwé, Célestin C. Kokonendji, Dina Taiwé Kolyang:
Nonparametric estimation for probability mass function with Disake: an R package for discrete associated kernel estimators. ARIMA J. 19 (2015) - [c11]Hayatou Oumarou, Nicolas Anquetil, Anne Etien, Stéphane Ducasse, Dina Taiwé Kolyang:
Identifying the exact fixing actions of static rule violation. SANER 2015: 371-379 - [i1]Guidedi Kaladzavi, Papa Fary Diallo, Kolyang, Moussa Lo:
OntoSOC: Sociocultural Knowledge Ontology. CoRR abs/1505.04107 (2015) - 2014
- [c10]Donatien Koulla Moulla, Irepran Damakoa, Dina Taiwé Kolyang:
Application of Function Points to Software Based on Open Source: A Case Study. IWSM/Mensura 2014: 191-195
2000 – 2009
- 2006
- [c9]Kolyang:
E-Learning in Cameroon: Stand and Perspectives. DeLFI 2006: 397-398 - 2005
- [c8]Kolyang, Paul Dayang:
Enhancing Environmental Management and Protection in the Lake Chad Basin Through Computing Science. ITEE 2005: 157-172
1990 – 1999
- 1999
- [b1]Dina Taiwé Kolyang:
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL. University of Bremen, Germany, Shaker 1999, ISBN 978-3-8265-4068-4, pp. 1-132 - [c7]Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner:
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243 - 1998
- [c6]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: 160-173 - [c5]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: 116-134 - 1997
- [c4]Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858 - [c3]Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348 - 1996
- [c2]Kolyang, Thomas Santen, Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648 - [c1]Kolyang, Thomas Santen, Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-02 01:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
