Skip to content

Jean-Marie Jacquet

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

27

Venues

9

Active years

1991–2026

Best venue rank

B

Where they publish

Papers

27 indexed papers, newest first.

YearVenueTitleAuthors
2026CoordinationBach4Popper: Towards Federated Inductive Logic Programming Using Coordination.Yasmine Akaichi, Manel Barkallah, Jean-Marie Jacquet, Isabelle Linden, Wim Vanhoof
2019CoordinationScan: A Simple Coordination Workbench.Jean-Marie Jacquet, Manel Barkallah
2018CoordinationOn Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study.Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
2008WETICESecure P2P Programming on Top of Tuple Spaces.Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu
2007CoordinationTowards a Theory of Refinement in Timed Coordination Languages.Jean-Marie Jacquet, Isabelle Linden
2004CoordinationOn the Expressiveness of Absolute-Time Coordination Languages.Isabelle Linden, Jean-Marie Jacquet
2003PDPTAOn Methodologies for Coordinating Programs.Jean-Marie Jacquet, Isabelle Linden
2001SACSynchronous coordination in the Log coordination model.Koenraad De Bosschere, Jean-Marie Jacquet
2001SOFSEMMulti-agent Systems as Concurrent Constraint Processes.Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmr Kretnsk
2000CoordinationOn Timed Coordination Languages.Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
2000PDPTAMeta-coordination in the Log Coordination Model.Koenraad De Bosschere, Jean-Marie Jacquet
1999CoordinationOn the Expressiveness of Coordination Models.Antonio Brogi, Jean-Marie Jacquet
1997CoordinationModeling Coordination via Asynchronous Communication.Antonio Brogi, Jean-Marie Jacquet
1996CoordinationµKoenraad De Bosschere, Jean-Marie Jacquet
1996CPTransformations Between HCLP and PCSP.Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt
1996ICLPA General Framework for Integrating HCLP and PCSP (Poster Abstract).Michael Jampel, Jean-Marie Jacquet, David R. Gilbert
1995ICLPOn Composing Concurrent Logic Processes.Jean-Marie Jacquet, Koenraad De Bosschere
1994ICLPVerifying Logic Programs from Metric Semantics.Jean-Marie Jacquet
1994ICLPPP-clauses: A Means for Handling Resources.Jean-Marie Jacquet, Lus Monteiro
1994ICLPTowards Resource Handling in Logic Programming: the PPL Framework and its Semantics.Jean-Marie Jacquet, Lus Monteiro
1994JELIATowards Resource Handling in Logic Programming: The PPL Framework and its Semantics.Jean-Marie Jacquet, Lus Monteiro
1993ICLPMulti-Prolog: Definition, Operational Semantics and Implementation.Koenraad De Bosschere, Jean-Marie Jacquet
1993ICLPOn A Fully Abstract Denotational Semantics for uLog.Jean-Marie Jacquet
1992ICLPCommunicating Clauses: Towards Synchronous Communication in Contextual Logic Programming.Jean-Marie Jacquet, Lus Monteiro
1991CONCURExtended Horn Clauses: The Framework and Some Semantics.Jean-Marie Jacquet, Lus Monteiro
1991ICLPIntroduction to Logic Programming.Jean-Marie Jacquet
1991ICLPVerifying Logic Programs from Metric Semantic Characterizations.Jean-Marie Jacquet