Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Jean-Marie JACQUET

Téléphone: 081/725001
Fax: 081/724967
Mail:

Charges aux FUNDP

Diplômes

Docteur (avec thèse)

Cours (titulaire)

Projets en cours

Anciens projets

Activités organisées

Comité scientifique : International Conference on Coordination Models and Languages (, 2005)

Publications (36)

Articles de périodique

2009
Fully Abstract Models and Refinements as Tools to Compare Agents in Timed Coordination Languages, in Theoretical Computer Science, volume 410, issue 2-3, pp. 221-253
Jean-Marie JACQUET, Isabelle LINDEN
2007
On the Expressiveness of Timed Coordination via Shared Dataspaces, in Electronic Notes in Theoretical Computer Science, volume 180, issue 2, pp. 71-89
Isabelle LINDEN, Jean-Marie JACQUET
2006
On the Expressiveness of Timed Coordination Models, in Science of Computer Programming, volume 61, issue 2, pp. 152-187
Isabelle LINDEN, Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2006
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching, in Fundamenta Informaticae, volume 73, issue 4, pp. 432-478
Antonio BROGI, Jean-Marie JACQUET, Isabelle LINDEN
2004
On the Expressiveness of Relative-Timed Coordination Models, in Electronic Notes in Theoretical Computer Science, volume 97, pp. 125-153
Isabelle LINDEN, Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2003
Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework, in The Journal of Supercomputing, volume 24, issue 2, pp. 121-129
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
2003
On the Expressiveness of Coordination via Shared Dataspaces, in Science of Computer Programming, volume 461-2, pp. 71-98
Jean-Marie JACQUET, Antonio BROGI
2003
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming, in Electronic Notes in Theoretical Computer Science, volume 68, issue 3
Jean-Marie JACQUET, Lubos BRIM, David GILBERT, Mojmir KRETINSKY
2003
On Modeling Coordination via Asynchronous Communication and Enhanced Matching, in Electronic Notes in Theoretical Computer Science, volume 68, issue 3, pp. 284-309
Antonio BROGI, Jean-Marie JACQUET, Isabelle LINDEN
2003
On the expressiveness of coordination via shared dataspaces, in Science of Computer Programming, volume 46 , issue 1-2, pp. 71-98
Jean-Marie JACQUET, Antonio BROGI
2002
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes, in Computers and Artificial Intelligence, volume 21, issue 6
Jean-Marie JACQUET, Lubos BRIM, Mojmir KRETINSKY, David GILBERT
2000
Blackboard Relations in the µLog Coordination Model., in New Generation Computing, volume 19, issue 1, pp. 23-56
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
1998
On the Expressiveness of Linda-like Concurrent Languages, in Electronic Notes in Theoretical Computer Science
Jean-Marie JACQUET, Antonio BROGI
1998
On the Expressiveness of Linda-like Concurrent Languages, in Electronic Notes in Theoretical Computer Science, volume 16, issue 2
Jean-Marie JACQUET, Antonio BROGI

Publications en série

1998
On Relating Blackboards in the Coordination Model
Jean-Marie JACQUET

Contributions à des ouvrages collectifs

2007
Towards a theory of refinement in timed coordination languages, in Coordination Languages and Models, collection Lecture Notes in Computer Science
Jean-Marie JACQUET, Isabelle LINDEN
2007
Coordinating context-aware applications in mobile Ad-hoc Networks, in Proceedings of the first ERCIM workshop on eMobility, pp. 107-118
Jean-Marie JACQUET, Isabelle LINDEN
2004
On the Expressiveness of Absolute-Time Coordination Languages, in Proceedings of the Coordination'04 Conference, Pisa, Italy, February 2004, collection Lecture Notes in Computer Science, volume 2949, pp. 232-247
Isabelle LINDEN, Jean-Marie JACQUET
2003
On Methodologies for Coordinating Programs, in Proceedings of the international conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), Las Vegas, Nevada, USA, 23-26 June 2003, pp. 115-121
Isabelle LINDEN, Jean-Marie JACQUET
2001
Multi-agent Systems as Concurrent Constraint Processes, in Proceedings of the 28th Conference on Theory and Practice of Informatics, Current Trends in Theory and Practice of Informatics, collection Springer, volume 2234, pp. 201-210
Jean-Marie JACQUET, Lubos BRIM, David GILBERT, Mojmir KRETINSKY
2001
Synchronous coordination in the Log coordination model., in Proceedings of the SAC Conference, pp. 151-158
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
2000
Meta-coordination in the muLog Coordination Model, in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications
Jean-Marie JACQUET, Koenraad DE BOSSCHERE
2000
Meta-coordination in the µLog Coordination Model, in Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Application, volume 2, pp. 761-767
Jean-Marie JACQUET, Koen DE BOSSCHERE
2000
On Timed Coordination Languages, in Proceedings of the 4th International Conference on Coordination Languages and Models, collection Springer, volume 1906, pp. 81-98
Jean-Marie JACQUET, Koenraad DE BOSSCHERE, Antonio BROGI
2000
On Timed Coordination Languages, in Proceedings of the Fourth International Conference on Coordination Languages and Models, collection Lecture Notes in Computer Science, volume 1906, pp. 81-98
Jean-Marie JACQUET, Koen DE BOSSCHERE, Antonio BROGI
1999
On the Expressiveness of Coordination Models, in Proceedings of the Third International Conference on Coordination Languages and Models,, collection Springer-Verlag, volume 1594, pp. 134-149
Jean-Marie JACQUET, Antonio BROGI
1999
On the Expressiveness of Coordination Models, in Proceedings of the Third International Conference on Coordination Languages and Models, collection Springer, volume 1594, pp. 134-149
Jean-Marie JACQUET, Antonio BROGI
1998
Modeling Coordination via Asynchronous Communication, in Proceedings of the Second International Conference on Coordination Languages and Models, collection Lecture Notes in Computer Science, volume 1282, pp. 238-255
Antonio BROGI, Jean-Marie JACQUET
1998
On Relating Blackboards in the uLog Coordination Model, in Proceedings of the workshop on Coordination Models and Languages, Annual Hawaii International Conference on System Sciences, pp. 359-368
Jean-Marie JACQUET, Koen DE BOSSCHERE
1997
Modeling Coordination via Asynchronous Communication, in Proceedings of the 2nd International Conference on Coordination Models and Languages, collection Springer, volume 1282, pp. 238-255
Jean-Marie JACQUET, Antonio BROGI
1997
On Relating Blackboards in the muLog Coordination Model, in Proceedings of the HICSS Conference, collection IEEE, pp. 359-368
Jean-Marie JACQUET, Koenraad DE BOSSCHERE

