Research output per year
Research output per year
Personal profile
About
Konstantin Läufer is a Professor of Computer Science at Loyola University Chicago.
Related documents
Research Interests
- Konstantin's current research focuses on functional and reactive languages and patterns, mobile/pervasive computing including the Internet of Things (IoT), software testing, structural and in-process software quality metrics, and digital music.
Disciplines
- OS and Networks
- Programming Languages and Compilers
- Software Engineering
- Systems Architecture
-
Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions
Läufer, K., Mertin, G., Thiruvathukal, G. K., Hurlburt, G. & Reisman, S., 2024, In: Computer. 57, 12, p. 118-123 6 p.Research output: Contribution to journal › Article › peer-review
-
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
Läufer, K., Mertin, G. & Thiruvathukal, G. K., 2024, 2024 IEEE Frontiers in Education Conference, FIE 2024 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings - Frontiers in Education Conference, FIE).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
New technologies as decision aids for the advancement of ecological risk assessment
Sinche Chele, F., Jimenez-Pazmino, P. & Läufer, K., Aug 28 2023, In: Integrated Environmental Assessment and Management. 19, 5Research output: Contribution to journal › Article › peer-review
-
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics
Synovic, N., Hyattt, M., Sethi, R., Thota, S., Shilpika, Miller, A. J., Jiang, W., Amobi, E. S., Pinderski, A., Läufer, K., Hayward, N. J., Klingensmith, N., Davis, J. C. & Thiruvathukal, G. K., Jan 5 2023, In: Computer Science: Faculty Publications and Other Works.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Zenodo: ACM/IEEE CS Curriculum Mapping Project - An Ongoing Study
Thiruvathukal, G. K., Laufer, K. & Läufer, K., May 1 2023, Zenodo.Research output: Book/Report › Book