Hyeonseung Im
From MaRDI portal
Person:454942
Available identifiers
zbMath Open im.hyeonseungMaRDI QIDQ454942
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Efficient enumeration of regular expressions for faster regular expression synthesis | 2022-03-22 | Paper |
| Backward type inference for XML queries | 2020-05-23 | Paper |
| Optimizing skyline queries over incomplete data | 2019-12-13 | Paper |
| Functional netlists | 2015-03-16 | Paper |
| Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types | 2013-08-07 | Paper |
| Group skyline computation | 2012-10-02 | Paper |
| A modal logic internalizing normal proofs | 2012-03-13 | Paper |
| A calculus for hardware description | 2011-07-25 | Paper |
| Type-safe higher-order channels with channel locality | 2009-01-08 | 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: Hyeonseung Im
