Baudouin LE CHARLIER

  • 47 Citations
  • 2 h-Index
1974 …2002

Research output per year

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Baudouin LE CHARLIER est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 1 Profils similaires

Projets

Résultat de recherche

  • 47 Citations
  • 2 h-Index
  • 4 Article dans les actes d'une conférence/un colloque
  • 2 Chapitre

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury

Baldan, D., Le Charlier, B., Leclère, C. & Pollet, I., 1998, LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. Flener, P. (Ed.). Springer Verlag, Vol 1559. p. 21-40 20 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Unified Relational Framework for Programming Paradigm Combination..

Habra, N. & Le Charlier, B., 1997, Proceedings of the FroCos'96: First International Workshop Frontiers of Combining Systems. Dordrecht, Boston, London: Kluwer Academic Publishers, Vol 3. p. 357-375 19 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Distributed audit trail analysis

Mounji, A., Le Charlier, B., Zampunidris, D. & Habra, N., 1 janv. 1995, Proceedings of the Symposium on Network and Distributed System Security, NDSS 1995. Institute of Electrical and Electronics Engineers Inc., p. 102-112 11 p. 390641. (Proceedings of the Symposium on Network and Distributed System Security, NDSS 1995).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Asax: Software architecture and rule-based language for universal audit trail analysis

    Habra, N., Le Charlier, B., Mounji, A. & Mathieu, I., 1 janv. 1992, Computer Security - ESORICS 1992 - 2nd European Symposium on Research in Computer Security, Proceedings. Quisquater, J-J., Eizenberg, G. & Deswarte, Y. (eds.). Springer Verlag, p. 435-450 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 648 LNCS).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

  • Modèles, Langages et Systèmes pour la conception et l'exploitation de bases de données

    Le Charlier, B. & Hainaut, J-L., 1978, Actes du congrès AFCET 178. Editions Hommes et Techniques, p. 179-189 11 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

    Thèse

    Abstract Interpretation of full Prolog

    Author: Chabot, F. & Joucken, P., 1995

    Superviseur: Le Charlier, B. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Abstract Interpretation of Prolog programs: Optimizations of an implementation

    Author: Englebert, V. & Roland, D., 1992

    Superviseur: Le Charlier, B. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Algorithmes de manipulation des grands nombres entiers : preuves de correction

    Author: Hastir, M., 1986

    Superviseur: Le Charlier, B. (Jury)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Analyse de strictness des langages applicatifs par l'interprétation abstraite

    Author: Pollet, I., 1997

    Superviseur: Le Charlier, B. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier

    Analyse dynamique de fichiers audit-trail pour la détection de virus informatiques

    Author: Delhez, D. & Hock, M., 1996

    Superviseur: Le Charlier, B. (Promoteur)

    Thèse de l'étudiant: Master typesMaster en sciences informatiques

    Fichier