Nicholas R. Radcliffe

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Term Rewrite Systems

Database Theory

Prime Implicates

Top Venues

ACM Trans. Comput. Log.

Parallel Comput.

Publications

Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma
Uniqueness of Normal Forms for Shallow Term Rewrite Systems. ACM Trans. Comput. Log. 18 (2) (2017)
Nicholas R. Radcliffe, Luis F. T. Moraes, Rakesh M. Verma
Uniqueness of Normal Forms for Shallow Term Rewrite Systems. CoRR (2016)
Masha Sosonkina, Layne T. Watson, Nicholas R. Radcliffe, Raphael T. Haftka, Michael W. Trosset
Adjusting process count on demand for petascale global optimization. Parallel Comput. 39 (1) (2013)
Nicholas R. Radcliffe, Layne T. Watson, Masha Sosonkina
A comparison of alternatives for communicating with spawned processes. ACM Southeast Regional Conference (2011)
Nicholas R. Radcliffe, Masha Sosonkina, Layne T. Watson
Communication with spawned processes. SpringSim (HPC) (2011)
Nicholas R. Radcliffe, David R. Easterling, Layne T. Watson, Michael L. Madigan, Kathleen A. Bieryla
Results of two global optimization algorithms applied to a problem in biomechanics. SpringSim (2010)
Nicholas R. Radcliffe, Rakesh M. Verma
Uniqueness of Normal Forms is Decidable for Shallow Term Rewrite Systems. FSTTCS (2010)