Author of the publication

An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.

, , , , and . CODES+ISSS, page 61-70. ACM, (2009)

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.

 

Other publications of authors with the same name

Dynamic privacy management: a plug-in service for the middleware in pervasive computing., , and . Mobile HCI, page 1-8. ACM, (2005)A Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching., , , and . CIKM, page 2273-2281. ACM, (2018)A Data-Driven Three-Layer Algorithm for Split Delivery Vehicle Routing Problem with 3D Container Loading Constraint., , , , and . KDD, page 528-536. ACM, (2018)User Preference Analysis for Most Frequent Peer/Dominator., , , , , and . IEEE Trans. Knowl. Data Eng., 31 (7): 1412-1425 (2019)PlanningVis: A Visual Analytics Approach to Production Planning in Smart Factories., , , , , , , and . IEEE Trans. Vis. Comput. Graph., 26 (1): 579-589 (2020)Discover the Misinformation Broadcasting in On-Line Social Networks., , , and . J. Inf. Sci. Eng., 31 (3): 763-785 (2015)Searching k-Nearest Neighbor Trajectories on Road Networks., , , , and . ADC, volume 10538 of Lecture Notes in Computer Science, page 85-97. Springer, (2017)Embedding differential privacy in decision tree algorithm with different depths., , , , , and . Sci. China Inf. Sci., 60 (8): 082104:1-082104:15 (2017)A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry., , , , , and . CoRR, (2022)Orca: Scalable Temporal Graph Neural Network Training with Theoretical Guarantees., , , and . Proc. ACM Manag. Data, 1 (1): 52:1-52:27 (2023)