Ons Seddiki

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 1

Top Topics

Formal Analysis

Symbolic Reasoning

Building Blocks

Top Venues

Math. Comput. Sci.

Publications

Ons Seddiki, Cvetan Dunchev, Sanaz Khan Afshar, Sofiène Tahar
Enabling Symbolic and Numerical Computations in HOL Light. CICM (2015)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. CoRR (2014)
Sanaz Khan Afshar, Umair Siddique, Mohamed Yousri Mahmoud, Vincent Aravantinos, Ons Seddiki, Osman Hasan, Sofiène Tahar
Formal Analysis of Optical Systems. Math. Comput. Sci. 8 (1) (2014)