Hossein Hojjat | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Philipp Rümmer
16 publications
Bishoksan Kafle
8 publications
Hunkar Can Tunc
5 publications
Georgiana Caltais
5 publications
Mohammad Mousavi
2 publications

research

∙ 11/22/2022

OptiRica: Towards an Efficient Optimizing Horn Solver

This paper describes an ongoing effort to develop an optimizing version ...

0 Hossein Hojjat, et al. ∙

research

∙ 09/09/2021

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

This volume contains the post-proceedings of the 8th Workshop on Horn Cl...

0 Hossein Hojjat, et al. ∙

research

∙ 02/19/2021

DyNetKAT: An Algebra of Dynamic Networks

We introduce a formal language for specifying dynamic updates for Softwa...

0 Georgiana Caltais, et al. ∙

research

∙ 01/08/2018

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report)

Recursive algebraic data types (term algebras, ADTs) are one of the most...

0 Hossein Hojjat, et al. ∙