您的位置： 专家智库 > >

于笑丰

作品数：18 被引量：185H指数：8
供职机构：南京大学商学院更多>>
发文基金：国家自然科学基金江苏省自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术经济管理航空宇航科学技术自然科学总论更多>>

合作作者

领域

  • 22个自动化与计算...
  • 18个文化科学
  • 16个经济管理
  • 13个电子电信
  • 13个医药卫生
  • 13个理学
  • 11个机械工程
  • 9个建筑科学
  • 8个航空宇航科学...
  • 8个社会学
  • 7个一般工业技术
  • 7个政治法律
  • 7个自然科学总论
  • 4个金属学及工艺
  • 4个交通运输工程
  • 3个化学工程
  • 3个电气工程
  • 3个军事
  • 2个生物学
  • 2个轻工技术与工...

主题

  • 18个用户
  • 18个网络
  • 14个企业
  • 13个映射
  • 10个形式化
  • 10个语义
  • 8个代理
  • 8个代码
  • 8个信任
  • 8个商务
  • 7个调度
  • 7个形式化方法
  • 6个电子商务
  • 5个代码分析
  • 5个代码生成
  • 5个等价
  • 5个形式化验证
  • 4个代码结构
  • 4个定理
  • 4个定理证明

机构

  • 14个南京大学
  • 9个南京航空航天...
  • 7个计算机软件新...
  • 2个北京信息工程...
  • 2个中国科学院
  • 2个中国科学技术...
  • 2个国家自然科学...
  • 1个河海大学
  • 1个北京邮电大学
  • 1个东南大学
  • 1个南京林业大学
  • 1个南开大学
  • 1个吉林大学
  • 1个南京理工大学
  • 1个赣南师范大学
  • 1个天津工业大学
  • 1个武汉大学
  • 1个上海财经大学
  • 1个中国矿业大学
  • 1个扬州大学

资助

  • 25个国家自然科学...
  • 15个国家高技术研...
  • 14个中央高校基本...
  • 11个江苏省自然科...
  • 11个中国博士后科...
  • 10个国家重点基础...
  • 9个国家教育部博...
  • 7个教育部人文社...
  • 7个中国航空科学...
  • 6个江苏省研究生...
  • 5个国家社会科学...
  • 5个国家科技重大...
  • 5个江苏省博士后...
  • 4个江苏省产学研...
  • 4个江苏省高校自...
  • 4个江苏省普通高...
  • 3个教育部留学回...
  • 3个山东省自然科...
  • 3个中央级公益性...
  • 3个“九五”国家...

传媒

  • 13个软件学报
  • 13个计算机科学
  • 11个计算机研究与...
  • 10个计算机应用与...
  • 8个计算机学报
  • 8个计算机应用研...
  • 8个计算机工程与...
  • 7个电子学报
  • 7个计算机工程
  • 7个小型微型计算...
  • 6个南京航空航天...
  • 6个计算机工程与...
  • 6个计算机应用
  • 6个南京理工大学...
  • 5个机械设计与制...
  • 5个中国科学：信...
  • 4个系统工程与电...
  • 4个计算机集成制...
  • 4个科研管理
  • 4个中国机械工程

地区

  • 21个江苏省
  • 2个北京市
  • 1个吉林省
  • 1个广东省
共 26 条 记 录，以下是 1-10
胡军
供职机构：南京航空航天大学
研究主题：故障树 形式化方法 SYSML 安全关键系统 接口自动机
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
张岩
供职机构：吉林大学
研究主题：三维模型 纹理合成 接口自动机 图像 不锈钢
发表作品相关人物供职机构所获资助研究领域
郑国梁
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室
研究主题：面向对象 软件工程 软件开发 UML 程序设计
发表作品相关人物供职机构所获资助研究领域
王林章
供职机构：南京大学
研究主题：制导 数据竞争 自动机 数据流分析 规约
发表作品相关人物供职机构所获资助研究领域
张天
供职机构：南京大学
研究主题：控件 神经网络 源代码 插桩 建模语言
发表作品相关人物供职机构所获资助研究领域
徐丙凤
供职机构：南京林业大学信息科学技术学院
研究主题：故障树 接口自动机 嵌入式软件 形式化方法 信息物理融合系统
发表作品相关人物供职机构所获资助研究领域
吴黎明
供职机构：南京航空航天大学
研究主题：飞行控制软件 无人机系统 时间自动机 测试用例 无人机飞控
发表作品相关人物供职机构所获资助研究领域
李明辉
供职机构：南京大学商学院
研究主题：公司治理 上市公司 企业 内部控制 审计质量
发表作品相关人物供职机构所获资助研究领域
杜一
供职机构：中国科学院计算机网络信息中心
研究主题：大数据 消歧 可视化 消歧方法 人机交互
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共3页<123>
聚类工具0