The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jacques Calmet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü
    An Executable Graphical Representation of Mediatory Information Systems. [Citation Graph (1, 17)][DBLP]
    ICDE, 1996, pp:124-131 [Conf]
  2. Jacques Calmet
    Manipulation of recurrence relations in computer algebra. [Citation Graph (0, 0)][DBLP]
    AAECC, 1984, pp:242-252 [Conf]
  3. Jacques Calmet
    Towards an Expert System for Error-Correcting Codes: SECC. [Citation Graph (0, 0)][DBLP]
    AAECC, 1987, pp:75-87 [Conf]
  4. Jacques Calmet, Marc Bergman
    Some design principles for a mathematical knowledge representation system: a new approach to scientific calculation. [Citation Graph (0, 0)][DBLP]
    AAECC, 1984, pp:253-265 [Conf]
  5. Jacques Calmet, Hubert Comon, Denis Lugiez
    Type Inference Using Unification in Computer Algebra. [Citation Graph (0, 0)][DBLP]
    AAECC, 1986, pp:25-28 [Conf]
  6. 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]
  7. Jacques Calmet, John A. Campbell
    Artificial Intelligence and Symbolic Mathematical Computation. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:1-19 [Conf]
  8. Jacques Calmet, Karsten Homann, Indra A. Tjandra
    Unified Domains and Abstract Computational Structures. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:166-177 [Conf]
  9. Jacques Calmet, Peter Kullmann, Morio Taneda
    Composite Distributive Lattices as Annotation Domains for Mediators. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:65-77 [Conf]
  10. Moritz Minzlaff, Jacques Calmet
    A New Definition for Passivity and Its Relation to Coherence. [Citation Graph (0, 0)][DBLP]
    AISC, 2006, pp:94-105 [Conf]
  11. Karsten Homann, Jacques Calmet
    Combining Theorem Proving and Symbolic Mathematical Computing. [Citation Graph (0, 0)][DBLP]
    AISMC, 1994, pp:18-29 [Conf]
  12. Pierre Maret, Jacques Calmet
    Modeling Corporate Knowledge within the Agent Oriented Abstraction. [Citation Graph (0, 0)][DBLP]
    CW, 2004, pp:224-231 [Conf]
  13. Jacques Calmet, Indra A. Tjandra
    A Unified-Algebra-Based Specification Language for Symbolic Computing. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:122-133 [Conf]
  14. Karsten Homann, Jacques Calmet
    Structures for Symbolic Mathematical Reasoning and Computation. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:216-227 [Conf]
  15. Jacques Calmet, Anusch Daemi, Regine Endsuleit, Thilo Mie
    A Liberal Approach to Openness in Societies of Agents.. [Citation Graph (0, 0)][DBLP]
    ESAW, 2003, pp:81-92 [Conf]
  16. Pierre Maret, Mark Hammond, Jacques Calmet
    Virtual Knowledge Communities for Corporate Knowledge Issues. [Citation Graph (0, 0)][DBLP]
    ESAW, 2004, pp:33-44 [Conf]
  17. Jacques Calmet, Rüdiger Loos
    Deterministic Versus Probabilistic Factorization of Integral Polynomials. [Citation Graph (0, 0)][DBLP]
    EUROCAM, 1982, pp:117-125 [Conf]
  18. 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]
  19. Jacques Calmet
    Intelligent Computer Algebra System: Myth, Fancy or Reality? [Citation Graph (0, 0)][DBLP]
    Trends in Computer Algebra, 1987, pp:2-11 [Conf]
  20. Jacques Calmet, Sebastian Jekutsch, Joachim Schü
    A Generic Query-Translation Framework for a Mediator Architecture. [Citation Graph (0, 14)][DBLP]
    ICDE, 1997, pp:434-443 [Conf]
  21. Dong Huang, Yi Yang, Jacques Calmet
    ModelingWeb Services Policy with Corporate Knowledge. [Citation Graph (0, 0)][DBLP]
    ICEBE, 2006, pp:216-223 [Conf]
  22. Jacques Calmet, Peter Kullmann
    Meta Web Search with KOMET. [Citation Graph (0, 0)][DBLP]
    Intelligent Information Integration, 1999, pp:- [Conf]
  23. Jacques Calmet, James J. Lu, Maria Rodriguez, Joachim Schü
    Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ISMIS, 1996, pp:202-211 [Conf]
  24. Jacques Calmet, Indra A. Tjandra
    Representation of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1991, pp:469-478 [Conf]
  25. Jacques Calmet, Indra A. Tjandra
    Building Bridges Between Knowledge Representation and Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:295-304 [Conf]
  26. Jacques Calmet, Sebastian Jekutsch, Peter Kullmann, Joachim Schü
    KOMET - A System for the Integration of Heterogeneous Information Sources. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:318-327 [Conf]
  27. Jacques Calmet, Peter Kullmann
    A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1999, pp:475-483 [Conf]
  28. Yi Yang, Jacques Calmet
    OntoBayes Approach to Corporate Knowledge. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:274-283 [Conf]
  29. 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]
  30. Felix Ulmer, Jacques Calmet
    On Liouvillian Solutions of Homogeneous Linear Differential Equations. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1990, pp:236-243 [Conf]
  31. Zoltán Ádám Mann, Jacques Calmet, Peter Kullmann
    Testing Access to External Information Sources in a Mediator Environment. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:111-0 [Conf]
  32. Regine Endsuleit, Jacques Calmet
    Introducing Robust and Private Computation into Grid Technology. [Citation Graph (0, 0)][DBLP]
    WETICE, 2004, pp:303-308 [Conf]
  33. Yi Yang, Jacques Calmet
    From the OntoBayes Model to a Service Oriented Decision Support System. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:127- [Conf]
  34. Dong Huang, Yi Yang, Jacques Calmet
    A Knowledge-based Security Policy Framework for Business Process Management. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2006, pp:154- [Conf]
  35. Yi Yang, Jacques Calmet
    OntoBayes: An Ontology-Driven Uncertainty Model. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:457-463 [Conf]
  36. Marvin Oliver Schneider, Jacques Calmet
    Fibered Guard - A Hybrid Intelligent Approach to Denial of Service Prevention. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:121-127 [Conf]
  37. Jacques Calmet, John A. Campbell
    A Perspective on Symbolic Mathematical Computing and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:3-4, pp:261-277 [Journal]
  38. Jacques Calmet, Peter Kullmann, Morio Taneda
    Composite Distributive Lattices as Annotation Domains for Mediators. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:263-277 [Journal]
  39. 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]
  40. Jacques Calmet, Rüdiger Loos
    An Improvement of Rabin's Probabilistic Algorithm for Generating Irreducible Polynomials over GF(p). [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1980, v:11, n:2, pp:94-95 [Journal]
  41. 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]
  42. Jacques Calmet
    Algebraic algorithms in GF(q). [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1985, v:56, n:2-3, pp:101-109 [Journal]

  43. A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence. [Citation Graph (, )][DBLP]


  44. A Service Oriented Framework for Mobile Business Virtual Communities. [Citation Graph (, )][DBLP]


  45. Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning. [Citation Graph (, )][DBLP]


  46. In memoriam Thomas Beth. [Citation Graph (, )][DBLP]


  47. Editors' foreword. [Citation Graph (, )][DBLP]


  48. Preface. [Citation Graph (, )][DBLP]


Search in 0.076secs, Finished in 0.080secs
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