The anomalous magnetic moment of the muon: a review of the theoretical contributions J Calmet, S Narison, M Perrottet, E De Rafael Reviews of Modern Physics 49 (1), 21, 1977 | 200 | 1977 |
Ontobayes: An ontology-driven uncertainty model Y Yang, J Calmet International Conference on Computational Intelligence for Modelling …, 2005 | 180 | 2005 |
Theorems and algorithms: An interface between Isabelle and Maple C Ballarin, K Homann, J Calmet Proceedings of the 1995 international symposium on Symbolic and algebraic …, 1995 | 110 | 1995 |
Higher order hadronic corrections to the anomalous magnetic moment of the muon J Calmet, S Narison, M Perrottet, E De Rafael Physics Letters B 61 (3), 283-286, 1976 | 100 | 1976 |
Computer algebra systems JA Van Hulzen, J Calmet Computer algebra: symbolic and algebraic computation, 221-243, 1983 | 70 | 1983 |
A constructive introduction to involution J Calmet, M Hausdorf, WM Seiler Proc. Int. Symp. Applications of Computer Algebra—ISACA, 33-50, 2000 | 55 | 2000 |
Computer algebra applications J Calmet, JA Van Hulzen Computer Algebra: Symbolic and Algebraic Computation, 245-258, 1982 | 54* | 1982 |
From entropy to ontology J Calmet, A Daemi na, 2004 | 50 | 2004 |
Classification of communication and cooperation mechanisms for logical and symbolic computation systems J Calmet, K Homann Frontiers of Combining Systems: First International Workshop, Munich, March …, 1996 | 41 | 1996 |
Specification and integration of theorem provers and computer algebra systems PG Bertoli, J Calmet, F Giunchiglia, K Homann Artificial Intelligence and Symbolic Computation: International Conference …, 1998 | 40 | 1998 |
Combining theorem proving and symbolic mathematical computing K Homann, J Calmet Integrating Symbolic Mathematical Computation and Artificial Intelligence …, 1995 | 39 | 1995 |
Agent-oriented abstraction. J Calmet, P Maret, R Endsuleit RACSAM 98 (1), 77-83, 2004 | 33 | 2004 |
Specification and integration of theorem provers and computer algebra systems PG Bertoli, J Calmet, F Giunchiglia, K Homann Fundamenta Informaticae 39 (1-2), 39-57, 1999 | 33 | 1999 |
KOMET—A system for the integration of heterogeneous information sources J Calmet, S Jekutsch, P Kullmann, J Schü Foundations of Intelligent Systems: 10th International Symposium, ISMIS'97 …, 1997 | 32 | 1997 |
Algorithmic methods for Lie pseudogroups J Schü, WM Seiler, J Calmet Modern Group Analysis: Advanced Analytical and Computational Methods in …, 1993 | 30 | 1993 |
Recoil corrections to muonic atom energy levels RC Barrett, DA Owen, J Calmet, H Grotch Physics Letters B 47 (4), 297-299, 1973 | 30 | 1973 |
Virtual knowledge communities for corporate knowledge issues P Maret, M Hammond, J Calmet International Workshop on Engineering Societies in the Agents World, 33-44, 2004 | 29 | 2004 |
A generic query-translation framework for a mediator architecture J Calmet, S Jekutsch, J Schu Proceedings 13th International Conference on Data Engineering, 434-443, 1997 | 29 | 1997 |
Structures for symbolic mathematical reasoning and computation K Homann, J Calmet Design and Implementation of Symbolic Computation Systems: International …, 1996 | 29 | 1996 |
An improvement of Rabin's probabilistic algorithm for generating irreductible polynomials over GF (p) J Calmet, R Loos | 29 | 1980 |