| 2006 |
|---|
| 8 | | Kolyang:
E-Learning in Cameroon: Stand and Perspectives.
DeLFI 2006: 397-398 |
| 2005 |
|---|
| 7 | | Kolyang,
Paul Dayang:
Enhancing Environmental Management and Protection in the Lake Chad Basin Through Computing Science.
ITEE 2005: 157-172 |
| 1999 |
|---|
| 6 | | 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 |
|---|
| 5 | | 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 |
|---|
| 4 | | Kolyang,
Christoph Lüth,
Thomas Meyer,
Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
TAPSOFT 1997: 855-858 |
| 3 | | Till Mossakowski,
Kolyang,
Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL.
WADT 1997: 333-348 |
| 1996 |
|---|
| 2 | | Kolyang,
Thomas Santen,
Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems.
FME 1996: 629-648 |
| 1 | | Kolyang,
Thomas Santen,
Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL.
TPHOLs 1996: 283-298 |
