学者知网节

【姓名】	吕建
【职称】	教授;
【研究领域】	计算机软件及计算机应用;互联网技术;计算机硬件技术;
【研究方向】	软件自动化、并行程序形式化方法、面向对象语言
【发表文献关键词】	移动计算,分布式计算,空间逻辑,可判定性,定义框架,服务计算,访问控制机制,绑定上下文,服务交互,应用系统,虚拟企业,访问控制模型,软件体系结构,模态词,动态演化,面向服务,网构软件,软件服务,软件方...
【工作单位】	南京大学
【曾工作单位】	南京大学;
【所在地域】	南京

中国期刊全文数据库 共找到134篇

[1]李泽南;姚远;马晓星;吕建;.神经符号系统:非确定性管理的视角[J]中国科学:信息科学.2025,(01)

[2]张海波;戴新宇;钱德沛;吕建;.新一代信息技术赋能应急管理现代化的战略分析[J]中国科学院院刊.2022,(12)

[4]纪业;魏恒峰;黄宇;吕建;.CRDT协议的TLA+描述与验证[J]软件学报.2020,(05)

[5]易星辰;魏恒峰;黄宇;乔磊;吕建;.PaxosStore中共识协议TPaxos的推导、规约与精化[J]软件学报.2020,(08)

[6]许畅;秦逸;余萍;曹春;吕建;.可成长软件理论方法和实现技术:从范型到跨越[J]中国科学:信息科学.2020,(11)

[7]王珏;蒋炎岩;许畅;马晓星;吕建;.Android应用测试输入自动生成技术[J]中国科学:信息科学.2019,(10)

[8]秦逸;许畅;陈紫琦;吕建;.面向环境非确定性的信息物理融合系统测试技术研究[J]中国科学:信息科学.2019,(11)

[10]席圣渠;姚远;徐锋;吕建;.基于循环神经网络的缺陷报告分派方法[J]软件学报.2018,(08)

中国重要会议全文数据库 共找到7篇

[1]韩婷婷;陈韬略;颜锋;吕建;.部分状态空间的建模及其验证[A].2005年全国理论计算机科学学术年会论文集.2005-08-01

[2]颜锋;陈韬略;韩婷婷;吕建;.Pi演算的一种变例及其开互模拟[A].2005年全国理论计算机科学学术年会论文集.2005-08-01

[3]陈韬略;韩婷婷;颜锋;吕建;.有限状态自动机的移动进程演算模拟[A].2005年全国理论计算机科学学术年会论文集.2005-08-01

[4]卜颖毅;李俊;陈沙寻;韩皓;陶先平;吕建;.上下文感知计算研究与进展[A].第一届建立和谐人机环境联合学术会议（HHME2005）论文集.2005-10-01

[5]王远;徐锋;曹春;陶先平;吕建;.RTML:一种用于开放协同环境的信任管理语言[A].2005通信理论与技术新进展——第十届全国青年通信学术会议论文集.2005-08-01

[6]陆闻天;陶先平;吕建;.普适计算环境中隐私保护的研究与进展[A].第二届和谐人机环境联合学术会议(HHME2006)——第2届中国普适计算学术会议(PCC'06)论文集.2006-10-01

[7]吴晓;吴绽青;陶先平;吕建;吕军;.基于移动agent的信息系统应用过程审计软件的设计和实现[A].2006年全国开放式分布与并行计算学术会议论文集（一）.2006-10-01

今年新增/文献篇数	核心期刊论文数	基金论文数	第一作者篇数	总被引频次	总下载频次
0/227	114	110	25	2473	28767