Christian Stahl

Available identifiers

zbMath Open stahl.christianMaRDI QIDQ974131

List of research outcomes

Publication	Date of Publication	Type
Complete homotopy invariants for translation invariant symmetric quantum walks on a chain	2018-04-12	Paper
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching	2013-09-17	Paper
Strategies for Modeling Complex Processes Using Colored Petri Nets	2013-05-31	Paper
Guaranteeing Weak Termination in Service Discovery	2012-07-04	Paper
A trace-based service semantics guaranteeing deadlock freedom	2012-04-26	Paper
A Trace-Based View on Operating Guidelines	2011-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q5392873	2011-04-15	Paper
Relating fair testing and accordance for service replaceability	2010-05-27	Paper
Deciding Substitutability of Services with Operating Guidelines	2009-04-24	Paper
A Framework for Linking and Pricing No-Cure-No-Pay Services	2009-04-24	Paper
Services as a Paradigm of Computation	2008-09-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Stahl