Daniel Ricketts - Concepedia

Author

Daniel Ricketts

Also Known As

Daniel Ricketts, Ricketts, Daniel

Publications

197

Citations

H-Index

Concepts

All Affiliations

Daniel Ricketts is an author at University of California San Diego specializing in formal methods, formal verification, and verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	62
2	Business	2	2	53
3	Computer Engineering	2	2	36
4	Management	1	1	34
5	Business Analytics	1	1	34

Daniel Ricketts

Publications

Citations

H-Index

Page 1

	Year	Citations
Maximizing profit using recommender systems Aparna Das, Claire Mathieu, Daniel Ricketts ArXiv.org Group RecommendersTraditional RecommendationPreference LearningInteractive MarketingRecommender Systems	2009	34
Safety Verification Using Barrier Certificates with Application to Double Integrator with Input Saturation and Zero-Order Hold Azad Ghaffari, Imoleayo Abel, Daniel Ricketts, Zero-order HoldEngineeringSample PeriodRobust ControlVerification	2018	19
Towards verification of hybrid systems in a foundational proof assistant Daniel Ricketts, Gregory Malecha, Mario Moisés Álvarez, EngineeringVerificationComputer-aided VerificationAutomated ProofTla-inspired Formalism	2015	17
Towards foundational verification of cyber-physical systems Gregory Malecha, Daniel Ricketts, Mario Moisés Álvarez, EngineeringVerificationComputer-aided VerificationModel CheckingSoftware Analysis	2016	16
Automating formal proofs for reactive systems Daniel Ricketts, Valentin Robert, Dongseok Jang, Software MaintenanceEngineeringVerificationSoftware EngineeringAutomated Proof	2014	10

Page 1