Jean-Marie Jacquet

84 papers A 1B 6C 11Misc 3Journal 22Unranked 34
YearRankTypeTitle / Venue / Authors
2025 J jnl
On the expressiveness and efficiency of guarded lists in Bach.
J. Log. Algebraic Methods Program.
Manel Barkallah, Jean-Marie Jacquet
2024 — conf
The B2Scala Tool: Integrating Bach in Scala with Security in Mind.
ICE
Doha Ouardi, Manel Barkallah, Jean-Marie Jacquet
2023 — conf
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues.
ICE
Manel Barkallah, Jean-Marie Jacquet
2021 J jnl
Anemone: A workbench for the Multi-Bach coordination language.
Sci. Comput. Program.
Jean-Marie Jacquet, Manel Barkallah
2020 J jnl
On the expressiveness of multiplicities in data-based coordination languages.
J. Log. Algebraic Methods Program.
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
2020 J jnl
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018).
Sci. Comput. Program.
Jean-Marie Jacquet, Jacopo Soldani
2019 J jnl
Preface to the special issue on Coordination Models and Languages (Coordination 2017).
Sci. Comput. Program.
Jean-Marie Jacquet, Mieke Massink
2019 C conf
Scan: A Simple Coordination Workbench.
COORDINATION
Jean-Marie Jacquet, Manel Barkallah
2018 C conf
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study.
COORDINATION
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
2018 — conf
On the Relation Between Control-Based and Data-Based Coordination Languages.
It's All About Coordination
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
2017 C ed.
Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
COORDINATION
Jean-Marie Jacquet, Mieke Massink
2016 J jnl
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks.
Sci. Comput. Program.
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
2016 J jnl
On the introduction of density in tuple-space coordination languages.
Sci. Comput. Program.
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
2014 — conf
On Distributed Density in Tuple-based Coordination Languages.
FOCLASA
Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
2013 — conf
A Generic Workflow Metamodel to Support Resource-aware Decision Making.
ICEIS (3)
Ravi Ramdoyal, Christophe Ponsard, Myriam-Amina Derbali, Gabriel Schwanen, Isabelle Linden, Jean-Marie Jacquet
2013 — conf
On Density in Coordination Languages.
ESOCC Workshops
Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes
2013 — conf
On the Introduction of Time in Distributed Blackboard Rules.
ESOCC Workshops
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
2013 — conf
Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework.
EWG-DSS
Isabelle Linden, Myriam-Amina Derbali, Gabriel Schwanen, Jean-Marie Jacquet, Ravi Ramdoyal, Christophe Ponsard
2012 — conf
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
FOCLASA
Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu
2012 — conf
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization.
CS2Bio
S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek
2011 — conf
Support to Collaboration for Wealth and Estate Planning Using the SEPlanS Platform.
EWG-DSS
Isabelle Linden, Jean-Marie Jacquet, Gustavo Ospina, Mihail-Octavian Staicu
2009 J jnl
Fully abstract models and refinements as tools to compare agents in timed coordination languages.
Theor. Comput. Sci.
Jean-Marie Jacquet, Isabelle Linden
2009 J jnl
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).
Sci. Comput. Program.
Ernesto Pimentel, Jean-Marie Jacquet
2008 J jnl
Cardinality heterogeneities in Web service composition: Issues and solutions
CoRR
Michael Mrissa, Philippe Thiran, Jean-Marie Jacquet, Djamal Benslimane, Zakaria Maamar
2008 C conf
Secure P2P Programming on Top of Tuple Spaces.
WETICE
Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu
2007 J jnl
Introduction to the special issue.
Sci. Comput. Program.
Jean-Marie Jacquet, Gian Pietro Picco
2007 — ed.
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2007 C conf
Towards a Theory of Refinement in Timed Coordination Languages.
COORDINATION
Jean-Marie Jacquet, Isabelle Linden
2006 J jnl
Foundations on Coordination Languages and Software Architectures.
Fundam. Informaticae
Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok
2006 J jnl
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Informaticae
Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden
2006 J jnl
On the expressiveness of timed coordination models.
Sci. Comput. Program.
Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi
2006 J jnl
Preface.
Sci. Comput. Program.
Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel
2005 C ed.
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
COORDINATION
Jean-Marie Jacquet, Gian Pietro Picco
2004 C conf
On the Expressiveness of Absolute-Time Coordination Languages.
COORDINATION
Isabelle Linden, Jean-Marie Jacquet
2004 — conf
On the Expressiveness of Timed Coordination via Shared Dataspaces.
FOCLASA
Isabelle Linden, Jean-Marie Jacquet
2004 — conf
Preface.
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2004 — ed.
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2003 — ed.
Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002
FOCLASA
Antonio Brogi, Jean-Marie Jacquet
2003 Misc conf
On Methodologies for Coordinating Programs.
PDPTA
Jean-Marie Jacquet, Isabelle Linden
2003 — conf
On the Expressiveness of Relative-Timed Coordination Models.
FOCLASA
Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
2003 J jnl
On the expressiveness of coordination via shared dataspaces.
Sci. Comput. Program.
Antonio Brogi, Jean-Marie Jacquet
2003 — conf
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
2003 J jnl
Suspension Terms as a Means for Meta-coordination in the mu
J. Supercomput.
Koenraad De Bosschere, Jean-Marie Jacquet
2002 — conf
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
FOCLASA
Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský
2002 J jnl
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Comput. Artif. Intell.
Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert
2002 — conf
On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
FOCLASA
Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden
2002 — conf
Preface.
FOCLASA
Antonio Brogi, Jean-Marie Jacquet
2001 B conf
Multi-agent Systems as Concurrent Constraint Processes.
SOFSEM
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
2001 Misc conf
Synchronous coordination in the Log coordination model.
SAC
Koenraad De Bosschere, Jean-Marie Jacquet
2000 J jnl
Blackboard Relations in the µLog Coordination Model.
New Gener. Comput.
Jean-Marie Jacquet, Koenraad De Bosschere
2000 Misc conf
Meta-coordination in the µLog Coordination Model.
PDPTA
Koenraad De Bosschere, Jean-Marie Jacquet
2000 C conf
On Timed Coordination Languages.
COORDINATION
Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
1999 C conf
On the Expressiveness of Coordination Models.
COORDINATION
Antonio Brogi, Jean-Marie Jacquet
1998 — conf
On the Expressiveness of Linda-like Concurrent Languages.
EXPRESS
Antonio Brogi, Jean-Marie Jacquet
1997 C conf
Modeling Coordination via Asynchronous Communication.
COORDINATION
Antonio Brogi, Jean-Marie Jacquet
1997 — conf
On Relating Blackboards in the µLog Coordination Model.
HICSS (1)
Jean-Marie Jacquet, Koenraad De Bosschere
1996 — conf
A General Framework for Integrating HCLP and PCSP (Poster Abstract).
JICSLP
Michael Jampel, Jean-Marie Jacquet, David R. Gilbert
1996 — conf
A Process Algebra for Synchronous Concurrent Constraint Programming.
ALP
Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský
1996 J jnl
Extending the µLog Framework with Local and Conditional Blackboard Operations.
J. Symb. Comput.
Koenraad De Bosschere, Jean-Marie Jacquet
1996 J jnl
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.
Comput. Lang.
Jean-Marie Jacquet, Luís Monteiro
1996 A conf
Transformations Between HCLP and PCSP.
CP
Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt
1996 C conf
µ
COORDINATION
Koenraad De Bosschere, Jean-Marie Jacquet
1995 B conf
On Composing Concurrent Logic Processes.
ICLP
Jean-Marie Jacquet, Koenraad De Bosschere
1995 — conf
Synchronisation in Scc.
ILPS
Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
1994 — ed.
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994
ICLP Workshop: Process-Based Parallel Logic Programming
Koenraad De Bosschere, Jean-Marie Jacquet, Antonio Brogi
1994 — conf
Local and Conditional Blackboard Operations in μLog: Semantics, Applicability, and Implementation.
PASCO
Koen De Bosschere, Jean-Marie Jacquet
1994 J jnl
On the semantics of μ Log.
Future Gener. Comput. Syst.
Jean-Marie Jacquet, Koenraad De Bosschere
1994 B conf
PP-clauses: A Means for Handling Resources.
ICLP
Jean-Marie Jacquet, Luís Monteiro
1994 B conf
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.
JELIA
Jean-Marie Jacquet, Luís Monteiro
1994 — conf
Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics.
ICLP Workshop: Process-Based Parallel Logic Programming
Jean-Marie Jacquet, Luís Monteiro
1994 — conf
Verifying Logic Programs from Metric Semantics.
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages
Jean-Marie Jacquet
1993 — ed.
Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP
ICLP Workshop on Construction of Logic Programs
Jean-Marie Jacquet
1993 B conf
Multi-Prolog: Definition, Operational Semantics and Implementation.
ICLP
Koenraad De Bosschere, Jean-Marie Jacquet
1993 — conf
On A Fully Abstract Denotational Semantics for uLog.
ICLP Workshop on Blackboard-Based Logic Programming
Jean-Marie Jacquet
1993 — ed.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993
ICLP Workshop on Blackboard-Based Logic Programming
Koen De Bosschere, Jean-Marie Jacquet, Paul Tarau
1992 — conf
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming.
JICSLP
Jean-Marie Jacquet, Luís Monteiro
1992 — conf
Comparative Semantics of
PARLE
Koenraad De Bosschere, Jean-Marie Jacquet
1992 — conf
Metric Characterizations of Contextual Logic Programs.
ALPUK
Jean-Marie Jacquet
1991 — book
Conclog: A Methodological Approach to Concurrent Logic Programming
Jean-Marie Jacquet
1991 B conf
Extended Horn Clauses: The Framework and Some Semantics.
CONCUR
Jean-Marie Jacquet, Luís Monteiro
1991 — conf
Introduction to Logic Programming.
ICLP Workshop on Construction of Logic Programs
Jean-Marie Jacquet
1991 — conf
Negation in Conclog.
ACPC
Jean-Marie Jacquet
1991 — conf
Verifying Logic Programs from Metric Semantic Characterizations.
ICLP Workshop on Construction of Logic Programs
Jean-Marie Jacquet
1990 — conf
Comparative Semantics for a Parallel Contextual Logic Programming Language.
NACLP
Jean-Marie Jacquet, Luís Monteiro