|
Computer Science |
North Carolina A&T State University |
 |
| |
| |
|
Dr. Albert Esterline
|
| |
|
Associate Professor
Department of Computer Science |
 |
|
Education: |
| |
Ph.D., Computer Science, University of Minnesota, 1992
M.S., Mathematics, University of Minnesota, 1992
Ph.D., Philosophy, University of St. Andrews, 1981
M.Litt. Philosophy, University of St. Andrews, 1971
B.A. Philosophy, Lawrence University, 1969 |
|
Area of Interest: |
|
Multiagent systems, Formal methods, E-commerce, AI, Service-oriented architectures |
|
|
Selected Publications: |
|
|
- A. C. Esterline and T. Rorie, "Using the p-Calculus to Model Multiagent Systems," in C. Rouff et al. (eds.), Formal Approaches to Agent-Based Systems, Springer-Verlag, 2001.
- Esterline, A. C., “Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions,” in Hinchey, M.G. et al. (eds.), Formal Approaches to Agent-Based Systems, Springer, LNAI/LNCS Vol. 2699, 2006
- Esterline, A., Rorie, T., and Homaifar, A., “A Process-Algebraic Agent Abstraction. In Rouff, C. A. et al. (eds.), Agent Technology from a Formal Perspective. Springer, 2006, pp. 99-137.
- Hughes, J., Esterline, A. and Kimiaghalam, B., “Means-End Relations and a Measure of Efficacy,” Journal of Logic, Language and Information, Vol. 15, No. 1, 2006.
- Esterline, A.C., BouSaba, C., Homaifar, A., and Pioro, B., “Hierarchies, Holons, and Agent Coordination.” In Michael G Hinchey et al. (Eds.), Innovative Concepts for Autonomic and Agent-Based Systems, Springer-Verlag (LNCS 3825), 2006.
|
| |
Contact: |
| |
|
Department of Computer Science
NC A&T University, Greensboro, NC 27411
Phone: (336) 334-7245, ext. 462
E-mail: esterlin@ncat.edu
|
| |
| |
For more information: |
| |
|
www.ncat.edu/~esterlin/ |
| |
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
Go Back |
| |
|
|
|
|
|