Pinned Repositories
chenxin415.github.io
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.
dreal
Working copy of the dReal repo. I use this repo for performing experiments and storing work-in-progress
flowstar
The latest source code of the tool Flow*
manual
User's manual of Flow*
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.
Epidemic-Urban-Trans
Modeling the spread of infectious disease within urban traffic network
chenxin415's Repositories
chenxin415/flowstar
The latest source code of the tool Flow*
chenxin415/chenxin415.github.io
chenxin415/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.
chenxin415/dreal
Working copy of the dReal repo. I use this repo for performing experiments and storing work-in-progress
chenxin415/manual
User's manual of Flow*