编辑配置文件(在新选项卡中打开) Ţuţu,伊奥努 合著者距离 作者ID: 图图.ionut 发布日期: Ţuţu,伊奥努;图图,Ionut;Ţuţu、Ionut 更多。。。较少的 已编制索引的文档: 15出版物自2011年起 2作为编辑的贡献 合著者: 9合著者具有14联合出版物 127位合作作者 全部的 前5名合著者 3 单作者的 10 何塞·路易斯·费亚代罗 3 拉兹万·迪亚科内斯库 2 克劳迪娅·埃琳娜·奇里 2 安托尼亚州洛佩斯 2 巴甫洛维奇,杜什科 1 米海·Codescu 1 丹尼尔·加恩 1 洛佩斯·蓬博,卡洛斯·古斯塔沃 1 伊格纳西奥·维萨尼 全部的 前5名系列 2 理论计算机科学 2 计算机科学课堂讲稿 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 逻辑与计算杂志 1 计算机科学中的逻辑方法 领域 16 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用28中的次20文件 引用人▼ 年份▼ 关于结构化规范的代数。 Zbl 1252.68199号 拉兹万·迪亚科内斯库;Ţuţu,伊奥努 9 2011 抽象结构化规范的参数化。 Zbl 1358.68201号 Ţuţu,伊奥努 3 2014 构建行为规范的基础。 Zbl 1434.68305号 拉兹万·迪亚科内斯库;Ţuţu,Ionuţ 3 2014 混合动力学一阶逻辑的Birkhoff完备性。 Zbl 1468.03033号 Găină,丹尼尔;Ţuţu,伊奥努 2 2019 从传统逻辑编程到机构相关逻辑编程。 Zbl 1380.68089号 Ţuţu,伊奥努;何塞·路易斯·费亚代罗 2 2017 行动者网络逻辑:两阶段约束混合方法。 Zbl 1423.68048号 何塞·路易斯·费亚代罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇 2 2019 行动者网络的逻辑:约束杂交的案例研究。 Zbl 1423.68049号 何塞·费亚德罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇 2 2018 面向服务的逻辑编程。 Zbl 1448.68205号 图图,Ionut;何塞·路易斯·费亚迪罗 1 2015 重新审视Herbrand定理的制度方法。 Zbl 1433.03166号 Ţuţu、Ionut;何塞·路易斯·费亚代罗 1 2015 代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修改选定的论文。 Zbl 1327.68013号 1 2015 结构性制度的同构。 Zbl 1284.68417号 Ţuţu,伊奥努 1 2013 通过类型化模式进行动态重新配置。 Zbl 1521.68037号 Ţuţu,伊奥努;克劳迪娅·埃琳娜·奇里;何塞·路易斯·费亚代罗 1 2021 通过类型化模式进行动态重新配置。 Zbl 1521.68037号 Ţuţu,伊奥努;克劳迪娅·埃琳娜·奇里;何塞·路易斯·费亚代罗 1 2021 混合动力学一阶逻辑的Birkhoff完备性。 Zbl 1468.03033号 戈因纳,丹尼尔;Ţuţu,伊奥努 2 2019 行动者网络逻辑:两阶段约束混合方法。 Zbl 1423.68048号 何塞·路易斯·费亚代罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇 2 2019 行动者网络的逻辑:一个约束杂交的案例研究。 Zbl 1423.68049号 何塞·费亚德罗;Ţuţu,伊奥努;安托尼亚州洛佩斯;达斯科·巴甫洛维奇 2 2018 从传统逻辑编程到独立于机构的逻辑编程。 Zbl 1380.68089号 Ţuţu,伊奥努;何塞·路易斯·费亚代罗 2 2017 面向服务的逻辑编程。 Zbl 1448.68205号 图图,Ionut;何塞·路易斯·费亚迪罗 1 2015 重新审视赫布兰德定理的制度方法。 Zbl 1433.03166号 Ţuţu、Ionut;何塞·路易斯·费亚代罗 1 2015 代数开发技术的最新趋势。2014年9月4日至7日,第22届国际研讨会,WADT 2014,罗马尼亚西奈亚。修改选定的论文。 Zbl 1327.68013号 1 2015 抽象结构化规范的参数化。 Zbl 1358.68201号 Ţuţu,伊奥努 3 2014 构建行为规范的基础。 兹比尔1434.68305 拉兹万·迪亚科内斯库;Ţuţu,伊奥努 3 2014 结构性制度的同构。 Zbl 1284.68417号 Ţuţu,伊奥努 1 2013 关于结构化规范的代数。 Zbl 1252.68199号 拉兹万·迪亚科内斯库;Ţuţu,伊奥努 9 2011 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 8 拉兹万·迪亚科内斯库 5 Ţuţu,伊奥努 2 何塞·路易斯·费亚代罗 2 丹尼尔·加恩 2 亚历山大·克纳普 2 巴甫洛维奇,杜什科 1 吉列尔莫·巴迪亚 1 维多利亚州玛丽亚·桑加尔 1 克劳迪娅·埃琳娜·奇里 1 安东尼奥·冈萨雷斯-伯格尼奥(Antonio González-Burgueño) 1 罗尔夫·亨尼克 1 托马斯·科瓦尔斯基 1 爱荷华州卢什坦 1 安托尼亚州洛佩斯 1 娜塔莉亚·莫昂 1 Peter Csaba,Olveczky 1 特姆拉·巴甫洛维奇 1 ☑特拉安·弗洛林(Traian Florin) 全部的 前5名8篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 3 理论计算机科学 2 信息处理信件 1 模糊集与系统 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 应用分类结构 1 泛逻辑 在4个字段中引用 14 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文