×
作者ID: 楚蒂纳·阿隆克里特“Chutinan,Alongkrit”最近发表的zbMATH文章
发布日期: 阿隆格利特·楚蒂南
已编制索引的文档: 7出版物自1999年以来
合著者: 10位合著者具有7联合出版物
114位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

5出版物有被引用87中的次82文件 引用人 年份
混合系统验证的计算技术。 Zbl 1364.93457号
阿隆克里特·丘蒂南布鲁斯·H·克罗。
41
2003
使用多边形流管近似验证多面体不变混合自动机。 Zbl 0954.93020号
阿隆格利特·楚蒂南布鲁斯·H·克罗。
34
1999
使用近似商转换系统验证无限状态动力系统。 Zbl 1031.93123号
阿隆格利特·楚蒂南布鲁斯·H·克罗。
10
2001
计算一类线性混合系统的近似自动机。 Zbl 0928.93026号
阿隆格利特·楚蒂南布鲁斯·H·克罗。
1
1999
使用Simulink和Stateflow对混合动力进行图形建模。 Zbl 1417.93160号
阿克沙·拉汉斯斯林塔·阿瓦达努拉阿隆格利特·楚蒂南彼得·莫斯特曼。张,付
1
2018
使用Simulink和Stateflow对混合动力学进行图形建模。 Zbl 1417.93160号
阿克沙·拉汉斯斯林塔·阿瓦达努拉阿隆格利特·楚蒂南彼得·莫斯特曼。张,付
1
2018
混合系统验证的计算技术。 Zbl 1364.93457号
阿隆格利特·楚蒂南布鲁斯·H·克罗。
41
2003
使用近似商转换系统验证无限状态动力系统。 兹比尔1031.93123
阿隆格利特·楚蒂南布鲁斯·H·克罗。
10
2001
使用多边形流管近似验证多面体不变混合自动机。 Zbl 0954.93020号
阿隆格利特·楚蒂南布鲁斯·H·克罗。
34
1999
计算一类线性混合系统的近似自动机。 Zbl 0928.93026号
阿隆格利特·楚蒂南布鲁斯·H·克罗。
1
1999
全部的 前5名

191位作者引用

4 马蒂亚斯·阿尔特霍夫
4 Thao Dang先生
4 奥拉夫·斯特斯伯格
斯坦利·巴克
安托万·吉拉德
梁涛
廖伟
乔治·J·帕帕斯。
卡拉广场
安德烈·普拉泽
纳西·拉姆达尼
吴金钊
2 保罗·巴顿。
2 阿尔贝托·本普拉德
2 伊夫·坎多
2 克拉克(Edmund Melson jun Clarke)。
2 威廉·埃斯特胡岑
2 尼古拉斯·科奇杜普尔
2 科拉斯·勒格尔尼奇
2 约翰·莱杰罗斯
2 奥德·马勒
2 纳西姆·梅斯莱姆
2 曼弗雷德·莫拉里
2 Reißig、Gunther
2 迈克尔·帕托普洛斯(Michael P.Spathopoulos)。
2 谭红燕
2 魏晓辉
2 马克·韦兹林格
1 亚历山德罗·阿巴特
1 迪基·阿兹基亚
1 亚明·艾特阿默尔
1 贝扎德·阿克巴普尔
1 Aliprantis,Dionysios C。
1 拉杰夫·阿鲁尔
1 尤金·亚萨林
1 阿尼尔·阿斯瓦尼
1 托马斯·贝克
1 安德烈亚·巴卢奇
1 罗伯托·巴布蒂
1 Stylianos巴萨吉安尼斯
1 格雷戈里·巴特
1 卢卡·本维努蒂
1 桑托什·比斯瓦斯
1 塞尔吉·博戈莫洛夫
1 米歇尔·博雷尔
1 Jörg Bormann
1 奥利维尔·布瓦索
1 马丁·巴斯
1 达里奥·坎帕尼亚
1 卡特、丽贝卡
1 阿尔贝托·卡萨格兰德
1 贝诺·查查特
1 亚历山大·查普托
1 楚天光
1 查尔斯·克利夫顿。
1 路易斯·科洛迪
1 德容、希德
1 巴特·德·舒特
1 迪马罗戈纳斯,迪莫斯五世。
1 Dinh,Thach Ngoc公司
1 阿德尔·贾巴拉
1 劳伦特·多恩
1 托马索·德罗西
1 帕拉萨拉·斯里达尔·达吉拉拉
1 埃斯特尔·杜马斯
1 盖·杜蒙特(Guy A.Dumont)。
1 纪尧姆·杜邦
1 塞巴斯蒂安·恩格尔
1 乔尔·埃斯波西托(Joel M.Esposito)。
1 范丽娜
1 安斯加·芬克
1 冯志光
1 马塞洛·福雷茨
1 戈兰·弗雷斯
1 马丁·弗雷博特
1 傅安琪
1 傅军
1 托拜厄斯·盖尔
1 乔治·詹塔米迪斯
1 冈萨雷斯,亨伯托A。
1 埃尔维·盖根
1 哈达德、沙迪
1 威廉·哈格曼
1 阿布谢克·哈尔德
1 韩、智
1 斯图亚特·哈伍德。
1 何安平
1 Hiraishi、Kunihiko
1 Boris Houska先生
1 黄秀才
1 弗兰乔·伊万契奇
1 鲁兹别·伊扎迪·扎马纳巴迪
1 卡尔·亨利克·约翰逊
1 利迪亚·卡夫拉基。
1 沙哈卜·卡纳玛
1 卡米尔·汗。
1 米歇尔·基弗
1 金正武(Kim,Jongwoo)
1 Koich小林
1 古·T·约翰
…还有91位作者

按年份列出的引文