2009年第11届ICTCS:意大利克雷莫纳
亚历山德拉·切鲁比尼 , 马里奥·科波奥 , 朱塞佩·佩西亚诺 以下为:
理论计算机科学,第11届意大利会议,ICTCS2009,意大利克雷莫纳,2009年9月28日至30日,会议记录。 2009
受邀论文
阿尔多·德卢卡 以下为:
自由拟群中的一个回文化映射。 信息通信与通信系统 2009 以下为: 三 罗伯托·戈里埃里 以下为:
过程演算的Petri网语义。 信息通信与通信系统 2009 以下为: 三 法布里齐奥·卢西奥 以下为:
从老师的角度来看,有两个算法问题。 信息通信与通信系统 2009 以下为: 4
贡献
露西娅·阿西艾 , 米歇尔·博雷尔 以下为:
决定像素中的空间和行为属性。 信息通信与通信系统 2009 以下为: 7-11 马里奥·阿尔维亚诺 以下为:
迷宫生成问题是NP完全问题。 信息通信与通信系统 2009 以下为: 12-18 戴维德·安科纳 , 乔瓦尼·拉戈里奥 以下为:
用于命令式面向对象程序的理想的共导类型系统。 信息通信与通信系统 2009 以下为: 19-25 乔治奥·奥斯耶罗 , 多纳泰拉·菲尔马尼 , 路易吉·劳拉 以下为:
图双连通性的数据流计算:铰接点、桥和双连通组件。 信息通信与通信系统 2009 以下为: 26-29 埃齐奥·巴托西 , 弗拉维奥·科拉迪尼 , 玛丽亚·丽塔·迪·贝拉迪尼 , 埃马努埃拉·梅雷利 , 卢卡·特塞 以下为:
生物过程的形状微积分。 信息通信与通信系统 2009 以下为: 30至33 马西莫·巴托莱蒂 , 罗伯托·祖尼诺 以下为:
合同逻辑。 信息通信与通信系统 2009 以下为: 34-37 利维奥·比奥利奥 以下为:
CLS的类型化缩减。 信息通信与通信系统 2009 以下为: 38-45 卡洛·布兰多 , 文森佐·伊奥维诺 , 朱塞佩·佩西亚诺 以下为:
私钥隐藏矢量加密与密钥隐私。 信息通信与通信系统 2009 以下为: 46-50 比亚吉奥·博纳塞拉 , 弗朗西斯科·帕加诺 , 亚历山德罗·普罗维蒂 以下为:
排序集上的灵活插值二进制搜索。 信息通信与通信系统 2009 以下为: 51-54 保拉·博尼佐尼 , 吉安卢卡·德尔拉·维多瓦 , 里卡多·唐迪 以下为:
具有固定簇数的最小一致性聚类问题的PTAS。 信息通信与通信系统 2009 以下为: 55-58 瓦斯科·布拉特卡 , 吉多·格拉迪 以下为:
从泛函分析中评估定理计算复杂性的方法。 信息通信与通信系统 2009 以下为: 59-61 卡拉莫内里蒂齐亚纳 以下为:
定向正则网格上的L(2,1)-标号问题。 信息通信与通信系统 2009 以下为: 62岁至65岁 萨维里奥·卡米尼蒂 , 艾琳·菲诺奇 , 罗塞拉·彼得雷奇 以下为:
最不常见祖先问题的信息标记方案。 信息通信与通信系统 2009 以下为: 66-70 阿图罗·卡皮 , 弗拉维奥·达莱桑德罗 以下为:
同步自动机和独立的单词系统。 信息通信与通信系统 2009 以下为: 71-74 朱塞帕·卡斯蒂格利翁 , 安东尼奥·雷斯蒂沃 , 玛丽内拉·西奥蒂诺 以下为:
Hopcroft算法和树状自动机。 信息通信与通信系统 2009 以下为: 75至81 斯特凡诺·克雷斯皮·雷吉齐 , 皮埃尔路易吉·圣彼得罗 以下为:
由合意计算定义的语言。 信息通信与通信系统 2009 以下为: 82-85 迭戈·德·法尔科 , 恩里科·佩托索 , 达里奥·塔马塞利 以下为:
量子退火:简介。 信息通信与通信系统 2009 以下为: 86-90 路易斯·德·弗朗西斯科·阿尔巴西尼 , 尼科莱塔·萨巴迪尼 , 罗伯特·F·C·沃尔特斯 以下为:
马尔可夫过程的组合结构。 信息通信与通信系统 2009 以下为: 91-98 Mariangiola Dezani-Ciancaglini公司 , 保拉·贾尼尼 , 埃琳娜·祖卡 以下为:
静态和动态绑定的本质。 信息通信与通信系统 2009 以下为: 99-106 辛齐亚·迪·朱斯托 , 豪尔赫·佩雷斯 以下为:
移动与复制:走向环境和高阶过程演算的正式比较。 信息通信与通信系统 2009 以下为: 107-112 迪奥达托·费拉奥利 , 卡明·文特尔 以下为:
限制性工作安排博弈的无政府代价。 信息通信与通信系统 2009 以下为: 113-116 阿奇尔·弗里吉里 以下为:
p-adic数上的自动机和逻辑。 信息通信与通信系统 2009 以下为: 117-120 卡洛·福里亚 , 保拉·斯波莱蒂尼 以下为:
线性时间逻辑中的放松度量信息。 信息通信与通信系统 2009 以下为: 121-124 伊曼纽尔·富斯科(Emanuele G.Fusco) 以下为:
UDG无线网络中信息缺失和不准确的广播。 信息通信与通信系统 2009 以下为: 125-128 兹比内克·克里夫卡 , 汤姆·马斯珀斯 以下为:
关于重写系统与上下文相关检查的合作的说明。 信息通信与通信系统 2009 以下为: 129-135 乔瓦尼·拉戈里奥 , 马可·塞韦托 , 埃琳娜·祖卡 以下为:
类Java类的可自定义组合运算符。 ICTCS公司 2009 以下为: 136-142 伊万·拉内斯 , 豪尔赫·佩雷斯 , 戴维德·桑吉奥吉 , 阿兰·施密特 以下为:
论高阶过程演算中多重性的表达。 信息通信与通信系统 2009 以下为: 143-149 维奥莱塔·罗纳蒂 , 马泰奥·普拉德拉 以下为:
Wang自动机对图像语言的确定性识别。 信息通信与通信系统 2009 以下为: 150-154 马燕芳 , 张敏(音) , 陈一香 以下为:
概率过程的无限演化机制。 信息通信与通信系统 2009 以下为: 155-161 安德烈亚斯·马尔彻 , 卡洛·梅雷盖蒂 , 比阿特丽斯·帕拉诺 以下为:
结构化和XML语言的逻辑描述。 信息通信与通信系统 2009 以下为: 162-168 多纳泰拉·梅里尼 , 伦佐·斯普鲁格诺利 以下为:
用Riordan变换证明恒等式的算法。 信息通信与通信系统 2009 以下为: 169-174 尤金尼奥·莫吉 以下为:
单体变形金刚。 信息通信与通信系统 2009 以下为: 175-178 卡洛·诺森蒂尼 以下为:
当理论与实践相结合时:通过实际的DHT算法改进对等框架。 信息通信与通信系统 2009 以下为: 179-182 埃琳娜·V·普里巴夫金娜 , 伊曼纽尔·罗德罗 以下为:
正则语言上前缀、后缀和Bifix运算符的状态复杂性。 信息通信与通信系统 2009 以下为: 183-189 安东尼奥·雷斯蒂沃 , 乔瓦娜·罗森 以下为:
关于直接产品的平衡。 信息通信与通信系统 2009 以下为: 190-195 马可·塞韦托 以下为:
类Java语言的强大例外安全性。 信息通信与通信系统 2009 以下为: 196-198