Luxi Chen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2025

Balancing Revenue and Privacy with Signaling Schemes in Online Ad AuctionsHongtao Liu, Luxi Chen, Yiming Ding, Changcheng Li, Han Li, Peng Jiang, Weiran Shen. wsdm 2025: 512-520 [doi]

Evaluation of Ecological Environment Quality of Tourism Industry in Guangxi Region Based on RS and GISXiaoyan Lv, Luxi Chen. ijaeis, 16(1):1-19, 2025. [doi]

2023

Lighting Projection Design of Art Stage From Holographic Naked Eye 3D PerspectiveYanna Huang, Luxi Chen. jcit-igi, 26(1):1-16, November 2023. [doi]

2017

Incorporating architectural modelling with state-based reliability evaluationLuxi Chen, Linpeng Huang, Chen Li 0009, Xiwen Wu. ijahuc, 26(3):167-184, 2017. [doi]

Self-adaptive architecture evolution with model checking: A software cybernetics approachLuxi Chen, Linpeng Huang, Chen Li 0009, Xiwen Wu. jss, 124:228-246, 2017. [doi]

2015

2014

Retrospective-Prospective Differential Inclusions and Their Control by the Differential Connection Tensors of Their Evolutions: The TrendometerJean-Pierre Aubin, Luxi Chen, Olivier Dordan. compsys, 23(2), 2014. [doi]

Innomotion: a web-based rehabilitation system helping patients recover and gain self-awareness of their body away from the clinicLuxi Chen, Ni Yan, Miranda Kiang, Anna S. Muth, Kruthi Sabnis Krishna. CHI 2014: 233-238 [doi]

Architecture Reconfiguration in Pervasive Environment: An AADL-based ApproachLuxi Chen, Linpeng Huang, Chen Li, Mengyao Ruan. imis 2014: 23-30 [doi]

Design and Safety Analysis for System Architecture: A Breeze/ADL-Based ApproachLuxi Chen, Linpeng Huang, Chen Li, Linzhu Wu, Weichao Luo. compsac 2014: 261-266 [doi]

Using entropy weight-based TOPSIS to implement failure mode and effects analysisXiaoyu Fu, Linpeng Huang, Guannan Su, Luxi Chen, Chen Li 0009, Linzhu Wu. internetware 2014: 89-96 [doi]

An Approach to Modelling and Evaluating AGG Based Reliable Software SystemsChen Li, Linpeng Huang, Luxi Chen, Xiwen Wu. tase 2014: 122-125 [doi]

2013

2012

Dynamic software architectures: formal specification and verification with CSPChen Li 0009, Linpeng Huang, Luxi Chen, Xu Li, Weichao Luo. internetware 2012: [doi]

Viabilist and tychastic approaches to guaranteed ALM problemJean-Pierre Aubin, Luxi Chen, Olivier Dordan, Patrick Saint-Pierre. rda, 3(1-2):89-113, 2012. [doi]

Software Architecture Matching by Meta-model Extension and RefinementLuxi Chen, Linpeng Huang, Chen Li, Weichao Luo. apsec 2012: 422-427 [doi]

Component Substitutability Behavior Consistency Verification Based on Architecture-driven DevelopmentLuxi Chen, Linpeng Huang, Chen Li. ipps 2012: 1556-1562 [doi]

PBDDR: Probe-Based Deadlock Detection and Recovery Strategy for Component-Based SystemsChen Li, Linpeng Huang, Luxi Chen, Weichao Luo, Xu Li. apsec 2012: 790-795 [doi]

Using Dynamic Probe for Deadlock Detection in Component-Based SystemChen Li, Linpeng Huang, Luxi Chen, Weichao Luo. imis 2012: 292-299 [doi]

Sign in or sign up to see more results.

runs on WebDSL