Alexander Romanovsky

Available identifiers

zbMath Open romanovsky.alexander-bDBLPr/AlexanderBRomanovskyWikidataQ110371998 ScholiaQ110371998MaRDI QIDQ2065544

List of research outcomes

Publication	Date of Publication	Type
A refinement-based development of a distributed signalling system	2022-01-11	Paper
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems	2020-10-02	Paper
Synthesis of Processor Instruction Sets from High-Level ISA Specifications	2017-06-20	Paper
Patterns for Refinement Automation	2011-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4738868	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4449608	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4435373	2003-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4413924	2003-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4413728	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4413747	2003-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2771790	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q2764015	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2764018	2002-01-22	Paper
On Structuring Cooperative and Competitive Concurrent Systems	2000-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4246341	2000-02-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Romanovsky