| Automated verification of automata communicating via FIFO and bag buffers L Akroun, G Salaün Formal Methods in System Design 52, 260-276, 2018 | 15 | 2018 |
| On decidability of simulation in data-centeric business protocols L Akroun, B Benatallah, L Nourine, F Toumani Business Process Management Workshops: BPM 2012 International Workshops …, 2013 | 10 | 2013 |
| Automated analysis of asynchronously communicating systems L Akroun, G Salaün, L Ye Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 8 | 2016 |
| Decidability and complexity of simulation preorder for data-centric web services L Akroun, B Benatallah, L Nourine, F Toumani Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris …, 2014 | 5 | 2014 |
| Reasoning in description logics with variables: preliminary results regarding the EL logic. L Akroun, L Nourine, F Toumani 28th International Workshop on Description Logics, 12, 2015 | 2 | 2015 |
Lhouari NourineUniversity Clermont AuvergneVerified email at isima.fr
