| 2009 |
|---|
| 51 | EE | 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 |
|---|
| 50 | EE | 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 |
|---|
| 49 | EE | Jean-Marie Jacquet,
Isabelle Linden:
Towards a Theory of Refinement in Timed Coordination Languages.
COORDINATION 2007: 113-131 |
| 48 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Ernesto Pimentel:
Preface.
Electr. Notes Theor. Comput. Sci. 180(2): 1-2 (2007) |
| 47 | EE | Isabelle Linden,
Jean-Marie Jacquet:
On the Expressiveness of Timed Coordination via Shared Dataspaces.
Electr. Notes Theor. Comput. Sci. 180(2): 71-89 (2007) |
| 46 | EE | Jean-Marie Jacquet,
Gian Pietro Picco:
Introduction to the special issue.
Sci. Comput. Program. 64(2): 185-186 (2007) |
| 2006 |
|---|
| 45 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Joost N. Kok:
Foundations on Coordination Languages and Software Architectures.
Fundam. Inform. 73(4): (2006) |
| 44 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Isabelle Linden:
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Inform. 73(4): 431-478 (2006) |
| 43 | EE | 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) |
| 42 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Jeff Kramer,
Ernesto Pimentel:
Preface.
Sci. Comput. Program. 61(2): 73-74 (2006) |
| 2005 |
|---|
| 41 | | Jean-Marie Jacquet,
Gian Pietro Picco:
Coordination Models and Languages, 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
Springer 2005 |
| 2004 |
|---|
| 40 | EE | Isabelle Linden,
Jean-Marie Jacquet:
On the Expressiveness of Absolute-Time Coordination Languages.
COORDINATION 2004: 232-247 |
| 39 | EE | 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.
Electr. Notes Theor. Comput. Sci. 97: 1-2 (2004) |
| 38 | EE | Isabelle Linden,
Jean-Marie Jacquet,
Koenraad De Bosschere,
Antonio Brogi:
On the Expressiveness of Relative-Timed Coordination Models.
Electr. Notes Theor. Comput. Sci. 97: 125-153 (2004) |
| 2003 |
|---|
| 37 | | Jean-Marie Jacquet,
Isabelle Linden:
On Methodologies for Coordinating Programs.
PDPTA 2003: 115-121 |
| 36 | EE | Jean-Marie Jacquet,
Lubos Brim,
David Gilbert,
Mojmír Kretínský:
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 35 | EE | Antonio Brogi,
Jean-Marie Jacquet,
Isabelle Linden:
On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 34 | EE | Antonio Brogi,
Jean-Marie Jacquet:
Preface.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 33 | EE | Antonio Brogi,
Jean-Marie Jacquet:
On the expressiveness of coordination via shared dataspaces.
Sci. Comput. Program. 46(1-2): 71-98 (2003) |
| 32 | EE | Koenraad De Bosschere,
Jean-Marie Jacquet:
Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework.
The Journal of Supercomputing 24(2): 121-129 (2003) |
| 2002 |
|---|
| 31 | | Lubos Brim,
Mojmír Kretínský,
Jean-Marie Jacquet,
David Gilbert:
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Computers and Artificial Intelligence 21(6): (2002) |
| 2001 |
|---|
| 30 | EE | Koenraad De Bosschere,
Jean-Marie Jacquet:
Synchronous coordination in the Log coordination model.
SAC 2001: 151-158 |
| 29 | EE | Lubos Brim,
David Gilbert,
Jean-Marie Jacquet,
Mojmír Kretínský:
Multi-agent Systems as Concurrent Constraint Processes.
SOFSEM 2001: 201-210 |
| 2000 |
|---|
| 28 | EE | Jean-Marie Jacquet,
Koenraad De Bosschere,
Antonio Brogi:
On Timed Coordination Languages.
COORDINATION 2000: 81-98 |
| 27 | | Koenraad De Bosschere,
Jean-Marie Jacquet:
Meta-coordination in the µLog Coordination Model.
PDPTA 2000 |
| 26 | | Jean-Marie Jacquet,
Koenraad De Bosschere:
Blackboard Relations in the µLog Coordination Model.
New Generation Comput. 19(1): 23-56 (2000) |
| 1999 |
|---|
| 25 | EE | Antonio Brogi,
Jean-Marie Jacquet:
On the Expressiveness of Coordination Models.
COORDINATION 1999: 134-149 |
| 1998 |
|---|
| 24 | EE | Antonio Brogi,
Jean-Marie Jacquet:
On the Expressiveness of Linda-like Concurrent Languages.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 1997 |
|---|
| 23 | | Antonio Brogi,
Jean-Marie Jacquet:
Modeling Coordination via Asynchronous Communication.
COORDINATION 1997: 238-255 |
| 22 | EE | Jean-Marie Jacquet,
Koenraad De Bosschere:
On Relating Blackboards in the µLog Coordination Model.
HICSS (1) 1997: 359-368 |
| 1996 |
|---|
| 21 | | Lubos Brim,
Jean-Marie Jacquet,
David Gilbert,
Mojmír Kretínský:
A Process Algebra for Synchronous Concurrent Constraint Programming.
ALP 1996: 165-178 |
| 20 | | Koenraad De Bosschere,
Jean-Marie Jacquet:
µ2 Log: Towards Remote Coordination.
COORDINATION 1996: 142-159 |
| 19 | | Michael Jampel,
Jean-Marie Jacquet,
David Gilbert,
Sebastian Hunt:
Transformations Between HCLP and PCSP.
CP 1996: 252-266 |
| 18 | | Michael Jampel,
Jean-Marie Jacquet,
David Gilbert:
A General Framework for Integrating HCLP and PCSP (Poster Abstract).
JICSLP 1996: 543 |
| 17 | | 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) |
| 16 | | Koenraad De Bosschere,
Jean-Marie Jacquet:
Extending the µLog Framework with Local and Conditional Blackboard Operations.
J. Symb. Comput. 21(4): 669-697 (1996) |
| 1995 |
|---|
| 15 | | Jean-Marie Jacquet,
Koenraad De Bosschere:
On Composing Concurrent Logic Processes.
ICLP 1995: 531-545 |
| 14 | | Lubos Brim,
David Gilbert,
Jean-Marie Jacquet,
Mojmír Kretínský:
Synchronisation in Scc.
ILPS 1995: 641 |
| 1994 |
|---|
| 13 | | Jean-Marie Jacquet,
Luís Monteiro:
PP-clauses: A Means for Handling Resources.
ICLP 1994: 743 |
| 12 | EE | 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 |
| 11 | | Jean-Marie Jacquet,
Luís Monteiro:
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.
JELIA 1994: 379-399 |
| 1993 |
|---|
| 10 | | Koenraad De Bosschere,
Jean-Marie Jacquet:
Multi-Prolog: Definition, Operational Semantics and Implementation.
ICLP 1993: 299-313 |
| 1992 |
|---|
| 9 | | Jean-Marie Jacquet:
Metric Characterizations of Contextual Logic Programs.
ALPUK 1992: 21-40 |
| 8 | | Jean-Marie Jacquet,
Luís Monteiro:
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming.
JICSLP 1992: 98-112 |
| 7 | | Koenraad De Bosschere,
Jean-Marie Jacquet:
Comparative Semantics of µLog.
PARLE 1992: 911-926 |
| 1991 |
|---|
| 6 | | Jean-Marie Jacquet:
Conclog: A Methodological Approach to Concurrent Logic Programming
Springer 1991 |
| 5 | | Jean-Marie Jacquet:
Negation in Conclog.
ACPC 1991: 289-315 |
| 4 | | Jean-Marie Jacquet,
Luís Monteiro:
Extended Horn Clauses: The Framework and Some Semantics.
CONCUR 1991: 281-297 |
| 3 | | Jean-Marie Jacquet:
Verifying Logic Programs from Metric Semantic Characterizations.
ICLP Workshop on Construction of Logic Programs 1991: 189-211 |
| 2 | | Jean-Marie Jacquet:
Introduction to Logic Programming.
ICLP Workshop on Construction of Logic Programs 1991: 3-36 |
| 1990 |
|---|
| 1 | | Jean-Marie Jacquet,
Luís Monteiro:
Comparative Semantics for a Parallel Contextual Logic Programming Language.
NACLP 1990: 195-214 |
