Konstantin Läufer

Cited by

	All	Since 2018
Citations	1076	99
h-index	17	4
i10-index	22	3

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220233 20 8 28 26 33 30 46 24 50 46 50 59 71 62 60 68 65 45 42 28 30 21 21 20 22 15 24 19 16 3

Co-authors

George K. ThiruvathukalProfessor of Computer Science, Loyola University ChicagoVerified email at cs.luc.edu
Martin OderskyEPFLVerified email at epfl.ch
Lalita Jategaonkar JagadeesanNokia Bell LabsVerified email at nokia-bell-labs.com
Radha JagadeesanVerified email at cs.depaul.edu
Gerald BaumgartnerAssociate Professor of Computer Science, Louisiana State UniversityVerified email at csc.lsu.edu
Sarah KaylorLoyola University, ChicagoVerified email at etl.luc.edu
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Peter J. DanielsenVerified email at uwalumni.com
Konrad HinsenCentre de Biophysique Moléculaire (CNRS), Orléans, FranceVerified email at cnrs.fr
Chandra SekharanProfessor and Chair of Computer Science, Texas A&M University Corpus Christi
Martin JanscheGoogle Inc.Verified email at acm.org
Patrice GodefroidLaceworkVerified email at lacework.net
Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
Guido WirtzFull Professor for Practical Computer Science, Distributed Systems Group, Bamberg UniversityVerified email at uni-bamberg.de
Vineet GuptaGoogle IncVerified email at google.com
Mark LewisProfessor of Computer Science, Trinity UniversityVerified email at trinity.edu
William L. HonigAssociate Professor of Computer Science, Loyola University ChicagoVerified email at luc.edu
catherine putontiProfessor, Biology & Microbiology and Immunology, Loyola ChicagoVerified email at luc.edu
Thomas HatzopoulosVerified email at luc.edu
David B. DennisLoyola University ChicagoVerified email at luc.edu

Konstantin Läufer

Professor of Computer Science, Loyola University Chicago

Verified email at cs.luc.edu - Homepage

Programming Languages Software Architecture Distributed Systems Mobile and Pervasive Computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Putting type annotations to work M Odersky, K Läufer Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996	195	1996
Polymorphic type inference and abstract data types K Läufer, M Odersky ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1411-1430, 1994	147	1994
Polymorphic Type Inference and Abstract Data Types K Läufer New York University, 1992	147	1992
Sisl: Several interfaces, single logic T Ball, C Colby, P Danielsen, LJ Jagadeesan, R Jagadeesan, K Läufer, ... International Journal of Speech Technology 3, 93-108, 2000	73	2000
Type classes with existential types K Läufer Journal of Functional Programming 6 (3), 485-518, 1996	69	1996
An extension of ML with first-class abstract types K Läufer, M Odersky ACM SIGPLAN Workshop on ML and its Applications, 78-91, 1992	58	1992
Safe structural conformance for Java K Läufer, G Baumgartner, VF Russo The Computer Journal 43 (6), 469-481, 2000	57	2000
A Framework for Higher-Order Functions in C++ K Laufer	56	1995
On the interaction of object-oriented design patterns and programming languages G Baumgartner, K Läufer, VF Russo Purdue University Department of Computer Science Technical Report, 1996	53	1996
Essential tools: Version control systems K Hinsen, K Läufer, GK Thiruvathukal Computing in science & engineering 11 (6), 84-91, 2009	32	2009
Method and apparatus for providing interactive services with multiple interfaces TJ Ball, PJ Danielsen, LJ Jagadeesan, K Läufer, PA Mataga, KG Rehor, ... US Patent 6,529,863, 2003	32	2003
Half & Half: Multiple dispatch and retroactive abstraction for Java G Baumgartner, M Jansche, K Läufer Technical Report OSU-CISRC-5/01-TR08, Ohio State University, 2002	32	2002
Method and apparatus for providing interactive services with multiple interfaces TJ Ball, PJ Danielsen, LJ Jagadeesan, K Läufer, PA Mataga, KG Rehor, ... US Patent 6,609,089, 2003	24	2003
Plone and content management GK Thiruvathukal, K Läufer Computing in Science & Engineering 6 (4), 88-95, 2004	23	2004
A hike through post-EJB J2EE web application architecture K Läufer Computing in Science & Engineering 7 (5), 80-88, 2005	22	2005
Design and implementation of Triveni: a process-algebraic API for threads+ events C Colby, LJ Jagadeesan, R Jagadeesan, K Läufer, C Puchol Computer Languages, 1998. Proceedings. 1998 International Conference on, 58-67, 1998	21	1998
Objects and processes in Triveni: A telecommunication case study in java C Colby, LJ Jagadeesan, R Jagadeesan, K Läufer, C Puchol Proceedings of the 1998 Usenix Conference on Object Oriented Techonologies …, 1998	19*	1998
Combining type classes and existential types K Läufer Proceedings of the Latin American Informatic Conference (PANEL), 1994	17	1994
Virtualization for Computational Scientists GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor Computing in Science & Engineering 12 (4), 52-61, 2010	15	2010
Automated systematic testing for constraint-based interactive services P Godefroid, LJ Jagadeesan, R Jagadeesan, K Läufer ACM SIGSOFT Software Engineering Notes 25 (6), 40-49, 2000	15	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors