Karsten Homann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1992–1998
Best venue rank
Australasian
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | AISC | Specification and Integration of Theorem Provers and Computer Algebra Systems. | Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann |
| 1995 | ISSAC | Theorems and Algorithms: An Interface between Isabelle and Maple. | Clemens Ballarin, Karsten Homann, Jacques Calmet |
| 1994 | AISC | Combining Theorem Proving and Symbolic Mathematical Computing. | Karsten Homann, Jacques Calmet |
| 1992 | AISC | Unified Domains and Abstract Computational Structures. | Jacques Calmet, Karsten Homann, Indra A. Tjandra |