Michael Ernst

According to our database1, Michael Ernst authored at least 8 papers between 1996 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Task-Migration in eingebetteten Mehrkernsystemen.
Proceedings of the Logistik und Echtzeit, 2017

2016
Phasenmanagement eines hierarchisch-asynchronen Schedulers für Mehrkernprozessoren.
Proceedings of the Internet der Dinge, 2016

2015
The Prospects of Unlimited Category Theory: Doing What Remains to be Done.
Rew. Symb. Logic, 2015

Lightweight software verification with pluggable type-checking.
Proceedings of the XVIII IberoAmerican Conference on Software Engineering, 2015

2011
A Science Driven Production Cyberinfrastructure - the Open Science Grid.
J. Grid Comput., 2011

2009
Visualizing Proof Search for Theorem Prover Development.
Electr. Notes Theor. Comput. Sci., 2009

2004
The Grid2003 Production Grid: Principles and Practice.
, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,
Proceedings of the 13th International Symposium on High-Performance Distributed Computing (HPDC-13 2004), 2004

1996
Ein Vorschlag zum Einsatz von Wiederverwendungskonzepten im Workflow Management.
HMD - Praxis Wirtschaftsinform., 1996


  Loading...