J.-J.Ch. Meyer - Concepedia

Author

J.-J.Ch. Meyer

Also Known As

J J Meyer, J. -J. C. Meyer, J. -J. Ch Meyer, J. -J. Ch. Meyer, J. -J.Ch. Meyer, J. J. Ch. Meyer, J.-J. Ch. Meyer, J.-J.Ch. Meyer, Jaco Meyer, John J.Ch. Meyer

Publications

747

Citations

H-Index

Concepts

All Affiliations

Vrije Universiteit Amsterdam Christian-Albrechts-Universität zu Kiel University of Amsterdam Radboud University Nijmegen

About

J.-J.Ch. Meyer is an author at Vrije Universiteit Amsterdam specializing in engineering, formal methods, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	334
2	Language Studies	2	2	40
3	Law	2	2	57
4	Management	1	1	31
5	Cognitive Science	1	1	26

J.-J.Ch. Meyer

Publications

426

Citations

H-Index

Page 1

	Year	Citations
Applications of deontic logic in computer science: a concise overview Roel Wieringa, J.-J.Ch. Meyer Applied LogicComputational LogicDeclarative ProgrammingEngineeringDeductive Database	1994	117
Deontic logic: a concise overview J.-J.Ch. Meyer, Roel Wieringa Data Archiving and Networked Services (DANS) Historic OverviewApplied LogicNon-classical LogicEngineeringSubstructural Logic	1994	90
Actors, actions, and initiative in normative system specification Roel Wieringa, J.-J.Ch. Meyer Annals of Mathematics and Artificial Intelligence Normative Multi-agent SystemPublic PolicyAction LanguageAutomationNormative System Specification	1993	34
The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? Roelf J. Wieringa, Hans Weigand, J.-J.Ch. Meyer, Annals of Mathematics and Artificial Intelligence More RightsManagementDeontic Integrity ConstraintsLawAutonomy	1991	31
The paradoxes of deontic logic revisited: a computer science perspective J.-J.Ch. Meyer, Frank Dignum, Roelf J. Wieringa Applied LogicParaconsistent LogicEngineeringClassical LogicLaw	1994	26
Transition systems, metric spaces and ready sets in the semantics of uniform concurrency J. W. de Bakker, J.-J.Ch. Meyer, Ernst-Rüdiger Olderog, Journal of Computer and System Sciences Transition SystemsEngineeringAutomated ReasoningVerificationConcurrent Programming	1988	25
Transition systems, infinitary languages and the semantics of uniform concurrency J. W. de Bakker, J.-J.Ch. Meyer, Ernst-Rüdiger Olderog, EngineeringConcurrent SystemFormal VerificationTransition SystemsConcurrency (Computer Science)	1985	20
Infinite streams and finite observations in the semantics of uniform concurrency J. W. de Bakker, J.-J.Ch. Meyer, Ernst-Rüdiger Olderog Theoretical Computer Science Infinite StreamsEngineeringAutomated ReasoningConcurrent ProgrammingFinite Observations	1987	16
Merging regular processes by means of fixed-point theory J.-J.Ch. Meyer Theoretical Computer Science Mathematical ProgrammingEngineeringIntegrable ProbabilityProcess ControlProbability Theory	1986	14
On finite computations in denotational semantics J. W. de Bakker, J.-J.Ch. Meyer, J. I. Zucker Theoretical Computer Science Formal SemanticsFinite ComputationsAutomated ReasoningComputational LinguisticsLanguage Studies	1983	14

Page 1