Concepedia

Daniel S. Dantas

DS

7

Publications

443

Citations

7

H-Index

2002

Active since

Affiliations

Princeton University(Current)

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

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringSystem SoftwareVerification

Publications per year

2002–2008

7

Publications

7

On the need for system-level support for ad hoc and sensor networks

Rimon Barr, John Bicket, Daniel S. Dantas et al. · ACM SIGOPS Operating Systems Review · 2002 · 151 citations

Cluster Computing, Engineering, Wireless Routing +19

Harmless advice

Daniel S. Dantas, David Walker · 2006 · 132 citations

Engineering, Information Security, Software Engineering +16

A simple and expressive semantic framework for policy composition in access control

Glenn Bruns, Daniel S. Dantas, Michael Huth · 2007 · 55 citations

Daniel S. Dantas, David Walker, Geoffrey Washburn et al. · ACM Transactions on Programming Languages and Systems · 2008 · 49 citations · Full text

Engineering, Type Theory, Verification +16

Poly <sub>AML</sub>

Daniel S. Dantas, David Walker, Geoffrey Washburn et al. · 2005 · 27 citations

Engineering, Type Theory, Verification +17

Rows per page

1–5 of 7