T. Basten

MaRDI QIDQ202488zbMATH OpenFDO

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
Modeling and analysis of switching max-plus linear systems with discrete-event feedback Discrete Event Dynamic Systems	2023-10-04	Paper
Life-cycle inheritance	2022-12-09	Paper
An algebraic semantics for hierarchical P/T nets Lecture Notes in Computer Science	2022-08-16	Paper
Partial-Order Reduction for Supervisory Controller Synthesis IEEE Transactions on Automatic Control	2022-02-24	Paper
scientific article; zbMATH DE number 7379290 (Why is no real title available?) (available as arXiv preprint)	2021-08-05	Paper
Vector time and causality among abstract events in distributed computations	2020-12-02	Paper
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs IEEE Transactions on Computers	2018-06-12	Paper
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited IEEE Transactions on Computers	2017-07-27	Paper
Deciding life-cycle inheritance on Petri nets Applications and Theory of Petri Nets 2003	2010-03-31	Paper
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.	2010-02-05	Paper
An algebra of Pareto points	2007-07-30	Paper
Partial-order process algebra (and its relation to Petri nets)	2003-10-20	Paper
scientific article; zbMATH DE number 1956562 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1755137 (Why is no real title available?)	2002-06-13	Paper
Inheritance of workflows: An approach to tackling problems related to change Theoretical Computer Science	2002-03-03	Paper
Diagnosing workflow processes using Woflan The Computer Journal. Section A Section B	2002-01-23	Paper
scientific article; zbMATH DE number 1686282 (Why is no real title available?)	2002-01-07	Paper
Inheritance of behavior The Journal of Logic and Algebraic Programming	2001-09-12	Paper
Parsing Partially Ordered Multisets International Journal of Foundations of Computer Science	1998-04-13	Paper
Branching bisimilarity is an equivalence indeed! Information Processing Letters	1997-02-27	Paper

Research outcomes over time

This page was built for person: T. Basten