Livres

2008
Proceedings of the 7th International Conference on Coordination Languages and Models
Jean-Marie JACQUET, Gian Pietro PICCO
2005
Proceedings of the 7th International Conference on Coordination Languages and Models
Jean-Marie JACQUET, Gian Pietro PICCO
1993
Constructing logic programs
Jean-Marie JACQUET
1991
Conclog: a Methodological Approach to Concurrent Logic Programming
Jean-Marie JACQUET

Rapports de recherche

2008
Cardinality heterogeneities in Web service composition: Issues and solutions
Michaël MRISSA, Philippe THIRAN, Jean-Marie JACQUET, Djamal BENSLIMANE, Zakaria MAAMAR

Mémoires et thèses supervisés (27)

Thèses

2008
Application des Machines à Etats Finis en Synthèse de la Parole. Sélection d'unités non uniformes et Correction orthographique
Richard BEAUFORT
2007
On the introduction of time in coordination languages : semantic, expressiveness and programming methodologies
Isabelle LINDEN
1997
The sharing tree data structure:: theory and applications in formal verification
Denis ZAMPUNIERIS

Mémoires

2010
Rétroingénieurie et développement d'une interface d'acquisition de connaissances
Sandy WAUTHIER
2009
Implémentation d'un langage de coordination et application aux domaines du traitement de l'image et du son
Charles DUYSINX
2009
On constructing applications in secure embedded peer-to-peer networks: formalization and implementation issues in SMEPP
Sébastien GÉRARD
2009
Système expert fiscal
Cathy DEKETELAERE
2009
Modélisation de l'exécution de programmes dans les langages de coordination au moyen de réseaux de Petri
Olivier VANDORPE
2009
Modélisation opérationnelle et intentionnelle de workflows: application aux processus de soins médicaux
François ROUCOUX
2008
Système expert fiscal
Stéphane DEREPPE
2008
Conception de workflow par des langages de coordination
Stéphanie CORDIER
2006
Gestion électronique de document multimédia: techniques d'indexation et de recherche
Michel FERON, Paul DELCORDE
2005
Système de gestion de Workflow: modélisation et implémentation
Pierre COLOT
2005
e-learning: développement d'une plateforme
Alexis WILLEMYNS
2005
Sémantique et vérification de langages de coordination par les réseaux de Petri
Frumence MAYALA LUSILABO MFUMU A'NSI
2004
Gestion électronique de documents multimédia: techniques de recherche et d'indexation
Julie ANCIAUX
2004
Gestion électronique de documents multimédia: techniques de recherche et d'indexation
Julie ANCIAUX
2004
Création de librairies Prolog pour le Web
Julien LEFÈVRE
2004
Towards distributed model checking: a network memory storage mechanism
Geoffrey MICHE
2004
Conception et développement d'un système basé sur des connaissances juridiques extensibles
David FRÉDRICH
2004
Design and implementation of a graphical editor for concurrent systems
Gaëtan DE MENTEN
2003
Eléments d'intelligence artificielle appliqués au monde de la communication
Philippe VERDEYEN
2003
La programmation par contraintes: une solution au problème de la constitution des horaires de sessions d'examens à l'université ?
Etienne VANDEPUT
2003
Visites muséales interactives: de la conception par le conservateur à l'exploitation par le visiteur
Michaël DE GOLS, Frédéric FOULARD
2002
Conception et étude d'un langage de coordination
Isabelle LINDEN
2002
Création et exploitation d'archives audiovisuelles numériques
Laurent KEVERS, Jean-Bernard VAN ZUYLEN
2002
Analyse technique des formats MPEG
Christophe BRASSEUR, Rudy TIXHON