Junyoung Jang

Available identifiers

zbMath Open jang.junyoungMaRDI QIDQ1714892

List of research outcomes

Publication	Date of Publication	Type
Normalization by evaluation for modal dependent type theory	2023-12-11	Paper
Harpoon: mechanizing metatheory interactively	2021-12-01	Paper
Optimal control problem of an SIR reaction-diffusion model with inequality constraints	2021-03-06	Paper
Feedback control of an HBV model based on ensemble Kalman filter and differential evolution	2019-02-01	Paper

Research outcomes over time

This page was built for person: Junyoung Jang