Research Group on the Foundations of Computer Sciences

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.

Profils

DENIS DARQUENNES

Research Group on the Foundations of Computer Sciences

personne: Personnel Scientifique

Projets

1 Pas commencé
11 Actif
16 Terminé

STS-Bach: a Contextual Coordination Model for Socio-Technical Systems

BARKALLAH, M. & JACQUET, J.

1/10/19 → …

Projet: Projet de thèse

CoTu: Erasmus+ICT: PROJECT FOR HIGHER EDUCATION STUDENT AND STAFF MOBILITY BETWEEN PROGRAMME COUNTRIES AND PARTNER COUNTRIES

SCHOBBENS, P., AMRANI, M. & ORTIZ VEGA, J. J.

1/08/19 → 31/07/22

Projet: Recherche

Optimisation de la performance et de la qualité d'un système de production, à travers des techniques d'intelligence artificielle, dans un contexte d'Industry 4.0

BOUGAHAM, A., FRENAY, B. & LINDEN, I.

6/03/19 → 5/03/23

Projet: Projet de thèse

Résultat de recherche

450 Citations
12 h-Index
58 Article dans les actes d'une conférence/un colloque
33 Article
10 Livre
8 Chapitre (revu par des pairs)
33 Afficher plus d’informations

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érence › Chapitre (revu par des pairs)

Decision Support Systems X: Cognitive Decision Support Systems and Technologies

Moreno-Jimenez, J-M. (Ed.), LINDEN, I. (Ed.), Dargam, F. C. C. (Ed.) & Jayawickrama, U. (Ed.), 2020, https://doi.org/10.1007/978-3-030-46224-6: Springer. (LNBIP; Vol 384)

Résultats de recherche: Livre/Rapport/Revue › Livre

Activités

45 Participation à une conférence, un congrès
19 Participation à un atelier/workshop, un séminaire, un cours
18 Présentation orale
16 Participation à un Colloque, une journée d'étude
17 Afficher plus d’informations

International Conference on Decision Support System Technology :

Isabelle LINDEN (Organisateur)

27 mai 2020 → 29 mai 2020

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

Introduire la concurrence en début de secondaire

Cédric Libert (Orateur)

6 févr. 2020

Activité: Types de discours ou de présentation › Présentation orale

Journées Francophones Extraction et Gestion des Connaissances

Etienne Cuvelier (Organisateur), , Isabelle Linden (Organisateur), , Christian Colot (Organisateur), & Monique FRAITURE (Organisateur)

27 janv. 2020 → 31 janv. 2020

Activité: Types de Participation ou d'organisation d'un événement › Participation à 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