D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 31 Citations 5,045 211 World Ranking 8108 National Ranking 143

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Object-oriented programming

Frank S. de Boer mainly focuses on Programming language, Theoretical computer science, Programming paradigm, Object-oriented programming and Fifth-generation programming language. His research links 3APL with Programming language. The study incorporates disciplines such as Calculus, Predicate transformer semantics, Logical programming and Hoare logic in addition to Object-oriented programming.

Frank S. de Boer combines subjects such as Fourth-generation programming language and Artificial intelligence with his study of Fifth-generation programming language. His Artificial intelligence study integrates concerns from other disciplines, such as Semantics of logic, Semantics, Programming language specification and Natural language processing. Frank S. de Boer has included themes like Linear temporal logic, Complex system, Software system and Component in his Operational semantics study.

His most cited work include:

  • Agent Programming in 3APL (361 citations)
  • Stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal ferromagnets (264 citations)
  • Concurrency Verification: Introduction to Compositional and Non-compositional Methods (197 citations)

What are the main themes of his work throughout his whole career to date?

Frank S. de Boer focuses on Programming language, Theoretical computer science, Operational semantics, Java and Distributed computing. His Correctness, Object-oriented programming, Concurrency, Formal methods and Semantics investigations are all subjects of Programming language research. His study looks at the relationship between Theoretical computer science and fields such as Concurrent constraint logic programming, as well as how they intersect with chemical problems.

In his study, which falls under the umbrella issue of Operational semantics, 3APL is strongly linked to Semantics. Frank S. de Boer interconnects Cloud computing, Asynchronous communication, Component and Modular design in the investigation of issues within Distributed computing. His studies in Inductive programming integrate themes in fields like Fifth-generation programming language and Constraint programming.

He most often published in these fields:

  • Programming language (59.36%)
  • Theoretical computer science (23.32%)
  • Operational semantics (16.96%)

