Hyeonseung Im
From MaRDI portal
Person:454942
Available identifiers
zbMath Open im.hyeonseungMaRDI QIDQ454942
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 |
|---|---|---|
| Automated grading of regular expressions | 2023-11-24 | Paper |
| 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 |
| A Core Calculus for XQuery 3.0 | 2016-04-26 | 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
This page was built for person: Hyeonseung Im