Author of the publication

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

Verified Visualisation of Textual Modelling Languages., and . ECEASST, (2010)Modeling dynamic/emergent distributed object systems.. OOPSLA Addendum, ACM, (1998)Wavelength Division Multiplexing: Ultra High Speed Fiber Optics.. IEEE Internet Comput., 2 (2): 13-15 (1998)Formally Counting Electronic Votes (But Still Only Trusting Paper).. ICECCS, page 261-269. IEEE Computer Society, (2007)How Do Developers Use APIs? A Case Study in Concurrency., , and . ICECCS, page 212-221. IEEE Computer Society, (2013)A Cottage Industry of Software Publishing: Implications for Theories of Composition., , and . IPPS/SPDP Workshops, volume 1388 of Lecture Notes in Computer Science, page 890-899. Springer, (1998)Counting Votes with Formal Methods., , , and . AMAST, volume 3116 of Lecture Notes in Computer Science, page 21-22. Springer, (2004)Cable Modems: Cable TV Delivers the Internet., and . IEEE Internet Comput., 2 (3): 12-15 (1998)ESC/Java2: Uniting ESC/Java and JML., and . CASSIS, volume 3362 of Lecture Notes in Computer Science, page 108-128. Springer, (2004)Reasoning about Feature Models in Higher-Order Logic., and . SPLC, page 13-22. IEEE Computer Society, (2007)