×
作者ID: 索科洛夫斯基·斯特凡“Sokołowski,Stefan”最近发表的zbMATH文章
发布日期: 斯特凡·索科·奥斯基;斯特凡·索科洛夫斯基;Sokołowski,S。
编入索引的文档: 17出版物自1977年以来,包括1本书
1名编辑贡献
合著者: 14合著者具有8联合出版物
125位Co-Co作者

按年份列出的出版物

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名

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 范格拉贝克、罗伯特·扬

按年份列出的引文