R. Gerber
Simon Fraser University(CA)
Publications by Year
Research Areas
Distributed and Parallel Computing Systems, Formal Methods in Verification, Characterization and Applications of Magnetic Nanoparticles, Real-Time Systems Scheduling, Magnetic Properties and Synthesis of Ferrites
Most-Cited Works
- → Guaranteeing real-time requirements with resource-based calibration of periodic processes(1995)156 cited
- → Symbolic model checking of infinite state systems using presburger arithmetic(1997)146 cited
- → Generalization of HGMS theory: The capture of ultra-fine particles(1983)141 cited
- → Model-checking concurrent systems with unbounded integer variables(1999)122 cited
- High Gradient Magnetic Separation(1983)
- → Magnetic separation of submicron particles(1983)109 cited
- → A process algebraic approach to the specification and analysis of resource-bound real-time systems(1994)108 cited