Martijn Oostdijk
-
- Model-Driven Software Engineering Techniques 1
-
- Formal Methods in Verification 2
- Mathematics, Computing, and Information Processing 1
- Polynomial and algebraic computation 1
-
- Logic, programming, and type systems 5
- Logic, Reasoning, and Knowledge 1
-
- Service-Oriented Architecture and Web Services 1
-
- Patient Dignity and Privacy 1
- Co-authors
- Engelbert HubbersBart JacobsHerman GeuversMartijn WarnierP. GrootJoseph R. KiniryNiels van DijkD.B.B. Rijsenbrij
- Journals
- Theoretical Computer Science (1 paper)Journal of Symbolic Computation (1 paper)The Journal of Logic and Algebraic Programming (1 paper)
- Partner nations
- NetherlandsAustriaIreland
In The Last Decade
Martijn Oostdijk
8 papers receiving 25 citations
Peers
Comparison fields: 5 of 13
- Software 6
- Theoretical Computer Science 1
- Computational Theory and Mathematics 14
- Artificial Intelligence 23
- 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
The 8 scholars most cited alongside Martijn Oostdijk, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | Provisioning scenarios in identity federations | 2010 | 0 |
| 2 | Patient Data Confidentiality Issues of the Dutch Electronic Health Care Record | 2007 | 1 |
| 3 | 2006 | 2 | |
| 4 | Security Principles: Information security on the management agenda | 2006 | 0 |
| 5 | Generating JML Specifications from UML State Diagrams | 2003 | 5 |
| 6 | 2003 | 6 | |
| 7 | 2002 | 4 | |
| 8 | 2001 | 7 | |
| 9 | An Interactive Viewer for Mathematical Content Based On Type Theory | 2000 | 1 |
| 10 | How to formally and efficiently prove Prime(1999) | 2000 | 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), Mathematics, Computing, and Information Processing (1 paper), Service-Oriented Architecture and Web Services (1 paper), Model-Driven Software Engineering Techniques (1 paper), Polynomial and algebraic computation (1 paper), Patient Dignity and Privacy (1 paper) and Logic, Reasoning, and Knowledge (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.