Concepedia

Jean-Marie Jacquet

JJ

7

Publications

132

Citations

7

H-Index

1993

Active since

Affiliations

University of Namur(Current)

University of Pisa

Ghent University

Jean-Marie Jacquet is an author at University of Namur specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsEntropyLanguageLinguisticsProbability

Publications per year

1993–2007

7

Publications

7

On the Expressiveness of Linda-like Concurrent Languages

Antonio Brogi, Jean-Marie Jacquet · Electronic Notes in Theoretical Computer Science · 1998 · 29 citations · Full text

On the expressiveness of coordination via shared dataspaces

Antonio Brogi, Jean-Marie Jacquet · Science of Computer Programming · 2002 · 24 citations

Engineering, Automated Reasoning, Concurrency Theory +7

On the semantics of μ Log

Jean-Marie Jacquet, Koenraad De Bosschere · Future Generation Computer Systems · 1994 · 19 citations

Formal Semantics, Engineering, Entropy +8

Multi-Prolog: Definition, operational semantics and implementation

Koen De Bosschere, Jean-Marie Jacquet · International Conference on Logic Programming · 1993 · 18 citations

Engineering, Operational Semantics, Automated Reasoning +5

On the Expressiveness of Relative-Timed Coordination Models

Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere et al. · Electronic Notes in Theoretical Computer Science · 2004 · 17 citations · Full text

Process Calculus, Linda-style Coordination Models, Engineering +15

Rows per page

1–5 of 7