Old Web
English
Sign In
Acemap
>
authorDetail
>
Daniel DaCosta
Daniel DaCosta
Testosterone
Prostate
Endocrinology
Cognition
Anxiety
4
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
SECURE MATHEMATICALLY- ASSURED COMPOSITION OF CONTROL MODELS
2017
Darren D. Cofer
John Backes
Andrew Gacek
Daniel DaCosta
Michael W. Whalen
Ihor Kuz
Gerwin Klein
Gernot Heiser
Lee Pike
Adam Foltzer
Michal Podhradský
Douglas Alan Stuart
Jason Grahan
Brett Michael Wilson
Show All
Source
Cite
Save
Citations (7)
Towards Reasoning About Properties of Imperative Programs using Linear Logic.
2015
arXiv: Logic in Computer Science
Daniel DaCosta
Show All
Source
Cite
Save
Citations (0)
Formation of Testosterone's 5alpha-Reduced, Versus Aromatized, Products Can Have Beneficial Cognitive and Anti-Anxiety Effects Without Negative Effects on Prostate or Sexual Behavior of Male Rats
2010
Daniel DaCosta
Show All
Source
Cite
Save
Citations (0)
1