Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
6 links
Alexander Romanovsky
Researcher
PaperThe Tenth European Dependable Computer ConferenceAuthorship / preprint / 2014PaperProceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)Authorship / preprint / 2012PaperTracking Dengue Epidemics using Twitter Content Classification and Topic ModellingAuthorship / preprint / 2016PaperIndustrial-Strength Verification of Solid State Interlocking ProgramsAuthorship / preprint / 2022PaperAn Introduction to Software Engineering and Fault ToleranceAuthorship / preprint / 2010PaperAutomating Verification of Event-B ModelsAuthorship / preprint / 2016