Konstantin Läufer

Cited by

	All	Since 2018
Citations	1110	116
h-index	16	5
i10-index	22	3

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220233 21 14 24 26 34 35 58 26 49 44 51 58 70 62 59 66 64 49 39 28 29 22 20 23 20 16 24 19 23 14

Co-authors

George K. Thiruvathukal, PhDProfessor and Chairperson, Loyola University Chicago; Visiting Computer Scientist, Argonne NationalVerified email at cs.luc.edu
Martin OderskyEPFLVerified email at epfl.ch
Radha JagadeesanVerified email at cs.depaul.edu
Lalita Jategaonkar JagadeesanNokia Bell LabsVerified email at nokia-bell-labs.com
Christopher ColbyVerified email at alum.mit.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
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
William L. HonigAssociate Professor of Computer Science, Loyola University ChicagoVerified email at luc.edu
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
catherine putontiProfessor, Biology & Microbiology and Immunology, Loyola ChicagoVerified email at luc.edu
David B. DennisLoyola University ChicagoVerified email at luc.edu
Shilpika (FNU Shilpika)University of California, DavisVerified email at ucdavis.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	202	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	148	1994
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	75	2000
Type classes with existential types K Läufer Journal of Functional Programming 6 (3), 485-518, 1996	71	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	60	1992
A Framework for Higher-Order Functions in C++ K Laufer	59	1995
Safe structural conformance for Java K Läufer, G Baumgartner, VF Russo The Computer Journal 43 (6), 469-481, 2000	58	2000
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	56	1996
Essential tools: Version control systems K Hinsen, K Läufer, GK Thiruvathukal Computing in science & engineering 11 (6), 84-91, 2009	34	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
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	22	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	22*	1998
A hike through post-EJB J2EE web application architecture K Läufer Computing in Science & Engineering 7 (5), 80-88, 2005	19	2005
Virtualization for Computational Scientists GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor Computing in Science & Engineering 12 (4), 52-61, 2010	16	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	16	2000
Combining type classes and existential types K Läufer Proceedings of the Latin American Informatic Conference (PANEL), 1994	16	1994
Unit testing considered useful GK Thiruvathukal, K Läufer, B Gonzalez Computing in Science & Engineering 8 (6), 76-87, 2006	13	2006

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