Reasoning about Objects Using a Tableau Method. - Renwei Li 001; Amílcar Sernadas (J. Log. Comput., 1991)

Theory and Practice for XYZ/VERI System. - Pei He; Renwei Li 001; Wenhui Zhang (IWAR, 1992)

An Interval-Based Modal Logic for System Specification. - Renwei Li 001; José Carmo (LFCS, 1992)

An introduction to INCAPS system. - Renwei Li 001; Pei He; Wenhui Zhang (J. Comput. Sci. Technol., 1993)

Non-Atomic Actions in the Situation Calculus. - José Júlio Alferes; Renwei Li 001; Luís Moniz Pereira (EPIA, 1995)

On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations. - Renwei Li 001; José Carmo (Log. J. IGPL, 1995)

What Is Believed Is What Is Explained (Sometimes). - Renwei Li 001; Luís Moniz Pereira (AAAI/IAAI, Vol. 1, 1996)

Reasoning about Concurrent Actions and Observations. - Renwei Li 001; Luís Moniz Pereira (APPIA-GULP-PRODE, 1996)

Knowledge-Based Situated Agents Among Us: A Preliminary Report. - Renwei Li 001; Luís Moniz Pereira (ATAL, 1996)

Temporal Reasoning with Abductive Logic Programming. - Renwei Li 001; Luís Moniz Pereira (ECAI, 1996)

Reasoning about Actions with Abductive Logic Programming. - Luís Moniz Pereira; Renwei Li 001 (EPIA, 1997)

Assumption Grammars for Processing Natural Language. - Verónica Dahl; Paul Tarau; Renwei Li 001 (ICLP, 1997)

Refining Action Theories through Abductive Logic Programming. - Renwei Li 001; Luís Moniz Pereira; Verónica Dahl (LPKR, 1997)

Representing and Reasoning about Concurrent Actions with Abductive Logic Programs. - Renwei Li 001; Luís Moniz Pereira (Ann. Math. Artif. Intell., 1997)

Knowledge Assimilation in Domains of Actions: A Possible Causes Approach. - Renwei Li 001; Luís Moniz Pereira (J. Appl. Non Class. Logics, 1997)

ID Oriented Networking (ION) for IoT interoperation. - Bin Da; Richard Li 001; Xiaofei Xu (GIoTS, 2017)

IBS enabled authentication for IoT in ION framework. - Donghui Wang; Bin Da; Jinming Li; Richard Li 001 (GIoTS, 2017)

OSPF Topology-Transparent Zone. - Huaimo Chen; Renwei Li 001; Alvaro Retana; Yi Yang; Zhiheng Liu (RFC, 2017)

Enhance Information Derivation by In-Network Semantic Mashup for IoT Applications. - Lijun Dong; Richard Li 001 (EuCNC, 2018)

Preferred Path Routing - A Next-Generation Routing Framework beyond Segment Routing. - Uma Chunduri; Alexander Clemm; Richard Li 001 (GLOBECOM, 2018)

Identity based security for authentication and mobility in future ID oriented networks. - Rongfei Wan; Bin Da; Richard Li 001; Chuang Wang; Hongpei Li (ICOIN, 2018)

Topic Based Clustering of Vehicles for Information Retrieval and Sharing. - Lijun Dong; Richard Li 001 (ICUFN, 2018)

Latency Guarantee for Multimedia Streaming Service to Moving Subscriber with 5G Slicing. - Lijun Dong; Renwei Li 001 (ISNCC, 2018)

Offloading Semantic Mashup by On-Path Routers for IoT Applications. - Lijun Dong; Richard Li 001 (PIMRC, 2018)

A New Framework and Protocol for Future Networking Applications. - Richard Li 001; Alexander Clemm; Uma Chunduri; Lijun Dong; Kiran Makhijani (NEAT@SIGCOMM, 2018)

Support Opportunistic En-Route Information Mashup of IoT Data. - Lijun Dong; Richard Li 001 (SmartIoT, 2018)

