Concepedia

J. W. de Bakker

JW

23

Publications

957

Citations

16

H-Index

1972

Active since

Affiliations

Vrije Universiteit Amsterdam(Current)

Centrum Wiskunde & Informatica

University of Amsterdam

Christian-Albrechts-Universität zu Kiel

University at Buffalo, State University of New York

J. W. de Bakker is an author at Vrije Universiteit Amsterdam specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsLinguisticsLanguageParallel ProgrammingParallel Computing

Publications per year

1972–2001

23

Publications

23

Processes and the denotational semantics of concurrency

J. W. de Bakker, J. I. Zucker · Information and Control · 1982 · 277 citations

Engineering, Automated Reasoning, Denotational Semantics +9

A Calculus for Recursive Program Schemes.

J. W. de Bakker, Willem P. de Roever · International Colloquium on Automata, Languages and Programming · 1972 · 101 citations

Engineering, Program Analysis, Automated Reasoning +7

Denotational semantics of concurrency

J. W. de Bakker, J. I. Zucker · 1982 · 71 citations

Engineering, Concurrent System, Semantics +21

On the completeness of the inductive assertion method

J. W. de Bakker, Lambert Meertens · Journal of Computer and System Sciences · 1975 · 70 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Linear time and branching time semantics for recursion with merge

J. W. de Bakker, J.A. Bergstra, Jan Willem Klop et al. · Theoretical Computer Science · 1984 · 48 citations

Tree Language, Syntax, Engineering +12

Rows per page

1–5 of 23