 | 2009 |
| 24 |  | Moshe Gutman,
Sridhar Radhakrishnan,
Changwook Kim,
Chandra N. Sekharan,
Konstantin Läufer:
GroupSpeak: High-level Language Extension for Workflow Capability.
ICWS 2009: 1035-1036 |
| 23 |  | Konstantin Läufer,
George K. Thiruvathukal,
Ryohei Nishimura,
Carlos Ramirez Martinez-Eiroa:
Putting a Slug to Work.
Computing in Science and Engineering 11(2): 62-68 (2009) |
| 22 |  | Konstantin Läufer,
George K. Thiruvathukal:
The Promises of Typed, Pure, and Lazy Functional Programming: Part II.
Computing in Science and Engineering 11(5): 68-75 (2009) |
| 21 |  | Konrad Hinsen,
Konstantin Läufer,
George K. Thiruvathukal:
Essential Tools: Version Control Systems.
Computing in Science and Engineering 11(6): 84-91 (2009) |
| 2008 |
| 20 |  | Matt Bone,
Peter F. Nabicht,
Konstantin Läufer,
George K. Thiruvathukal:
Taming XML: Objects first, then markup.
EIT 2008: 488-493 |
| 19 |  | 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 |
| 18 |  | Konstantin Läufer:
A Stroll through Domain-Driven Development with Naked Objects.
Computing in Science and Engineering 10(3): 76-83 (2008) |
| 17 |  | George K. Thiruvathukal,
Konstantin Läufer:
What I Did on My Summer Vacation.
Computing in Science and Engineering 10(6): 76-81 (2008) |
| 2007 |
| 16 |  | 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 |
| 15 |  | Konstantin Läufer,
George K. Thiruvathukal,
Benjamin Gonzalez:
A Hike through a Post-EJB J2EE Web Application Architecture, Part III.
Computing in Science and Engineering 9(1): 82-95 (2007) |
| 2006 |
| 14 |  | Konstantin Läufer:
A Hike through Post-EJB J2EE Web Application Architecture, Part II.
Computing in Science and Engineering 8(2): 79-87 (2006) |
| 13 |  | George K. Thiruvathukal,
Konstantin Läufer,
Benjamin Gonzalez:
Unit Testing Considered Useful.
Computing in Science and Engineering 8(6): 76-87 (2006) |
| 2003 |
| 12 |  | Jia Zhang,
Konstantin Läufer,
Zhiguo Gong:
Mockup Supporting Web Requirements Engineering.
International Conference on Internet Computing 2003: 684-687 |
| 2000 |
| 11 |  | 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 |
| 10 |  | Patrice Godefroid,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer:
Automated systematic testing for constraint-based interactive services.
SIGSOFT FSE 2000: 40-49 |
| 9 |  | Konstantin Läufer,
Gerald Baumgartner,
Vincent F. Russo:
Safe Structural Conformance for Java.
Comput. J. 43(6): 469-481 (2000) |
| 1998 |
| 8 |  | 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 |
| 7 |  | 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 |
| 6 |  | Christopher Colby,
Lalita Jategaonkar,
Radha Jagadeesan,
Konstantin Läufer,
Carlos Puchol:
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1996 |
| 5 |  | Martin Odersky,
Konstantin Läufer:
Putting Type Annotations to Work.
POPL 1996: 54-67 |
| 4 |  | Konstantin Läufer:
Type Classes with Existential Types.
J. Funct. Program. 6(3): 485-517 (1996) |
| 1995 |
| 3 |  | Konstantin Läufer:
A Framework for Higher-Order Functions in C++.
COOTS 1995 |
| 1994 |
| 2 |  | Konstantin Läufer,
Martin Odersky:
Polymorphic Type Inference and Abstract Data Types.
ACM Trans. Program. Lang. Syst. 16(5): 1411-1430 (1994) |
| 1991 |
| 1 |  | Konstantin Läufer,
Martin Odersky:
Type Classes are Signatures of Abstract Types.
Declarative Programming 1991: 148-162 |