Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Mandy Weißbach

> Home > Persons

Person information

affiliation: Martin Luther University of Halle-Wittenberg, Institute of Computer Science, Halle, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

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

2021
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ZimmermannW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ZimmermannW21
Wolf Zimmermann, Mandy Weißbach:
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Logic, Computation and Rigorous Methods 2021: 326-352

2010 – 2019

see FAQ

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

2019
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Weissbach19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Weissbach19
Mandy Weißbach:
Deadlockanalyse Service-orientierter Softwaresysteme. Martin Luther University of Halle-Wittenberg, Germany, 2019
2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/WeissbachZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/WeissbachZ18
Mandy Weißbach, Wolf Zimmermann:
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems. ESOCC Workshops 2018: 79-90
2017
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/WeissbachZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/WeissbachZ17
Mandy Weißbach, Wolf Zimmermann:
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion. ESOCC 2017: 168-176
2016
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/esocc/Weissbach16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esocc/Weissbach16
Mandy Weißbach:
Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency. ESOCC Workshops 2016: 247-259
2010
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jib/LangeSBHKLWWWSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jib/LangeSBHKLWWWSS10
Matthias Lange, Karl Spies, Joachim Bargsten, Gregor Haberhauer, Matthias Klapperstück, Michael Leps, Christian Weinel, Röbbe Wünschiers, Mandy Weißbach, Jens Stein, Uwe Scholz:
The LAILAPS Search Engine: Relevance Ranking in Life Science Databases. J. Integr. Bioinform. 7(2) (2010)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/WeissbachZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/WeissbachZ10
Mandy Weißbach, Wolf Zimmermann:
Termination analysis of business process workflows. WEWST 2010: 18-25

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.