Jean-Marie Jacquet - Concepedia

Author

Jean-Marie Jacquet

Also Known As

J C Jacquet, J. -M. Jacquet, J.-M Jacquet, J.-M. Jacquet, JEAN-MARIE JACQUET, Jacquet, J-M., Jacquet, Jean-Marie, Jean-Claude Jacquet, Jean-Marie Jacquet, Massink, Mieke

Publications

448

Citations

H-Index

Concepts

All Affiliations

University of Namur University of Pisa Ghent University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	103
2	Computer Science	5	5	84
3	Language Studies	1	1	19
4	Linguistics	1	1	19
5	Systems Engineering	1	1	17

Jean-Marie Jacquet

Publications

132

Citations

H-Index

Page 1

	Year	Citations
On the Expressiveness of Linda-like Concurrent Languages Antonio Brogi, Jean-Marie Jacquet Electronic Notes in Theoretical Computer Science	1998	29
On the expressiveness of coordination via shared dataspaces Antonio Brogi, Jean-Marie Jacquet Science of Computer Programming EngineeringAutomated ReasoningConcurrency TheoryFormal MethodsData Integration	2002	24
On the semantics of μ Log Jean-Marie Jacquet, Koenraad De Bosschere Future Generation Computer Systems Formal SemanticsEngineeringEntropyAutomated ReasoningFormal Methods	1994	19
Multi-Prolog: Definition, operational semantics and implementation Koen De Bosschere, Jean-Marie Jacquet International Conference on Logic Programming EngineeringOperational SemanticsAutomated ReasoningFormal MethodsWell-founded Semantics	1993	18
On the Expressiveness of Relative-Timed Coordination Models Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Electronic Notes in Theoretical Computer Science Process CalculusLinda-style Coordination ModelsEngineeringFormal ModelingAutomated Reasoning	2004	17
On the expressiveness of timed coordination models Isabelle Linden, Jean-Marie Jacquet, Koen De Bosschere, Science of Computer Programming EngineeringTimed Coordination ModelsAutomated ReasoningFormal MethodsComputer Science	2006	13
On the Expressiveness of Timed Coordination via Shared Dataspaces Isabelle Linden, Jean-Marie Jacquet Electronic Notes in Theoretical Computer Science Expressiveness IncreaseFormal SpecificationEngineeringTimed Coordination ModelsAutomated Reasoning	2007	12

Page 1