( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Termination Criteria for DPO Transformations with Injective Matches.

, , и . GT-VC@CONCUR, том 175 из Electronic Notes in Theoretical Computer Science, стр. 87-100. Elsevier, (2006)

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.

Tihamér Geyer

Tihamér Koncz

 

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

A Flexible Attribute Instantiation Technique for Visual Languages., , , и . IASTED Conf. on Software Engineering, стр. 355-359. IASTED/ACTA Press, (2005)Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers., , , и . IASTED Conf. on Software Engineering, стр. 48-49. IASTED/ACTA Press, (2005)Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications., , и . IASTED Conf. on Software Engineering, стр. 252-257. IASTED/ACTA Press, (2006)Model-Based Development with Validated Model Transformation., , , и . MDEIS, стр. 39-48. INSTICC Press, (2006)VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design., , , , , , , , и . MDHPCL@MoDELS, том 1118 из CEUR Workshop Proceedings, стр. 25-36. CEUR-WS.org, (2013)Verified Operational Patterns with Graph Transformation., и . ICST, стр. 954-961. IEEE Computer Society, (2012)Incremental Type Checking in OCL Compilers., , и . ECBS-EERC, стр. 9-18. IEEE Computer Society, (2009)Evolution in a context of an model-integrated tool environment., , , , и . ME@MoDELS, стр. 33-38. ACM, (2012)Visual Presentation Solutions for Domain Specific Languages., , и . IASTED Conf. on Software Engineering, стр. 212-217. IASTED/ACTA Press, (2006)A Visual Control Flow Language for Model Transformation Systems., , , и . IASTED Conf. on Software Engineering, стр. 194-199. IASTED/ACTA Press, (2006)