Personal information

Austria

Activities

Employment (1)

RISC Software GmbH: Hagenberg, AT

2016 to present | Researcher & Data Scientist (Logistics Informatics)
Employment
Source: Self-asserted source
Roxana-Maria Holom

Education and qualifications (4)

Johannes Kepler University of Linz: Linz, Oberösterreich, AT

2012-10 to 2016-02 | Dr. techn. (Christian-Doppler Laboratory for Client-Centric Cloud Computing (CDCC))
Education
Source: Self-asserted source
Roxana-Maria Holom

Johannes Kepler University of Linz: Linz, Oberösterreich, AT

2010 to 2011 | Master, Computer Science
Education
Source: Self-asserted source
Roxana-Maria Holom

Universitatea Babeş-Bolyai: Cluj-Napoca, RO

2009 to 2011 | Master, Component Based Programming
Education
Source: Self-asserted source
Roxana-Maria Holom

Universitatea Babeş-Bolyai: Cluj-Napoca, RO

2006 to 2009 | Bachelor, Computer Science
Education
Source: Self-asserted source
Roxana-Maria Holom

Works (6)

Automatic Classification of XCT Images in Manufacturing

2021 | Book chapter
Contributors: Bertram Sabrowsky-Hirsch; Roxana-Maria Holom; Christian Gusenbauer; Michael Reiter; Florian Reiterer; Ricardo Fernández Gutiérrez; Josef Scharinger
Source: check_circle
Crossref

Metadata management in a big data infrastructure

Procedia Manufacturing
2020 | Conference paper
EID:

2-s2.0-85084200737

Part of ISBN:

23519789

Contributors: Holom, R.-M.; Rafetseder, K.; Kritzinger, S.; Sehrschön, H.
Source: Self-asserted source
Roxana-Maria Holom via Scopus - Elsevier
grade
Preferred source (of 2)‎

ASM-based formal design of an adaptivity component for a Cloud system

Formal Aspects of Computing
2016 | Journal article
EID:

2-s2.0-84963682810

Part of ISBN:

1433299X 09345043

Contributors: Arcaini, P.; Holom, R.-M.; Riccobene, E.
Source: Self-asserted source
Roxana-Maria Holom via Scopus - Elsevier

Modeling and formal analysis of a client-server application for cloud services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84964767171

Part of ISBN:

16113349 03029743

Contributors: Arcaini, P.; Holom, R.-M.; Riccobene, E.
Source: Self-asserted source
Roxana-Maria Holom via Scopus - Elsevier

A Formal Model of Client-Cloud Interaction

Correct Software in Web Applications and Web Services
2015 | Book chapter
Part of ISBN: 9783319171111
Part of ISBN: 9783319171128
Part of ISSN: 0943-853X
Part of ISSN: 2197-8409
Source: Self-asserted source
Roxana-Maria Holom

Formal modeling of a client-middleware interaction system regarding content and layout adaptation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84952334162

Part of ISBN:

16113349 03029743

Contributors: Holom, R.-M.
Source: Self-asserted source
Roxana-Maria Holom via Scopus - Elsevier