Daniel S. Dantas - Concepedia

Author

Daniel S. Dantas

Also Known As

Daniel S Dantas, Daniel S. Dantas

Publications

457

Citations

H-Index

Concepts

All Affiliations

Daniel S. Dantas is an author at Princeton University specializing in computer science, engineering, and program analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	373
2	Computer Science	5	5	373
3	Computer Engineering	2	2	178
4	Data Science	1	1	49
5	Systems Engineering	1	1	151

Daniel S. Dantas

Publications

443

Citations

H-Index

Page 1

	Year	Citations
On the need for system-level support for ad hoc and sensor networks Rimon Barr, John Bicket, Daniel S. Dantas, ACM SIGOPS Operating Systems Review Cluster ComputingEngineeringWireless RoutingWireless Sensor SystemAd Hoc Networks	2002	151
Harmless advice Daniel S. Dantas, David Walker EngineeringInformation SecuritySoftware EngineeringSoftware AnalysisFormal Verification	2006	132
A simple and expressive semantic framework for policy composition in access control Glenn Bruns, Daniel S. Dantas, Michael Huth	2007	55
AspectML Daniel S. Dantas, David Walker, Geoffrey Washburn, ACM Transactions on Programming Languages and Systems EngineeringType TheoryVerificationSoftware EngineeringLocal Type Inference	2008	49
Poly <sub>AML</sub> Daniel S. Dantas, David Walker, Geoffrey Washburn, EngineeringType TheoryVerificationSoftware EngineeringAspect-oriented Programming Language	2005	27
Aspects, Information Hiding and Modularity Daniel S. Dantas, David Walker	2003	15
Harmless advice Daniel S. Dantas, David Walker ACM SIGPLAN Notices EngineeringInformation SecuritySoftware EngineeringSoftware AnalysisFormal Verification	2006	14

Page 1