Michael Hartwig

According to our database, Michael Hartwig authored at least 3 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2011

On the Relationship between Proof Writing and Programming: Some Conclusions for Teaching Future Software Developers.

Michael Hartwig

Proceedings of the Software Engineering and Computer Systems, 2011

2010

On the Density of Regular and Context-Free Languages.

Michael Hartwig

Proceedings of the Computing and Combinatorics, 16th Annual International Conference, 2010

2008

Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability.

Michael Hartwig, Somnuk Phon-Amnuaisuk

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008