Home › Researcher directory › Abdia Hamdani

Abdia Hamdani

Affiliation : Université IBN Khaldoun Tiaret

3Publications (affiliation in Algeria)
5Total publications
7Citations
1h-index

Research profile

Abdia Hamdani has 3 indexed publications (2017–2023). Their work appears mainly in “HAL”, “Journal of King Saud University - Computer and Information Sciences” and “International Conference on Control, Decision and Information Technologies (CoDIT)”. Their most cited article, “Towards modelling and analyzing timed workflow systems with complex synchronizations” (2019), has been cited 6 times. Their work is co-authored with at least 1 researcher.

Is this you? Get your research seen

Create your free DzCademia profile and add your articles: they will show up more easily on Google and in AI assistants like ChatGPT, so more people can read and cite your work.

Create my free profile Add my publications

Research areas

Petri Nets in System Modeling
Formal Methods in Verification
Business Process Modeling and Analysis
Model-Driven Software Engineering Techniques
Network Time Synchronization Technologies

Publications (3)

Spécification et Vérification des PropriétésTemporelles Qualitatives et Quantitatives desSystèmes Temps Réel Complexes
2023 · HAL
Towards modelling and analyzing timed workflow systems with complex synchronizations
2019 · Journal of King Saud University - Computer and Information Sciences · cited 6 times
Time Petri net with rendezvous
2017 · International Conference on Control, Decision and Information Technologies (CoDIT) · cited 1 times

Publication venues

HAL × 1
Journal of King Saud University - Computer and Information Sciences × 1
International Conference on Control, Decision and Information Technologies (CoDIT) × 1

Publications per year

20231
20191
20171

Collaborations

Partner institutions : University of Sciences and Technology Houari Boumediene

Co-authors

Abdelkrim Abdelli

Bibliographic data from OpenAlex (open database).