Hossein Hojjat
From MaRDI portal
Person:433343
Available identifiers
zbMath Open hojjat.hosseinMaRDI QIDQ433343
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| On strings in software model checking | 2024-04-19 | Paper |
| OptiRica: towards an efficient optimizing Horn solver | 2024-02-16 | Paper |
| DyNetKAT: an algebra of dynamic networks | 2024-01-23 | Paper |
| Compositional learning for interleaving parallel automata | 2023-11-24 | Paper |
| Synchronization synthesis for network programs | 2022-08-12 | Paper |
| Horn clauses for communicating timed systems | 2021-06-28 | Paper |
| Automated analysis of Reo circuits using symbolic execution | 2017-05-19 | Paper |
| On recursion-free Horn clauses and Craig interpolation | 2015-10-20 | Paper |
| Accelerating interpolants | 2012-11-21 | Paper |
| Symbolic execution of Reo circuits using constraint automata | 2012-07-13 | Paper |
Research outcomes over time
This page was built for person: Hossein Hojjat
