Accueil › Annuaire des chercheurs › Adel Benamira
Adel Benamira
Affiliation : University of Guelma
- 4Publications (affiliation algérienne)
- 7Publications au total
- 12Citations
- 2Indice h
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Formal Methods in Verification
- Petri Nets in System Modeling
- Logic, programming, and type systems
- Business Process Modeling and Analysis
- semigroups and automata theory
Publications (4)
- CAUSAL REVERSIBILITY IN INDIVIDUAL TOKEN INTERPRETATION OF PETRI NETS
- A Locally Sequential Globally Asynchronous Net from Maximality-Based Labelled Transition System
- Maximality-Based Labeled Transition Systems Normal Form
- FOCOVE: Formal Concurrency Verification Environment for Complex Systems
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.