We stand with Ukraine  

Mandy Weißbach

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


According to our database1, Mandy Weißbach authored at least 7 papers between 2010 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.
[BibTeX]
[DOI]
Wolf Zimmermann
,
Mandy Weißbach
Proceedings of the Logic, Computation and Rigorous Methods, 2021

2019
Deadlockanalyse Service-orientierter Softwaresysteme.
[BibTeX]
[DOI]
Mandy Weißbach
PhD thesis, 2019

2018
On Limitations of Abstraction-Based Deadlock-Analysis of Service-Oriented Systems.
[BibTeX]
[DOI]
Mandy Weißbach
,
Wolf Zimmermann
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017
On Abstraction-Based Deadlock-Analysis in Service-Oriented Systems with Recursion.
[BibTeX]
[DOI]
Mandy Weißbach
,
Wolf Zimmermann
Proceedings of the Service-Oriented and Cloud Computing, 2017

2016
Deadlock Analysis of Service-Oriented Systems with Recursion and Concurrency.
[BibTeX]
[DOI]
Mandy Weißbach
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2016

2010
The LAILAPS Search Engine: Relevance Ranking in Life Science Databases.
[BibTeX]
[DOI]
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
J. Integr. Bioinform., 2010

Termination analysis of business process workflows.
[BibTeX]
[DOI]
Mandy Weißbach
,
Wolf Zimmermann
Proceedings of the 5th Workshop on Emerging Web Services Technology, 2010


  Loading...