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 |
|---|---|---|
| Exploiting Spatial Channel Covariance for Hybrid Precoding in Massive MIMO Systems IEEE Transactions on Signal Processing | 2019-02-08 | Paper |
| A probabilistic language based upon sampling functions Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
| A constraint-reduced algorithm for semidefinite optimization problems with superlinear convergence Journal of Optimization Theory and Applications | 2016-08-31 | Paper |
| A polynomial time constraint-reduced algorithm for semidefinite optimization problems Journal of Optimization Theory and Applications | 2015-09-11 | Paper |
| Mechanizing metatheory without typing contexts Journal of Automated Reasoning | 2015-07-02 | Paper |
| Functional Netlists Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| A theorem prover for Boolean BI Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Judgmental subtyping systems with intersection types and modal types Acta Informatica | 2014-08-01 | Paper |
| Type-safe higher-order channels in ML-like languages Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| A proof system for separation logic with magic wand Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Contractive signatures with recursive types, type parameters, and abstract types Automata, Languages, and Programming | 2013-08-07 | Paper |
| Group skyline computation Information Sciences | 2012-10-02 | Paper |
| A modal logic internalizing normal proofs Information and Computation | 2012-03-13 | Paper |
| A calculus for hardware description Journal of Functional Programming | 2011-07-25 | Paper |
| Implicitly-weighted total least squares Linear Algebra and its Applications | 2011-06-08 | Paper |
| Type-safe higher-order channels with channel locality Journal of Functional Programming | 2009-01-08 | Paper |
| A Modal Language for the Safety of Mobile Values Programming Languages and Systems | 2008-05-06 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science | 2005-11-10 | Paper |
| scientific article; zbMATH DE number 1717159 (Why is no real title available?) | 2002-03-07 | Paper |
Research outcomes over time
This page was built for person: Sungwoo Park
