Concepedia

Rinus Plasmeijer

RP

25

Publications

650

Citations

15

H-Index

1981

Active since

Affiliations

Radboud University Nijmegen(Current)

Netherlands Defence Academy

Eötvös Loránd University

Rinus Plasmeijer is an author at Radboud University Nijmegen specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware EngineeringSystem SoftwareSoftware DesignSoftware AnalysisComputer EngineeringSystems Engineering

Publications per year

1981–2018

25

Publications

25

Concurrent Clean Language Report - version 1.3

Rinus Plasmeijer, M.C.J.D. van Eekelen · Data Archiving and Networked Services (DANS) · 1998 · 80 citations

Version 1.3, Language Documentation, Engineering +7

The ins and outs of Clean I/O

Peter Achten, Rinus Plasmeijer · Journal of Functional Programming · 1995 · 72 citations · Full text

Engineering, Software Engineering, Clean I/o +17

Rinus Plasmeijer, Peter Achten, Pieter Koopman · 2007 · 56 citations

Workflow Execution, Idata Toolkit, Engineering +15

Task-oriented programming in a pure functional language

Rinus Plasmeijer, Bas Lijnse, Steffen Michels et al. · 2012 · 44 citations

Engineering, Distributed Programming, Concurrency (Computer Science) +20

GAST: Generic Automated Software Testing

Pieter Koopman, Artem Alimarine, Jan Tretmans et al. · 2003 · 42 citations

Software Maintenance, Engineering, System Testing +10

Rows per page

1–5 of 25