From post

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.

 

Другие публикации лиц с тем же именем

Model Checking Analysis of Semantically Annotated Business Processes., , , и . IEEE Trans. Syst. Man Cybern. Part A, 42 (4): 854-867 (2012)RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes., , и . ICSC, стр. 245-252. IEEE Computer Society, (2009)Unary RDF-annotated petri nets: a formalism for the modeling and validation of business processes with semantic information., , , и . SBPM@ESWC, стр. 1-4. ACM, (2009)Linked Data based applications for Learning Analytics Research: faceted searches, enriched contexts, graph browsing and dynamic graphic visualisation of data., , , , и . LAK (Data Challenge), том 974 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Control and data flow compatibility in the interaction between dynamic business processes., , , и . Concurr. Comput. Pract. Exp., 23 (1): 57-85 (2011)Analyzing behavioral properties of semantic business processes with parametric data., , и . Concurr. Comput. Pract. Exp., 23 (6): 525-555 (2011)Mismuseos.net: Art After Technology. Putting Cultural Data to Work in a Linked Data Platform., , , , и . Veni@OKCon, том 1124 из CEUR Workshop Proceedings, CEUR-WS.org, (2013)Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes., , и . ECOWS, стр. 92-101. IEEE Computer Society, (2008)Flow and Data Compatibility for the Correct Interaction between Web Processes., , и . CIMCA/IAWTIC/ISE, стр. 715-721. IEEE Computer Society, (2008)Symbolic Analysis of the Behavior of Semantic Business Processes., , и . SWWS, стр. 213-219. CSREA Press, (2009)