PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Wang, Hanpin"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation.

, , , , and . COMPSAC Workshops, page 170-175. IEEE Computer Society, (2010)

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.

Zhe Wang University of Stuttgart

Dr. Dongren Wang University of Stuttgart

Dr. rer. nat. Lei Wang University of Stuttgart

Xiwei Wang University of Stuttgart

FangFang Wang University of Stuttgart

 

Other publications of authors with the same name

A practical method to analyze workflow logic models., , , and . Concurrency and Computation: Practice and Experience, 20 (1): 41-60 (2008)Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees., , and . FCS, page 110-113. CSREA Press, (2007)Modeling MARTE Sequence Diagram with Timing Pi-Calculus., , and . ISORC, page 61-66. IEEE Computer Society, (2011)Queuing analysis and performance evaluation of workflow through WFQN., , , and . TASE, page 178-187. IEEE Computer Society, (2007)Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus., , , , and . COMPSAC, page 487-492. IEEE Computer Society, (2010)Modeling and verifying BPEL using synchronized net., , and . SAC, page 2358-2362. ACM, (2008)Making problems tractable on big data via preprocessing with polylog-size output., , and . CoRR, (2015)PrDLs: A New Kind of Probabilistic Description Logics About Belief., , , and . IEA/AIE, volume 4570 of Lecture Notes in Computer Science, page 644-654. Springer, (2007)Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation., , , and . Int. J. Software and Informatics, 6 (2): 327-357 (2012)A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics., , , , and . SSIRI, page 203-211. IEEE Computer Society, (2009)