编辑配置文件(在新选项卡中打开) 吉安娜·雷吉奥 合著者距离 作者ID: 雷吉奥·吉安纳 发布日期: 吉安娜·雷吉奥;雷吉奥,G。 已编制索引的文档: 31出版物自1985年起 4作为编辑的贡献 合著者: 14合著者具有33份联合出版物 225位合作作者 全部的 前5名合著者 1 单作者的 23 埃吉迪奥·阿斯泰西亚诺 5 毛拉·塞里奥 5 克莉丝汀,杂乱无章 三 亚历山德罗·吉奥维尼 2 杰拉尔多·科斯塔 2 尼古拉斯·盖尔菲 2 马丁·威尔辛 1 加泰琳·古奥热·阿姆扎(Catalin Gheorghe Amza) 1 曼弗雷德·布罗伊 1 乔瓦尼·弗朗西斯科·马斯卡里 1 洛伦佐·雷佩托 1 菲利波里卡 1 安德烈·塔莱基 1 埃琳娜·祖卡 全部的 前5名系列 4 计算机科学课堂讲稿 三 理论计算机科学 1 信息学报 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 IBM研究与开发杂志 1 逻辑与代数程序设计杂志 字段 35 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 1 运筹学、数学编程(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用61中的次33文件 引用人▼ 年份▼ 关系规范中的广义互模拟。 Zbl 0674.68050号 埃吉迪奥·阿斯泰西亚诺;亚历山德罗·吉奥维尼;吉安娜·雷吉奥 7 1988 SMoLCS驱动的并发计算。 Zbl 0614.68024号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥 6 1987 观察结构及其逻辑。 Zbl 0756.68073号 埃吉迪奥·阿斯泰西亚诺;亚历山德罗·吉奥维尼;吉安娜·雷吉奥 5 1992 标记转换逻辑:大纲。 Zbl 1025.68056号 阿斯蒂西亚诺,E。;雷吉奥,G。 5 2001 Casl-Chart:状态图和代数规范语言Casl的组合。 Zbl 0983.68787号 吉安娜·雷吉奥;洛伦佐·雷佩托 4 2000 关于并发系统的参数化代数规范。 Zbl 0563.68018号 阿斯蒂西亚诺,E。;G.F.马斯卡里。;雷吉奥,G。;Wirsing,M。 4 1985 SMoLCS方法中并发语言的直接语义。 Zbl 0629.68016号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥 三 1987 形式主义和方法。 Zbl 0938.68056号 阿斯蒂西亚诺,E。;雷吉奥,G。 三 2000 Casl-Mdl,使用正式基础和类似UML的符号对动态系统进行建模。 Zbl 1312.68140号 克莉丝汀,杂乱无章;吉安娜·雷吉奥 三 2012 抽象动态数据类型的规范:时序逻辑方法。 Zbl 0901.68122号 杰拉尔多·科斯塔;吉安娜·雷吉奥 三 1997 使用正式确定的规范改进基于用例的需求。 Zbl 1129.68421号 克莉丝汀,杂乱无章;吉安娜·雷吉奥 2 2004 朝向支持其多视图方法的UML的严格语义。 Zbl 0987.68864号 吉安娜·雷吉奥;毛拉·塞里奥;埃吉迪奥·阿斯泰西亚诺 2 2001 并发系统的代数规范。 Zbl 0973.68150号 埃吉迪奥·阿斯泰西亚诺;曼弗雷德·布罗伊;吉安娜·雷吉奥 2 1999 数据类型规范的最新趋势。第十次抽象数据类型规范研讨会与第五次COMPASS研讨会联合举办,意大利圣马格里塔,1994年5月30日至6月3日。精选论文。 Zbl 1154.68304号 2 1995 一种正式建立的软件规范方法。 Zbl 1088.68103号 乔比,克莉丝汀;吉安娜·雷吉奥 2 2006 SMoLCS方法概述。 Zbl 0626.68028号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥 2 1987 抽象动态数据类型:一种时态逻辑方法。 Zbl 0777.68067号 杰拉尔多·科斯塔;吉安娜·雷吉奥 1 1991 将数据结构插入到特定于范式的语言中:面向UML的应用程序。 Zbl 0983.68524号 埃吉迪奥·阿斯泰西亚诺;莫拉·塞里奥利;吉安娜·雷吉奥 1 2000 非常抽象规范的机构。 Zbl 0941.68635号 塞里奥利,M。;雷吉奥,G。 1 1994 并发环境中的数据。 Zbl 0685.68021号 埃吉迪奥·阿斯泰西亚诺;亚历山德罗·吉奥维尼;吉安娜·雷吉奥 1 1988 使用CASL指定需求和设计:一种特定于问题的方法。 Zbl 0966.68583号 乔比,克莉丝汀;吉安娜·雷吉奥 1 2000 在基于UML的严格软件开发方法中建模业务。 Zbl 1143.68371号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;菲利波·里卡 1 2008 关系规范和观察语义。 Zbl 0637.68012号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;马丁·威尔辛 1 1986 Casl-Mdl,使用正式基础和类似UML的符号对动态系统进行建模。 Zbl 1312.68140号 克莉丝汀,杂乱无章;吉安娜·雷吉奥 三 2012 在基于UML的严格软件开发方法中建模业务。 Zbl 1143.68371号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;菲利波·里卡 1 2008 一种正式建立的软件规范方法。 兹比尔1088.68103 克莉丝汀,杂乱无章;吉安娜·雷吉奥 2 2006 使用正式确定的规范改进基于用例的需求。 Zbl 1129.68421号 克莉丝汀,杂乱无章;吉安娜·雷吉奥 2 2004 标记转换逻辑:大纲。 Zbl 1025.68056号 阿斯蒂西亚诺,E。;雷吉奥,G。 5 2001 朝向支持其多视图方法的UML的严格语义。 兹伯利0987.68864 吉安娜·雷吉奥;莫拉·塞里奥利;埃吉迪奥·阿斯泰西亚诺 2 2001 Casl-Chart:状态图和代数规范语言Casl的组合。 Zbl 0983.68787号 吉安娜·雷吉奥;洛伦佐·雷佩托 4 2000 形式主义和方法。 Zbl 0938.68056号 阿斯蒂西亚诺,E。;雷吉奥,G。 三 2000 将数据结构插入到特定于范式的语言中:面向UML的应用程序。 Zbl 0983.68524号 埃吉迪奥·阿斯泰西亚诺;莫拉·塞里奥利;吉安娜·雷吉奥 1 2000 使用CASL指定需求和设计:一种特定于问题的方法。 Zbl 0966.68583号 克莉丝汀,杂乱无章;吉安娜·雷吉奥 1 2000 并发系统的代数规范。 Zbl 0973.68150号 埃吉迪奥·阿斯泰西亚诺;曼弗雷德·布罗伊;吉安娜·雷吉奥 2 1999 抽象动态数据类型的规范:时序逻辑方法。 Zbl 0901.68122号 杰拉尔多·科斯塔;吉安娜·雷吉奥 三 1997 数据类型规范的最新趋势。1994年5月30日至6月3日,第10次抽象数据类型规范研讨会与第5次COMPASS研讨会在意大利玛格丽塔举行。精选论文。 Zbl 1154.68304号 2 1995 非常抽象规范的机构。 Zbl 0941.68635号 塞里奥利,M。;雷吉奥,G。 1 1994 观察结构及其逻辑。 Zbl 0756.68073号 埃吉迪奥·阿斯泰西亚诺;亚历山德罗·吉奥维尼;吉安娜·雷吉奥 5 1992 抽象动态数据类型:一种时态逻辑方法。 Zbl 0777.68067号 杰拉尔多·科斯塔;吉安娜·雷吉奥 1 1991 关系规范中的广义互模拟。 Zbl 0674.68050号 埃吉迪奥·阿斯泰西亚诺;亚历山德罗·乔维尼;吉安娜·雷吉奥 7 1988 并发环境中的数据。 Zbl 0685.68021号 埃吉迪奥·阿斯泰西亚诺;亚历山德罗·吉奥维尼;吉安娜·雷吉奥 1 1988 SMoLCS驱动的并发计算。 Zbl 0614.68024号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥 6 1987 SMoLCS方法中并发语言的直接语义。 Zbl 0629.68016号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥 三 1987 SMoLCS方法概述。 Zbl 0626.68028号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥 2 1987 关系规范和观察语义。 Zbl 0637.68012号 埃吉迪奥·阿斯泰西亚诺;吉安娜·雷吉奥;马丁·威尔辛 1 1986 关于并发系统的参数化代数规范。 Zbl 0563.68018号 阿斯蒂西亚诺,E。;G.F.马斯卡里。;雷吉奥,G。;Wirsing,M。 4 1985 所有引用出版物 前5名被引用出版物 全部的 前5名41位作者引用 7 吉安娜·雷吉奥 5 埃吉迪奥·阿斯泰西亚诺 三 克莉丝汀,杂乱无章 三 戴维·桑吉奥吉 三 马丁·威尔辛 2 蒂尔·莫萨科夫斯基 2 彼得·莫塞斯(Peter D.Mosses)。 2 马库斯·罗根巴赫 1 迈克尔·巴尔达穆斯 1 罗伯托·巴布蒂 1 米歇尔·比多特 1 朱利奥·卡拉瓦格纳 1 莫拉·塞里奥利 1 杰拉尔多·科斯塔 1 雅各布斯·W·德·巴克。 1 拉兹万·迪亚科内斯库 1 哈特穆特·埃里格 1 亚历山德罗·吉奥维尼 1 Jan Friso,格鲁特 1 何继峰 1 罗尔夫·亨尼克 1 亚历山大·纳普 1 李晓山 1 刘志明 1 安德烈亚·马吉奥洛·谢蒂尼 1 伯恩德·马赫 1 马丁·奥列特,纳西索 1 何塞·梅塞盖尔·瓜伊塔 1 保罗·米拉佐 1 卡洛·蒙坦格罗 1 穆罕默德·穆萨维 1 彼得·帕达维茨 1 霍斯特·赖切尔 1 米歇尔·阿德里安 1 菲利波·里卡 1 唐纳德·桑内拉。 1 卢茨·施罗德 1 安德烈·塔莱基 1 本特·汤姆森 1 西蒙·蒂尼 1 埃琳娜·祖卡 4篇连载文章中引用 18 理论计算机科学 三 信息学报 2 逻辑与代数程序设计杂志 1 计算的形式方面 在4个字段中引用 33 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 运筹学、数学编程(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文