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.

 

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

A Formal Definition of the EP Language, и . Laboratory for Advanced Software Systems, University of Luxembourg, (мая 2008)Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL., , и . BMMDS/EMMSAD, том 50 из Lecture Notes in Business Information Processing, стр. 261-273. Springer, (2010)A Lightweight Approach for Defining the Formal Semantics of a Modeling Language., и . MoDELS, том 5301 из Lecture Notes in Computer Science, стр. 690-704. Springer, (2008)Computing Minimal Spanning Subgraphs in Linear Time., , , и . SIAM J. Comput., 24 (6): 1332-1358 (1995)On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph. STOC, стр. 339-350. ACM, (1992)Approximate Hypergraph Coloring., , и . SWAT, том 1097 из Lecture Notes in Computer Science, стр. 41-52. Springer, (1996)Using VCL as an Aspect-Oriented Approach to Requirements Modelling., , , и . LNCS Trans. Aspect Oriented Softw. Dev., (2010)Modular Design by Contract Visually and Formally Using VCL., и . VL/HCC, стр. 227-234. IEEE Computer Society, (2010)An Information-Based View of Representational Coupling in Object-Oriented Systems.. FASE, том 2621 из Lecture Notes in Computer Science, стр. 216-230. Springer, (2003)Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development., , и . SEW, стр. 94-103. IEEE Computer Society, (2009)