Author of the publication

The Way We Were: Structural Operational Semantics Research in Perspective.

, , , and . EXPRESS/SOS, volume 387 of EPTCS, page 26-40. (2023)

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 Approximating a Scheduling Problem., , and . J. Comb. Optim., 5 (3): 287-297 (2001)Structure in Approximation Classes., , , and . SIAM J. Comput., 28 (5): 1759-1782 (1999)The Way We Were: Structural Operational Semantics Research in Perspective., , , and . EXPRESS/SOS, volume 387 of EPTCS, page 26-40. (2023)Greedily Improving Our Own Closeness Centrality in a Network., , , and . ACM Trans. Knowl. Discov. Data, 11 (1): 9:1-9:32 (2016)Reversible Simulation of Space-Bounded Computations., and . Theor. Comput. Sci., 143 (1): 159-165 (1995)Improving the Betweenness Centrality of a Node by Adding Links., , , , , and . ACM J. Exp. Algorithmics, (2018)Text sparsification via local maxima., , , , , and . Theor. Comput. Sci., 304 (1-3): 341-364 (2003)A Note on the Descriptive Complexity of Maximization., and . Inf. Process. Lett., 47 (1): 11-15 (1993)On Computing the Diameter of (Weighted) Link Streams., , and . SEA, volume 190 of LIPIcs, page 11:1-11:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)From theory to practice: NP-completeness for every CS student., , and . ITiCSE, page 16-21. ACM, (2013)