Michael Nagel

According to our database¹, Michael Nagel authored at least 4 papers between 2006 and 2018.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2018

All CVD Boron Nitride Encapsulated Graphene FETs.

[BibT_eX]

[DOI]

Proceedings of the 76th Device Research Conference, 2018

2012

The QUARC Metamodel: A Communication-Based Generic Project Model.

[BibT_eX]

[DOI]

Michael Nagel

PhD thesis, 2012

Bounded Program Verification Using an SMT Solver: A Case Study.

[BibT_eX]

[DOI]

Tianhai Liu

Michael Nagel

Mana Taghdiri

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2006

Engaging Students in Distributed Software Engineering Courses.

[BibT_eX]

[DOI]

Proceedings of the Managing Development and Application of Digital Technologies, 2006

Michael Nagel

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...