×
编辑配置文件（在新选项卡中打开）

索拉维，Porncharenwase

合著者距离
作者ID： porncharoenwase.sorawee公司最近由“Porncharenwase，Sorawee”撰写的zbMATH文章
发布方式： 索拉维，Porncharenwase
已编制索引的文档： 2出版物自2018年起
合著者： 4位合著者具有2份联合出版物
34位合作作者

合著者

0 单作者的
1 詹姆斯·博恩霍尔特
1 克里希那穆尔蒂，施里拉姆
1 蒂姆·纳尔逊
1 埃米娜·托拉克

系列

领域

2 计算机科学（68至XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用2中的次2文件 引用人▼ 年份▼
CompoSAT：模型查找的规范指导覆盖。 Zbl 1460.68064号
索拉维，Porncharenwase;蒂姆·纳尔逊;克里希那穆尔蒂，施里拉姆
1
2018
修复在符号计算下爆炸的代码。 Zbl 07228501号
索拉维，Porncharenwase;詹姆斯·博恩霍尔特;埃米娜·托拉克
1
2020
修复在符号计算下爆炸的代码。 Zbl 07228501号
Porncharoenwase，索拉维;詹姆斯·博恩霍尔特;埃米娜·托拉克
1
2020
CompoSAT：模型查找的规范指导覆盖。 Zbl 1460.68064号
索拉维，Porncharenwase;蒂姆·纳尔逊;克里希那穆尔蒂，施里拉姆
1
2018
全部的 前5名

6位作者引用

1 朱利安·布鲁内尔
1 戴维·谢穆伊尔
1 阿尔西诺·库尼亚
1 黄康静
1 马塞多，努诺
1 邱小康

连载1篇

1 自动推理杂志

在2个字段中引用

2 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的引文