View Code? Open in Web Editor
NEW
A distributed DucktypeSystem ๐ฆ
TeX 74.09%
Scala 0.05%
Shell 2.11%
Batchfile 0.23%
Java 23.14%
CSS 0.38%
ducktypesystem'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
ducktypesystem's People
Watchers