Information exchange oriented clustering for collaborative vehicular system. - Lijun Dong; Richard Li 001 (WOCC, 2018)

Flow-level QoS assurance via IPv6 in-band signalling. - Lin Han; Yingzhen Qu; Lijun Dong; Richard Li 001 (WOCC, 2018)

A Novel Multi-Factored Replacement Algorithm for In-Network Content Caching. - Lijun Dong; Richard Li 001 (EuCNC, 2019)

In-Packet Network Coding for Effective Packet Wash and Packet Enrichment. - Lijun Dong; Richard Li 001 (GLOBECOM Workshops, 2019)

Distributed Mechanism for Computation Offloading Task Routing in Mobile Edge Cloud Network. - Lijun Dong; Richard Li 001 (ICNC, 2019)

Extended Abstract: Coordinated Communications for Next-Generation Networks. - Kiran Makhijani; Hamed Yousefi 001; K. K. Ramakrishnan; Richard Li 001 (ICNP, 2019)

Semantics and Deviation Aware Content Request. - Lijun Dong; Richard Li 001 (ISCC, 2019)

A Framework for Qualitative Communications Using Big Packet Protocol. - Richard Li 001; Kiran Makhijani; Hamed Yousefi 001; Cédric Westphal; Lijun Dong; Tim Wauters; Filip De Turck (NEAT@SIGCOMM, 2019)

RPL based Named Data Routing Protocol for Low Power and Lossy Wide Area Networks. - Lijun Dong; Richard Li 001 (WF-IoT, 2019)

Packet Level In-Time Guarantee: Algorithm and Theorems. - Lijun Dong; Richard Li 001 (GLOBECOM, 2020)

Qualitative Communication Via Network Coding and New IP : Invited Paper. - Lijun Dong; Kiran Makhijani; Richard Li 001 (HPSR, 2020)

New IP: A Data Packet Framework to Evolve the Internet : Invited Paper. - Richard Li 001; Kiran Makhijani; Lijun Dong (HPSR, 2020)

A Survey on IETF Standardization for Connecting and Integrating the Low-Power and Constrained IoT Devices. - Lijun Dong; Richard Li 001 (ICNC, 2020)

A Framework for Bandwidth and Latency Guaranteed Service in New IP Network. - Lin Han; Yingzhen Qu; Lijun Dong; Richard Li 001 (INFOCOM Workshops, 2020)

Enhanced Knowledge Inference and Reasoning with New IP. - Lijun Dong; Richard Li 001 (iThings/GreenCom/CPSCom/SmartData/Cybermatics, 2020)

Scheduling of Complex Computation Offloading Tasks in Mobile Edge Cloud Network with New IP Framework. - Lijun Dong; Uma Chunduri; Richard Li 001 (WF-IoT, 2020)

Qualitative Communications for Augmented Reality and Virtual Reality. - Cédric Westphal; Dongbiao He; Kiran Makhijani; Richard Li 001 (HPSR, 2021)

Distributed Knowledge Inference and Reasoning in the Network Based on New IP. - Lijun Dong; Richard Li 001 (ISNCC, 2021)

Qualitative Communication for Emerging Network Applications with New IP. - Richard Li 001; Lijun Dong; Cédric Westphal; Kiran Makhijani (MSN, 2021)

Collaborative Computation in the Network for Remote Driving. - Lijun Dong; Richard Li 001 (SSCI, 2021)

Latency Guarantee Service Slice in 5G and Beyond. - Lijun Dong; Richard Li 001 (CCNC, 2022)

Support Green Internet Via New IP. - Lijun Dong; Hesham Elbakoury; Richard Li 001 (HPSR, 2022)

Adaptive Network Coding Based Qualitative Communication. - Lijun Dong; Richard Li 001 (ICIN, 2022)

New IP based semantic addressing and routing for LEO satellite networks. - Lin Han; Alvaro Retana; Cédric Westphal; Richard Li 001; Tianji Jiang; Meiling Chen (ICNP, 2022)

Precise Latency Guarantee with Mobility and Handover in 5G and Beyond. - Lijun Dong; Richard Li 001 (ISCC, 2022)

