Sungwoo Park

Available identifiers

Publication	Date of Publication	Type
Exploiting Spatial Channel Covariance for Hybrid Precoding in Massive MIMO Systems	2019-02-08	Paper
A probabilistic language based upon sampling functions	2017-07-14	Paper
A constraint-reduced algorithm for semidefinite optimization problems with superlinear convergence	2016-08-31	Paper
A polynomial time constraint-reduced algorithm for semidefinite optimization problems	2015-09-11	Paper
Mechanizing metatheory without typing contexts	2015-07-02	Paper
Functional netlists	2015-03-16	Paper
A theorem prover for Boolean BI	2014-11-27	Paper
Judgmental subtyping systems with intersection types and modal types	2014-08-01	Paper
Type-safe higher-order channels in ML-like languages	2014-07-21	Paper
A proof system for separation logic with magic wand	2014-04-10	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
Implicitly-weighted total least squares	2011-06-08	Paper
Type-safe higher-order channels with channel locality	2009-01-08	Paper
A Modal Language for the Safety of Mobile Values	2008-05-06	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q2777061	2002-03-07	Paper

This page was built for person: Sungwoo Park