Klaus Dräger

From MaRDI portal
(Redirected from Person:225791)



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!

PublicationDate of PublicationType
The invariance problem for matrix semigroups
Lecture Notes in Computer Science
2016-06-10Paper
Model Checking Stochastic Branching Processes
Mathematical Foundations of Computer Science 2012
2012-09-25Paper
scientific article; zbMATH DE number 5506101 (Why is no real title available?)2009-02-10Paper
Subsequence Invariants
CONCUR 2008 - Concurrency Theory
2008-11-25Paper
Slicing Abstractions
Lecture Notes in Computer Science
2008-07-01Paper
Model Checking Software
Lecture Notes in Computer Science
2007-05-02Paper
scientific article; zbMATH DE number 1823185 (Why is no real title available?)2002-11-04Paper
Run length analysis of Shewhart charts applied to drifting processes under an integrative SPC/EPC model.
Metrika
2002-01-29Paper
scientific article; zbMATH DE number 1218881 (Why is no real title available?)1999-07-07Paper
scientific article; zbMATH DE number 1093000 (Why is no real title available?)1999-05-05Paper
scientific article; zbMATH DE number 946618 (Why is no real title available?)1997-01-14Paper


Research outcomes over time


This page was built for person: Klaus Dräger