default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJean-Marie Jacquet
Person information
- affiliation: University of Namur, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j21]Manel Barkallah, Jean-Marie Jacquet:
On the expressiveness and efficiency of guarded lists in Bach. J. Log. Algebraic Methods Program. 142: 101017 (2025)- 2023
- [c52]Manel Barkallah
, Jean-Marie Jacquet:
On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues. ICE 2023: 55-72 - 2021
- [j20]Jean-Marie Jacquet, Manel Barkallah:
Anemone: A workbench for the Multi-Bach coordination language. Sci. Comput. Program. 202: 102579 (2021) - 2020
- [j19]Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden:
On the expressiveness of multiplicities in data-based coordination languages. J. Log. Algebraic Methods Program. 112: 100528 (2020) - [j18]Jean-Marie Jacquet, Jacopo Soldani:
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018). Sci. Comput. Program. 191: 102417 (2020)
2010 – 2019
- 2019
- [j17]Jean-Marie Jacquet, Mieke Massink:
Preface to the special issue on Coordination Models and Languages (Coordination 2017). Sci. Comput. Program. 180: 16-17 (2019) - [c51]Jean-Marie Jacquet, Manel Barkallah:
Scan: A Simple Coordination Workbench. COORDINATION 2019: 75-91 - 2018
- [c50]Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes:
On the Relation Between Control-Based and Data-Based Coordination Languages. It's All About Coordination 2018: 86-106 - [c49]Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden:
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study. COORDINATION 2018: 81-109 - 2017
- [e8]Jean-Marie Jacquet, Mieke Massink:
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. Lecture Notes in Computer Science 10319, Springer 2017, ISBN 978-3-319-59745-4 [contents] - 2016
- [j16]Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu:
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks. Sci. Comput. Program. 115-116: 79-99 (2016) - [j15]Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes:
On the introduction of density in tuple-space coordination languages. Sci. Comput. Program. 115-116: 149-176 (2016) - 2014
- [c48]Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden:
On Distributed Density in Tuple-based Coordination Languages. FOCLASA 2014: 36-53 - 2013
- [c47]Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu:
On the Introduction of Time in Distributed Blackboard Rules. ESOCC Workshops 2013: 144-158 - [c46]Jean-Marie Jacquet, Isabelle Linden, Denis Darquennes:
On Density in Coordination Languages. ESOCC Workshops 2013: 189-203 - [c45]Isabelle Linden, Myriam-Amina Derbali, Gabriel Schwanen, Jean-Marie Jacquet, Ravi Ramdoyal, Christophe Ponsard:
Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework. EWG-DSS 2013: 67-78 - [c44]Ravi Ramdoyal, Christophe Ponsard, Myriam-Amina Derbali, Gabriel Schwanen, Isabelle Linden, Jean-Marie Jacquet:
A Generic Workflow Metamodel to Support Resource-aware Decision Making. ICEIS (3) 2013: 243-250 - 2012
- [c43]Jean-Marie Jacquet, Isabelle Linden, Mihail-Octavian Staicu:
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks. FOCLASA 2012: 63-78 - [c42]S. Van Goethem, Jean-Marie Jacquet, Lubos Brim, David Safránek:
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization. CS2Bio 2012: 67-81 - 2011
- [c41]Isabelle Linden, Jean-Marie Jacquet, Gustavo Ospina, Mihail-Octavian Staicu:
Support to Collaboration for Wealth and Estate Planning Using the SEPlanS Platform. EWG-DSS 2011: 121-133
2000 – 2009
- 2009
- [j14]Ernesto Pimentel, Jean-Marie Jacquet:
Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06). Sci. Comput. Program. 74(9): 669-670 (2009) - [j13]Jean-Marie Jacquet, Isabelle Linden:
Fully abstract models and refinements as tools to compare agents in timed coordination languages. Theor. Comput. Sci. 410(2-3): 221-253 (2009) - 2008
- [c40]Fabrizio Benigni, Antonio Brogi, Jean-Louis Buchholz, Jean-Marie Jacquet, Julien Lange, Razvan Popescu:
Secure P2P Programming on Top of Tuple Spaces. WETICE 2008: 54-59 - [i1]Michael Mrissa, Philippe Thiran, Jean-Marie Jacquet, Djamal Benslimane, Zakaria Maamar:
Cardinality heterogeneities in Web service composition: Issues and solutions. CoRR abs/0806.1816 (2008) - 2007
- [j12]Jean-Marie Jacquet, Gian Pietro Picco:
Introduction to the special issue. Sci. Comput. Program. 64(2): 185-186 (2007) - [c39]Jean-Marie Jacquet, Isabelle Linden:
Towards a Theory of Refinement in Timed Coordination Languages. COORDINATION 2007: 113-131 - [e7]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004. Electronic Notes in Theoretical Computer Science 180(2), Elsevier 2007 [contents] - 2006
- [j11]Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok:
Foundations on Coordination Languages and Software Architectures. Fundam. Informaticae 73(4) (2006) - [j10]Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden:
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching. Fundam. Informaticae 73(4): 431-478 (2006) - [j9]Antonio Brogi, Jean-Marie Jacquet, Jeff Kramer, Ernesto Pimentel:
Preface. Sci. Comput. Program. 61(2): 73-74 (2006) - [j8]Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Antonio Brogi:
On the expressiveness of timed coordination models. Sci. Comput. Program. 61(2): 152-187 (2006) - 2005
- [e6]Jean-Marie Jacquet, Gian Pietro Picco:
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings. Lecture Notes in Computer Science 3454, Springer 2005, ISBN 3-540-25630-X [contents] - 2004
- [c38]Isabelle Linden, Jean-Marie Jacquet:
On the Expressiveness of Absolute-Time Coordination Languages. COORDINATION 2004: 232-247 - [c37]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Preface. FOCLASA 2004: 1-2 - [c36]Isabelle Linden, Jean-Marie Jacquet:
On the Expressiveness of Timed Coordination via Shared Dataspaces. FOCLASA 2004: 71-89 - [e5]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003. Electronic Notes in Theoretical Computer Science 97, Elsevier 2004 [contents] - 2003
- [j7]Antonio Brogi, Jean-Marie Jacquet:
On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program. 46(1-2): 71-98 (2003) - [j6]Koenraad De Bosschere, Jean-Marie Jacquet:
Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework. J. Supercomput. 24(2): 121-129 (2003) - [c35]Jean-Marie Jacquet, Isabelle Linden:
On Methodologies for Coordinating Programs. PDPTA 2003: 115-121 - [c34]Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel:
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. FOCLASA 2003: 1-2 - [c33]Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
On the Expressiveness of Relative-Timed Coordination Models. FOCLASA 2003: 125-153 - [e4]Antonio Brogi, Jean-Marie Jacquet:
Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(3), Elsevier 2003 [contents] - 2002
- [j5]Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert:
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Comput. Artif. Intell. 21(6): 565-590 (2002) - [c32]Antonio Brogi, Jean-Marie Jacquet:
Preface. FOCLASA 2002: 247 - [c31]Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden:
On Modeling Coordination via Asynchronous Communication and Enhanced Matching. FOCLASA 2002: 284-309 - [c30]Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský:
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. FOCLASA 2002: 347-370 - 2001
- [c29]Koenraad De Bosschere, Jean-Marie Jacquet:
Synchronous coordination in the Log coordination model. SAC 2001: 151-158 - [c28]Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský:
Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210 - 2000
- [j4]Jean-Marie Jacquet, Koenraad De Bosschere:
Blackboard Relations in the µLog Coordination Model. New Gener. Comput. 19(1): 23-56 (2000) - [c27]Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi:
On Timed Coordination Languages. COORDINATION 2000: 81-98 - [c26]Koenraad De Bosschere, Jean-Marie Jacquet:
Meta-coordination in the µLog Coordination Model. PDPTA 2000
1990 – 1999
- 1999
- [c25]Antonio Brogi, Jean-Marie Jacquet:
On the Expressiveness of Coordination Models. COORDINATION 1999: 134-149 - 1998
- [c24]Antonio Brogi, Jean-Marie Jacquet:
On the Expressiveness of Linda-like Concurrent Languages. EXPRESS 1998: 75-96 - 1997
- [c23]Antonio Brogi, Jean-Marie Jacquet:
Modeling Coordination via Asynchronous Communication. COORDINATION 1997: 238-255 - [c22]Jean-Marie Jacquet, Koenraad De Bosschere:
On Relating Blackboards in the µLog Coordination Model. HICSS (1) 1997: 359-368 - 1996
- [j3]Jean-Marie Jacquet, Luís Monteiro:
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. Comput. Lang. 22(2/3): 51-77 (1996) - [j2]Koenraad De Bosschere, Jean-Marie Jacquet:
Extending the µLog Framework with Local and Conditional Blackboard Operations. J. Symb. Comput. 21(4): 669-697 (1996) - [c21]Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský:
A Process Algebra for Synchronous Concurrent Constraint Programming. ALP 1996: 165-178 - [c20]Koenraad De Bosschere, Jean-Marie Jacquet:
µ2 Log: Towards Remote Coordination. COORDINATION 1996: 142-159 - [c19]Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt:
Transformations Between HCLP and PCSP. CP 1996: 252-266 - [c18]Michael Jampel, Jean-Marie Jacquet, David R. Gilbert:
A General Framework for Integrating HCLP and PCSP (Poster Abstract). JICSLP 1996: 543 - 1995
- [c17]Jean-Marie Jacquet, Koenraad De Bosschere:
On Composing Concurrent Logic Processes. ICLP 1995: 531-545 - [c16]Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský:
Synchronisation in Scc. ILPS 1995: 641 - 1994
- [j1]Jean-Marie Jacquet, Koenraad De Bosschere:
On the semantics of μ Log. Future Gener. Comput. Syst. 10(1): 93-135 (1994) - [c15]Jean-Marie Jacquet:
Verifying Logic Programs from Metric Semantics. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages 1994 - [c14]Jean-Marie Jacquet, Luís Monteiro:
Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 38-53 - [c13]Jean-Marie Jacquet, Luís Monteiro:
PP-clauses: A Means for Handling Resources. ICLP 1994: 743 - [c12]Jean-Marie Jacquet, Luís Monteiro:
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. JELIA 1994: 379-399 - [c11]Koen De Bosschere, Jean-Marie Jacquet:
Local and Conditional Blackboard Operations in μLog: Semantics, Applicability, and Implementation. PASCO 1994: 34-43 - [e3]Koenraad De Bosschere, Jean-Marie Jacquet, Antonio Brogi:
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994. 1994 [contents] - 1993
- [c10]Koenraad De Bosschere, Jean-Marie Jacquet:
Multi-Prolog: Definition, Operational Semantics and Implementation. ICLP 1993: 299-313 - [c9]Jean-Marie Jacquet:
On A Fully Abstract Denotational Semantics for uLog. ICLP Workshop on Blackboard-Based Logic Programming 1993 - [e2]Jean-Marie Jacquet:
Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP. Wiley 1993, ISBN 0-471-93789-4 [contents] - [e1]Koen De Bosschere, Jean-Marie Jacquet, Paul Tarau:
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993. 1993 [contents] - 1992
- [c8]Jean-Marie Jacquet:
Metric Characterizations of Contextual Logic Programs. ALPUK 1992: 21-40 - [c7]Jean-Marie Jacquet, Luís Monteiro:
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. JICSLP 1992: 98-112 - [c6]Koenraad De Bosschere, Jean-Marie Jacquet:
Comparative Semantics of µLog. PARLE 1992: 911-926 - 1991
- [b1]Jean-Marie Jacquet:
Conclog: A Methodological Approach to Concurrent Logic Programming. Lecture Notes in Computer Science 556, Springer 1991, ISBN 3-540-54938-2 - [c5]Jean-Marie Jacquet:
Negation in Conclog. ACPC 1991: 289-315 - [c4]Jean-Marie Jacquet, Luís Monteiro:
Extended Horn Clauses: The Framework and Some Semantics. CONCUR 1991: 281-297 - [c3]Jean-Marie Jacquet:
Introduction to Logic Programming. ICLP Workshop on Construction of Logic Programs 1991: 3-36 - [c2]Jean-Marie Jacquet:
Verifying Logic Programs from Metric Semantic Characterizations. ICLP Workshop on Construction of Logic Programs 1991: 189-211 - 1990
- [c1]Jean-Marie Jacquet, Luís Monteiro:
Comparative Semantics for a Parallel Contextual Logic Programming Language. NACLP 1990: 195-214
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
