2016 - 李彦龙,李国强,董笑菊 - 《软件学报》 - 被引量: 1 收藏相关文章 有界Petri网的进程演算表达 2011 - 董振华,董笑菊 - 《上海交通大学学报》 - 被引量: 7 收藏相关文章 Representing Bounded Petri Nets by Process Calculi 2011 - 董振华,董笑菊 - 《上海交通大学学报》 - 被引量: 0 收藏相...
董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别于1997年和2000年获得工学学士和工学硕士学位;2000年至2004年就读于上海交通大学计算机系,2004年获得工学博士学位;2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论,目前研究兴趣主要是:并发理论,形式化模型等...
董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别于1997年和2000年获得工学学士和工学硕士学位;2000年至2004年就读于上海交通大学计算机系,2004年获得工学博士学位;2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论,目前研究兴趣主要是:并发理论,形式化模型等...
董笑菊 中国 上海交通大学 图书馆 学者ID:GAID10215664 同名学者 论文总数37+ 国际论文数27+ 知名学者引用 TOP引用学者 临床指南引用 订阅此学者 注册后可以免费订阅1位学者,订阅后可以查看全部论文及更多信息 学术论文 代表作 合作学者 学科 期刊 顶级期刊 Email 发文曾用名 机构轨迹 ...
董笑菊 上海交通大学, 副教授 / 科研之友号:38145872 科研之友人员唯一编号 0 项目 68 成果 826 阅读 1 下载 38 被引 3 H-指数 主页 成果
董笑菊,博士,上海交通大学计算机系副教授。1993年至2000年就读于哈尔滨工程大学计算机系,并分别于1997年和2000年获得工学学士和工学硕士学位;2000年至2004年就读于上海交通大学计算机系,2004年获得工学博士学位;2004年至今在上海交通大学计算机系工作。研究方向是计算机软件与理论,目前研究兴趣主要是:并发理论,形式化模型等...