default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKonstantin Läufer
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j19]Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal:
Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions. Computer 57(12): 118-123 (2024)- [i7]Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal:
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+. CoRR abs/2407.21152 (2024) - [i6]Huiyun Peng, Arjun Gupte, Nicholas John Eliopoulos, Chien Chou Ho, Rishi Mantri, Leo Deng, Wenxin Jiang, Yung-Hsiang Lu, Konstantin Läufer, George K. Thiruvathukal, James C. Davis:
Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions. CoRR abs/2410.09241 (2024) - 2022
- [c23]Konstantin Läufer, George K. Thiruvathukal:
UnoAPI: Balancing Performance, Portability, and Productivity (P3) in HPC Education. EduHPC@SC 2022: 1-10 - [c22]Nicholas M. Synovic
, Matt Hyatt, Rohan Sethi, Sohini Thota, Shilpika, Allan J. Miller, Wenxin Jiang, Emmanuel S. Amobi, Austin Pinderski, Konstantin Läufer, Nicholas J. Hayward, Neil Klingensmith, James C. Davis, George K. Thiruvathukal:
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics. ASE 2022: 167:1-167:4 - [i5]Nicholas Synovic, Matt Hyatt, Rohan Sethi, Sohini Thota, Shilpika, Allan J. Miller, Wenxin Jiang, Emmanuel S. Amobi, Austin Pinderski, Konstantin Läufer, Nicholas J. Hayward, Neil Klingensmith, James C. Davis, George K. Thiruvathukal:
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics. CoRR abs/2207.11767 (2022)
2010 – 2019
- 2019
- [c21]Konstantin Läufer, John O'Sullivan, George K. Thiruvathukal:
Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait. SCALA@ECOOP 2019: 17-21 - [i4]Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo:
On the Interaction of Object-Oriented Design Patterns and Programming Languages. CoRR abs/1905.13674 (2019) - 2018
- [p1]Konstantin Läufer, George K. Thiruvathukal:
Managing Concurrency in Mobile User Interfaces with Examples in Android. Topics in Parallel and Distributed Computing 2018: 243-285 - [i3]George K. Thiruvathukal, Shilpika, Nicholas J. Hayward, Konstantin Läufer:
Metrics Dashboard: A Hosted Platform for Software Quality Metrics. CoRR abs/1804.02053 (2018) - [i2]Konstantin Läufer, John O'Sullivan, George K. Thiruvathukal:
Auto-generated Spies Increase Test Maintainability. CoRR abs/1808.09630 (2018) - 2017
- [i1]Konstantin Läufer, George K. Thiruvathukal:
Teaching Concurrent Software Design: A Case Study Using Android. CoRR abs/1705.02899 (2017) - 2015
- [c20]William L. Honig, Konstantin Läufer, George K. Thiruvathukal:
A framework architecture for student learning in distributed embedded systems. SIES 2015: 148-151 - 2014
- [c19]Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal:
Scala for introductory CS and parallelism(abstract only). SIGCSE 2014: 741 - 2013
- [c18]Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal:
Using Scala strategically across the undergraduate curriculum (abstract only). SIGCSE 2013: 763 - 2012
- [c17]Joseph P. Kaylor, Konstantin Läufer, George K. Thiruvathukal:
Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework. EIT 2012: 1-6 - 2011
- [j18]Konstantin Läufer, George K. Thiruvathukal, David B. Dennis:
Moving Academic Department Functions to Social Networks and Clouds: Initial Experiences. Comput. Sci. Eng. 13(5): 84-89 (2011) - [c16]Joe Kaylor, Konstantin Läufer, George K. Thiruvathukal:
REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers. ICSOFT (1) 2011: 166-171 - [c15]David B. Dennis, Konstantin Läufer, George K. Thiruvathukal:
Initial Experience in Moving Key Academic Department Functions to Social Networking Sites. ICSOFT (1) 2011: 185-191 - [c14]Joe Kaylor, Konstantin Läufer, George K. Thiruvathukal:
RestFS: resources and services are filesystems, too. WS-REST 2011: 39-46 - 2010
- [j17]George K. Thiruvathukal, Konrad Hinsen, Konstantin Läufer, Joe Kaylor:
Virtualization for Computational Scientists. Comput. Sci. Eng. 12(4): 52-61 (2010)
2000 – 2009
- 2009
- [j16]Konstantin Läufer, George K. Thiruvathukal, Ryohei Nishimura, Carlos Ramirez Martinez-Eiroa:
Putting a Slug to Work. Comput. Sci. Eng. 11(2): 62-68 (2009) - [j15]Konstantin Läufer, George K. Thiruvathukal:
The Promises of Typed, Pure, and Lazy Functional Programming: Part II. Comput. Sci. Eng. 11(5): 68-75 (2009) - [j14]Konrad Hinsen, Konstantin Läufer, George K. Thiruvathukal:
Essential Tools: Version Control Systems. Comput. Sci. Eng. 11(6): 84-91 (2009) - [c13]Moshe Gutman, Sridhar Radhakrishnan, Changwook Kim, Chandra N. Sekharan, Konstantin Läufer:
GroupSpeak: High-level Language Extension for Workflow Capability. ICWS 2009: 1035-1036 - 2008
- [j13]Konstantin Läufer:
A Stroll through Domain-Driven Development with Naked Objects. Comput. Sci. Eng. 10(3): 76-83 (2008) - [j12]George K. Thiruvathukal, Konstantin Läufer:
What I Did on My Summer Vacation. Comput. Sci. Eng. 10(6): 76-81 (2008) - [c12]Matt Bone, Peter F. Nabicht, Konstantin Läufer, George K. Thiruvathukal:
Taming XML: Objects first, then markup. EIT 2008: 488-493 - [c11]S. Herr, Konstantin Läufer, J. Shafaee, George K. Thiruvathukal, Guido Wirtz:
Combining SOA and BPM Technologies for Cross-System Process Automation. SEKE 2008: 339-344 - 2007
- [j11]Konstantin Läufer, George K. Thiruvathukal, Benjamin Gonzalez:
A Hike through a Post-EJB J2EE Web Application Architecture, Part III. Comput. Sci. Eng. 9(1): 82-95 (2007) - [c10]Neeraj Mehta, Yogesh Kanitkar, Konstantin Läufer, George K. Thiruvathukal:
A Model-Driven Approach to Job/Task Composition in Cluster Computing. IPDPS 2007: 1-8 - 2006
- [j10]Konstantin Läufer:
A Hike through Post-EJB J2EE Web Application Architecture, Part II. Comput. Sci. Eng. 8(2): 79-87 (2006) - [j9]George K. Thiruvathukal, Konstantin Läufer, Benjamin Gonzalez:
Unit Testing Considered Useful. Comput. Sci. Eng. 8(6): 76-87 (2006) - 2005
- [j8]Konstantin Läufer:
A hike through post-EJB J2EE Web application architecture. Comput. Sci. Eng. 7(5): 80-88 (2005) - 2004
- [j7]George K. Thiruvathukal, Konstantin Läufer:
Natural XML for data binding, processing, and persistence. Comput. Sci. Eng. 6(2): 86-92 (2004) - [j6]George K. Thiruvathukal, Konstantin Läufer:
Plone and content management. Comput. Sci. Eng. 6(4): 88-95 (2004) - 2003
- [c9]Jia Zhang, Konstantin Läufer, Zhiguo Gong:
Mockup Supporting Web Requirements Engineering. International Conference on Internet Computing 2003: 684-687 - 2000
- [j5]Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo:
Safe Structural Conformance for Java. Comput. J. 43(6): 469-481 (2000) - [j4]Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor:
Sisl: Several Interfaces, Single Logic. Int. J. Speech Technol. 3(2): 93-108 (2000) - [j3]Radha Jagadeesan, Konstantin Läufer, Vineet Gupta:
The Triveni project. ACM SIGSOFT Softw. Eng. Notes 25(1): 59 (2000) - [c8]Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer:
A Constraint-Based Framework for Prototyping Distributed Virtual Applications. CP 2000: 202-217 - [c7]Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer:
Automated systematic testing for constraint-based interactive services. SIGSOFT FSE 2000: 40-49
1990 – 1999
- 1998
- [c6]Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java. COOTS 1998: 131-149 - [c5]Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. ICCL 1998: 58-67 - 1997
- [c4]Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol:
The Semantics of Triveni: A Process-Algebraic API for Threads + Events. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 107-133 - 1996
- [j2]Konstantin Läufer:
Type Classes with Existential Types. J. Funct. Program. 6(3): 485-517 (1996) - [c3]Martin Odersky, Konstantin Läufer:
Putting Type Annotations to Work. POPL 1996: 54-67 - 1995
- [c2]Konstantin Läufer:
A Framework for Higher-Order Functions in C++. COOTS 1995 - 1994
- [j1]Konstantin Läufer, Martin Odersky:
Polymorphic Type Inference and Abstract Data Types. ACM Trans. Program. Lang. Syst. 16(5): 1411-1430 (1994) - 1992
- [b1]Konstantin Läufer:
Polymorphic Type Inference and Abstract Data Types. New York University, USA, 1992 - 1991
- [c1]Konstantin Läufer, Martin Odersky:
Type Classes are Signatures of Abstract Types. Declarative Programming 1991: 148-162
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 19:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
