J. W. de Bakker - Concepedia

Author

J. W. de Bakker

Also Known As

Bakker, Jacobus W. de 1939-2012, Bakker, de, J.W., J W De Bakker, J W de Bakker, J. W. Bakker, J. W. de Bakker, J.W. DE BAKKER, J.W. De Bakker, J.W. de Bakker, J.W. deBakker

Publications

2.6K

Citations

H-Index

Concepts

All Affiliations

Vrije Universiteit Amsterdam Centrum Wiskunde & Informatica University of Amsterdam Christian-Albrechts-Universität zu Kiel University at Buffalo, State University of New York

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	21	933
2	Computer Science	15	19	885
3	Linguistics	9	9	525
4	Language Studies	8	8	505
5	Data Science	1	1	34

J. W. de Bakker

Publications

957

Citations

H-Index

Page 1

	Year	Citations
Processes and the denotational semantics of concurrency J. W. de Bakker, J. I. Zucker Information and Control EngineeringAutomated ReasoningDenotational SemanticsConcurrent ProgrammingConcurrency Theory	1982	277
A Calculus for Recursive Program Schemes. J. W. de Bakker, Willem P. de Roever International Colloquium on Automata, Languages and Programming EngineeringProgram AnalysisAutomated ReasoningFormal MethodsComputer Science	1972	101
Denotational semantics of concurrency J. W. de Bakker, J. I. Zucker EngineeringConcurrent SystemSemanticsSemantic WebFormal Verification	1982	71
On the completeness of the inductive assertion method J. W. de Bakker, Lambert Meertens Journal of Computer and System Sciences EngineeringAutomated ReasoningProof ComplexityVerificationFormal Methods	1975	70
Linear time and branching time semantics for recursion with merge J. W. de Bakker, J.A. Bergstra, Jan Willem Klop, Theoretical Computer Science Tree LanguageSyntaxEngineeringLinear TimeAutomated Reasoning	1984	48
Semantics and Termination of Nondeterministic Recursive Programs. J. W. de Bakker International Colloquium on Automata, Languages and Programming EngineeringNondeterministic Recursive ProgramsAutomated ReasoningProgram AnalysisFormal Methods	1976	41
A transition system semantics for the control-driven coordination language MANIFOLD Marcello Bonsangue, Farhad Arbab, J. W. de Bakker, Theoretical Computer Science SyntaxEngineeringOperational SemanticsAutomated ReasoningComputational Linguistics	2000	41
Metric semantics for concurrency J. W. de Bakker, John-Jules Meyer BIT Numerical Mathematics EngineeringData ScienceConcurrent ProgrammingFormal MethodsParallel Programming	1988	34
Denotational models for programming languages: applications of Banach's Fixed Point Theorem J. W. de Bakker, E.P. de Vink Topology and its Applications Mathematical ProgrammingProgramming Language TheoryDeclarative ProgrammingEngineeringDenotational Models	1998	34
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg Lecture notes in computer science Formal SpecificationEngineeringStepwise RefinementRex WorkshopFormal Modeling	1990	26

Page 1