☰

Rowan Davies, Ph.D. - Publications

Affiliations: 
2005 Carnegie Mellon University, Pittsburgh, PA 
Area:
Computer Science, Robotics
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2017 Davies R. A Temporal Logic Approach to Binding-Time Analysis Journal of the Acm. 64: 1-45. DOI: 10.1145/3011069  0.476
2014 Hales J, French T, Davies R. Refinement quantified logics of knowledge and belief for multiple agents Advances in Modal Logic. 9: 317-338. DOI: 10.1016/J.Entcs.2011.10.008  0.316
2001 Davies R, Pfenning F. A modal analysis of staged computation Journal of the Acm. 48: 555-604. DOI: 10.1145/382780.382785  0.553
2001 Pfenning F, Davies R. A judgmental reconstruction of modal logic Mathematical Structures in Computer Science. 11: 511-540. DOI: 10.1017/S0960129501003322  0.504
1998 Wickline P, Lee P, Pfenning F, Davies R. Modal types as staging specifications for run-time code generation Acm Computing Surveys. 30: 8. DOI: 10.1145/289121.289129  0.519
1995 Davies R. A Temporal-Logic Approach to Binding-Time Analysis Brics Report Series. 2. DOI: 10.7146/Brics.V2I51.19952  0.33
Show low-probability matches.