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

Examining MEDLINE Search Query Reproducibility and Resulting Variation in Search Results, , , and . (2019)ComSoc's membership programs The President's Page., , , , , , and . IEEE Commun. Mag., 45 (6): 6-14 (2007)Hierarchies in coloured Petri nets., , and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 313-341. Springer, (1989)Generating an Algorithm for Executing Graphical Models., and . Functional Programming, Concurrency, Simulation and Automated Reasoning, volume 693 of Lecture Notes in Computer Science, page 71-83. Springer, (1993)Work flow analysis., and . WSC, page 1122-1130. ACM Press, (1993)Formal Verification of an Arbiter Cascade., and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 205-223. Springer, (1992)Visualization of Laboratory, Vital, Precaution and Patient Status Data to Optimize Time on Task and Use Related Hazards., , , , and . AMIA, AMIA, (2015)A pilot project to study the use of ultrasonography for teaching physical examination to medical students., , and . Comput. Biol. Medicine, 32 (6): 403-409 (2002)An integrated software development methodology based on hierarchical colored Petri Nets., and . Applications and Theory of Petri Nets, volume 524 of Lecture Notes in Computer Science, page 227-252. Springer, (1990)The Application of General Net Theory - A Personal History.. Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 401-440. Springer, (1979)