Concepedia

R. Gerber

RG

68

Publications

2.3K

Citations

28

H-Index

1966

Active since

Affiliations

University of Salford(Current)

University of Maryland, College Park

FZU ‒ Institute of Physics of the Academy of Sciences of the Czech Republic

University of Tübingen

Queen's University Belfast

R. Gerber is an author at University of Salford specializing in engineering, physics, and computer science.

Top concepts

EngineeringApplied PhysicsPhysicsMagnetismComputer ScienceSystems EngineeringComputer EngineeringMaterial ScienceFormal MethodsMagnetic Resonance

Publications per year

1966–2018

68

Publications

68

Guaranteeing real-time requirements with resource-based calibration of periodic processes

R. Gerber, Seongsoo Hong, M. Saksena · IEEE Transactions on Software Engineering · 1995 · 156 citations

Engineering, Computer Architecture, System-level Design +19

Generalization of HGMS theory: The capture of ultra-fine particles

R. Gerber, M. Takayasu, F. Friedlaender · IEEE Transactions on Magnetics · 1983 · 141 citations

Particle Capture, Engineering, Physics +12

Model-checking concurrent systems with unbounded integer variables

Tevfik Bultan, R. Gerber, William Pugh · ACM Transactions on Programming Languages and Systems · 1999 · 122 citations · Full text

Program Checking, Approximation Techniques, Engineering +18

Magnetic separation of submicron particles

M. Takayasu, R. Gerber, F. Friedlaender · IEEE Transactions on Magnetics · 1983 · 109 citations

Engineering, Diffusion Processes, Magnetic Resonance +18

A process algebraic approach to the specification and analysis of resource-bound real-time systems

I. Lee, Patrice Brémond-Grégoire, R. Gerber · Proceedings of the IEEE · 1994 · 108 citations

Timed Process Algebras, Engineering, Real-time System Design +17

Rows per page

1–5 of 68