« RETURN TO DIRECTORY

Albert C Esterline

Associate Professor

North Carolina Agricultural and Technical State University
Contact
McNair Hall 517
Education
M.S.Mathematics / University of Minnesota Twin Cities
Ph.D.Computer and Information Sciences / University of Minnesota Twin Cities
B.A. / Lawrence University
M.S.Mathematics / University of Minnesota Twin Cities
Ph.D.Computer and Information Sciences / University of Minnesota Twin Cities
B.A. / Lawrence University

Research Interests

Dr. Esterline’s research includes the area of formal methods: classical formalisms (such as Hoare logic, Z, and VDM) and especially concurrency formalisms (including SPIN. CSP, the pi-calculus, part-whole statecharts, and modal and temporal logics), which research has been supported by NASA. He applies category theory, especially in systems engineering (with NASA). Dr. Esterline’s research on multiagent systems has been supported by the Army and NASA; it relates especially to concurrency formalisms and computational microeconomics. NOAA has supported work on multiagent systems for weather monitoring. His enhancement of the WebID single sign-o

Dr. Esterline’s research includes the area of formal methods: classical formalisms (such as Hoare logic, Z, and VDM) and especially concurrency formalisms (including SPIN. CSP, the pi-calculus, part-whole statecharts, and modal and temporal logics), which research has been supported by NASA. He applies category theory, especially in systems engineering (with NASA). Dr. Esterline’s research on multiagent systems has been supported by the Army and NASA; it relates especially to concurrency formalisms and computational microeconomics. NOAA has supported work on multiagent systems for weather monitoring. His enhancement of the WebID single sign-o

External URL

esterline.ncat.edu

esterline.ncat.edu

Recent Publications

  • Christopher Kelley, Albert Esterline, Kaushik Roy (2019). (An Empirical Evaluation of User Movement Data on Smartphones). (04) 18, pp. 1950025 ). International Journal of Computational Intelligence and Applications.
  • Janelle Mason, Kaushik Roy, Albert Esterline (2019). (A Framework to Identify People in Unstructured Environments Incorporating Biometrics). (Security, Privacy, and Anonymity in Computation, Communication, and Storage) pp. 65-75 ). Springer International Publishing.
  • Solomon Gebreyohannes, William Edmonson, Albert Esterline, Solomon Gebreyohannes, Albert Esterline, William Edmonson (2018). (Formalization of the Responsive and Formal Design Process using Category Theory,). 2018, ). 12th Annual IEEE International Systems Conference,.
  • Janelle Mason, Albert Esterline, Kaushik Roy (2018). (An Evaluation of User Movement Data). (Lecture Notes in Computer Science) pp. 729-735 ). Springer International Publishing.
  • Solomon Gebreyohannes, William Edmonson, Albert Esterline, , Solomon Gebreyohannes, Albert Esterline, William Edmonson (2017). (Formal Behavioral Requirements Management). ). IEEE Systems Journal.
  • Seifemichael Amsalu, Abdollah Homaifar, Albert Esterline, Abdollah Homaifar, Albert Esterline, Seifemichael Amsalu (2017). (A Simplified Matrix Formulation for Sensitivity Analysis of Hidden Markov Models). (2) 10, pp. 97 ff. ). Algorithms.
  • William Nick, Kassahun Asamene, Gina Bullock, Albert Esterline, Mannur Sundaresan, William Nick, Gina Bullock, Mannur Sundaresan, Albert Esterline (2015). (A Study of Machine Learning Techniques for Detecting and Classifying Structural Damage). (4) 5, pp. 313-318 ). International Journal of Machine Learning and Computing.
  • Foysal Ahmad, Kaushik Roy, Brian O'Connor, Joseph Shelton, Pablo Arias, Albert Esterline, Gerry Dozier, Albert Esterline, Gerry Dozier, Foysal Ahmad, Kaushik Roy (2015). (Face recognition utilizing patch based game theory). (4) 5, pp. 5 ). International Journal of Machine Learning and Computing.
  • Jules Chenou, Albert Esterline, William Edmonson, Jules Chenou, Albert Esterline, William Edmonson (2014). (Capturing the Dynamism of Situation in the Flow of Information). (2) 9, pp. 302-309 ). International Review on Computers and Software.
  • Jules Chenou, Albert Esterline, Celestine Ntuen, Steven Jiang, Zongliang Jiang, Celestine Ntuen, Steven Jiang, Zongliang Jiang, Albert Esterline, Jules Chenou (2013). (Discovering Socio-behavioral Metrics in Mobile Ad-Hoc Systems). (6) 1, ). International Journal of Engineering Applications.