Peter C. Fontana
According to our database1, Peter C. Fontana authored at least 11 papers between 2011 and 2020.
Legend:Book In proceedings Article PhD thesis Other
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
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
The Power of Proofs: New Algorithms for Timed Automata Model Checking (with Appendix).
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011