Martijn Oostdijk
- Artificial Intelligence
- Computational Theory and Mathematics
- Software
- Computer Networks and Communications
- Hardware and Architecture
- Co-authors
- Engelbert HubbersBart JacobsHerman GeuversMartijn WarnierP. GrootJoseph R. KiniryNiels van DijkD.B.B. Rijsenbrij
- Topics
- Logic, programming, and type systems (5 papers)Formal Methods in Verification (2 papers)Mathematics, Computing, and Information Processing (1 paper)
- Journals
- Theoretical Computer ScienceJournal of Symbolic ComputationThe Journal of Logic and Algebraic Programming
- Partner nations
- NetherlandsAustriaIreland
In The Last Decade
Martijn Oostdijk
8 papers receiving 25 citations
Peers
Comparison fields: 5 of 13
- Artificial Intelligence 23
- Computational Theory and Mathematics 14
- Software 6
- Computer Networks and Communications 3
- Hardware and Architecture 3
Countries citing papers authored by Martijn Oostdijk
This map shows the geographic impact of Martijn Oostdijk'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 Martijn Oostdijk with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Martijn Oostdijk more than expected).
Fields of papers citing papers by Martijn Oostdijk
This network shows the impact of papers produced by Martijn Oostdijk. 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 Martijn Oostdijk. The network helps show where Martijn Oostdijk may publish in the future.
Co-authorship network of co-authors of Martijn Oostdijk
This figure shows the co-authorship network connecting the top 25 collaborators of Martijn Oostdijk. A scholar is included among the top collaborators of Martijn Oostdijk 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 Martijn Oostdijk. Martijn Oostdijk is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | Provisioning scenarios in identity federations | 0 |
| 2 | Patient Data Confidentiality Issues of the Dutch Electronic Health Care Record | 1 |
| 3 | 2 | |
| 4 | Security Principles: Information security on the management agenda | 0 |
| 5 | Generating JML Specifications from UML State Diagrams | 5 |
| 6 | 6 | |
| 7 | 4 | |
| 8 | 7 | |
| 9 | An Interactive Viewer for Mathematical Content Based On Type Theory | 1 |
| 10 | How to formally and efficiently prove Prime(1999) | 3 |
About Martijn Oostdijk
Martijn Oostdijk is a scholar working on Software, Computational Theory and Mathematics and Algebra and Number Theory, having authored 10 papers that have together received 29 indexed citations. Recurring topics across this work include Logic, programming, and type systems (5 papers), Formal Methods in Verification (2 papers) and Mathematics, Computing, and Information Processing (1 paper). The work is most often cited by research in Software (6 citations), Theoretical Computer Science (1 citation) and Computational Theory and Mathematics (14 citations). Martijn Oostdijk has collaborated with scholars based in Netherlands, Austria and Ireland. Frequent co-authors include Engelbert Hubbers, Bart Jacobs, Herman Geuvers, Martijn Warnier, P. Groot, Joseph R. Kiniry, Niels van Dijk and D.B.B. Rijsenbrij. Their work appears in journals such as Theoretical Computer Science, Journal of Symbolic Computation and The Journal of Logic and Algebraic Programming.
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.