Citations per year, relative to M.C.J.D. van Eekelen M.C.J.D. van Eekelen (= 1×)
peers
Paul Steckler
Countries citing papers authored by M.C.J.D. van Eekelen
Since
Specialization
Citations
This map shows the geographic impact of M.C.J.D. van Eekelen'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 M.C.J.D. van Eekelen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites M.C.J.D. van Eekelen more than expected).
Fields of papers citing papers by M.C.J.D. van Eekelen
This network shows the impact of papers produced by M.C.J.D. van Eekelen. 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 M.C.J.D. van Eekelen. The network helps show where M.C.J.D. van Eekelen may publish in the future.
Co-authorship network of co-authors of M.C.J.D. van Eekelen
This figure shows the co-authorship network connecting the top 25 collaborators of M.C.J.D. van Eekelen.
A scholar is included among the top collaborators of M.C.J.D. van Eekelen 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 M.C.J.D. van Eekelen. M.C.J.D. van Eekelen is excluded from
the visualization to improve readability, since they are connected to all nodes in the network.
All Works
20 of 20 papers shown
1.
Bromuri, Stefano, et al.. (2019). EXPLAINING CUSTOMER ACTIVATION WITH DEEP ATTENTION MODELS. Journal of the Association for Information Systems. 1–15.4 indexed citations
2.
Eekelen, M.C.J.D. van, et al.. (2018). Polynomial solutions of algebraic dierence equations and homogeneous symmetric polynomials. Data Archiving and Networked Services (DANS).1 indexed citations
3.
Eekelen, M.C.J.D. van, et al.. (2013). Soundness proof for a hoare logic for energy consumption analysis. Data Archiving and Networked Services (DANS).2 indexed citations
4.
Karsch, S., et al.. (2012). A Virtual Computer Security Lab As Learning Environment For Networking and Security Courses. Radboud Repository (Radboud University). 61–68.1 indexed citations
5.
Eekelen, M.C.J.D. van, et al.. (2012). Preface : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Radboud Repository (Radboud University).2 indexed citations
6.
Eekelen, M.C.J.D. van, et al.. (2011). Size Analysis of Higher-Order Functions. Data Archiving and Networked Services (DANS). 77–91.
7.
Eekelen, M.C.J.D. van, Herman Geuvers, Julien Schmaltz, & Freek Wiedijk. (2011). Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Lecture notes in computer science. 6898.4 indexed citations
8.
Eekelen, M.C.J.D. van, et al.. (2010). Univariate Polynomial Solutions of Nonlinear Polynomial Recurrence Relations. Data Archiving and Networked Services (DANS).1 indexed citations
9.
Peña, Ricardo, et al.. (2009). Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis.1 indexed citations
10.
Tews, Hendrik, et al.. (2008). Nova Micro--Hypervisor Verification. Data Archiving and Networked Services (DANS).6 indexed citations
11.
Eekelen, M.C.J.D. van, et al.. (2008). Size Analysis of Algebraic Data Types. Data Archiving and Networked Services (DANS). 9. 33–48.8 indexed citations
12.
Eekelen, M.C.J.D. van, et al.. (2007). The Mathematical Foundation of the Proof Assistant Sparkle. CTIT technical report series.1 indexed citations
13.
Eekelen, M.C.J.D. van, et al.. (2007). AHA: Amortized Heap Space Usage Analysis. Project Paper.1 indexed citations
14.
Eekelen, M.C.J.D. van, et al.. (2007). Type Checking and Weak Type Inference for Polynomial Size Analysis of First--Order Functions. Data Archiving and Networked Services (DANS).
15.
Eekelen, M.C.J.D. van, et al.. (2004). Induction and Co-induction in Sparkle. Radboud Repository (Radboud University). 273–293.1 indexed citations
16.
Eekelen, M.C.J.D. van, et al.. (2004). Mixed Lazy/Strict Graph Semantics. 245–260.1 indexed citations
17.
Eekelen, M.C.J.D. van, et al.. (2004). An Effective Proof Rule for General Type Classes. 149–165.1 indexed citations
18.
Achten, Peter, M.C.J.D. van Eekelen, & M.J. Plasmeijer. (2004). Generic Graphical User Interfaces. Lecture notes in computer science. 152–167.4 indexed citations
19.
Smetsers, Sjaak, Erik Barendsen, M.C.J.D. van Eekelen, & Rinus Plasmeijer. (1994). Guaranteeing safe destructive updates through a type system with uniqueness information for graphs. Lecture notes in computer science. 358–379.7 indexed citations
20.
Eekelen, M.C.J.D. van, et al.. (1991). Parallel graph rewriting on loosely coupled machine architectures. Lecture notes in computer science. 354–369.2 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.