SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Rania Ben Halima · Study

Home/Author

Rania Ben Halima

2 works· latest 2018· 1 institutionscluster: provisional

h-index2

i102

Citations33

Works here2

16

18

Most cited in this library

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process2016 · 18 citations
Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes2018 · 15 citations

Works

2 shown

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes

International Conference on Advanced Information Networking and Applications (AINA)·2018·5 authors·other

15citations

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process

Lecture notes in computer science·2016·5 authors·other

18citations