Author of the publication

Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications.

, and . Fundamental Problems in Computing, page 163-208. Springer, (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Approximation Algorithms for Facility Dispersion., , and . Handbook of Approximation Algorithms and Metaheuristics, Chapman and Hall/CRC, (2007)Reachability problems for sequential dynamical systems with threshold functions., , , , , and . Theor. Comput. Sci., (2003)Predecessor and Permutation Existence Problems for Sequential Dynamical Systems., , , , , and . DMCS, volume AB of DMTCS Proceedings, page 69-80. DMTCS, (2003)Algorithms for Path-Based Placement of Inspection Stations on Networks., , and . INFORMS J. Comput., 12 (2): 136-149 (2000)Validating Agent-Based Models of Large Networked Systems., , , , , , , , , and 1 other author(s). WSC, page 2807-2818. IEEE, (2019)An Efficient Method for Representing and Transmitting Message Patterns on Multiprocessor Interconnection Networks., and . J. Parallel Distributed Comput., 11 (1): 72-85 (1991)Using the Dual Path Property of Omega Networks to Obtain Conflict-Free Message Routing., and . IEEE Trans. Parallel Distributed Syst., 2 (4): 503-507 (1991)Programmed Grammars and Classes of Formal Languages.. J. ACM, 16 (1): 107-131 (1969)JACM 1986-1990.. J. ACM, 50 (1): 18 (2003)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , and . PODC, page 122. ACM, (1996)