Joseph R. Harrison

Orcid: 0000-0003-2211-8977

According to our database¹, Joseph R. Harrison authored at least 5 papers between 2017 and 2022.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2022

A Hierarchical Database of One Million Websites.

[BibT_eX]

[DOI]

Proceedings of the IEEE Secure Development Conference, 2022

2020

Robust communications in Erlang

[BibT_eX]

[DOI]

Joseph R. Harrison

PhD thesis, 2020

2019

Runtime type safety for erlang/otp behaviours.

[BibT_eX]

[DOI]

Joseph R. Harrison

Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 2019

2018

Automatic detection of core Erlang message passing errors.

[BibT_eX]

[DOI]

Joseph R. Harrison

Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 2018

2017

Towards an Isabelle/HOL formalisation of core Erlang.

[BibT_eX]

[DOI]

Joseph R. Harrison

Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, 2017

Joseph R. Harrison

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...