Upload Records Snowball Search Search OpenAlex
About the database ScholarIQanswers from OpenAlex & ORCID
Frank S. de Boer
ResearcherPublications, citations & collaboration network
Frank S. de Boer is a researcher indexed in ScholarIQ from OpenAlex & ORCID. ScholarIQ records 273 works, 4,770 citations, an h-index of 32 and an i10-index of 104.
273
Works
4,770
Citations
32
h-index
104
i10-index
IDs:OpenAlex
How has Frank S. de Boer's publication output changed over time?
ScholarIQpublication output · 1999–2025
Output grew0% over the shown period — from 1 works in 1999 to 1 in 2025.
1
1
1
2
1
1
1
1
1
1
1999200020012004200520072009201520232025
What are the most-cited papers on Frank S. de Boer?
ScholarIQmost cited works
Formal Methods for Components and Objects
Frank S. de Boer, Roever, Willem-Paul, Susanne Graf, Marcello Bonsangue
Lecture notes in computer science. 2004625 CitationsOPEN ACCESS
Agent Programming in 3APL
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John‐Jules Ch. Meyer
S5405189. 1999366 Citations
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
S4210170642. 2009197 CitationsOPEN ACCESS
A Complete Guide to the Future
Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
Lecture notes in computer science. 2007176 Citations
Agent Programming with Declarative Goals
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John‐Jules Ch. Meyer
Lecture notes in computer science. 2001167 Citations