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 |
| https://portal.mardi4nfdi.de/entity/Q6197214 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4997235 | 2021-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2989005 | 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
