Konstantin Läufer

Cited by

	All	Since 2019
Citations	1131	117
h-index	17	5
i10-index	23	3

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320243 21 13 24 28 34 32 47 26 50 44 49 58 68 67 63 67 65 49 39 29 30 22 20 23 21 16 22 21 22 22 14

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

George K. Thiruvathukal, PhDProfessor/Chair, Loyola University Chicago; Visiting Computer Scientist, Argonne National LaboratoryVerified email at cs.luc.edu
Martin OderskyEPFLVerified email at epfl.ch
Lalita Jategaonkar JagadeesanNokia Bell LabsVerified email at nokia-bell-labs.com
Radha JagadeesanProfessor. School of Computing.Verified email at depaul.edu
Christopher ColbyVerified email at alum.mit.edu
Sarah KaylorLoyola University, ChicagoVerified email at etl.luc.edu
Gerald BaumgartnerAssociate Professor of Computer Science, Louisiana State UniversityVerified email at csc.lsu.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
Nicholas SynovicPh.D Research Assitant, Loyola University ChicagoVerified email at luc.edu
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
David B. DennisLoyola University ChicagoVerified email at luc.edu
catherine putontiProfessor, Biology & Microbiology and Immunology, Loyola ChicagoVerified email at luc.edu
Shilpika (FNU Shilpika)Argonne National Laboratory & University of California, DavisVerified email at anl.gov

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	208	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	157	1994
Type classes with existential types K Läufer Journal of Functional Programming 6 (3), 485-518, 1996	74	1996
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
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	58	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	57	1996
Safe structural conformance for Java K Läufer, G Baumgartner, VF Russo The Computer Journal 43 (6), 469-481, 2000	56	2000
Essential tools: Version control systems K Hinsen, K Läufer, GK Thiruvathukal Computing in science & engineering 11 (6), 84-91, 2009	36	2009
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	33	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,529,863, 2003	32	2003
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
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	21*	1998
A hike through post-EJB J2EE web application architecture K Läufer Computing in Science & Engineering 7 (5), 80-88, 2005	20	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	20	1998
Virtualization for Computational Scientists GK Thiruvathukal, K Hinsen, K Läufer, J Kaylor Computing in Science & Engineering 12 (4), 52-61, 2010	18	2010
Combining type classes and existential types K Läufer Proceedings of the Latin American Informatic Conference (PANEL), 24, 1994	17	1994
Unit testing considered useful GK Thiruvathukal, K Läufer, B Gonzalez Computing in Science & Engineering 8 (6), 76-87, 2006	14	2006
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	14	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