Hyeonseung Im

Available identifiers

zbMath Open im.hyeonseungMaRDI QIDQ454942

List of research outcomes

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. Combining navigational and pattern matching approaches	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