View Code? Open in Web Editor
NEW
CL Table Filtering utility
filter's Introduction
My name is Idriss and I am a PhD student at Lund University.
My main research interests are:
- (Reference) Attributed Systems
- Static analysis
- Data-flow analysis.
-
-
-
-
๐ (๐ฎ๐น) Non-Well-Founded Set Based Multi-Agent Epistemic Action Language. Francesco Fabiano, Idriss Riouak ๐, Agostino Dovier, Enrico Pontelli.
-
๐ (๐ฎ๐น)ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak ๐, Stefano Tonetta, Enea Zaffanella
filter's People
Contributors
Stargazers
Watchers