Albert C Esterline

Associate Professor

Albert C Esterline
College of Engineering

Computer Science

McNair Hall 517
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

External URL


Recent Publications

  • L. Shamgah, T. Tadewos, A. Newaz, Ali Karimoddini, Albert Esterline (2022). (Reactive Planning and Control in Dynamic Adversarial Environments). (6) 68, pp. 3409 - 3424. IEEE Transactions on Automatic Control.
  • Janelle Mason, Rushit Dave, Prosenjit Chaterjee, Ieschecia Graham-Allen, Albert Esterline, Kaushik Roy (2020). (An Investigation of Biometric Authentication in the Healthcare Environment). 8, Array Elsevier.
  • Pramita Muhuri, Prosenjit Chaterjee, Xiaohong Yuan, Kaushik Roy, Albert Esterline (2020). (Using a Long Short-Term Memory Recurrent Neural Network (LSTM-RNN) to Classify Network Attacks). (5) 11, Information 2020.
  • Janelle Mason, Prosenjit Chatterjee, 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.
  • Christopher Kelley, Janelle Mason, 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, Christopher Kelley, Bisoye Olaleye, 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 (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 (2017). (A Simplified Matrix Formulation for Sensitivity Analysis of Hidden Markov Models). (2) 10, pp. 97 ff.. Algorithms.
  • Solomon Gebreyohannes, William Edmonson, Albert Esterline, (2017). (Formal Behavioral Requirements Management). IEEE Systems Journal.
  • William Nick, Kassahun Asamene, Gina Bullock, Albert Esterline, Mannur Sundaresan (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 (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 (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 (2013). (Discovering Socio-behavioral Metrics in Mobile Ad-Hoc Systems). (6) 1, International Journal of Engineering Applications.
  • Xiaohong Yuan, Kaushik Roy, Albert Esterline (Using a Long Short-Term Memory Recurrent Neural Network (LSTM-RNN) to Classify Network Attacks,). (5) 11, Information Journal, Special Issue on Machine Learning for Cyber-Security.