Daniel J. Fremont

12 papers and 175 indexed citations i.

Daniel J. Fremont has authored 12 papers that have received a total of 175 indexed citations. This includes 9 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Machine Learning and Algorithms (6 papers), Formal Methods in Verification (6 papers) and Bayesian Modeling and Causal Inference (5 papers). Daniel J. Fremont is often cited by papers focused on Machine Learning and Algorithms (6 papers), Formal Methods in Verification (6 papers) and Bayesian Modeling and Causal Inference (5 papers) and collaborates with scholars based in United States, India and United Kingdom. Daniel J. Fremont's co-authors include Sanjit A. Seshia, Moshe Y. Vardi, Supratik Chakraborty, Alberto Sangiovanni‐Vincentelli and Kuldeep S. Meel and has published in prestigious journals such as Machine Learning