Emil Sekerinski

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
An algebraic approach to refinement with fair choice Electronic Notes in Theoretical Computer Science	2014-03-26	Paper
Finitary fairness in action systems Theoretical Aspects of Computing – ICTAC 2013	2013-10-04	Paper
Tabular verification and refinement	2013-08-19	Paper
Verification rules for exception handling in Eiffel Lecture Notes in Computer Science	2012-11-06	Paper
Concurrent object-oriented programs: from specification to code. Lecture Notes in Computer Science	2010-02-09	Paper
Verification and refinement with fine-grained action-based concurrent objects Theoretical Computer Science	2005-04-06	Paper
Exploring tabular verification and refinement Formal Aspects of Computing	2005-02-08	Paper
scientific article; zbMATH DE number 2086949 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2006501 (Why is no real title available?)	2003-11-20	Paper
scientific article; zbMATH DE number 1612489 (Why is no real title available?)	2001-07-01	Paper
scientific article; zbMATH DE number 1546500 (Why is no real title available?)	2000-12-19	Paper
scientific article; zbMATH DE number 1015100 (Why is no real title available?)	1997-05-30	Paper
scientific article; zbMATH DE number 512961 (Why is no real title available?)	1993-01-01	Paper

Research outcomes over time

This page was built for person: Emil Sekerinski