Konstantin Läufer

	2009
18		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
17		Matt Bone, Peter F. Nabicht, Konstantin Läufer, George K. Thiruvathukal: Taming XML: Objects first, then markup. EIT 2008: 488-493
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		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		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

Coauthor Index

1	Gerald Baumgartner	[9]
2	Matt Bone	[17]
3	Christopher Colby	[6] [7] [8]
4	Patrice Godefroid	[10]
5	Zhiguo Gong	[12]
6	Benjamin Gonzalez	[13]
7	Vineet Gupta	[11]
8	Moshe Gutman	[18]
9	S. Herr	[16]
10	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[6] [7] [8] [10] [11]
11	Radha Jagadeesan	[6] [7] [8] [10] [11]
12	Xiaowei Jiang	[11]
13	Yogesh Kanitkar	[15]
14	Changwook Kim	[18]
15	Neeraj Mehta	[15]
16	Peter F. Nabicht	[17]
17	Martin Odersky	[1] [2] [5]
18	Carlos Puchol	[6] [7] [8]
19	Sridhar Radhakrishnan	[18]
20	Vincent F. Russo	[9]
21	Chandra N. Sekharan	[18]
22	J. Shafaee	[16]
23	George K. Thiruvathukal	[13] [15] [16] [17]
24	Guido Wirtz	[16]
25	Jia Zhang	[12]

Colors in the list of coauthors