Hossein Hojjat
From MaRDI portal
Person:433343
Available identifiers
zbMath Open hojjat.hosseinMaRDI QIDQ433343
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Hossein Hojjat