编辑配置文件（在新选项卡中打开） 安德烈·索夫斯基 合著者距离 作者ID： wasowski.andrzej先生 发布日期： 安德烈·索夫斯基;安德烈·沃索斯基 主页： http://www.itu.dk/people/wasowski/ 外部链接： MGP公司·数据库许可证 已编制索引的文档： 34出版物自2001年起 2作为编辑的贡献 合著者： 36位合著者具有36份联合出版物 725位合作作者 全部的 前5名合著者 0 单作者的 17 金·古德斯特兰·拉森 17 Legay、Axel 9 乌尔里克·尼曼 6 亚历山大·迪莫夫斯基。 5 法布里西奥·比昂迪 5 贝诺·德拉哈耶 5 米克尔·莱克·佩德森 4 亚当·安东尼克 4 迈克尔·R·A·胡特。 三 亚历山大·戴维 三 帕斯夸尔马拉卡里亚 三 尼尔森，Bo Fries 2 克劳斯·布拉布兰德 2 朱尔根·丁格尔 2 Joost-Pieter卡托恩 2 鲁迪，凯伦 2 福尔克·谢尔 2 佩迪塔·史蒂文斯 2 路易斯·玛丽·特劳努埃兹 2 Waez，Md Tawhid Bin 1 艾哈迈德·萨利姆 1 马雷克·贝德纳奇克（Marek A.Bednarczyk）。 1 蒂莫西·布鲁克 1 贝诺·凯劳德 1 丹尼·埃文 1 亚历山德鲁·拉泽尔。 1 埃纳尔·布罗赫·约翰森 1 Kłopotek、Mieczys \322»aw Alojzy 1 乌里克·拉森 1 莱姆，迪迪埃 1 马切伊·米查莱维茨 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 劳尔·帕尔多 1 Pawłowski、Wies \322»aw 1 伊娜·谢弗 1 维尔兹克昂，Sławomir Tadeusz 全部的 前5名系列 4 理论计算机科学 2 计算的形式方面 2 程序设计中的逻辑和代数方法杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 欧洲理论计算机科学协会公告EATCS 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 全部的 前5名领域 35 计算机科学（68至XX） 4 概率论与随机过程（60-XX） 三 信息与通信理论、电路（94-XX） 2 一般性和全局性主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 阶、格、有序代数结构（06-XX） 1 动力系统和遍历理论（37至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用192中的次111文件 引用人▼ 年份▼ 接口和产品线理论的模式I/O自动机。 Zbl 1187.68296号 Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 49 2007 时间I/O自动机：实时系统的完整规范理论。 Zbl 1361.68143号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基 24 2010 20年的模态和混合规范。 Zbl 1169.68498号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 19 2008 关于模态精化和一致性。 Zbl 1151.68541号 Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 14 2007 约束马尔可夫链。 Zbl 1223.68070号 贝诺·凯劳德;贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 12 2011 抽象概率自动机。 Zbl 1317.68095号 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 8 2011 混合和模态规范的决策问题的复杂性。 Zbl 1139.68035号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 8 2008 最大化马尔可夫过程的熵。 Zbl 1371.68175号 法布里西奥·比昂迪;Legay、Axel;尼尔森、博·弗里斯;安德烈·索夫斯基 6 2014 实时组件的稳健规范。 Zbl 1348.68143号 Larsen，Kim G。;Legay、Axel;路易斯·玛丽·特劳努埃兹;安德烈·索夫斯基 5 2011 抽象概率自动机。 Zbl 1296.68092号 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 5 2013 基于系列的模型检查的变量特定抽象细化。 兹比尔1430.68151 阿列克桑达尔·迪莫夫斯基。;安德烈·索夫斯基 5 2017 区间马尔可夫链的一致性和精化。 Zbl 1247.68195号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 4 2012 区间马尔可夫链的决策问题。 Zbl 1330.68109号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·佩德森。;安德烈·索夫斯基 4 2011 为基于家庭的分析找到合适的变异性抽象。 Zbl 1427.68044号 阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 4 2016 EXPTIME——模态和混合规范的完整决策问题。 Zbl 1291.68172号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 三 2009 为提升分析寻找合适的变异性抽象。 Zbl 1425.68067号 阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 三 2019 从过渡系统到可变性模型，从提升模型检查到UPPAAL公司. Zbl 1431.68074号 阿列克桑达尔·迪莫夫斯基。;安德烈·索夫斯基 三 2017 实时系统的鲁棒综合。 兹比尔1311.68088 Larsen，Kim G。;Legay、Axel;路易斯·玛丽·特劳努埃兹;安德烈·索夫斯基 三 2014 量化随机协议的信息泄漏。 Zbl 1329.68188号 法布里西奥·比昂迪;Legay、Axel;帕斯夸尔马拉卡里亚;安德烈·索夫斯基 2 2013 模态和混合规范：关键决策问题及其复杂性。 Zbl 1191.68426号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 2 2010 量化随机协议的信息泄漏。 Zbl 1328.68142号 法布里西奥·比昂迪;Legay、Axel;帕斯夸尔马拉卡里亚;安德烈·索夫斯基 2 2015 马尔可夫过程上的最大熵。 Zbl 1377.68127号 法布里西奥·比昂迪;Legay、Axel;尼尔森，Bo Fries;安德烈·索夫斯基 2 2013 基于时间自动机的动态分层实时对象控制器综合。 Zbl 1379.93051号 Waez，Md Tawhid Bin;安德烈·索夫斯基;朱尔根·丁格尔;鲁迪，凯伦 1 2017 使用定时I/O自动机的实时系统规范的方法。 Zbl 1312.68131号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·索夫斯基 1 2010 工业实时系统模型。 Zbl 1432.68050号 Waez，Md Tawhid Bin;安德烈·索夫斯基;朱尔根·丁格尔;鲁迪，凯伦 1 2015 基于游戏的CTL提升模型检查的广义抽象重新定义。 Zbl 1460.68058号 亚历山大·迪莫夫斯基。;Legay、Axel;安德烈·沃索斯基 1 2020 概率保护命令语言中程序的规范逻辑。 Zbl 07719843号 劳尔·帕尔多;埃纳尔·布罗赫·约翰森;伊娜·谢弗;安德烈·索夫斯基 1 2022 概率保护命令语言中程序的规范逻辑。 Zbl 07719843号 劳尔·帕尔多;埃纳尔·布罗赫·约翰森;伊娜·谢弗;安德烈·索夫斯基 1 2022 基于游戏的CTL提升模型检查的广义抽象精化。 Zbl 1460.68058号 阿列克桑达尔·迪莫夫斯基。;Legay、Axel;安德烈·沃索斯基 1 2020 为提升分析寻找合适的变异性抽象。 Zbl 1425.68067号 阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 三 2019 基于系列的模型检查的变量特定抽象细化。 Zbl 1430.68151号 阿列克桑达尔·迪莫夫斯基。;安德烈·索夫斯基 5 2017 从过渡系统到可变性模型，从提升模型检查到UPPAAL公司. Zbl 1431.68074号 阿列克桑达尔·迪莫夫斯基。;安德烈·索夫斯基 三 2017 基于时间自动机的动态分层实时对象控制器综合。 Zbl 1379.93051号 Waez，Md Tawhid Bin;安德烈·索夫斯基;朱尔根·丁格尔;鲁迪，凯伦 1 2017 为基于家庭的分析找到合适的变异性抽象。 Zbl 1427.68044号 阿列克桑达尔·迪莫夫斯基。;克劳斯·布拉布兰德;安德烈·索夫斯基 4 2016 量化随机协议的信息泄漏。 Zbl 1328.68142号 法布里西奥·比昂迪;Legay、Axel;帕斯夸尔马拉卡里亚;安德烈·索夫斯基 2 2015 工业实时系统模型。 Zbl 1432.68050号 Waez，Md Tawhid Bin;安德烈·索夫斯基;朱尔根·丁格尔;鲁迪，凯伦 1 2015 最大化马尔可夫过程的熵。 Zbl 1371.68175号 法布里西奥·比昂迪;Legay、Axel;尼尔森、博·弗里斯;安德烈·索夫斯基 6 2014 实时系统的鲁棒综合。 兹比尔1311.68088 Larsen，Kim G。;Legay、Axel;路易斯·玛丽·特劳努埃兹;安德烈·索夫斯基 三 2014 抽象概率自动机。 Zbl 1296.68092号 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 5 2013 量化随机协议的信息泄漏。 Zbl 1329.68188号 法布里西奥·比昂迪;Legay、Axel;帕斯夸尔马拉卡里亚;安德烈·索夫斯基 2 2013 最大化马尔可夫过程的熵。 兹比尔1377.68127 法布里西奥·比昂迪;Legay、Axel;尼尔森，Bo Fries;安德烈·索夫斯基 2 2013 区间马尔可夫链的一致性和精化。 Zbl 1247.68195号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 4 2012 约束马尔可夫链。 Zbl 1223.68070号 贝诺·凯劳德;贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·佩德森。;安德烈·索夫斯基 12 2011 抽象概率自动机。 Zbl 1317.68095号 贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;福尔克·谢尔;安德烈·索夫斯基 8 2011 实时组件的稳健规范。 Zbl 1348.68143号 Larsen，Kim G。;Legay、Axel;路易斯·玛丽·特劳努埃兹;安德烈·索夫斯基 5 2011 区间马尔可夫链的决策问题。 Zbl 1330.68109号 贝诺·德拉哈耶;Larsen，Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 4 2011 时间I/O自动机：实时系统的完整规范理论。 Zbl 1361.68143号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·沃索斯基 24 2010 模态和混合规范：关键决策问题及其复杂性。 Zbl 1191.68426号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 2 2010 使用定时I/O自动机的实时系统规范的方法。 Zbl 1312.68131号 亚历山大·戴维;Larsen，Kim G。;Legay、Axel;乌尔里克·尼曼;安德烈·索夫斯基 1 2010 EXPTIME——模态和混合规范的完整决策问题。 Zbl 1291.68172号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 三 2009 20年的模态和混合规范。 Zbl 1169.68498号 亚当·安东尼克;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 19 2008 混合和模态规范的决策问题的复杂性。 Zbl 1139.68035号 亚当·安东尼;哈，迈克尔;Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 8 2008 接口和产品线理论的模式I/O自动机。 Zbl 1187.68296号 Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 49 2007 关于模态精化和一致性。 Zbl 1151.68541号 Larsen，Kim G。;乌尔里克·尼曼;安德烈·索夫斯基 14 2007 所有引用出版物 前5名被引用出版物 全部的 前5名194位作者引用 27 Legay、Axel 23 金·古德斯特兰·拉森 17 安德烈·索夫斯基 10 贝诺·德拉哈耶 10 罗尔夫·亨尼克 8 莫里斯·比克。 7 乌里·法伦贝格 7 杰拉尔德·吕特根 7 沃尔特·福格勒 6 乌尔里克·尼曼 6 路易斯·玛丽·特劳努埃兹 5 塞巴斯蒂安·鲍尔。 5 亚历山大·迪莫夫斯基。 5 吉·斯尔巴 4 亚当·安东尼克 4 Nathalie Bertrand 4 芬德里奇、萨沙 4 斯特凡妮娅·格内西 4 Joost-Pieter卡托恩 4 米克尔·莱克·佩德森 三 法布里西奥·比昂迪 三 费伦茨·巴伊托 三 亚历山大·戴维 三 迈克尔·R·A·胡特。 三 Juhl，Line公司 三 亚历山大·纳普 三 简·Křetínsk 三 马耳他州洛豪 三 弗朗科·马扎蒂 三 苏菲·平奇纳特 三 若泽·普罗恩萨 三 让-巴蒂斯特·拉克勒 三 马丁·威尔辛 2 阿克西，S。 2 大卫·巴兹勒 2 尼古拉·贝内什 2 阿尔伯特·本文尼斯特 2 米歇尔·比多特 2 吉尔勒米纳·克莱杜 2 朱尔根·丁格尔 2 亚历山德罗·范特奇 2 何塞·路易斯·费亚代罗 2 蒂埃里·杰伦 2 本特·琼森 2 塞巴斯蒂安·荣格斯 2 莫伊斯·克里钦 2 Marta Z.Kwiatkowska。 2 安托尼亚州洛佩斯 2 鲁迪，凯伦 2 伊娜·谢弗 2 福尔克·谢尔 2 阿梅利·施泰纳 2 Waez，Md Tawhid Bin 1 马尼德拉·阿格拉瓦尔 1 阿米尔·穆罕默德（Amir-Mhammadian，Sepehr） 1 埃蒂安·安德烈 1 斯文·阿佩尔 1 乔瓦尼·巴奇 1 拜尔，克里斯特尔 1 豪克·巴勒 1 佛朗哥·巴巴内拉 1 马西莫·巴托莱蒂 1 哈什·贝哈尔 1 贝拉德，贝特里奇 1 劳拉·博奇 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 卢卡·博托卢西 1 蒂莫西·布鲁克 1 帕特里夏·鲍耶 1 劳拉·博泽利 1 克劳斯·布拉布兰德 1 卡洛斯·埃内斯托·巴德 1 贝诺·凯劳德 1 卢卡·卡德利 1 乔塞普·卡莫纳 1 乔恩，帕沃 1 科什卡，米兰 1 玛莎·契契克 1 克里斯·奇尔顿 1 马丁·切梅里克 1 汤姆·乔西亚 1 克拉克、戴夫 1 柯特丹，西尔文 1 穆拉特·库布克特佩 1 佩德罗·鲁宾·达吉尼奥 1 卢卡·德·阿尔法罗 1 德波尔（Frank S。 1 胡安·德·拉腊 1 埃里克·P·德文克。 1 克里斯蒂安·德内特 1 乌戈·德利古罗 1 Forejt，Vojtěch公司 1 波林·福尼尔 1 凯文·弗朗索瓦 1 法语，蒂姆 1 约翰内斯·加里斯 1 安东尼奥·加门迪亚 1 保罗·加斯廷 1 Daniel E.Gebler。 1 布莱斯·基内斯特 …还有94位作者 全部的 前5名16篇连载文章中引用 16 理论计算机科学 11 程序设计中的逻辑和代数方法杂志 8 信息学报 5 信息与计算 4 计算的形式方面 4 离散事件动态系统 三 MSCS公司。计算机科学中的数学结构 三 系统设计中的形式化方法 三 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 物理A 1 Automatica公司 1 计算机程序设计科学 1 软计算 1 美国医学会杂志 1 计算机科学评论 全部的 前5名10个字段中引用 104 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 10 概率论与随机过程（60-XX） 7 系统论；控制（93至XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 动力系统和遍历理论（37至XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 按年份列出的引文