Rudolf Roth

Publications

Citations

H-Index

1992

Active since

Affiliations

Fraunhofer Institute for Open Communication Systems(Current)

Rudolf Roth is an author at Fraunhofer Institute for Open Communication Systems specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringSyntaxBusinessManagementEdge ComputingFormal MethodsCloud ComputingNetwork ScienceNetwork AnalysisProgram Analysis

Publications per year

1992–2003

Publications

Introduction to algebraic specifications based on the language ACT ONE

Jan de Meer, Rudolf Roth, Son T. Vuong · Computer Networks and ISDN Systems · 1992 · 41 citations

Specification Language, Syntax, Formal Specification +10

IP QoS across multiple management domains: practical experiences from pan-European experiments

Rudolf Roth, Matteo Campanella, Simon Leinen et al. · IEEE Communications Magazine · 2003 · 14 citations

Engineering, Service Assurance, Quality-of-service +22

Rows per page

1–2 of 2