埃莉莎贝斯·雷米;保罗·鲁特 从多值函数到布尔函数:保持软嵌套渠化。 (英语) Zbl 07809115号 西奥。计算。科学。 982,文章ID 114277,15 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{埃米·雷米}和\textit{P.Ruet},提奥。计算。科学。982,文章ID 114277,15 p.(2024;Zbl 07809115) 全文: 内政部 arXiv公司 哈尔
弗朗西丝卡·凯罗利;法比奥·安塞尔米;阿尔贝托·德奥诺弗里奥;卢卡·博托卢西 马尔可夫人口过程的生成抽象。 (英语) Zbl 07751511号 西奥。计算。科学。 977,文章ID 114169,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Cairoli}等人,Theor。计算。科学。977,文章ID 114169,22 p.(2023;Zbl 07751511) 全文: 内政部
拉沙·法奎;安德烈·马丁;瓦莱里奥·斯齐亚沃尼;普拉莫德·巴托蒂亚;费伯,帕斯卡;克里斯托夫·费泽尔 可靠服务的容量规划。 (英语) Zbl 07751498号 西奥。计算。科学。 976,文章ID 114126,16 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Faqeh}等人,Theor。计算。科学。976,文章ID 114126,第16页(2023;Zbl 07751498) 全文: 内政部 arXiv公司
金,赵;张博文;曹天岳;曹永志;王汉平 通过分离逻辑推理基于块的云存储系统。 (英语) 兹伯利07604601 西奥。计算。科学。 936, 43-76 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。936、43-76(2022;Zbl 07604601) 全文: 内政部
塔贾纳·彼得罗夫;克劳迪娅·伊格勒;阿里·塞兹金;托马斯·亨辛格(Thomas A.Henzinger)。;Calin C.盖特。 基因调节中的长期瞬变。 (英语) 兹比尔1518.92068 西奥。计算。科学。 893, 1-16 (2021).MSC公司:92C40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Petrov}等人,Theor。计算。科学。893,1--16(2021;Zbl 1518.92068) 全文: 内政部
乔治·阿萨夫;莫尼卡·海纳;刘菲 为系统生物学着色模糊。 (英语) Zbl 1507.92030号 西奥。计算。科学。 875, 52-64 (2021).MSC公司:第92页第42页 92C40型 93元65角 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Assaf}等人,Theor。计算。科学。875,52-64(2021;Zbl 1507.92030) 全文: 内政部
里卡多·霍诺拉托·齐梅尔;安德鲁·J·米勒。;戈登·普洛金(Gordon D.Plotkin)。;扎迪利斯,阿格里斯 Chromar,一种参数化代理语言。 (英语) 兹比尔1423.68568 西奥。计算。科学。 765, 97-119 (2019).MSC公司:68岁20岁 68甲15 68T42型 第92页第42页 92立方厘米80 PDF格式BibTeX公司 XML格式引用 \textit{R.Honorato-Zimmer}等人,Theor。计算。科学。765,97-119(2019;Zbl 1423.68568) 全文: 内政部
彼得·D·布鲁扎。 通过具有超图语义的概率程序建模上下文。 (英语) Zbl 1407.68073号 西奥。计算。科学。 752, 56-70 (2018).MSC公司:68甲15 05C65号 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.D.Bruza},Theor。计算。科学。752、56-70(2018;Zbl 1407.68073) 全文: 内政部 arXiv公司
玛丽安·盖奥吉;罗迪卡·塞特基;佛罗伦萨伊帕特;萨瓦斯·科努尔;拉卢卡左翼 核心P系统:从建模到验证和测试。 (英语) Zbl 1390.68309号 西奥。计算。科学。 724, 45-60 (2018).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人,Theor。计算。科学。724,45-60(2018;Zbl 1390.68309) 全文: 内政部 链接
阿卜杜勒梅利克·穆罕默德;埃琳娜·齐兹勒;齐兹勒,尤根 使用基于规则的方法对动态瓷砖装配模型进行计算建模。 (英语) Zbl 1383.68032号 西奥。计算。科学。 701, 203-215 (2017).MSC公司:2005年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mohammed}等人,Theor。计算。科学。701203-215(2017;Zbl 1383.68032) 全文: 内政部 链接
罗伯托·巴布蒂;帕斯奎尔·博韦;保罗·米拉佐;乔瓦尼·帕迪尼 生态系统建模的最小概率P系统。 (英语) Zbl 1333.92068号 西奥。计算。科学。 608,第1部分,36-56(2015).MSC公司:92D40型 2005年第68季度 60年第68季度 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。608,第1部分,36--56(2015;Zbl 1333.92068) 全文: 内政部
Trancón y Widemann,B。;豪斯,M。 历史相关动力系统模型的代数-余代数递归理论。 (英语) Zbl 1330.68185号 西奥。计算。科学。 604, 63-80 (2015).MSC公司:68问题65 03A10号 18B20型 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{B.Trancon y Widemann}和\textit{M.Hauhs},Theor。计算。科学。604、63-80(2015年;Zbl 1330.68185) 全文: 内政部
安吉翁,C。;科斯坦萨,J。;卡拉披萨,G。;利奥,P。;G.尼科西亚。 分子机器的分析和设计。 (英语) Zbl 1329.68105号 西奥。计算。科学。 599, 102-117 (2015).MSC公司:2005年第68季度 第68季度10 68问题85 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{C.Angione}等人,Theor。计算。科学。599102-117(2015年;兹比尔1329.68105) 全文: 内政部
刘洪;朱大明 Maximin、Copeland、Borda、Bucklin和Approval选举系统中选民选择控制的参数化复杂性。 (英语) Zbl 1297.93026号 西奥。计算。科学。 498, 115-123 (2013).MSC公司:93A30型 91B12号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}和\textit{D.Zhu},Theor。计算。科学。498115--123(2013年;Zbl 1297.93026) 全文: 内政部
罗宾·唐纳森;卡德,莫菲 信号通路及其串扰的模块化建模。 (英语) Zbl 1250.92014年 西奥。计算。科学。 456, 30-50 (2012).MSC公司:第92页第42页 92 C55 92立方37 PDF格式BibTeX公司 XML格式引用 \textit{R.Donaldson}和\textit{M.Calder},Theor。计算。科学。456,30-50(2012年;兹比尔1250.92014) 全文: 内政部
瓦实提·加尔平 生物过程代数的等价性。 (英语) Zbl 1402.92201号 西奥。计算。科学。 412,第43号,6058-6082(2011).MSC公司:第92页第42页 92C40型 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{V.Galpin},Theor。计算。科学。412、43号、6058--6082(2011;Zbl 1402.92201) 全文: 内政部
弗朗西斯卡·科德罗;安德拉斯·霍瓦思;丹妮尔·马尼尼;露西娅·纳皮恩;马西米利亚诺·德·皮埃罗;西蒙娜·帕凡;安德烈亚·皮科;安德烈·维格利奥;塞雷诺,马蒂奥;费德里科·巴斯索利诺;詹弗兰科·巴尔博 使用不变量和流等价服务器简化复杂信号转导模型。 (英语) Zbl 1230.92020年 西奥。计算。科学。 412,第43号,6036-6057(2011).MSC公司:第92页第42页 93A30型 92 C50 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Cordero}等人,Theor。计算。科学。412,第43号,6036--6057(2011;Zbl 1230.92020) 全文: 内政部 链接
奥雷连·纳尔迪;伊丽莎白·雷米;丹尼斯·蒂夫里;克劳迪娜·朝义亚 逻辑调控图的动态一致约简。 (英语) Zbl 1211.92024号 西奥。计算。科学。 412,第21期,2207-2218(2011).MSC公司:第92页第42页 03B50号 03B80号 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{A.Naldi}等人,Theor。计算。科学。412,第21号,2207--2218(2011;Zbl 1211.92024) 全文: 内政部
瓦实提·加尔平;简·希尔斯顿 基于连续值离散化的Bio-PEPA语义等价。 (英语) Zbl 1215.68140号 西奥。计算。科学。 412,第21号,2142-2161(2011).MSC公司:68问题80 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{V.Galpin}和\textit{J.Hillston},Theor。计算。科学。412,第21号,2142--2161(2011;Zbl 1215.68140) 全文: 内政部
埃哈布·埃尔萨拉穆尼;卡尔·蒂科布·克鲁科夫;弗拉迪米罗·萨松 概率信任模型中指数衰减原理的分析。 (英语) Zbl 1172.93395号 西奥。计算。科学。 410,第41号,4067-4084(2009).MSC公司:93E03型 93A30型 90B50型 PDF格式BibTeX公司 XML格式引用 \textit{E.ElSalamouny}等人,Theor。计算。科学。410,第41号,4067--4084(2009;Zbl 1172.93395) 全文: 内政部
费德里卡·乔切塔;简·希尔斯顿 生物-PEPA:生物系统建模和分析的框架。 (英语) Zbl 1173.68041号 西奥。计算。科学。 410,编号33-34,3065-3084(2009).MSC公司:68问题85 92B05型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciocchetta}和\textit{J.Hillston},Theor。计算。科学。410,编号33-34,3065-3084(2009;Zbl 1173.68041) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 在反应系统中引入时间。 (英语) Zbl 1156.93306号 西奥。计算。科学。 410,编号4-5,310-322(2009).MSC公司:93A30型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},Theor。计算。科学。410,编号4--5,310-322(2009;Zbl 1156.93306) 全文: 内政部
约翰·希思;玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;奥克萨纳Tymchyshyn 复杂生物路径的概率模型检查。 (英语) Zbl 1133.68043号 西奥。计算。科学。 391,第3号,239-257(2008).MSC公司:60年第68季度 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Heath}等人,Theor。计算。科学。391,第3号,239--257(2008;Zbl 1133.68043) 全文: 内政部 链接
大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 资源的程序逻辑。 (英语) Zbl 1133.68010号 西奥。计算。科学。 389,第3期,411-445(2007).MSC公司:68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人,Theor。计算。科学。389,第3号,411--445(2007;Zbl 1133.68010) 全文: 内政部 链接
Jan Friso,格鲁特;马克·沃霍夫 Petri网组件的操作语义。 (英语) Zbl 1118.68082号 西奥。计算。科学。 379,编号1-2,1-19(2007).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{M.Voorhoeve},Theor。计算。科学。379,编号1--2,1--19(2007;Zbl 1118.68082) 全文: 内政部
胡安·德·拉腊;罗西娅·巴多尔;哈特穆特·埃里格;卡斯滕·埃里格;乌尔里克·普兰奇;加布里埃尔·坦泽尔 具有节点类型继承的属性图转换。 (英语) Zbl 1116.68042号 西奥。计算。科学。 376,第3号,139-163(2007).MSC公司:2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lara}等人,Theor。计算。科学。376,第3号,139--163(2007;Zbl 1116.68042) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 反应系统中的事件和模块。 (英语) Zbl 1119.93011号 西奥。计算。科学。 376,编号1-2,3-16(2007).MSC公司:93A30型 92C45型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},Theor。计算。科学。376,编号1--2,3--16(2007;Zbl 1119.93011) 全文: 内政部
朱塞佩·特拉托;古列尔莫·坦布里尼 关于模拟计算中离散性和虚拟性的说明。 (英语) Zbl 1108.68053号 西奥。计算。科学。 371,编号1-2,106-114(2007).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Trautteur}和\textit{G.Tamburini},Theor。计算。科学。371,编号1-2106-114(2007年;Zbl 1108.68053) 全文: 内政部
多米尼克·坎塞尔;多米尼克·梅里 分布式算法的形式化和增量构造:关于分布式引用计数算法。 (英语) Zbl 1153.68560号 西奥。计算。科学。 364,第3期,318-337(2006).MSC公司:68宽15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cansell}和\textit{D.Méry},Theor。计算。科学。364,第3号,318--337(2006;Zbl 1153.68560) 全文: 内政部
弗拉基米尔·沃夫克 在线压缩模型的良好校准预测。 (英语) Zbl 1153.68434号 西奥。计算。科学。 364,第1期,10-26(2006).MSC公司:68T05型 PDF格式BibTeX公司 XML格式引用 \文本{V.Vovk},Theor。计算。科学。364,编号1,10--26(2006;Zbl 1153.68434) 全文: 内政部
埃琳娜·费斯曼;列奥尼德·莫克鲁辛;保罗·佩特森;易、王 基于时间自动机的固定优先级系统可调度性分析。 (英语) Zbl 1088.68087号 西奥。计算。科学。 354,第2期,301-317(2006).MSC公司:65年第68季度 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,Theor。计算。科学。354,第2号,301--317(2006;Zbl 1088.68087) 全文: 内政部
Ernst-Erich Doberkat;尤金尼奥·奥莫代奥(Eugenio G.Omodeo)。 从第一关系原则建立ER模型。 (英语) Zbl 1070.68027号 西奥。计算。科学。 311,编号1-3,285-323(2004).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat}和\textit{E.G.Omodeo},Theor。计算。科学。311,编号1--3,285--323(2004;Zbl 1070.68027) 全文: 内政部 链接
克利斯朵夫·德林格;Jean-François Dufourd 将Coq中的交易定理形式化。 (英语) Zbl 1078.68137号 西奥。计算。科学。 323,第1-3号,399-442(2004).MSC公司:68吨15 68单位05 52B55号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dehlinger}和\textit{J.-F.Dufourd},Theor。计算。科学。323,编号1--3,399--442(2004;Zbl 1078.68137) 全文: 内政部
克利斯朵夫·德林格;Jean-François Dufourd Coq中广义映射的形式化。 (英语) Zbl 1078.68136号 西奥。计算。科学。 323,编号1-3,351-397(2004).MSC公司:68吨15 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{C.Dehlinger}和\textit{J.-F.Dufourd},Theor。计算。科学。323,编号1--3,351--397(2004;Zbl 1078.68136) 全文: 内政部
阿巴斯·埃达拉特;安德烈,队长 可计算实体建模的基础。 (英语) Zbl 1042.68111号 西奥。计算。科学。 284,第2期,319-345(2002).MSC公司:68单位07 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{A.Edalat}和\textit{A.Lieutier},Theor。计算。科学。284,No.2,319--345(2002;Zbl 1042.68111) 全文: 内政部
高新波;Iida,Hiroyuki;Jos W.H.M.Uiterwijk。;H.Jaap,van den Herik 使用对手模型搜索预测搜索深度差异的策略。 (英语) Zbl 0954.68059号 西奥。计算。科学。 252,编号1-283-104(2001).MSC公司:68页第10页 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{X.Gao}等人,Theor。计算。科学。252,编号1--2,83-104(2001;Zbl 0954.68059) 全文: 内政部
普伊特·F·。;杜福尔德,J.-F。 高阶逻辑中数学形式化:几何建模案例研究。 (英语) Zbl 0945.68178号 西奥。计算。科学。 234,编号1-2,1-57(2000).MSC公司:68单位05 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Puitg}和\textit{J.F.Dufourd},Theor。计算。科学。234,编号1--2,1--57(2000;Zbl 0945.68178) 全文: 内政部
美国施密德。 具有截止期的排队系统中的随机树。 (英语) Zbl 0874.68017号 西奥。计算。科学。 144,编号1-2,277-314(1995).MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{U.Schmid},Theor(西奥)。计算。科学。144,编号1--2,277--314(1995;Zbl 0874.68017) 全文: 内政部
格林·温斯克尔 关于模型检查模态演算的注释。 (英语) Zbl 0745.68083号 西奥。计算。科学。 83,第1期,157-167(1991).MSC公司:68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \文本{G.Winskel},Theor。计算。科学。83,第1号,157--167(1991;Zbl 0745.68083) 全文: 内政部
菲利普·达伦多 关于公平异步。 (英语) 兹比尔0607.68016 西奥。计算。科学。 37, 305-336 (1985).MSC公司:第68页第25页 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{P.Darondeau},Theor。计算。科学。37305-336(1985;Zbl 0607.68016) 全文: 内政部
埃罗尔·盖伦贝 离散系统中的平稳确定性流。一、。 (英语) Zbl 0498.68024号 西奥。计算。科学。 23, 107-127 (1983).MSC公司:68平方米 68问题85 第68页第25页 68N99型 93个B07 PDF格式BibTeX公司 XML格式引用 \文本{E.Gelenbe},Theor。计算。科学。23、107——127(1983年;Zbl 0498.68024) 全文: 内政部