Jean-Marie Jacquet
Orcid: 0000-0001-9531-0519Affiliations:
- University of Namur, Belgium
According to our database1,
Jean-Marie Jacquet
authored at least 73 papers
between 1990 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
J. Log. Algebraic Methods Program., 2025
2023
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues.
Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023
2021
Sci. Comput. Program., 2021
2020
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018).
Sci. Comput. Program., 2020
J. Log. Algebraic Methods Program., 2020
2019
Preface to the special issue on Coordination Models and Languages (Coordination 2017).
Sci. Comput. Program., 2019
Proceedings of the Coordination Models and Languages, 2019
2018
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study.
Proceedings of the Coordination Models and Languages, 2018
Proceedings of the It's All About Coordination, 2018
2016
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks.
Sci. Comput. Program., 2016
Sci. Comput. Program., 2016
2014
Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014
2013
Proceedings of the ICEIS 2013, 2013
Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework.
Proceedings of the Decision Support Systems III - Impact of Decision Support Systems for Global Environments, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
2012
Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012
2011
Proceedings of the Decision Support Systems - Collaborative Models and Approaches in Real Environments, 2011
2009
Fully abstract models and refinements as tools to compare agents in timed coordination languages.
Theor. Comput. Sci., 2009
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).
Sci. Comput. Program., 2009
2008
CoRR, 2008
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008
2007
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007
2006
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Informaticae, 2006
Fundam. Informaticae, 2006
2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004
2003
Suspension Terms as a Means for Meta-coordination in the mu<i>Log</i> Coordination Framework.
J. Supercomput., 2003
Sci. Comput. Program., 2003
Proceedings of FOCLASA 2003, 2003
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
Proceedings of FOCLASA 2003, 2003
On Methodologies for Coordinating Programs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
2002
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002
Comput. Artif. Intell., 2002
2001
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001
2000
Meta-coordination in the µLog Coordination Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
1999
Proceedings of the Coordination Languages and Models, Third International Conference, 1999
1998
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998
1997
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997
Proceedings of the Coordination Languages and Models, Second International Conference, 1997
1996
J. Symb. Comput., 1996
Comput. Lang., 1996
Proceedings of the Logic Programming, 1996
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996
Proceedings of the Coordination Languages and Models, First International Conference, 1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1995
On Composing Concurrent Logic Processes.
Proceedings of the Logic Programming, 1995
1994
Local and Conditional Blackboard Operations in μLog: Semantics, Applicability, and Implementation.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
PP-clauses: A Means for Handling Resources.
Proceedings of the Logic Programming, 1994
Verifying Logic Programs from Metric Semantics.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994
1993
On A Fully Abstract Denotational Semantics for uLog.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993
Multi-Prolog: Definition, Operational Semantics and Implementation.
Proceedings of the Logic Programming, 1993
1992
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming.
Proceedings of the Logic Programming, 1992
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992
1991
Verifying Logic Programs from Metric Semantic Characterizations.
Proceedings of the Constructing Logic Programs, 1991
Introduction to Logic Programming.
Proceedings of the Constructing Logic Programs, 1991
Proceedings of the CONCUR '91, 1991
Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991
Lecture Notes in Computer Science 556, Springer, ISBN: 3-540-54938-2, 1991
1990
Comparative Semantics for a Parallel Contextual Logic Programming Language.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990