Roxana-Maria Holom

Orcid: 0000-0002-1321-0475

According to our database1, Roxana-Maria Holom authored at least 6 papers between 2015 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle.
Proceedings of the Technologies and Applications for Big Data Value, 2022

2021
Automatic Classification of XCT Images in Manufacturing.
Proceedings of the Artificial Intelligence Applications and Innovations, 2021

2016
ASM-based formal design of an adaptivity component for a Cloud system.
Formal Aspects Comput., 2016

2015
Modeling and Formal Analysis of a Client-Server Application for Cloud Services.
Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

A Formal Model of Client-Cloud Interaction.
Proceedings of the Correct Software in Web Applications and Web Services, 2015


  Loading...