Kolyang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1996–2023
Best venue rank
Unranked
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ANT | Towards an architectural framework for the design of a Cyber-Physical Urban Mobility System in Developing Countries. | Dnis Aw Samalna, Justin Moskolai Ngossaha, Igor Tchappi, Ado Adamou Abba Ari, Kolyang, Amro Najjar |
| 1999 | FASE | TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. | Christoph Lth, Haykal Tej, Kolyang, Bernd Krieg-Brckner |
| 1996 | FM | Correct and User-Friendly Implementations of Transformation Systems. | Kolyang, Thomas Santen, Burkhart Wolff |