( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Hierarchical Artifact Systems.

, , и . PODS, стр. 179-194. ACM, (2016)

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.

Curt Alinge

Reinhard Alings

Alin Jula

Alin Ratiu

Alin Seegel

 

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

Ariadne: Online Provenance for Big Graph Analytics., , и . SIGMOD Conference, стр. 521-536. ACM, (2019)Towards a Shared Ledger Business Collaboration Language Based on Data-Aware Processes., , , , , и . ICSOC, том 9936 из Lecture Notes in Computer Science, стр. 18-36. Springer, (2016)FORWARD: Design Specification Techniques for Do-It-Yourself Application Platforms., , , , , , и . WebDB, (2009)Querying Graph Databases with the GSQL Query Language.. SBBD, стр. 313. SBC, (2018)Efficient Rewriting of XPath Queries Using Query Set Specifications., , , и . Proc. VLDB Endow., 2 (1): 301-312 (2009)Inconsistency resolution in online databases., , , и . ICDE, стр. 1205-1208. IEEE Computer Society, (2010)Determining source contribution in integration systems., , и . PODS, стр. 304-315. ACM, (2005)XML query languages: Experiences and exemplars, , , , , , , , , и 2 other автор(ы). (1999)A Spin-based Verifier for Artifact Systems., , и . CoRR, (2017)Privacy in Database Publishing., и . ICDT, том 3363 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2005)