Author of the publication

On the Formal Semantics of Statecharts (Extended Abstract)

, , , and . LICS, page 54-64. IEEE Computer Society, (1987)

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

On Aspects of Universality and Performance for Closed Hashing (Extended Abstract), and . STOC, page 355-366. ACM, (1989)Chernoff-Hoeffding Bounds for Applications with Limited Independence., , and . SIAM J. Discret. Math., 8 (2): 223-250 (1995)Efficient Support of Historical Queries for Multiple Lines of Evolution., , and . ICDE, page 319-326. IEEE Computer Society, (1993)An Improved Program for Constructing Open Hash Tables., and . ICALP, volume 85 of Lecture Notes in Computer Science, page 569-581. Springer, (1980)Storing and Searching a Multikey Table (Extended Abstract), , , , and . STOC, page 344-353. ACM, (1988)The Analysis of Closed Hashing under Limited Randomness (Extended Abstract), and . STOC, page 224-234. ACM, (1990)Chernoff-Hoeffding Bounds for Applications with Limited Independence., , and . SODA, page 331-340. ACM/SIAM, (1993)Load-Sharing in Heterogeneous Systems via Weighted Factoring., , , and . SPAA, page 318-328. ACM, (1996)Non-Oblivious Hashing (Extended Abstract), , , and . STOC, page 367-376. ACM, (1988)Identifying Periodic Occurrences of a Template with Applications to Protein Structures., , , and . CPM, volume 644 of Lecture Notes in Computer Science, page 111-120. Springer, (1992)