( en | de | ru )

 

Disambiguation of "Johnson, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.

, and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 587-590. Springer, (1996)

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.

Aaron Michael Johnson

Johnson Michael Kallidukil

David Johnson

Gerhard Johnson

Verena Johnson

 

Other publications of authors with the same name

Supplying Air Warfare Capability Through High-Performance Computing., , , , , and . Comput. Sci. Eng., 12 (5): 18-26 (2010)A study of e-market adoption barriers in the local government sector.. J. Enterp. Inf. Manag., 25 (6): 509-536 (2012)Public sector e-procurement: a study of benefits from e-markets in the local government sector.. Int. J. Serv. Technol. Manag., 16 (1): 1-27 (2011)Universal Arrow Foundations for Visual Modeling., , , and . Diagrams, volume 1889 of Lecture Notes in Computer Science, page 345-360. Springer, (2000)Regression with Uncertainty Quantification in Large Scale Complex Data., , and . CoRR, (2019)Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly., , , , , , , and . Appl. Categorical Struct., 19 (1): 1-7 (2011)Symmetric delta lenses and spans of asymmetric delta lenses., and . J. Object Technol., 16 (1): 2:1-32 (2017)Fibrations and universal view updatability., and . Theor. Comput. Sci., 388 (1-3): 109-129 (2007)Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive., and . Bx@PLW, volume 2355 of CEUR Workshop Proceedings, page 66-70. CEUR-WS.org, (2019)The Effects of a Robot's Performance on Human Teachers for Learning from Demonstration Tasks., , and . HRI, page 207-215. ACM, (2021)