Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Richard Müller 0001

> Home > Persons

Person information

affiliation: Humboldt-Universität, Berlin, Germany
affiliation: Technische Universiteit Eindhoven, The Netherlands

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MullerSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MullerSV17
Richard Müller, Christian Stahl, Walter Vogler:
Deciding conformance for bounded responsiveness. Sci. Comput. Program. 138: 1-25 (2017)
2014
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/VoglerS014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/VoglerS014
Walter Vogler, Christian Stahl, Richard Müller:
Trace- and failure-based semantics for responsiveness. Acta Informatica 51(8): 499-552 (2014)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/MullerSV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/MullerSV14
Richard Müller, Christian Stahl, Walter Vogler:
Undecidability of accordance for open systems with unbounded message queues. Inf. Process. Lett. 114(12): 663-669 (2014)
2013
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/VoglerSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/VoglerSM13
Walter Vogler, Christian Stahl, Richard Müller:
Trace- and Failure-Based Semantics for Bounded Responsiveness. ESOCC Workshops 2013: 129-143
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/MullerSAW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/MullerSAW13
Richard Müller, Christian Stahl, Wil M. P. van der Aalst, Michael Westergaard:
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations. ICSOC 2013: 358-373
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/VoglerSM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/VoglerSM12
Walter Vogler, Christian Stahl, Richard Müller:
A Trace-Based Semantics for Responsiveness. ACSD 2012: 42-51
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MullerAS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MullerAS12
Richard Müller, Wil M. P. van der Aalst, Christian Stahl:
Conformance Checking of Services Using the Best Matching Private View. WS-FM 2012: 49-68
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/zeus/DuskeM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zeus/DuskeM12
Kristian Duske, Richard Müller:
A Survey on Approaches for Timed Services. ZEUS 2012: 66-73
2011
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/zeus/MullerR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/zeus/MullerR11
Richard Müller, Andreas Rogge-Solti:
BPMN for Healthcare Processes. ZEUS 2011: 65-72
2010
[c1]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/awpn/Muller10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/awpn/Muller10
Richard Müller:
On the Notion of Deadlocks in Open Nets. AWPN 2010: 130-135

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.