Mojtaba Valizadeh

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 5

Top Topics

Pattern Matching

Semistructured Data

Regular Expressions

Finite Automata

Top Venues

Proc. ACM Program. Lang.

Publications

Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
LTL learning on GPUs. CoRR (2024)
Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
LTL Learning on GPUs. CAV (3) (2024)
Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger
The Regular Expression Inference Challenge. CoRR (2023)
Mojtaba Valizadeh, Martin Berger
Search-Based Regular Expression Inference on a GPU. CoRR (2023)
Mojtaba Valizadeh, Martin Berger
Search-Based Regular Expression Inference on a GPU. Proc. ACM Program. Lang. 7 (PLDI) (2023)