Hichem Rami Ait El Hara

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Theoretical Basis

Sequential Data

Top Venues

LPAR Complementary Volume

Publications

Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
An SMT theory for N-Indexed Sequences. SMT@CAV (2024)
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury
On SMT Theory Design: The Case of Sequences. LPAR Complementary Volume (2024)