Jean-Marie Jacquet

dblp:58/759 · DBLP profile ↗
← Back
34ranked-venue papers
15as first author
3since 2021 · last 2026
0000-0001-9531-0519ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 17 · 9 first-author · 2 since 2021Theory of computation · 8 · 4 first-authorSystems, architecture and hardware · 2 · 1 first-authorArtificial intelligence and machine learning · 1Applied, interdisciplinary, general and emerging computing · 1
YearPublicationVenuePosition
2026 Bach4Popper: Towards Federated Inductive Logic Programming Using Coordination
Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, Wim Vanhoof
COORDINATION3
2025 On the expressiveness and efficiency of guarded lists in Bach
Manel Barkallah, Jean-Marie Jacquet
J. Log. Algebraic Methods Program.2
2021 Anemone: A workbench for the Multi-Bach coordination language
Jean-Marie Jacquet, Manel Barkallah
Sci. Comput. Program.1
2020 On the expressiveness of multiplicities in data-based coordination languages
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
J. Log. Algebraic Methods Program.2
2020 Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018)
Jean-Marie Jacquet, Jacopo Soldani
Sci. Comput. Program.1
2019 Scan: A Simple Coordination Workbench
Jean-Marie Jacquet, Manel Barkallah
COORDINATION1
2019 Preface to the special issue on Coordination Models and Languages (Coordination 2017)
Jean-Marie Jacquet, Mieke Massink
Sci. Comput. Program.1
2018 On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
COORDINATION2
2016 On the introduction of density in tuple-space coordination languages
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
Sci. Comput. Program.1
2016 Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
Sci. Comput. Program.1
2009 Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06)
Ernesto Pimentel 0001, Jean-Marie Jacquet
Sci. Comput. Program.2
2009 Fully abstract models and refinements as tools to compare agents in timed coordination languages
Jean-Marie Jacquet, Isabelle Linden
Theor. Comput. Sci.1
2007 Towards a Theory of Refinement in Timed Coordination Languages
Jean-Marie Jacquet, Isabelle Linden
COORDINATION1
2007 Introduction to the special issue
Jean-Marie Jacquet, Gian Pietro Picco
Sci. Comput. Program.1
2006 Foundations on Coordination Languages and Software Architectures
Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok
Fundam. Informaticae2
2006 Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching
Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden
Fundam. Informaticae2
2006 Preface
Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel 0001
Sci. Comput. Program.2
2006 On the expressiveness of timed coordination models
Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi
Sci. Comput. Program.2
2004 On the Expressiveness of Absolute-Time Coordination Languages
Isabelle Linden, Jean-Marie Jacquet
COORDINATION2
2003 On the expressiveness of coordination via shared dataspaces
Antonio Brogi, Jean-Marie Jacquet
Sci. Comput. Program.2
2003 Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework
Koen De Bosschere, Jean-Marie Jacquet
J. Supercomput.2
2001 Multi-agent Systems as Concurrent Constraint Processes
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
SOFSEM3
2000 On Timed Coordination Languages
Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi
COORDINATION1
1999 On the Expressiveness of Coordination Models
Antonio Brogi, Jean-Marie Jacquet
COORDINATION2
1997 Modeling Coordination via Asynchronous Communication
Antonio Brogi, Jean-Marie Jacquet
COORDINATION2
1996 µ2 Log: Towards Remote Coordination
Koen De Bosschere, Jean-Marie Jacquet
COORDINATION2
1996 Transformations Between HCLP and PCSP
Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt
CP2
1996 Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics
Jean-Marie Jacquet, Luís Monteiro
Comput. Lang.1
1996 Extending the µLog Framework with Local and Conditional Blackboard Operations
Koen De Bosschere, Jean-Marie Jacquet
J. Symb. Comput.2
1995 On Composing Concurrent Logic Processes
Jean-Marie Jacquet, Koen De Bosschere
ICLP1
1994 PP-clauses: A Means for Handling Resources
Jean-Marie Jacquet, Luís Monteiro
ICLP1
1994 On the semantics of μ Log
Jean-Marie Jacquet, Koen De Bosschere
Future Gener. Comput. Syst.1
1993 Multi-Prolog: Definition, Operational Semantics and Implementation
Koen De Bosschere, Jean-Marie Jacquet
ICLP2
1991 Extended Horn Clauses: The Framework and Some Semantics
Jean-Marie Jacquet, Luís Monteiro
CONCUR1