阿加塔·贾诺夫斯卡
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 [j7] 彼得罗·萨尔沃 , 瓦伦蒂娜·迪尼 , 阿诺·柯奇汉 , 阿加塔·贾诺夫斯卡 , 特蕾莎橙子 , 安德烈亚·奇里科齐 , 托马索·洛莫纳科 , 法比奥·迪·弗朗西斯科 , 马可·罗曼内利 :
C-反应蛋白、温度和pH的传感器和生物传感器及其在监测伤口愈合中的应用:综述。 传感器 17 ( 12 ) : 2952 ( 2017 ) 2013 [j6] 阿加塔·贾诺夫斯卡 , Wojciech Penczek公司 , 阿加塔·波罗拉 , 安德烈·兹布热兹尼 :
使用整数时间步长检查时间Petri网的分支时间属性。 事务处理。 Petri网其他模型。 同意。 8 : 89-105 ( 2013 ) 2012 【c2】 阿加塔·贾诺夫斯卡 , Wojciech Penczek公司 , 阿加塔·佩洛拉 , 安德烈·兹布热兹尼 :
使用整数时间步长检查时间Petri网的分支时间属性。 太平洋证券交易所 2012 : 15-31
2000 – 2009
2008 [j5] 阿加塔·贾诺夫斯卡 , 帕维尔·亚诺夫斯基 , 多比斯劳·沃洛夫斯基(Dobieslaw Wróblewski) :
中间语言到离散数据时间自动机的翻译。 芬丹。 信息学 85 ( 1-4 ) : 235-248 ( 2008 ) 【j4】 沃伊西奇·纳比亚莱克 , 阿加塔·贾诺夫斯卡 , 帕维尔·亚诺夫斯基 :
带离散数据的定时Promela到定时自动机的转换。 芬丹。 信息学 85 ( 1-4 ) : 409-424 ( 2008 ) 2007 [j3] 阿加塔·贾诺夫斯卡 , Wojciech Penczek公司 :
时间自动机中的路径压缩。 芬丹。 信息学 79 ( 3-4 ) : 379-399 ( 2007 ) 2006 [注2] 阿加塔·贾诺夫斯卡 , 帕维尔·亚诺夫斯基 :
离散数据时间自动机的切片。 芬丹。 信息学 72 ( 1-3 ) : 181-195 ( 2006 ) 2004 [j1] 阿加塔·贾诺夫斯卡 , 帕维尔·亚诺夫斯基 :
切片定时系统。 芬丹。 信息学 60 ( 1-4 ) : 187-210 ( 2004 ) 2003 【c1】 彼得罗·德姆宾斯基 , 阿加塔·贾诺夫斯卡 , 帕维尔·亚诺夫斯基 , Wojciech Penczek公司 , 阿加塔·波罗拉 , 马西耶·斯兹雷特 , 博泽娜·沃兹纳 , 安德烈·兹布热兹尼 :
Verics:一个验证时间自动机和Estelle规范的工具。 TACAS公司 2003 : 278-283
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)