克里斯蒂安·约翰森
人员信息
附属: 挪威奥斯陆大学
其他同名人员
优化列表
2020年–今天
2024 [公元22年] 哈米德·阿尔沙德 , 罗斯·霍恩 , 克里斯蒂安·约翰森 , 奥拉夫·奥韦 , 蒂姆·A·C·威廉斯 :
XACML2mCRL2:自动将XACML策略转换为mCRL2规范。 科学。 计算。 程序。 232 : 103046 ( 2024 ) 2023 [公元21年] 约翰娜·约翰森 , 托雷·佩德森 , 克里斯蒂安·约翰森 :
研究人与计算机之间的偏见转移。 人工智能系统。 38 ( 4 ) : 1659-1683 ( 2023 ) [公元20年] 哈米德·阿尔沙德 , 巴勃罗·皮卡佐·桑切斯 , 克里斯蒂安·约翰森 , 杰拉尔多·施奈德 :
具有强制义务的基于属性的加密。 J.加密。 工程师。 13 ( 三 ) : 343-371 ( 2023 ) 2022 [公元19年] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
以接口作为并发模型的Poset。 Inf.计算。 285 ( 零件 ) : 104914 ( 2022 ) [公元18年] 约翰娜·约翰森 , 托尔·佩德森 , 西蒙·菲舍尔·胡布纳 , 克里斯蒂安·约翰森 , 杰拉尔多·施奈德 , 阿诺德·鲁森达尔 , 哈拉尔德·兹温格伯格 , 安德斯·雅各布·西维辛 , 约瑟夫·诺尔 :
隐私标签的多学科定义。 Inf.计算。 安全。 30 ( 三 ) : 452-469 ( 2022 ) [公元17年] 哈米德·阿尔沙德 , 克里斯蒂安·约翰森 , 奥拉夫·奥韦 , 巴勃罗·皮卡佐·桑切斯 , 杰拉尔多·施奈德 :
基于语义属性的加密:将ABE方案与语义技术相结合的框架。 信息科学。 616 : 558-576 ( 2022 ) [公元16年] 哈米德·阿尔沙德 , 克里斯蒂安·约翰森 , 奥拉夫·奥韦 :
基于语义属性的访问控制:对当前状态和未来前景的回顾。 J.系统。 阿基特。 129 : 102625 ( 2022 ) [c33] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机的Kleene定理。 CONCUR公司 2022 : 29:1-29:18 [公元32年] Clément奥伯特 , 罗斯·霍恩 , 克里斯蒂安·约翰森 :
安全钻石:应用Pi-Calculus的非交互操作语义。 CONCUR公司 2022 : 30:1-30:26 [公元31年] 哈米德·阿尔沙德 , 罗斯·霍恩 , 克里斯蒂安·约翰森 , 奥拉夫·奥韦 , 蒂姆·A·C·威廉斯 :
进程代数可以挽救生命:使用mCRL2对XACML访问控制策略进行静态分析。 复地 2022 : 11-30 [公元30年] 克莱门特·奥伯特 , 罗斯·霍恩 , 克里斯蒂安·约翰森 :
关于不相交应用π-演算的持续时间和因果关系的互模拟。 快递/SOS 2022 : 3-22 [i16] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机的Kleene定理。 CoRR公司 abs/2202.03791 ( 2022 ) 2021 [公元15年] 比约纳尔·卢特伯格 , 克里斯蒂安·约翰森 :
SAT绘图:四种方法和一种工具,用于制作铁路基础设施示意图。 形式方面计算。 33 ( 6 ) : 829-854 ( 2021 ) [公元14年] 比约纳尔·卢特伯格 , 科恩·克莱森 , 克里斯蒂安·约翰森 , 马丁·斯特芬 :
SAT模块离散事件仿真在铁路设计能力分析中的应用。 形式方法系统。 设计。 57 ( 2 ) : 211-245 ( 2021 ) [j13] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 克里斯托弗·特罗特 , Krzysztof齐米扬斯基 :
并发雕塑。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) [公元12年] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机语言。 数学。 结构。 计算。 科学。 31 ( 5 ) : 575-613 ( 2021 ) [公元11年] 克里斯蒂安·约翰森 , 奥伦·穆贾伊 , 哈米德·阿尔沙德 , 约瑟夫·诺尔 :
Snowden手机:安全即时消息移动应用程序的比较调查。 安全。 公社。 网络 2021 : 9965573:1-9965573:30 ( 2021 ) [公元29年] 卡梅隆·卡克 , 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
ℓ r-多半群,模态量子数和局部性的起源。 RAMiCS公司 2021 : 90-107 【i15】 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机语言。 CoRR公司 abs/2103.07557 ( 2021 ) [第14条] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
lr-多半群与模态卷积代数。 CoRR公司 abs/2105.00188 ( 2021 ) [i13] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
并行Kleene代数的带接口的偏序集。 CoRR公司 abs/2106.10895 ( 2021 ) 2020 [公元10年] 托尔·佩德森 , 克里斯蒂安·约翰森 :
行为人工智能:人工推理系统实证研究议程。 人工智能系统。 35 ( 三 ) : 519-532 ( 2020 ) [公元9年] Manish Shrestha公司 , 克里斯蒂安·约翰森 , 约瑟夫·诺尔 , 大卫·罗维索 :
应用于智能电网基础设施的安全分类方法。 国际J.Crit.基础设施保护。 28 : 100342 ( 2020 ) [公元28年] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , 拉丹·巴哈杜尔·塔帕 :
生成N以外的姿势集。 RAMiCS公司 2020 : 82-99 [c27] Manish Shrestha公司 , 克里斯蒂安·约翰森 , 约瑟夫·诺尔 :
使用物联网安全等级评估中的信念和论据建立信心。 故障模式与后果控制 2020 : 244-249 [i12] 托尔·佩德森 , 克里斯蒂安·约翰森 , 约翰娜·约翰森 :
研究程序员对程序的偏见转移。 CoRR公司 abs/2005.08231 ( 2020 ) [i11] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof Ziemianksi先生 :
Domain Semirings联合。 CoRR公司 abs/2011.04704 ( 2020 ) [i10] 约翰娜·约翰森 , 托尔·佩德森 , 西蒙·菲舍尔·胡布纳 , 克里斯蒂安·约翰森 , 杰拉尔多·施奈德 , 阿诺德·鲁森达尔 , 哈拉尔德·兹温格伯格 , 安德斯·雅各布·西维辛 , 约瑟夫·诺尔 :
隐私标签和公主隐私和七个助手的故事。 CoRR公司 abs/2012.01813 ( 2020 )
2010 – 2019
2019 [j8] 克里斯蒂安·约翰森 , 奥拉夫·奥韦 :
动态结构操作语义。 J.日志。 代数方法课程。 107 : 79-107 ( 2019 ) [j7] 托马斯·特洛伊斯·希尔德布兰特 , 克里斯蒂安·约翰森 , 哈孔·诺曼 :
pi-calculus的稳定的无干扰早期操作语义。 J.日志。 代数方法课程。 104 : 227-253 ( 2019 ) [公元26年] 比约纳尔·卢特伯格 , 克里斯蒂安·约翰森 , 马丁·斯特芬 :
根据本地容量规范合成铁路信号布局。 FM公司 2019 : 121-137 [公元25年] 比约纳尔·卢特伯格 , 科恩·克莱森 , 克里斯蒂安·约翰森 :
SAT中使用数值优化的铁路示意图自动绘制。 国际单项体育联合会 2019 : 341-359 [公元24年] 克里斯蒂安·约翰森 , 奥拉夫·奥韦 :
综述:动态结构操作语义。 国际单项体育联合会 2019 : 525-528 [第九章] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , 拉丹·巴哈杜尔·塔帕 :
生成N以外的姿势集。 CoRR公司 abs/1910.06162 ( 2019 ) 2018 [j6] 比约纳尔·卢特伯格 , 克里斯蒂安·约翰森 :
根据标准法规有效验证铁路基础设施设计。 形式方法系统。 设计。 52 ( 1 ) : 1-32 ( 2018 ) [j5] 托尔·佩德森 , 克里斯蒂安·约翰森 , 奥顿·约桑 :
行为计算机科学:将人类行为和系统行为建模相结合的议程。 以人类为中心的计算。 信息科学。 8 : 7 ( 2018 ) 【c23】 比约纳尔·卢特伯格 , 科恩·克莱森 , 克里斯蒂安·约翰森 :
使用SAT模块离散事件模拟进行设计时铁路容量验证。 FMCAD公司 2018 : 1-9 [i8] 克里斯蒂安·约翰森 , 奥伦·穆贾伊 , 哈米德·阿尔沙德 , 约瑟夫·诺尔 :
Snowden Phone:安全即时消息移动应用程序的比较调查(作者版本)。 CoRR公司 abs/1807.07952 ( 2018 ) [i7] 约翰娜·约翰森 , 克里斯蒂安·约翰森 , 约瑟夫·诺尔 :
《信息互联网在全球南方的教育:在技术劣势地区通过免费信息互联网接入实现的应用研究》(作者版本)。 CoRR公司 腹肌/1808.09496 ( 2018 ) [i6] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 克里斯托弗·特罗特 , Krzysztof齐米扬斯基 :
并发雕塑。 CoRR公司 abs/1812.02008 ( 2018 ) 2017 [公元22年] 托马斯·特洛伊斯·希尔德布兰特 , 克里斯蒂安·约翰森 , 哈孔·诺曼 :
Pi-Calculus的稳定的非相互分离早期操作语义。 拉丁美洲旅游协会 2017 : 51-63 【c21】 Sergiu Bursuc公司 , 克里斯蒂安·约翰森 , 徐世伟(Shiwei Xu) :
动态信任根协议的自动验证。 邮政 2017 : 95-116 [公元20年] 比约纳尔·卢特伯格 , 约翰·卡米莱里 , 克里斯蒂安·约翰森 , 杰拉尔多·施奈德 :
通过在RailCNL中代表法规对铁路基础设施进行参与式验证。 SEFM公司 2017 : 87-103 [第19条] 丹尼斯·米格达尔 , 克里斯蒂安·约翰森 , 奥顿·约桑 :
基于新型TLS交换技术的离线可信设备和代理体系结构。 SIoT公司 2017 : 10-19 [i5] Sergiu Bursuc公司 , 克里斯蒂安·约翰森 , 徐世伟(Shiwei Xu) :
自动验证信任协议的动态根(长版本)。 CoRR公司 abs/1701.08676 ( 2017 ) 2016 [j4] 哈孔·诺曼 , 克里斯蒂安·约翰森 , 托马斯·希尔德布兰特 :
psi-calculi中基于声明事件的并发和优化模型。 J.日志。 代数方法课程。 85 ( 三 ) : 368-398 ( 2016 ) [j3] 克里斯蒂安·约翰森 :
ST-结构。 J.日志。 代数方法课程。 85 ( 6 ) : 1201-1233 ( 2016 ) [第18条] 丹尼斯·米格达尔 , 克里斯蒂安·约翰森 , 奥顿·约桑 :
演示:OffPAD-用于医院和电子银行的离线个人身份验证设备。 CCS系统 2016 : 1847-1849 [c17] 比约纳尔·卢特伯格 , 克里斯蒂安·约翰森 , 克劳斯·费林 , 马丁·斯特芬 :
应用于铁路设计和法规的基于规则的增量验证工具。 FM公司 2016 : 772-778 [第16条] 克里斯蒂安·约翰森 , 托尔·佩德森 , 奥顿·约桑 :
走向行为计算机科学。 国际警察联合会 2016 : 154-163 [第15条] 比约纳尔·卢特伯格 , 克里斯蒂安·约翰森 , 马丁·斯特芬 :
铁路基础设施设计的基于规则的一致性检查。 国际单项体育联合会 2016 : 491-507 [i4] 克里斯蒂安·约翰森 , 奥拉夫·奥韦 :
动态结构操作语义。 CoRR公司 abs/1612.00666 ( 2016 ) 2015 [第14条] 阿米尔·塔赫科尔迪 , 克里斯蒂安·约翰森 , 弗兰克·埃利亚森 , 凯·罗默 :
令牌:通过令牌化转换设计状态驱动的嵌入式系统。 DCOSS公司 2015 : 52-61 2014 [第13条] 克里斯蒂安·约翰森 , 奥顿·约桑 :
安保仪式中人类的概率建模。 DPM/SETOP/QASA 2014 : 277-292 [第12条] 哈孔·诺曼 , 克里斯蒂安·普里萨卡里奥 , 托马斯·希尔德布兰特 :
以因果关系和事件为Psi-calculi的并发模型。 内燃机 2014 : 4-20 [第11条] 克里斯蒂安·普里萨卡里奥 :
演员网络程序作为安全仪式的Psi-calculi。 GraMSec公司 2014 : 63-77 [i3] 克里斯蒂安·普里萨卡里奥 :
高维模态逻辑。 CoRR公司 abs/1405.4100 ( 2014 ) [i2] 克里斯蒂安·普里萨卡里奥 :
配置结构的扩展。 CoRR公司 abs/1406.0641 ( 2014 ) 2013 [第10条] 卢卡·埃特罗 , Anna Ingólfsdóttir女士 , 克里斯蒂安·普里萨卡里奥 , 约书亚·萨克 :
多模态逻辑的组合推理。 LFCS公司 2013 : 1-15 2012 [注2] 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
复杂合同的动态道义逻辑。 J.日志。 代数方法课程。 81 ( 4 ) : 458-490 ( 2012 ) 【c9】 克里斯蒂安·普里萨卡里奥 :
过去的荣耀与几何的并行。 图灵-100 2012 : 252-267 [i1] 克里斯蒂安·普里萨卡里奥 :
过去的荣耀与几何的并行。 CoRR公司 abs/1206.3136 ( 2012 ) 2010 [j1] 克里斯蒂安·普里萨卡里奥 :
同步Kleene代数。 J.日志。 代数方法课程。 79 ( 7 ) : 608-635 ( 2010 ) 【c8】 克里斯蒂安·普里萨卡里奥 :
高维自动机上的模态逻辑。 CONCUR公司 2010 : 494-508
2000 – 2009
2009 【c7】 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
法律合同的抽象规范。 ICAIL公司 2009 : 218-219 【c6】 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
:基于动作的合同推理逻辑。 沃尔利克 2009 : 335-349 2008 【c5】 马塞尔·凯斯 , 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
电子合同的运行时监控。 ATVA公司 2008 : 397-407 2007 【c4】 戈登·佩斯 , 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
模型检查合同-案例研究。 ATVA公司 2007 : 82-97 【c3】 克里斯蒂安·普里萨卡里奥 , 杰拉尔多·施奈德 :
电子合同的形式语言。 FMOODS公司 2007 : 174-189 2006 [c2] 加布里埃尔·乔巴努 , 克里斯蒂安·普里萨卡里奥 :
基于频道的匿名通信计时器的协调。 FOCLASA公司 2006 : 3-17 【c1】 加布里埃尔·乔巴努 , 克里斯蒂安·普里萨卡里奥 :
分布式系统计时器。 卡塔尔石油公司 2006 : 81-99