3
Publications
45
Citations
3
H-Index
2017
Active since
Affiliations
Jeroen Meijer is an author at University of Twente specializing in parallel computing, computer science, and parallel programming.
Top concepts
EngineeringVerificationComputer ScienceSoftware AnalysisParallel ComputingAutomated ReasoningSystems EngineeringParallel ProgrammingFormal MethodsProgram Analysis
Publications per year
2017–2019
3
3
The RERS 2017 challenge and workshop (invited paper)
Marc Jasper, Maximilian Fecke, Bernhard Steffen et al. · 2017 · 19 citations
Property-Preserving Generation of Tailored Benchmark Petri Nets
Bernhard Steffen, Marc Jasper, Jeroen Meijer et al. · 2017 · 16 citations
Petri Net, Engineering, Verification +21
Rows per page
1–3 of 3