Frank de Boer

2.0k total citations
55 papers, 880 citations indexed

About

Frank de Boer is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Frank de Boer has authored 55 papers receiving a total of 880 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 15 papers in Computer Networks and Communications and 15 papers in Computational Theory and Mathematics. Recurrent topics in Frank de Boer's work include Formal Methods in Verification (12 papers), Logic, programming, and type systems (11 papers) and Advanced Software Engineering Methodologies (10 papers). Frank de Boer is often cited by papers focused on Formal Methods in Verification (12 papers), Logic, programming, and type systems (11 papers) and Advanced Software Engineering Methodologies (10 papers). Frank de Boer collaborates with scholars based in Netherlands, Germany and Iran. Frank de Boer's co-authors include Jinglan Chen, Hongwei Zhang, Wei Zhu, Chengbao Jiang, Lin Feng, Wenhong Wang, Guangheng Wu, Enke Liu, Huibin Xu and Guijiang Li and has published in prestigious journals such as Nature Communications, SHILAP Revista de lepidopterología and Physical Review B.

In The Last Decade

Frank de Boer

51 papers receiving 826 citations

Peers

Countries citing papers authored by Frank de Boer

Since Specialization

Citations

This map shows the geographic impact of Frank de Boer's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Frank de Boer with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Frank de Boer more than expected).

Fields of papers citing papers by Frank de Boer

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Frank de Boer. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Frank de Boer. The network helps show where Frank de Boer may publish in the future.

Co-authorship network of co-authors of Frank de Boer

This figure shows the co-authorship network connecting the top 25 collaborators of Frank de Boer. A scholar is included among the top collaborators of Frank de Boer based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Frank de Boer. Frank de Boer is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	ASCOOP: Actors in Scala with Cooperative Scheduling 2018 ·Data Archiving and Networked Services (DANS) ·(unknown), Frank de Boer, (unknown)	0
2	Compositional schedulability analysis of real-time actor-based systems 2016 ·Acta Informatica ·Mohammad Mahdi Jaghoori, Frank de Boer, (unknown), Tom Chothia, Marjan Sirjani	5
3	Model checking recursive programs interacting via the heap 2014 ·Science of Computer Programming ·(unknown), Frank de Boer, Marcello Bonsangue, Dorel Lucanu, Jurriaan Rot	1
4	Decidability Problems for Actor Systems 2014 ·Logical Methods in Computer Science ·Frank de Boer, (unknown), Cosimo Laneve, Gianluigi Zavattaro	3
5	Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic 2014 ·Software & Systems Modeling ·(unknown), Frank de Boer, Wolfgang Ahrendt, Richard Bubel	0
6	Concurrency Verification: Introduction to Compositional and Non-compositional Methods 2012 ·University of Twente Research Information ·Willem-Paul de Roever, Frank de Boer, (unknown), Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers	45
7	Interacting via the Heap in the Presence of Recursion 2012 ·SHILAP Revista de lepidopterología ·Jurriaan Rot, (unknown), Frank de Boer, Marcello Bonsangue, Dorel Lucanu	3
8	stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal 2012 ·Enke Liu, Wenhong Wang, Lin Feng, Wei Zhu, Guijiang Li, Jinglan Chen, Hongwei Zhang, Guangheng Wu, Chengbao Jiang, Huibin Xu, Frank de Boer	3
9	Stable magnetostructural coupling with tunable magnetoresponsive effects in hexagonal ferromagnets 2012 ·Nature Communications ·Enke Liu, Wenhong Wang, Lin Feng, Wei Zhu, Guijiang Li, Jinglan Chen, Hongwei Zhang, Guangheng Wu, Chengbao Jiang, Huibin Xu, Frank de Boer	391
10	A complete guide to the future 2007 ·Lecture notes in computer science ·Frank de Boer, Dave Clarke, (unknown)	1
11	Implementing Real-Time Production Optimisation in Shell E&P inEurope—Changing the Way We Work and Run Our Business 2007 ·Proceedings of Offshore Europe ·(unknown), (unknown), (unknown), Frank de Boer	13
12	A Component Coordination Model Based on Mobile Channels 2006 ·Fundamenta Informaticae ·(unknown), Farhad Arbab, Frank de Boer, Marcello Bonsangue	2
13	Models and temporal logics for timed component connectors 2004 ·Farhad Arbab, Christel Baier, Frank de Boer, Jan Rutten	28
14	Models and temporal logics for timed component connectors 2004 ·Farhad Arbab, Christel Baier, Frank de Boer, Jan Rutten	12
15	MoCha: a middleware based on mobile channels 2003 ·Farhad Arbab, Frank de Boer, (unknown), Marcello Bonsangue	12
16	Proving total correctness of recursive procedures 1990 ·Information and Computation ·Pierre America, Frank de Boer	8
17	Application of diethylstilbestrol dipropionate in bulls 1989 ·Veterinary Quarterly ·Eugène Jansen, R.W. Stephany, Joseph G. Vos, E. J. Ruitenberg, Th. J. Benraad, Frank de Boer, (unknown), (unknown), Nicole Schmidt	6
18	Livestock feed resources and feed evaluation in Europe. Present situation and future prospects. 1988 ·Elsevier eBooks ·Frank de Boer, (unknown)	14
19	I. Impact of feed in livestock production 1988 ·Livestock Production Science ·Frank de Boer, (unknown)	3
20	Use of maize for livestock feeding in the Netherlands 1976 ·Animal Feed Science and Technology ·Frank de Boer	2

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact