Alexander Romanovsky

From MaRDI portal
Person:2065544

Available identifiers

zbMath Open romanovsky.alexander-bDBLPr/AlexanderBRomanovskyWikidataQ110371998 ScholiaQ110371998MaRDI QIDQ2065544

List of research outcomes





PublicationDate of PublicationType
A refinement-based formal development of cyber-physical railway signalling systems2024-09-25Paper
A refinement-based development of a distributed signalling system2022-01-11Paper
PARMA: Parallelization-Aware Run-Time Management for Energy-Efficient Many-Core Systems2020-10-02Paper
Synthesis of Processor Instruction Sets from High-Level ISA Specifications2017-06-20Paper
Patterns for refinement automation2011-01-08Paper
https://portal.mardi4nfdi.de/entity/Q47388682004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44496082004-02-11Paper
https://portal.mardi4nfdi.de/entity/Q44353732003-12-01Paper
https://portal.mardi4nfdi.de/entity/Q44139242003-07-22Paper
https://portal.mardi4nfdi.de/entity/Q44137282003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44137472003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q27717902002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q27640182002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q27640152002-01-22Paper
On Structuring Cooperative and Competitive Concurrent Systems2000-04-27Paper
https://portal.mardi4nfdi.de/entity/Q42463412000-02-22Paper

Research outcomes over time

This page was built for person: Alexander Romanovsky

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2065544&oldid=6544497"
Powered by MediaWiki