Projets par an
Profil personnel
Diplômes
Docteur (avec thèse)
Diplômes
Docteur (avec thèse)
Expertise relative aux objectifs de développement durable des Nations Unies
En 2015, les États membres des Nations Unies ont convenu de 17 objectifs de développement durable (Sustainable Development Goals, SDG) pour éradiquer la pauvreté, protéger la planète et assurer la prospérité de tous. Le travail de cette personne contribue à la poursuite du/des SDG suivant(s) :
Qualification académique
Docteur ès sciences, Universite de Namur
Date d'octroi: 30 juin 1989
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Jean-Marie JACQUET est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Réseau
Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
-
ARIAC by DigitalWallonia4.AI: Applications et Recherche pour une Intelligence Artificielle de Confiance (TRAIL-Foundations)
Frénay, B., JACQUET, J. & Dumas, B.
1/01/21 → 31/12/26
Projet: Recherche
-
STS-Bach: a Contextual Coordination Model for Socio-Technical Systems
1/10/19 → …
Projet: Projet de thèse
-
-
POC ProCEPlanS: PROof of Concept of an Estate PLANning Software
JACQUET, J., Helbois, D. & LINDEN, I.
1/11/13 → 31/10/14
Projet: Recherche
Résultat de recherche
-
Anemone: A workbench for the Multi-Bach coordination language
Jacquet, J. M. & Barkallah, M., 1 févr. 2021, Dans: Science of Computer Programming. 202, 102579.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
-
Vers un monde assisté
JACQUET, J-M. & Frénay, B., 24 août 2021, Éduquer au numérique: 12 clés pour comprendre l'informatique. Henry, J. & Boraita, F. (eds.). Politeia, p. 205-235 21 p.Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Chapitre
-
On the expressiveness of multiplicities in data-based coordination languages
Darquennes, D., Jacquet, J. M. & Linden, I., avr. 2020, Dans: Journal of Logical and Algebraic Methods in Programming. 112, 100528.Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs
-
Preface to the special issue on Coordination Models and Languages (COORDINATION 2017)
Jacquet, J. M. & Massink, M., 1 juil. 2019, Dans: Science of Computer Programming. 180, p. 16-17 2 p.Résultats de recherche: Contribution à un journal/une revue › Editorial › Revue par des pairs
-
Scan: A simple coordination workbench
Jacquet, J. M. & Barkallah, M., 5 juin 2019, Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Tuosto, E., Tuosto, E. & Riis Nielson, H. (eds.). Springer Verlag, p. 75-91 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 11533 LNCS).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Activités
-
FOCUS Research Seminar
Wim Vanhoof (Organisateur), Jean-Marie Jacquet (Organisateur), Manel Barkallah (Membre du Comité d'Organisation), Gonzague Yernaux (Membre du Comité d'Organisation), Pierre-Yves Schobbens (Membre du Comité d'Organisation), James Jerson Ortiz Vega (Membre du Comité d'Organisation), Moussa Amrani (Membre du Comité d'Organisation), Isabelle Linden (Membre du Comité d'Organisation) & Christian Colot (Membre du Comité d'Organisation)
6 déc. 2019Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours
-
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Manel Barkallah (Orateur), Jean-Marie Jacquet (Orateur) & Isabelle Linden (Orateur)
23 oct. 2018Activité: Discours ou présentation › Présentation orale
-
International Conference on Coordination Models and Languages
Jean-Marie Jacquet (Organisateur)
20 avr. 2005 → 23 avr. 2005Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès
Thèse
-
Analyse des performances d'algorithmes et application à la comparaison d'algorithmes de flot dans les réseaux de transport
Auteur: JACQUET, J., 1984Superviseur: Fichefet, J. (Promoteur)
Student thesis: Master types › Master en sciences informatiques
Fichier