2008 |
16 | | 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 |
15 | EE | 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 |
14 | EE | 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 | EE | 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 | EE | 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 | EE | Patrice Godefroid,
Lalita Jategaonkar Jagadeesan,
Radha Jagadeesan,
Konstantin Läufer:
Automated systematic testing for constraint-based interactive services.
SIGSOFT FSE 2000: 40-49 |
9 | EE | Konstantin Läufer,
Gerald Baumgartner,
Vincent F. Russo:
Safe Structural Conformance for Java.
Comput. J. 43(6): 469-481 (2000) |
1998 |
8 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Konstantin Läufer:
A Framework for Higher-Order Functions in C++.
COOTS 1995 |
1994 |
2 | EE | 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 |