# Peter C. Fontana

According to our database

Collaborative distances:

^{1}, Peter C. Fontana authored at least 11 papers between 2011 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

CoRR, 2020

2017

ACM Comput. Surv., 2017

2016

A new data science research program: evaluation, metrology, standards, and community outreach.

Int. J. Data Sci. Anal., 2016

Proceedings of the 2016 IEEE International Conference on Big Data, 2016

2015

Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

The NIST data science evaluation series: Part of the NIST information access division data science initiative.

Proceedings of the 2015 IEEE International Conference on Big Data, 2015

2014

PhD thesis, 2014

ACM Comput. Surv., 2014

The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).

CoRR, 2014

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2011

Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011