权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

TRUSTED: SecuriTy SummaRies for SecUre SofTwarE Development

值得信赖：安全软件开发的安全摘要

基本信息

批准号：
EP/X03688X/1
负责人：
Sven Schewe
金额：
$ 54.33万
依托单位：
University of Liverpool
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2023
资助国家：
英国
起止时间：
2023 至无数据
项目状态：
未结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FX03688X%2F1
关键词：
TRUSTED SecuriTy SummaRies SecUre SofTwarE

项目摘要

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

目前GtR中并没有所有资助研究的摘要。这通常是因为在提交提案时不需要摘要，但也可能是因为摘要中包含个人详细信息等敏感信息。

项目成果

期刊论文数量（2）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30-October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023)

ECAI 2023 - 第 26 届欧洲人工智能会议，2023 年 9 月 30 日至 10 月 4 日，波兰克拉科夫 - 包括第 12 届智能系统著名应用会议 (PAIS 2023)

DOI：
10.3233/faia230499
发表时间：
2023
期刊：
影响因子：
0
作者：
Salimi P
通讯作者：
Salimi P

An Objective Improvement Approach to Solving Discounted Payoff Games

解决折扣支付游戏的客观改进方法

DOI：
10.4204/eptcs.390.13
发表时间：
2023
期刊：
Electronic Proceedings in Theoretical Computer Science
影响因子：
0
作者：
Dell'Erba D
通讯作者：
Dell'Erba D

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Sven Schewe其他文献

Editorial: special issue on synthesis

DOI：
10.1007/s00236-014-0198-6
发表时间：
2014-04-19
期刊：
ACTA INFORMATICA
影响因子：
0.500
作者：
Doron Peled;Sven Schewe
通讯作者：
Sven Schewe

Digital features of chemical elements extracted from local geometries in crystal structures

从晶体结构中的局部几何形状提取的化学元素的数字特征

DOI：
10.1039/d4dd00346b
发表时间：
2024-12-17
期刊：
Digital Discovery
影响因子：
5.600
作者：
Andrij Vasylenko;Dmytro Antypov;Sven Schewe;Luke M. Daniels;John B. Claridge;Matthew S. Dyer;Matthew J. Rosseinsky
通讯作者：
Matthew J. Rosseinsky