编辑配置文件(在新选项卡中打开) 斯特凡·索科·奥斯基 合著者距离 作者ID: 索科洛夫斯基·斯特凡 发布日期: 斯特凡·索科·奥斯基;斯特凡·索科洛夫斯基;Sokołowski,S。 更多。。。较少的 编入索引的文档: 17出版物自1977年以来,包括1本书 1名编辑贡献 合著者: 14合著者具有8联合出版物 125位Co-Co作者 全部的 前5名合著者 10 单作者的 2 道格拉斯·亨德森。 2 Ryszard库比亚克 1 博洛沃科,M。 1 Andrzej M.Borzyszkowski。 1 莉丝·法斯特鲁普 1 伊恩·加西亚 1 Jackowski,Boguslaw L。 1 O.皮齐奥。 1 罗曼·鲁登斯基 1 Rżysko,W。 1 唐纳德·桑内拉。 1 安德烈·塔莱基 1 安德烈·特罗基姆丘克 1 达什·T·瓦桑。 全部的 前5名系列 2 信息学报 2 信息处理信件 2 统计物理杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 计算机程序设计科学 1 欧洲理论计算机科学协会(EATCS)公报 1 MSCS公司。计算机科学中的数学结构 1 物理研究杂志 1 计算机科学课堂讲稿 领域 15 计算机科学(68至XX) 2 流体力学(76-XX) 2 统计力学,物质结构(82-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用43中的次42文件 引用人▼ 年份▼ 从代数规范走向程序的正式开发:重新审视参数化。 Zbl 0790.68077号 唐纳德·桑内拉;斯特凡·索科·奥斯基;安德烈·塔莱基 24 1992 一种证明编程语言非上下文无关的方法。 Zbl 0384.68071号 斯特凡·索科洛夫斯基 7 1978 部分正确性:逐项方法。 Zbl 0538.68008号 斯特凡·索科·奥斯基 2 1984 po-manifolds的一个例子——追求良好的并发拓扑模型。 Zbl 1270.68225号 斯特凡·索科·奥斯基 2 2003 程序完全正确。 兹比尔0361.68010 斯特凡·索科洛夫斯基 2 1977 从几何观点来看,无限运行具有循环的并发进程。 Zbl 0976.68070号 莉丝·法斯特鲁普;斯特凡·索科洛夫斯基 2 2000 完全正确的公理。 Zbl 0363.68011号 斯特凡·索科洛夫斯基 2 1977 封闭硬球流体的二阶Percus-Yevick理论。 Zbl 0948.76530号 道格拉斯·亨德森;斯特凡·索科·奥斯基;达什·瓦桑 1 1997 用同伦函子研究并发过程。 Zbl 1009.68049号 斯特凡·索科·奥斯基 1 2002 po-manifolds的一个例子——追求良好的并发拓扑模型。 Zbl 1270.68225号 斯特凡·索科·奥斯基 2 2003 用同伦函子研究并发过程。 Zbl 1009.68049号 斯特凡·索科·奥斯基 1 2002 从几何观点来看,无限运行具有循环的并发进程。 Zbl 0976.68070号 莉丝·法斯特鲁普;斯特凡·索科洛夫斯基 2 2000 封闭硬球流体的二阶Percus-Yevick理论。 Zbl 0948.76530号 道格拉斯·亨德森;斯特凡·索科·奥斯基;达什·瓦桑 1 1997 从代数规范走向程序的正式开发:重新审视参数化。 Zbl 0790.68077号 唐纳德·桑内拉;斯特凡·索科·奥斯基;安德烈·塔莱基 24 1992 部分正确性:逐项方法。 Zbl 0538.68008号 斯特凡·索科·奥斯基 2 1984 一种证明编程语言非上下文无关的方法。 Zbl 0384.68071号 斯特凡·索科洛夫斯基 7 1978 程序完全正确。 兹比尔0361.68010 斯特凡·索科洛夫斯基 2 1977 完全正确的公理。 Zbl 0363.68011号 斯特凡·索科洛夫斯基 2 1977 所有引用出版物 前5名被引用出版物 全部的 前5名60位作者引用 9 安德烈·塔莱基 8 唐纳德·桑内拉。 3 凯瑟琳·奥里亚特 3 马丁·劳森 2 哈特穆特·埃里格 2 彼得·霍米埃(Peter V.Homeier)。 2 大卫·F·马丁。 2 彼得·莫塞斯(Peter D.Mosses)。 2 乔拉·斯卢茨基 1 美国,皮埃尔 1 Krzysztof Rafal公寓 1 大卫·阿斯皮纳尔 1 埃吉迪奥·阿斯泰西亚诺 1 米歇尔·比多特 1 Boonyavatana,R。 1 托马斯·博齐斯科夫斯基 1 维多利亚州玛丽亚·桑加尔 1 阿德里亚娜·孔皮诺尼(Adriana B.Compagnoni)。 1 德波尔(Frank S。 1 戴维·戴哈贝 1 莉丝·法斯特鲁普 1 玛丽·克劳德·高德尔 1 埃里克·古堡 1 菲利普·格兰特。 1 马丁·格罗·罗德 1 罗伯特·哈珀 1 埃曼纽尔·豪科特 1 拉蒂科恩·休特 1 彼得·霍夫曼 1 本田、米丘 1 沃伦·亨特(Warren A.jun Hunt)。 1 罗莎·M·吉梅内斯(Rosa M.Jiménez)。 1 斯特凡·迈克尔·卡尔斯 1 爱德蒙·卡兹米尔扎克 1 赫莱内·基什内尔 1 巴托克·克林 1 Krieg-Brückner,伯尔尼 1 托马斯·马丁·莱曼 1 利马,格莱德森 1 雅克·勒克斯 1 洛佩兹·穆尼奥斯,J。 1 罗朝晖 1 埃尔基·梅基宁 1 马丁斯·莫雷拉,阿纳玛利亚 1 维克托·米特拉纳 1 J Strother摩尔 1 拉斐尔·莫拉莱斯·布诺 1 蒂尔·莫萨科夫斯基 1 Hayao Nakahara 1 中岛,Reiji 1 安东·尼霍尔特 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 费尔南多·奥雷哈斯 1 约坎·拉姆 1 拉莫斯-吉梅内斯,冈萨罗 1 桑迪普·雷 1 克里斯托夫·林盖森 1 卢茨·施罗德 1 斯特凡·索科·奥斯基 1 范格拉贝克、罗伯特·扬 全部的 前5名16篇连载文章中引用 12 理论计算机科学 3 信息学报 3 计算的形式方面 3 图表 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 1 信息处理信件 1 物理报告 1 比特币 1 数学系统理论 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 代数和几何拓扑 1 逻辑与代数程序设计杂志 在5个字段中引用 41 计算机科学(68至XX) 4 代数拓扑(55-XX) 3 数学逻辑和基础(03-XX) 3 范畴理论;同调代数(18-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文