Home › Researcher directory › Kamel Tari

Kamel Tari

Affiliation : University of Béjaïa

1Publications (affiliation in Algeria)
1Total publications
25Citations
1h-index

Research profile

Kamel Tari has 1 indexed publication (2016). Their work appears in “International Journal on Software Tools for Technology Transfer”. Their most cited article, “A correct-by-construction model for asynchronously communicating systems” (2016), has been cited 25 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

Logic, programming, and type systems
Formal Methods in Verification
Model-Driven Software Engineering Techniques

Publications (1)

A correct-by-construction model for asynchronously communicating systems
2016 · International Journal on Software Tools for Technology Transfer · cited 25 times

Co-authors

Zoubeyr Farah

Bibliographic data from OpenAlex (open database).