Skip to content

Richard Müller

  • Dipl.-Inf.
  • Ph.D. student
  • Humboldt-Universität zu Berlin
  • 23h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 2279CitationsNumber of citations received by Richard's publications. Updated daily.

Other IDs

Research interests

presentation skillsproject managementhealthcare and medical technologyservicesformal methodsverificationmodeling

Co-authors (133)

Publications (5)

  • A Survey on Approaches for Timed Services

    • Duske K
    • Müller R
    N/AReaders
    N/ACitations
  • A Trace-Based Semantics for Responsiveness

    • Vogler W
    • Stahl C
    • Müller R
    N/AReaders
    N/ACitations
  • Conformance Checking of Services Using the Best Matching Private View

    • Müller R
    • Aalst W
    • Stahl C
    N/AReaders
    N/ACitations
  • Deciding the Precongruence for Deadlock Freedom Using Operating Guidelines

    • Müller R
    • Stahl C
    N/AReaders
    N/ACitations
  • Modellierung mit Petrinetzen

    • Schuh H
    • Jacob C
    • Müller R
    N/AReaders
    N/ACitations

Professional experience

Ph.D. student

Humboldt-Universität zu Berlin

July 2010 - Present

Education

Dipl.-Inf.

Humboldt-Universität zu Berlin

October 2005 - July 2010(5 years)