Pinned Repositories
BMI-DC
This prototypical implementation is dedicated to synthesizing invariant barrier certificates via difference-of-convex programming.
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
MPPs
An implementation for discovering non-terminating inputs (NTI) for multi-path polynomial programs (MPPs)
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Horae
A general platform for specifying and reasoning about multi-modal service regulations.
NAPL
A Network Algorithm Programming Language
FICTION-ZJU-Groupsite-Source
Wowchemy source files for the FICTION group website
FICTION-ZJU.github.io
Github Pages for the FICTION group website
Chenms404's Repositories
Chenms404/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Chenms404/BMI-DC
This prototypical implementation is dedicated to synthesizing invariant barrier certificates via difference-of-convex programming.
Chenms404/MPPs
An implementation for discovering non-terminating inputs (NTI) for multi-path polynomial programs (MPPs)