Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
S. K. Zaharos
Babatunde Aina
Peter Malec
Giovanni Venturelli
Chen Ma
XiaoJie Shen
Radu Timofte
Kuanrui Yin
Home
/
Author
/
LAKHDAR AKROUN
Author Info
Open Visualization
Name
Affiliation
Papers
LAKHDAR AKROUN
Univ Blaise Pascal, CNRS, LIMOS, Clermont Ferrand, France
4
Collaborators
Citations
PageRank
5
6
1.46
Referers
Referees
References
15
111
79
Search Limit
100
111
Publications (4 rows)
Collaborators (5 rows)
Referers (15 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Automated verification of automata communicating via FIFO and bag buffers.
0
0.34
2018
Automated Analysis of Asynchronously Communicating Systems.
3
0.38
2016
Reasoning in description logics with variables: preliminary results regarding the EL logic.
1
0.36
2015
Decidability and Complexity of Simulation Preorder for Data-Centric Web Services.
2
0.39
2014
1