World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
39
Citations
11090
World Ranking
9528
National Ranking
170

Research.com Recognitions

  • 2011 - Member of Academia Europaea
  • 2003 - Royal Netherlands Academy of Arts and Sciences

Overview

Jan Willem Klop is affiliated with Vrije Universiteit Amsterdam in the Netherlands. Their research primarily focuses on the field of Computer Science, with notable contributions to the subfields of Artificial Intelligence, Computational Theory and Mathematics, and Computer Networks and Communications.

Their work encompasses several specific topics within these areas, including:

  • Logic, programming, and type systems
  • Logic, Reasoning, and Knowledge
  • Computability, Logic, AI Algorithms
  • Semigroups and automata theory
  • Advanced Database Systems and Queries
  • Formal Methods in Verification

Jan Willem Klop has published papers in the venue Logical Methods in Computer Science, with at least two documented publications. Some recent papers include:

  • Decreasing Diagrams for Confluence and Commutation (2020, Logical Methods in Computer Science)
  • Star Games and Hydras (2021, Logical Methods in Computer Science)

They have frequently collaborated with co-authors Jörg Endrullis and Roy Overbeek.

Throughout their career, Jan Willem Klop has been recognized with memberships and awards such as:

  • Member of Academia Europaea (2011)
  • Royal Netherlands Academy of Arts and Sciences (2003)

Best Publications

  • Term rewriting systems

    J. W. Klop

  • Process algebra for synchronous communication

    Jan A. Bergstra;Jan Willem Klop

  • Algebra of communicating processes with abstraction

    Jan A. Bergstra;Jan Willem Klop

  • Combinatory reduction systems

    Jan Willem Klop;Vincent van Oostrom;Femke van Raamsdonk

  • Conditional rewrite rules: confluence and termination

    J.A. Bergstra;Jan Willem Klop

  • Conditional rewrite rules: Confluence and termination

    J A Bergstra;J W Klop

  • The Algebra of Recursively Defined Processes and the Algebra of Regular Processes

    Jan A. Bergstra;Jan Willem Klop

  • Syntax and defining equations for an interrupt mechanism in process algebra

    Jcm Jos Baeten;JA Jan Bergstra;JW Jan Willem Klop

  • On the consistency of Koomen's fair abstraction rule

    J. C. M. Baeten;J. A. Bergstra;J. W. Klop

  • Algebra of communicating processes

    J.A. Bergstra;Jan Willem Klop

  • Transfinite reductions in orthogonal term rewriting systems

    Richard Kennaway;Jan Willem Klop;Ronan Sleep;Fer-Jan de Vries

  • Infinitary lambda calculus

    J. R. Kennaway;J. W. Klop;M. R. Sleep;F. J. de Vries

  • Equational term graph rewriting

    Zena M. Ariola;Jan Willem Klop

  • Decidability of bisimulation equivalence for process generating context-free languages

    J. C. M. Baeten;J. A. Bergstra;J. W. Klop

  • Term Rewriting Systems

    Unknown

  • Decidability of bisimulation equivalence for processes generating context-free languages

    Jos C. M. Baeten;Jan A. Bergstra;Jan A. Bergstra;Jan Willem Klop

  • An analysis of loop checking mechanisms for logic programs

    Roland N. Bol;Krzysztof R. Apt;Jan Willem Klop

  • Term rewriting systems

    Jan Willem Klop

  • Term rewriting systems: a tutorial

    Jan Willem Klop

  • Verification of an alternating bit protocol by means of process algebra protocol

    J. A. Bergstra;J. W. Klop

  • Process theory based on bisimulation semantics

    Jan A. Bergstra;Jan A. Bergstra;Jan Willem Klop

  • On the adequacy of graph rewriting for simulating term rewriting

    J. R. Kennaway;J. W. Klop;M. R. Sleep;F. J. de Vries

  • Sequentiality in orthogonal term rewriting systems

    Jan Willem Klop;Aart Middeldorp

Frequent Co-Authors

Jan A. Bergstra
Jan A. Bergstra University of Amsterdam
Krzysztof R. Apt
Krzysztof R. Apt Centrum Wiskunde & Informatica
Nachum Dershowitz
Nachum Dershowitz Tel Aviv University
John-Jules Ch. Meyer
John-Jules Ch. Meyer Utrecht University
Wolfgang Reisig
Wolfgang Reisig Humboldt-Universität zu Berlin
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Wan Fokkink
Wan Fokkink Vrije Universiteit Amsterdam
Ernst-Rüdiger Olderog
Ernst-Rüdiger Olderog Carl von Ossietzky University of Oldenburg

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Choosing to study Computer Science in the USA opens many doors, including flexible online learning options. Prospective students worried about past academic performance can find a college that accepts low gpa, making higher education accessible to a wider range of learners.

Accelerated programs are also available for those wishing to fast-track their education. A fast track computer science degree helps students enter the workforce sooner while gaining the necessary skills for in-demand tech careers.

Computer Science often overlaps with other fields. If you're interested in environmental issues, exploring careers in this area is possible. Learn what can you do with an environmental studies degree—from research roles to sustainability consulting.

Cost is an important factor in selecting a program. If you want to combine technology and environmental problem-solving while keeping tuition affordable, consider the environmental engineering online degree options for a smart investment in your future.

Best Scientists Citing Jan Willem Klop

Trending Scientists