Accueil › Annuaire des chercheurs › Kamel Tari
Kamel Tari
Affiliation : University of Béjaïa
- 1Publications (affiliation algérienne)
- 1Publications au total
- 25Citations
- 1Indice h
Profil de recherche
Kamel Tari compte 1 publication référencée (2016). Ses travaux paraissent dans « International Journal on Software Tools for Technology Transfer ». Son article le plus cité, « A correct-by-construction model for asynchronously communicating systems » (2016), a été cité 25 fois. Ses travaux sont cosignés avec au moins 1 chercheur.
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
- Logic, programming, and type systems
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
Publications (1)
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.