The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karsten Homann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:94-106 [Conf]
  2. Jacques Calmet, Karsten Homann, Indra A. Tjandra
    Unified Domains and Abstract Computational Structures. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:166-177 [Conf]
  3. Karsten Homann, Jacques Calmet
    Combining Theorem Proving and Symbolic Mathematical Computing. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:18-29 [Conf]
  4. Karsten Homann, Jacques Calmet
    Structures for Symbolic Mathematical Reasoning and Computation. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:216-227 [Conf]
  5. Jacques Calmet, Karsten Homann
    Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:221-234 [Conf]
  6. Clemens Ballarin, Karsten Homann, Jacques Calmet
    Theorems and Algorithms: An Interface between Isabelle and Maple. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1995, pp:150-157 [Conf]
  7. Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann
    Specification and Integration of Theorem Provers and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:39-57 [Journal]
  8. Jacques Calmet, Karsten Homann
    Towards the Mathematics Software Bus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:187, n:1-2, pp:221-230 [Journal]

Search in 0.017secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002