马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 信息流度量的公理化。 (英语) Zbl 1423.68159号 西奥。计算。科学。 777, 32-54 (2019).MSC公司:68页30 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Alvim}等人,Theor。计算。科学。777,32-54(2019年;Zbl 1423.68159) 全文: 内政部 哈尔
伊万·加佐;戴尔·米勒;卡图西亚帕拉米德斯 在有限精度语义下保持差异隐私。 (英语) Zbl 1419.94036号 西奥。计算。科学。 655,B部分,92-108(2016).MSC公司:94A60 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{I.Gazeau}等人,Theor。计算。科学。655,B部分,92--108(2016;Zbl 1419.94036) 全文: 内政部 arXiv公司
萨姆森·艾布拉姆斯基(编辑);Mislove,迈克尔(编辑);卡图西亚帕拉米德斯(编辑) 特刊:编程语义的数学基础(MFPS XXV)。根据2009年4月3日至7日在英国牛津举行的年度会议上的陈述,邀请发表论文。 (英语) Zbl 1241.68002号 西奥。计算。科学。第430125页。(2012). MSC公司:68-06 03-06 00B25型 PDF格式BibTeX公司 XML格式
米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆;安娜·索科洛娃 概率并发系统中的信息隐藏。 (英语) Zbl 1216.68182号 西奥。计算。科学。 412,第28号,3072-3089(2011).MSC公司:68问题85 94A60 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Andrés}等人,Theor。计算。科学。412,第28号,3072--3089(2011;Zbl 1216.68182) 全文: 内政部
罗曼·博希斯;卡图西亚帕拉米德斯 匿名的概率性和不确定性。 (英语) Zbl 1187.68202号 西奥。计算。科学。 410,第41号,4006-4025(2009).MSC公司:68第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beauxis}和\textit{C.Palamidessi},Theor。计算。科学。410,第41号,4006--4025(2009;Zbl 1187.68202) 全文: 内政部
卡奇亚格拉诺,D。;科拉迪尼,F。;帕拉米德斯,C。 通过测试分离同步和异步通信。 (英语) Zbl 1143.68051号 西奥。计算。科学。 386,第3期,218-235(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Cacciagrano}等人,Theor。计算。科学。386,第3号,218--235(2007;Zbl 1143.68051) 全文: 内政部 链接
玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 关于分离的教程通过领导人选举问题导致流程结石。 (英语) Zbl 1143.68056号 西奥。计算。科学。 388,编号1-3,267-289(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Vigliotti}等人,Theor。计算。科学。388,编号1--3,267--289(2007;Zbl 1143.68056) 全文: 内政部 链接
康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 概率协议分析框架及其在部分秘密交换中的应用。 (英语) Zbl 1132.68026号 西奥。计算。科学。 389,第3期,512-527(2007).MSC公司:68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatzikokolakis}和\textit{C.Palamidessi},Theor。计算。科学。389,第3号,512--527(2007;Zbl 1132.68026) 全文: 内政部 链接
意大利,朱塞佩·F·。(编辑);卡图西亚帕拉米德斯(编辑) 特刊:自动机、语言和编程。根据2005年7月11日至15日在葡萄牙里斯本举行的第32届自动控制、语言和编程国际学术讨论会(ICALP 2005)上的演讲,选出论文。 (英语) Zbl 1127.68324号 西奥。计算。科学。380,第1-2期,第217页。(2007). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
邓玉欣;卡图西亚帕拉米德斯 概率有限状态行为的公理化。 (英语) Zbl 1111.68081号 西奥。计算。科学。 373,编号1-2,92-114(2007).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{C.Palamidessi},Theor。计算。科学。373,编号1--2,92-114(2007;Zbl 1111.68081) 全文: 内政部
康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 重新审视可能的无辜。 (英语) Zbl 1153.94451号 西奥。计算。科学。 367,编号1-2,123-138(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatzikokolakis}和\textit{C.Palamidessi},Theor。计算。科学。367,编号1--2,123-138(2006;Zbl 1153.94451) 全文: 内政部 链接
卡图西亚帕拉米德斯;奥尔泰·米哈埃拉·赫里斯库 混合选择的(pi)演算的随机编码。 (英语) Zbl 1080.68080号 西奥。计算。科学。 335,编号2-3,373-404(2005).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Palamidessi}和\textit{O.M.Herescu},Theor。计算。科学。335,编号2--3,373--404(2005;Zbl 1080.68080) 全文: 内政部
雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 在序列演算中对转换系统进行编码。 (英语) Zbl 1028.68095号 西奥。计算。科学。 294,第3期,411-437(2003).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.McDowell}等人,Theor。计算。科学。294,第3号,411--437(2003;Zbl 1028.68095) 全文: 内政部
卡图西亚帕拉米德斯(编辑) 特殊问题:并发模型和范例。1997年9月15日至19日,意大利乌迪内IC-EATCS高级学校。 (英语) Zbl 0955.00050 西奥。计算。科学。 253,编号2,153-352(2001).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \文本{C.帕拉米德斯}(编辑),Theor。计算。科学。253,第2号,153--352(2001;Zbl 0955.00050) 全文: 内政部
莫雷诺,法拉斯基;毛里齐奥·加布里埃利;万豪酒店,Kim;卡图西亚帕拉米德斯 并发约束编程中的汇流。 (英语) Zbl 0901.68032号 西奥。计算。科学。 183,第2期,281-315(1997).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人,Theor。计算。科学。183,编号2,281--315(1997;Zbl 0901.68032) 全文: 内政部
德波尔,弗兰克·S。;亚历山德拉·迪·皮耶罗;卡图西亚帕拉米德斯 约束编程中的非确定性和无限计算。 (英语) Zbl 0872.68103号 西奥。计算。科学。 151,第1期,37-78(1995).MSC公司:68问题55 68N17号 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Theor。计算。科学。151,编号1,37--78(1995;Zbl 0872.68103) 全文: 内政部
德波尔,F.S。;J.N.角。;帕拉米德斯,C。;J.J.M.M.鲁顿。 从失败到成功:比较Horn子句逻辑的指称语义和声明语义。 (英语) Zbl 0761.68055号 西奥。计算。科学。 101,第2期,239-263(1992).MSC公司:68问题55 第68页第27页 68T99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Theor。计算。科学。101,第2号,239--263(1992;Zbl 0761.68055) 全文: 内政部
德波尔,F.S。;鲁滕,J.J.M。;J.N.角。;帕拉米德斯,C。 并发逻辑语言的语义模型。 (英语) Zbl 0744.68087号 西奥。计算。科学。 86,第1期,3-33页(1991年). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:68问题55 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,Theor。计算。科学。86,第1号,第3--33号(1991年;Zbl 0744.68087) 全文: 内政部
M.法拉斯基。;列维,G。;帕拉米德斯,C。;马泰利,M。 逻辑语言操作行为的声明性建模。 (英语) Zbl 0699.68113号 西奥。计算。科学。 69,第3期,289-318(1989). 审核人:S.沃罗比奥夫 MSC公司:第68页第15页 03B35型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人,Theor。计算。科学。69,第3号,289--318(1989;Zbl 0699.68113) 全文: 内政部