New IP Enabled End-to-End Latency Guarantee for Downlink Traffic in 5G. - Lijun Dong; Lin Han; Richard Li 001 (ISNCC, 2022)

Improve Multiple-Camera Assisted Remote Driving by Qualitative Communication and New IP. - Lijun Dong; Richard Li 001 (NOMS, 2022)

Optimal chunk caching in network coding-based qualitative communication. - Lijun Dong; Richard Li 001 (Digit. Commun. Networks, 2022)

Routers' Energy Consumption Reduction With Load Saturation Awareness And Traffic Steering. - Lijun Dong; Richard Li 001 (ISPA/BDCloud/SocialCom/SustainCom, 2023)

Enable Computation in the Network for Driver Assistance with Object Notification and Augmentation. - Lijun Dong; Richard Li 001 (ICNC, 2023)

User-Oriented Qualitative Communication for JPEG/MPEG Packet Transmission. - Lijun Dong; Lin Han; Richard Li 001 (ICNP, 2023)

Evolution to 6G for Satellite NTN Integration: From Networking Perspective. - Lin Han; Lijun Dong; Alvaro Retana; Richard Li 001; Shangguang Wang; Tianji Jiang (ICNP, 2023)

Operations and Control Networks (OCN) Model: A Systematic Approach to Operational and Information Technology Convergence. - Kiran Makhijani; Richard Li 001; Mohit P. Tahiliani; Cédric Westphal; Lijun Dong (IIoT-NETs@SIGCOMM, 2023)

Self-Sustaining Multiple Access with Continual Deep Reinforcement Learning for Dynamic Metaverse Applications. - Hamidreza Mazandarani; Masoud Shokrnezhad; Tarik Taleb; Richard Li 001 (MetaCom, 2023)

LEO Satellite Networking Relaunched: Survey and Current Research Challenges. - Cédric Westphal; Lin Han; Richard Li 001 (CoRR, 2023)

Toward 6G-Based Metaverse: Supporting Highly-Dynamic Deterministic Multi-User Extended Reality Services. - Hao Yu 013; Masoud Shokrnezhad; Tarik Taleb; Richard Li 001; JaeSeung Song (IEEE Netw., 2023)

Toward Supporting XR Services: Architecture and Enablers. - Tarik Taleb; Abderrahmane Boudi; Luís Rosa 001; Luís Cordeiro; Theodoros Theodoropoulos; Konstantinos Tserpes; Patrizio Dazzi; Antonis Protopsaltis; Richard Li 001 (IEEE Internet Things J., 2023)

Characteristics Aware Video Packet Dropping and Packet Wash. - Lijun Dong; Richard Li 001 (ICNC, 2024)

Towards a Dynamic Future with Adaptable Computing and Network Convergence (ACNC). - Masoud Shokrnezhad; Hao Yu 013; Tarik Taleb; Richard Li 001; Kyunghan Lee; Jaeseung Song; Cédric Westphal (CoRR, 2024)

Semantic Revolution From Communications to Orchestration for 6G: Challenges, Enablers, and Research Directions. - Masoud Shokrnezhad; Hamidreza Mazandarani; Tarik Taleb; Jaeseung Song; Richard Li 001 (IEEE Netw., 2024)

Toward a Dynamic Future With Adaptable Computing and Network Convergence (ACNC). - Masoud Shokrnezhad; Hao Yu 013; Tarik Taleb; Renwei Li 001; Kyunghan Lee; Jaeseung Song; Cédric Westphal (IEEE Netw., 2025)

Guest Editorial: Holographic Video Communications. - Zhi Liu 002; Reza Malekian; Richard Li 001; Hassine Moungla; Yusheng Ji (IEEE Wirel. Commun., 2025)

Discovery of 6G Services and Resources in Edge-Cloud-Continuum. - Mohammad Farhoudi 002; Masoud Shokrnezhad; Tarik Taleb; Richard Li 001; JaeSeung Song (IEEE Netw., 2025)