Project-NETQUEST:Actions in China

Team NETQUEST

Members

Overall Objectives

Overall Objectives
Highlights

Scientific Foundations

Introduction
Logic and query languages
Distributed algorithms and computation
Protocols

Application Domains

Spatial information
Rapid prototyping of network protocols
Pervasive adaptation
Heterogeneous networks

Software

Netquest system

New Results

Distributed complexity of classical logics
A rule-based language for networking protocols
Declarative communication protocols
Data motion in networks

Contracts and Grants with Industry

Orange R&D Lab

Other Grants and Activities

Actions in France
Actions in China

Dissemination

Dissemination

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2009
Presentation of the Project NETQUEST

Section: Other Grants and Activities

Actions in China

ISCAS, Institute of Software

Close links exists with the Institute of Software of the Chinese academy of Sciences, ISCAS. The professor Huimin LIN, academician, is the supervisor of the two students Fang WANG and Wenwu QU.

Logo Inria