Alexander Romanovsky

MaRDI QIDQ2065544zbMATH OpenDBLPORCIDWikidataFDO

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
A refinement-based formal development of cyber-physical railway signalling systems Formal Aspects of Computing	2024-09-25	Paper
A refinement-based development of a distributed signalling system Formal Aspects of Computing	2022-01-11	Paper
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems IEEE Transactions on Computers	2020-10-02	Paper
Synthesis of Processor Instruction Sets from High-Level ISA Specifications IEEE Transactions on Computers	2017-06-20	Paper
Patterns for refinement automation Formal Methods for Components and Objects	2011-01-08	Paper
scientific article; zbMATH DE number 2087862 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2040587 (Why is no real title available?)	2004-02-11	Paper
scientific article; zbMATH DE number 2011474 (Why is no real title available?)	2003-12-01	Paper
scientific article; zbMATH DE number 1952044 (Why is no real title available?)	2003-07-22	Paper
scientific article; zbMATH DE number 1951516 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1951526 (Why is no real title available?)	2003-07-21	Paper
scientific article; zbMATH DE number 1706353 (Why is no real title available?)	2002-02-18	Paper
scientific article; zbMATH DE number 1693459 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1693461 (Why is no real title available?)	2002-01-22	Paper
On Structuring Cooperative and Competitive Concurrent Systems The Computer Journal	2000-04-27	Paper
scientific article; zbMATH DE number 1294071 (Why is no real title available?)	2000-02-22	Paper

Research outcomes over time

This page was built for person: Alexander Romanovsky