( en | de | ru )

 

Disambiguation of "Gerber, Richard"

Author of the publication

copydeleteadd this publication to your clipboard
ASCR/HEP Exascale Requirements Review Report

, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and . (Mar 31, 2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Richard Gerber

Helmut Richard Gerber

Arnold Gerber

Adolf Gerber

Hanns Gerber

 

Other publications of authors with the same name

A process algebraic approach to the specification and analysis of resource-bound real-time systems., , and . Proc. IEEE, 82 (1): 158-171 (1994)A Resource-Based Prioritized Bisimulation for Real-Time Systems, and . Inf. Comput., 113 (1): 102-142 (August 1994)Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion., and . IEEE Trans. Software Eng., 21 (5): 389-404 (1995)Appropriate Interfaces Between Design Tools, Languages, Compilers and Runtimes in Real-Time Systems (Panel)., , , , and . Workshop on Languages, Compilers, & Tools for Real-Time Systems, page 124. ACM, (1995)Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach., , and . ISSTA, page 113-123. ACM, (1998)Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic., , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 400-411. Springer, (1997)A Proof System for Communicating Shared Resources., and . RTSS, page 288-299. IEEE Computer Society, (1990)Specification and Analysis of Resource-Bound Real-Time Systems., and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 371-396. Springer, (1991)Distributed Genetic Programming In Java, , and . Late Breaking Papers at the 1997 Genetic Programming Conference, page 81--86. Stanford University, CA, USA, Stanford Bookstore, (13--16 July 1997)ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, 1994 (Summary of the Workshop)., , and . ACM SIGPLAN Notices, 29 (12): 11-17 (1994)