Christian Stahl

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Complete homotopy invariants for translation invariant symmetric quantum walks on a chain	2018-04-12	Paper
Undecidability of accordance for open systems with unbounded message queues Information Processing Letters	2014-08-28	Paper
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching Transactions on Petri Nets and Other Models of Concurrency VIII	2013-09-17	Paper
Strategies for modeling complex processes using colored Petri nets Transactions on Petri Nets and Other Models of Concurrency VII	2013-05-31	Paper
Guaranteeing weak termination in service discovery Fundamenta Informaticae	2012-07-04	Paper
A trace-based service semantics guaranteeing deadlock freedom Acta Informatica	2012-04-26	Paper
A trace-based view on operating guidelines Foundations of Software Science and Computational Structures	2011-05-19	Paper
Modeling business processes. A Petri net-oriented approach	2011-04-15	Paper
Relating fair testing and accordance for service replaceability The Journal of Logic and Algebraic Programming	2010-05-27	Paper
Deciding Substitutability of Services with Operating Guidelines Transactions on Petri Nets and Other Models of Concurrency II	2009-04-24	Paper
A Framework for Linking and Pricing No-Cure-No-Pay Services Transactions on Petri Nets and Other Models of Concurrency II	2009-04-24	Paper
Services as a Paradigm of Computation Formal Methods and Hybrid Real-Time Systems	2008-09-25	Paper

Research outcomes over time

This page was built for person: Christian Stahl