Concepedia

R. Valk

RV

2

Publications

94

Citations

2

H-Index

1985

Active since

Affiliations

Universität Hamburg(Current)

R. Valk is an author at Universität Hamburg specializing in computational complexity, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputational ComplexityBusinessVerificationFormal MethodsProcess ControlMechanism DesignProduction ControlProduction Systems

Publications per year

1985–2006

2

Publications

2

The residue of vector sets with applications to decidability problems in Petri nets

R. Valk, Matthias Jantzen · Acta Informatica · 1985 · 73 citations

Petri Net, Computational Complexity Theory, Engineering +11

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems

J. Ezpeleta, R. Valk · IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans · 2006 · 21 citations

Mathematical Programming, Engineering, Dynamic Resource Allocation +22

Rows per page

1–2 of 2