« 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

  • Solomon Gebreyohannes, William Edmonson, Albert Esterline, William Edmonson, Solomon Gebreyohannes, Albert Esterline (2018). (Formalization of the Responsive and Formal Design Process using Category Theory,). 2018, ). 12th Annual IEEE International Systems Conference,.
  • Seifemichael Amsalu, Abdollah Homaifar, Albert Esterline, Albert Esterline, Abdollah Homaifar, Seifemichael Amsalu (2017). (A Simplified Matrix Formulation for Sensitivity Analysis of Hidden Markov Models). (2) 10, pp. 97 ff. ). Algorithms.
  • Solomon Gebreyohannes, William Edmonson, Albert Esterline, , William Edmonson, Albert Esterline, Solomon Gebreyohannes (2017). (Formal Behavioral Requirements Management). ). IEEE Systems Journal.
  • William Nick, Kassahun Asamene, Gina Bullock, Albert Esterline, Mannur Sundaresan, Gina Bullock, Mannur Sundaresan, William Nick, 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, William Edmonson, Jules Chenou, Albert Esterline (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, Steven Jiang, Albert Esterline, Zongliang Jiang, Celestine Ntuen, Jules Chenou (2013). (Discovering Socio-behavioral Metrics in Mobile Ad-Hoc Systems). (6) 1, ). International Journal of Engineering Applications.