( en | de | ru )

 

Disambiguation of "Zhang, Lefan"

Author of the publication

copydeleteadd this publication to your clipboard
AutoTap: synthesizing and repairing trigger-action programs using LTL properties.

, , , , , and . ICSE, page 281-291. IEEE / ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Shuying Zhang

Yue Zhang

Ning Zhang

 

Other publications of authors with the same name

AutoTap: synthesizing and repairing trigger-action programs using LTL properties., , , , , and . ICSE, page 281-291. IEEE / ACM, (2019)Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs., , , , and . CHI Extended Abstracts, page 1-10. ACM, (2020)Harmonized Speculative Sampling., , , and . CoRR, (2024)Prototyping Energy Harvesting Powered Systems with Nonvolatile Processor (Invited Paper)., , , , , and . RSP, page 49-55. IEEE, (2018)An extensible system simulator for intermittently-powered multiple-peripheral IoT devices., , , and . ENSsys@SenSys, page 1-6. ACM, (2018)Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences., , , , , and . CHI, page 312:1-312:17. ACM, (2021)Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior., , , , , , and . Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 4 (3): 104:1-104:26 (2020)When Smart Devices Are Stupid: Negative Experiences Using Home Smart Devices., , , , and . IEEE Symposium on Security and Privacy Workshops, page 150-155. IEEE, (2019)Learning from Long-Tailed Noisy Data with Sample Selection and Balanced Loss., , , and . IJCAI, page 5471-5480. ijcai.org, (2024)