Wouter Swierstra

955 total citations
41 papers, 445 citations indexed

About

Wouter Swierstra is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Wouter Swierstra has authored 41 papers receiving a total of 445 indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 10 papers in Hardware and Architecture. Recurrent topics in Wouter Swierstra's work include Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (10 papers) and Parallel Computing and Optimization Techniques (10 papers). Wouter Swierstra is often cited by papers focused on Logic, programming, and type systems (32 papers), Logic, Reasoning, and Knowledge (10 papers) and Parallel Computing and Optimization Techniques (10 papers). Wouter Swierstra collaborates with scholars based in Netherlands, United Kingdom and United States. Wouter Swierstra's co-authors include Nicolas Oury, Thorsten Altenkirch, Conor McBride, Andres Löh, S. Doaitse Swierstra, Daan Leijen, Anja Volk, Peter Dybjer, Jurriaan Hage and Nicolas Wu and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM SIGPLAN Notices and Lecture notes in computer science.

In The Last Decade

Wouter Swierstra

34 papers receiving 423 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Wouter Swierstra Netherlands	9	403	200	97	92	89	41	445
Andres Löh Netherlands	15	368 0.9×	158 0.8×	157 1.6×	142 1.5×	129 1.4×	37	473
Bruno Barras France	6	395 1.0×	276 1.4×	53 0.5×	82 0.9×	65 0.7×	6	478
Rob van Glabbeek Australia	14	428 1.1×	444 2.2×	60 0.6×	120 1.3×	31 0.3×	50	582
Richard A. Eisenberg United States	12	353 0.9×	170 0.8×	99 1.0×	86 0.9×	134 1.5×	49	391
Andrzej Filinski Denmark	10	609 1.5×	333 1.7×	99 1.0×	89 1.0×	162 1.8×	22	628
Judicaël Courant France	3	369 0.9×	263 1.3×	58 0.6×	87 0.9×	58 0.7×	5	447
M. R. Sleep United Kingdom	11	339 0.8×	204 1.0×	66 0.7×	172 1.9×	169 1.9×	30	498
Ian Stark United Kingdom	12	414 1.0×	213 1.1×	92 0.9×	98 1.1×	84 0.9×	37	485
Jan Midtgaard Denmark	12	441 1.1×	251 1.3×	102 1.1×	59 0.6×	132 1.5×	27	494
C. R. Murthy United States	5	441 1.1×	339 1.7×	54 0.6×	82 0.9×	62 0.7×	6	525

Countries citing papers authored by Wouter Swierstra

Since Specialization

Citations

This map shows the geographic impact of Wouter Swierstra'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 Wouter Swierstra with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Wouter Swierstra more than expected).

Fields of papers citing papers by Wouter Swierstra

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Wouter Swierstra. 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 Wouter Swierstra. The network helps show where Wouter Swierstra may publish in the future.

Co-authorship network of co-authors of Wouter Swierstra

This figure shows the co-authorship network connecting the top 25 collaborators of Wouter Swierstra. A scholar is included among the top collaborators of Wouter Swierstra 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 Wouter Swierstra. Wouter Swierstra 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

Leijen, Daan, et al.. (2024). The Functional Essence of Imperative Binary Search Trees. Proceedings of the ACM on Programming Languages. 8(PLDI). 518–542. 3 indexed citations

Chakravarty, Manuel M. T., et al.. (2023). Translation certification for smart contracts. Science of Computer Programming. 233. 103051–103051. 1 indexed citations

Swierstra, Wouter & Nicolas Wu. (2022). Trends in Functional Programming. Lecture notes in computer science. 1 indexed citations

Swierstra, Wouter. (2022). A well-known representation of monoids and its application to the function ‘vector reverse’. Journal of Functional Programming. 32.

Swierstra, Wouter, et al.. (2019). A predicate transformer semantics for effects (functional pearl). Proceedings of the ACM on Programming Languages. 3(ICFP). 1–26. 10 indexed citations

Swierstra, Wouter, et al.. (2019). What constitutes a musical pattern?. 95–105. 6 indexed citations

Swierstra, Wouter, et al.. (2019). A framework for improving error messages in dependently-typed languages. Open Computer Science. 9(1). 1–32. 2 indexed citations

Ren, Yanzhen, et al.. (2018). Feature analysis of repeated patterns in Dutch folk songs using Principal Component Analysis. Utrecht University Repository (Utrecht University). 2 indexed citations

Volk, Anja, et al.. (2018). Analysis by classification: A comparative study of annotated and algorithmically extracted patterns in symbolic music data. Utrecht University Repository (Utrecht University). 539–546. 1 indexed citations

10.

Swierstra, Wouter, et al.. (2018). From algebra to abstract machine: a verified generic construction. 78–90.

11.

Swierstra, Wouter, et al.. (2017). Embedding the refinement calculus in Coq. Science of Computer Programming. 164. 37–48. 2 indexed citations

12.

Volk, Anja, et al.. (2017). In Search Of The Consensus Among Musical Pattern Discovery Algorithms.. Zenodo (CERN European Organization for Nuclear Research). 671–678. 3 indexed citations

13.

Swierstra, Wouter, et al.. (2017). Generic packet descriptions: verified parsing and pretty printing of low-level data. 30–40. 5 indexed citations

14.

Swierstra, Wouter, et al.. (2015). Auto in Agda - Programming Proof Search Using Reflection.. 276–301. 2 indexed citations

15.

Rodríguez, Ernesto & Wouter Swierstra. (2015). Datatype generic programming in F#. Data Archiving and Networked Services (DANS). 23–32.

16.

Swierstra, Wouter. (2012). xmonad in Coq (experience report). 131–136. 3 indexed citations

17.

Swierstra, Wouter. (2012). xmonad in Coq (experience report). ACM SIGPLAN Notices. 47(12). 131–136.

18.

Löh, Andres, Conor McBride, & Wouter Swierstra. (2010). A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundamenta Informaticae. 102(2). 177–207. 15 indexed citations

19.

Swierstra, S. Doaitse, et al.. (2009). Attribute grammars fly first-class. ACM SIGPLAN Notices. 44(9). 245–256. 2 indexed citations

20.

Altenkirch, Thorsten, Conor McBride, & Wouter Swierstra. (2007). Observational equality, now!. 57–68. 58 indexed citations

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