Piotr Kosiuczenko

Available identifiers

zbMath Open kosiuczenko.piotrMaRDI QIDQ1333284

List of research outcomes

Publication	Date of Publication	Type
Simulation of generalised semi-Markov processes based on graph transformation systems	2013-12-20	Paper
On the validation of invariants at runtime	2013-08-26	Paper
An Abstract Machine for the Old Value Retrieval	2010-07-26	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4413609	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536991	2002-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4222999	1999-01-07	Paper
Timed rewriting logic with an application to object-based specification	1997-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q4357065	1997-10-07	Paper
On the power of higher-order algebraic specification methods	1996-03-19	Paper
Mal'cev-type conditions for partial algebras	1994-09-13	Paper

Research outcomes over time

This page was built for person: Piotr Kosiuczenko