Research Group on the Foundations of Computer Sciences

  • 5000

    Belgique

Empreinte digitale Passez en revue plus en détail les thèmes de recherche où Research Group on the Foundations of Computer Sciences est actif. Ces libellés thématiques proviennent des travaux des membres de cette organisation. Ensemble, ils forment une empreinte digitale unique.

  • Réseau Collaboration externe récente au niveau des pays. Analysez le détail en cliquant sur les points.

    Projets

    Résultat de recherche

    30 Years of Business Intelligence: From Data Analytics to Big Data

    Linden, I., 2020, (Accepté/sous presse) EWG-DSS 30 Years: A tour on the DSS developments over the last 30 . Springer, (LNBIP).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

    An SMT-Based Concolic Testing Tool for Logic Programs

    Titre traduit de la contribution: Un outil de concolic testing basé sur un soldeur SMT pour les programmes logiquesFortz, S., Mesnard, F., Payet, E., PERROUIN, GILLES., VANHOOF, W. & Vidal, G., 31 janv. 2020, (Accepté/sous presse).

    Résultats de recherche: Contribution à un événement scientifique (non publié)Poster

    Collab-Net as a DSS for the Identification of Potential Partners and the Creation of Research Consortia

    LINDEN, I., Turet, J., Costa, A. P. C. S., Dargam, F. C. C. & Zaraté, P., 2020, 6th International Conference on Decision Support System Technology - ICDSST 2020 on: Cognitive Decision Support Systems & Technologies. p. 67-73

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

    Activités

    Moulinog: A Generator of Random Student Assignments Written in Prolog

    GONZAGUE YERNAUX (Orateur)

    8 sept. 2020

    Activité: Types de discours ou de présentationPrésentation orale

    22nd International Symposium on Principles and Practice of Declarative Programming

    GONZAGUE YERNAUX (Participant), , LAURENT SCHUMACHER (Participant), & Wim VANHOOF (Participant)

    8 sept. 202010 sept. 2020

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    International Conference on Decision Support System Technology :

    Isabelle LINDEN (Organisateur)

    27 mai 202029 mai 2020

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Prix

    IBM Belgium Prijs informatica

    VANHOOF, Wim (Bénéficiaire), 1996

    Prix: Mise à l'honneur nationale/internationale

    Most Influential Paper Award

    SCHOBBENS, PIERRE-YVES (Bénéficiaire), HEYMANS, Patrick (Bénéficiaire), Jean-Christophe Trigaux (Bénéficiaire) & Yves Bontemps (Bénéficiaire), 15 sept. 2016

    Prix: Mise à l'honneur nationale/internationale

  • Presse/médias

    17th IFIP international conference on coordination models and languages (COORDINATION 2015)

    Jean-Marie Jacquet

    19/01/15

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert

    6th international workshop on formal methods and analysis in spl engineering (FMSPLE 2015)

    Maxime Cordy & Patrick Heymans

    20/10/14

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert

    10th international IFIP workshop on semantic web and web semantics (SWWS 2014)

    Pierre Schobbens

    14/06/14

    1 élément de Couverture média

    Presse/Médias: Commentaire d'expert

    Ensembles de données

    VIBeS Case Studies: Featured Transition Systems and Feature Models

    DEVROEY, X. (Créateur), University of Namur, oct. 2020

    Ensemble de données

    JHipster v3.6.1 dataset

    DEVROEY, X. (Créateur), Halin, A. (Créateur), Nuttinck, A. (Créateur), Acher, M. (Créateur) & PERROUIN, G. (Créateur), Zenodo, 26 avr. 2020

    Ensemble de données

    Thèses de l'étudiant

    A Blackboard Approach to Concurrent Constraint Programming

    Author: Pires da Costa, J. M., 1996

    Superviseur: Jacquet, J. (Promoteur)

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

    Fichier

    Analyse des performances d'algorithmes et application à la comparaison d'algorithmes de flot dans les réseaux de transport

    Author: JACQUET, J., 1984

    Superviseur: Fichefet, J. (Promoteur)

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

    Fichier

    Analysis of inefficiencies in financial institutions detection of money laundering

    Author: LANOTTE , M., 2012

    Superviseur: LINDEN, I. (Jury) & JURETA, I. (Jury)

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

    Fichier