The following pages link to Hyeonseung Im (Q454942):
Displaying 6 items.
- Group skyline computation (Q454943) (← links)
- A modal logic internalizing normal proofs (Q764264) (← links)
- Efficient enumeration of regular expressions for faster regular expression synthesis (Q2117664) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Optimizing skyline queries over incomplete data (Q2279716) (← links)
- A calculus for hardware description (Q3021415) (← links)