Concepedia

Felix Sheng-Ho Chang

FS

Statistics

Publications

4

Citations

150

H-Index

4

Active since

2002

Affiliations

Massachusetts Institute of Technology(Current)

Felix Sheng-Ho Chang is an author at Massachusetts Institute of Technology specializing in computer science, computing, and model checking.

Publications per year

2002–2007

4

Publications

4

Modular verification of code with SAT

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson · 2006 · 102 citations

, , +11

Symbolic model checking of declarative relational models

Felix Sheng-Ho Chang, Daniel Jackson · 2006 · 26 citations

, , +16

Fast specification of cycle-accurate processor models

Felix Sheng-Ho Chang, Alan J. Hu · 2002 · 12 citations

, , +17

Automatic Visualization of Relational Logic Models

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis et al. · Technische Universität Berlin – Universitätsbibliothek · 2007 · 10 citations · Full text

, , +9

1–4 of 4