Autor der Publikation

A practical method to analyze workflow logic models.

, , , und . Concurrency and Computation: Practice and Experience, 20 (1): 41-60 (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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