Jean-Marie Jacquet

According to our database1, Jean-Marie Jacquet authored at least 66 papers between 1990 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Scan: A Simple Coordination Workbench.
Proceedings of the Coordination Models and Languages, 2019

2018
On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study.
Proceedings of the Coordination Models and Languages, 2018

On the Relation Between Control-Based and Data-Based Coordination Languages.
Proceedings of the It's All About Coordination, 2018

2016
Blackboard rules: From a declarative reading to its application for coordinating context-aware applications in mobile ad hoc networks.
Sci. Comput. Program., 2016

On the introduction of density in tuple-space coordination languages.
Sci. Comput. Program., 2016

2014
On Distributed Density in Tuple-based Coordination Languages.
Proceedings of the Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, 2014

2013
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization.
Electr. Notes Theor. Comput. Sci., 2013

A Generic Workflow Metamodel to Support Resource-aware Decision Making.
Proceedings of the ICEIS 2013, 2013

Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework.
Proceedings of the Decision Support Systems III - Impact of Decision Support Systems for Global Environments, 2013

On the Introduction of Time in Distributed Blackboard Rules.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

On Density in Coordination Languages.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012
Blackboard Rules for Coordinating Context-aware Applications in Mobile Ad Hoc Networks
Proceedings of the Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, 2012

2011
Support to Collaboration for Wealth and Estate Planning Using the SEPlanS Platform.
Proceedings of the Decision Support Systems - Collaborative Models and Approaches in Real Environments, 2011

2009
Fully abstract models and refinements as tools to compare agents in timed coordination languages.
Theor. Comput. Sci., 2009

Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).
Sci. Comput. Program., 2009

2008
Secure P2P Programming on Top of Tuple Spaces.
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

2007
Introduction to the special issue.
Sci. Comput. Program., 2007

On the Expressiveness of Timed Coordination via Shared Dataspaces.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Towards a Theory of Refinement in Timed Coordination Languages.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
On the expressiveness of timed coordination models.
Sci. Comput. Program., 2006

Preface.
Sci. Comput. Program., 2006

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.
Fundam. Inform., 2006

Foundations on Coordination Languages and Software Architectures.
Fundam. Inform., 2006

2004
On the Expressiveness of Relative-Timed Coordination Models.
Electr. Notes Theor. Comput. Sci., 2004

Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.
Electr. Notes Theor. Comput. Sci., 2004

On the Expressiveness of Absolute-Time Coordination Languages.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Suspension Terms as a Means for Meta-coordination in the muLog Coordination Framework.
The Journal of Supercomputing, 2003

On the expressiveness of coordination via shared dataspaces.
Sci. Comput. Program., 2003

Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci., 2003

On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
Electr. Notes Theor. Comput. Sci., 2003

Preface.
Electr. Notes Theor. Comput. Sci., 2003

On Methodologies for Coordinating Programs.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes.
Computers and Artificial Intelligence, 2002

2001
Multi-agent Systems as Concurrent Constraint Processes.
Proceedings of the SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24, 2001

Synchronous coordination in the Log coordination model.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

2000
Blackboard Relations in the µLog Coordination Model.
New Generation Comput., 2000

Meta-coordination in the µLog Coordination Model.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

On Timed Coordination Languages.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
On the Expressiveness of Coordination Models.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
On the Expressiveness of Linda-like Concurrent Languages.
Electr. Notes Theor. Comput. Sci., 1998

1997
On Relating Blackboards in the µLog Coordination Model.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Modeling Coordination via Asynchronous Communication.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Extending the µLog Framework with Local and Conditional Blackboard Operations.
J. Symb. Comput., 1996

A General Framework for Integrating HCLP and PCSP (Poster Abstract).
Proceedings of the Logic Programming, 1996

Transformations Between HCLP and PCSP.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

µ2 Log: Towards Remote Coordination.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

A Process Algebra for Synchronous Concurrent Constraint Programming.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995
Synchronisation in Scc.
Proceedings of the Logic Programming, 1995

On Composing Concurrent Logic Processes.
Proceedings of the Logic Programming, 1995

1994
On the semantics of μ Log.
Future Generation Comp. Syst., 1994

Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics.
Proceedings of the ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, 1994

PP-clauses: A Means for Handling Resources.
Proceedings of the Logic Programming, 1994

Verifying Logic Programs from Metric Semantics.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994

1993
On A Fully Abstract Denotational Semantics for uLog.
Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993

Multi-Prolog: Definition, Operational Semantics and Implementation.
Proceedings of the Logic Programming, 1993

1992
Comparative Semantics of µLog.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming.
Proceedings of the Logic Programming, 1992

Metric Characterizations of Contextual Logic Programs.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991
Verifying Logic Programs from Metric Semantic Characterizations.
Proceedings of the Constructing Logic Programs, 1991

Introduction to Logic Programming.
Proceedings of the Constructing Logic Programs, 1991

Extended Horn Clauses: The Framework and Some Semantics.
Proceedings of the CONCUR '91, 1991

Negation in Conclog.
Proceedings of the Parallel Computation, First International ACPC Conference, Salzburg, Austria, September 30, 1991

Conclog: A Methodological Approach to Concurrent Logic Programming
Lecture Notes in Computer Science 556, Springer, ISBN: 3-540-54938-2, 1991

1990
Comparative Semantics for a Parallel Contextual Logic Programming Language.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990


  Loading...