Peter C. Fontana
Affiliations:- National Institute of Standards and Technology, Gaithersburg, MD, USA
- University of Maryland, College Park, MD, USA (PhD 2014)
According to our database1,
Peter C. Fontana
authored at least 12 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
2020
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 (IEEE BigData 2016), 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 (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015
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