What were the highlights of his more recent work (between 2014-2021)?

  • Programming language (59.36%)
  • Java (15.90%)
  • Correctness (15.19%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Programming language, Java, Correctness, Distributed computing and Operational semantics. His study ties his expertise on Asynchronous method invocation together with the subject of Programming language. His study in the field of Java Modeling Language is also linked to topics like Key.

His Correctness study combines topics in areas such as Recursion and Sorting algorithm. The concepts of his Distributed computing study are interwoven with issues in Synchronization, Scalability and Computation. His Operational semantics study integrates concerns from other disciplines, such as Functional programming, Haskell, Formal semantics and Transition system.

Between 2014 and 2021, his most popular works were:

  • A Survey of Active Object Languages (47 citations)
  • OpenJDK's Java.utils.Collection.sort() Is Broken : The Good, the Bad and the Worst Case (41 citations)
  • OpenJDK's Java.utils.Collection.sort() Is Broken : The Good, the Bad and the Worst Case (41 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Object-oriented programming

Frank S. de Boer mostly deals with Programming language, Java, Distributed computing, Java Modeling Language and Functional verification. Frank S. de Boer merges Programming language with Futures contract in his study. In his study, Web service is strongly linked to Programming paradigm, which falls under the umbrella field of Java.

His Distributed computing research integrates issues from Automaton, Decidability and Theoretical computer science. Frank S. de Boer has researched Java Modeling Language in several fields, including Algorithm, Correctness and Symbolic execution. Frank S. de Boer combines subjects such as Timsort and Sorting algorithm with his study of Functional verification.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Agent Programming in 3APL

Koen V. Hindriks;Frank S. De Boer;Wiebe Van Der Hoek;John-Jules Ch. Meyer.
Autonomous Agents and Multi-Agent Systems (1999)

510 Citations

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Willem-Paul de Roever;Frank de Boer;Ulrich Hanneman;Jozef Hooman.
Cambridge Tracts in Theoretical Computer Science (2012)

438 Citations

Stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal ferromagnets

Enke Liu;Wenhong Wang;Lin Feng;Wei Zhu.
Nature Communications (2012)

321 Citations

A complete guide to the future

Frank S. de Boer;Dave Clarke;Einar Broch Johnsen.
european symposium on programming (2007)

233 Citations

Modeling and Verification of Reactive Systems using Rebeca

Marjan Sirjani;Ali Movaghar;Amin Shali;Frank S. de Boer.
Fundamenta Informaticae (2004)

196 Citations

Agent Programming with Declarative Goals

Koen V. Hindriks;Frank S. de Boer;Wiebe van der Hoek;John-Jules Ch. Meyer.
intelligent agents (2000)

193 Citations

A fully abstract model for concurrent constraint programming

Frank S. de Boer;Catuscia Palamidessi.
colloquium on trees in algebra and programming (1991)

136 Citations

The Failure of Failures in a Paradigm for Asynchronous Communication

Frank S. de Boer;Joost N. Kok;Catuscia Palamidessi;Jan J. M. M. Rutten.
international conference on concurrency theory (1991)

125 Citations

Formal Semantics for an Abstract Agent Programming Language

Koen V. Hindriks;Frank S. de Boer;Wiebe van der Hoek;John-Jules Ch. Meyer.
intelligent agents (1997)

123 Citations

Proving concurrent constraint programs correct

Frank S. De Boer;Maurizio Gabbrielli;Elena Marchiori;Catuscia Palamidessi.
ACM Transactions on Programming Languages and Systems (1997)

118 Citations

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

Contact us

Best Scientists Citing Frank S. de Boer

Mehdi Dastani

Mehdi Dastani

Utrecht University

Publications: 55

John-Jules Ch. Meyer

John-Jules Ch. Meyer

Utrecht University

Publications: 47

Farhad Arbab

Farhad Arbab

Leiden University

Publications: 45

Koen V. Hindriks

Koen V. Hindriks

Vrije Universiteit Amsterdam

Publications: 32

Reiner Hähnle

Reiner Hähnle

TU Darmstadt

Publications: 31

Catuscia Palamidessi

Catuscia Palamidessi

French Institute for Research in Computer Science and Automation - INRIA

Publications: 28

Rafael H. Bordini

Rafael H. Bordini

Pontifical Catholic University of Rio Grande do Sul

Publications: 25

Guangheng Wu

Guangheng Wu

Chinese Academy of Sciences

Publications: 25

Michael Fisher

Michael Fisher

University of Manchester

Publications: 24

Frank Dignum

Frank Dignum

Umeå University

Publications: 23

Gianluigi Zavattaro

Gianluigi Zavattaro

University of Bologna

Publications: 22

Leendert van der Torre

Leendert van der Torre

University of Luxembourg

Publications: 21

Alessandro Ricci

Alessandro Ricci

University of Bologna

Publications: 20

Andrea Omicini

Andrea Omicini

University of Bologna

Publications: 19

Cliff B. Jones

Cliff B. Jones

Newcastle University

Publications: 16

Mirko Viroli

Mirko Viroli

University of Bologna

Publications: 16

Trending Scientists

Jakob Stoustrup

Jakob Stoustrup

Aalborg University

Vishnu Pareek

Vishnu Pareek

Colorado School of Mines

Chris F. Taylor

Chris F. Taylor

European Bioinformatics Institute

Guigen Li

Guigen Li

Texas Tech University

Michelle M. Scherer

Michelle M. Scherer

University of Iowa

Song Hu

Song Hu

Huazhong University of Science and Technology

Christopher M. Perrins

Christopher M. Perrins

University of Oxford

Lizette L. Koekemoer

Lizette L. Koekemoer

University of the Witwatersrand

Raffaele Testolin

Raffaele Testolin

University of Udine

Philip S. Guzelian

Philip S. Guzelian

University of Colorado Anschutz Medical Campus

Carol E. Cass

Carol E. Cass

University of Alberta

Yee-Joo Tan

Yee-Joo Tan

National University of Singapore

Peter H. Gleick

Peter H. Gleick

Pacific Institute

Suzanne A. Eccles

Suzanne A. Eccles

Institute of Cancer Research

Robert L. Hanson

Robert L. Hanson

National Institutes of Health

Jiun-Haw Chu

Jiun-Haw Chu

University of Washington

Something went wrong. Please try again later.