( en | de | ru )

 

Disambiguation of "Ernst, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
The Prospects of Unlimited Category Theory: Doing What Remains to be Done.

. Rev. Symb. Log., 8 (2): 306-327 (2015)

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.

Ernst Michael

Ernst Michael

Michael Ernst

Michael Ernst

Michael Ernst

 

Other publications of authors with the same name

Task-Migration in eingebetteten Mehrkernsystemen., , and . Echtzeit, page 49-58. Springer Vieweg, (2017)A Science Driven Production Cyberinfrastructure - the Open Science Grid., , , , , , , , , and 10 other author(s). J. Grid Comput., 9 (2): 201-218 (2011)Neue deutsche Rechtsvorschriften für die Verbringung von Abfällen. Umwelt, (2009)A Support Vector Regression Approach for Continuous Prediction of Ankle Angle and Moment During Walking: An Implication for Developing a Control Strategy for Active Ankle Prostheses., , , , , and . ICORR, page 727-733. IEEE, (2019)Lightweight software verification with pluggable type-checking.. CIbSE, page 838. Curran Associates, Inc., (2015)The Prospects of Unlimited Category Theory: Doing What Remains to be Done.. Rev. Symb. Log., 8 (2): 306-327 (2015)A Random Forest Approach for Continuous Prediction of Joint Angles and Moments During Walking: An Implication for Controlling Active Knee-Ankle Prostheses/Orthoses., , , , and . CBS, page 66-71. IEEE, (2019)Panel: Perspectives on Software Engineering., , , , and . ICSE, page 699-702. IEEE Computer Society, (2001)Summary: ICSE workshop on dynamic analysis (WODA 2003)., and . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, volume 6143 of Lecture Notes in Computer Science, page 1-2. Springer, (2010)