logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
A

Anton Wijs

eindhoven university of technology

21H指数
149论文数
1.3K被引数
收录论文 4
发表时间
logo
Introduction to the Special Collection from iFM 2023iFM 2023特刊引言
errFORMAL ASPECTS OF COMPUTING
IF1.4
err2025-12-01
err0
PREAI
errHerber, Paula; Wijs, Anton
err分享
err收藏
Preserving provability over GPU program optimizations with annotation-aware transformations在GPU程序优化中通过标注感知转换来保持可证明性
errFormal Methods in System Design
IF0.8
err2025-11-01
err0
PREAI
errSakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
err分享
err收藏
Research software from the integrated Formal Methods (iFM) conference 2023
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-10-01
err0
PREAI
errHerber, Paula; Osama, Muhammad; Wijs, Anton
err分享
err收藏
An overview of research with SlCo on seamless integration of formal verification into model-driven software engineering关于使用SlCo进行形式化验证与模型驱动软件工程无缝集成的研究概述
errSCIENCE OF COMPUTER PROGRAMMING
IF1.4
err2025-09-01
err0
errOAAI
errWijs, Anton
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Marieke Huisman
H 指数: 28 · 论文数: 257
P
Paula Herber
H 指数: 12 · 论文数: 88
M
Muhammad Osama
H 指数: 9 · 论文数: 28
M
Mohsen Safari
H 指数: 9 · 论文数: 27
Ö
Ömer Şakar
H 指数: 3 · 论文数: 7
已加载全部