Marek Gawkowski

According to our database¹, Marek Gawkowski authored at least 5 papers between 2002 and 2008.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2008

Formal framework for proof generating optimizers.

[BibT_eX]

[DOI]

Marek Gawkowski

PhD thesis, 2008

2004

Towards Proof Generating Compilers.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Marek Gawkowski

Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004

2003

Bytecode Verification by Model Checking.

[BibT_eX]

[DOI]

David A. Basin

Stefan Friedrich

Marek Gawkowski

J. Autom. Reason., 2003

2002

Verified Bytecode Model Checkers.

[BibT_eX]

[DOI]

David A. Basin

Stefan Friedrich

Marek Gawkowski

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

Bytecode Model Checking: An Experimental Analysis.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Marek Gawkowski

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...