@InProceedings{HerrEtAl_SEKE_2008,
  author =	 {S. Herr and K. L{\"a}ufer and J. Shafaee and
                  G. K. Thiruvathukal and G. Wirtz},
  title =	 {Combining SOA and BPM Technologies for Cross-System
                  Process Automation},
  booktitle =	 {Proc. 20th Intl. Conf. on Software Engineering and
                  Knowledge Engineering (SEKE)},
  year =	 2008,
  month =	 jul
}

@InProceedings{BoneEtAl_EIT_2008,
  author =	 {Matt Bone and Peter F. Nabicht and Konstantin
                  L{\"a}ufer and George K. Thiruvathukal},
  title =	 {Taming XML: Objects First, Then Markup},
  booktitle =	 {Proc. IEEE Intl. Conf. on Electro/Information
                  Technology (EIT)},
  year =	 2008,
  month =	 may,
  URL =          "http://thatmattbone.com/files/betterxml.pdf"
}

@InProceedings{MehtaEtAl_IWJPDC_2007,
  author =	 "N. Mehta and Y. Kanitkar and K. L{\"a}ufer and
                  G. K. Thiruvathukal",
  title =	 "A Model-Driven Approach to Job/Task Composition in
                  Cluster Computing",
  booktitle =	 {Proc. 9th International Workshop on Java and
                  Components for Parallelism, Distribution and
                  Concurrency (IWJPDC)},
  year =	 2007,
  month =	 mar,
  URL =		 "http://www.cs.luc.edu/~laufer/papers/msec04.pdf"
}

@Misc{LauferEtAl_AOP_2003,
  author = 	 {K. L{\"a}ufer and G. K. Thiruvathukal and T. Elrad and A. Bader},
  title = 	 {Enhancing the {CS} Curriculum with with Aspect-Oriented Software Development ({AOSD}) and Early Experience},
  month =        sep,
  year = 	 2003
}

@Misc{LauferThiruvatukal_Extreme_2003,
  author = 	 {K. L{\"a}ufer and G. K. Thiruvathukal},
  title = 	 {The Extreme Software Development Series: An Open Curricular Framework for Applied Capstone Courses},
  month =        sep,
  year = 	 2003
}

@TechReport{BaiEtAl_Wireless_2003,
  author =       {T. Bai and C. K. Chung and K. L{\"a}ufer and
                  D. Rockwell and G. K. Thiruvathukal},
  title =        {A Multi-Platform Application Suite for Enhancing
                  {South} {Asian} Language Pedagogy},
  institution =  "Loyola University Chicago",
  year =         2003,
  month =        sep,
  URL =          "http://www.cs.luc.edu/~laufer/papers/wireless03.pdf" 
}

@InProceedings{ZhangLauferGong03,
  author = 	 {Zhang, J. and L{\"{a}}ufer, K. and Gong, Z.},
  title = 	 {Mockup-Supported Web Requirements Engineering},
  booktitle = {Proc. of the 2003 International Conference on Internet Computing (IC)},
  year = 	 2003,
  address = 	 {Las Vegas, USA},
  month = 	 {jun}
}

@TechReport{Laufer_Mixins_2003,
  author = "K. L{\"a}ufer",
  title =  "What Functional Programmers can Learn from the Visitor Pattern",
  institution =  "Loyola University Chicago",
  year =         2003,
  month =        mar,
  URL =          "http://www.cs.luc.edu/~laufer/papers/mixins03.pdf"
}

@InProceedings{Triveni_FSE_2000,
  author =       {P. Godefroid and L. Jategaonkar Jagadeesan and R. Jagadeesan and
  K. L{\"a}ufer},
  title =        {Automated Systematic Testing for Constraint-Based
  Interactive Services},
  booktitle =    {Proc. Foundations of Software Engineering},
  year =         2000,
  address =      {San Diego, CA},
  month =        nov,
  URL =          "http://www.cs.luc.edu/triveni/papers/fse2000.pdf"
}

@InProceedings{Triveni_PPCP_2000,
  author =       {V. Gupta and L. Jategaonkar Jagadeesan and R. Jagadeesan and X. Jiang and K. L{\"a}ufer},
  title =        {A Constraint-Based Framework for Prototyping
  Distributed Virtual Applications},
  booktitle =    {Proc. Principles and Practice of Constraint Programming (PPCP 2000)},
  year =         2000,
  address =      {Singapore},
  month =        sep,
  URL =          "http://www.cs.luc.edu/triveni/papers/ppcp2000.pdf"
}

@Article{Triveni_ENTCS_2000,
  author =       {C. Colby and L. Jategaonkar Jagadeesan and R.  Jagadeesan and K. 
  L{\"a}ufer and C. Puchol},
  title =        {The Semantics of {Triveni}: A Process-Algebraic {API} for Threads + Events},
  journal =      {Electronic Notes in Theoretical Computer Science},
  year =         2000,
  volume =       14,
  URL =          "http://www.cs.luc.edu/triveni/papers/entcs99.pdf"
}

@Article{Triveni_IJST_2000,
  author =       {T. Ball and C. Colby and P. Danielsen and L. Jategaonkar Jagadeesan and R. Jagadeesan and K. L{\"a}ufer and P. Mataga and K. Rehor},
  title =        {Sisl: several interfaces, single logic},
  journal =      {International Journal of Speech Technology},
  year =         2000,
  volume =       3,
  number =       2,
  pages =        {91--106},
  month =        jun,
  note =         {Kluwer Academic Publishers},
  URL =          "http://www.cs.luc.edu/triveni/papers/ijst2000.pdf"
}

@InProceedings{Triveni_OOPSLAEDU_1998,
  author =       {C. Colby and R.  Jagadeesan and K. 
  L{\"a}ufer and  C. Sekharan},
  title =        {Interaction, Concurrency, and {OOP} in the Curriculum: a
  Sophomore Course},
  booktitle =    {Proc. OOPSLA 1998 Educators' Symposium},
  year =         1998,
  address =      {Vancouver, Canada},
  month =        oct,
  URL =          "http://www.cs.luc.edu/triveni/papers/oopslaedu98.pdf"
}

@InProceedings{triveni-iccl98,
  author = 	 {Christopher Colby and Lalita {Jategaonkar Jagadeesan} 
		  and Radha Jagadeesan and Konstantin L{\"{a}}ufer and 
		  Carlos Puchol},
  title = 	 {Design and Implementation of Triveni: A Process-Algebraic
 		  API for Threads + Events},
  booktitle = 	 {Proc. Intl. Conf. on Computer Languages (ICCL '98)},
  year =	 1998,
  organization = {IEEE Computer Society},
  address =	 {Chicago},
  month =	 {May}
}

@InProceedings{triveni-coots98,
  author = 	 {Christopher Colby and Lalita {Jategaonkar Jagadeesan} 
		  and Radha Jagadeesan and Konstantin L{\"{a}}ufer and 
		  Carlos Puchol},
  title = 	 {Objects and Concurrency in Triveni: A Telecommunication 
		  Case Study in Java},
  booktitle = 	 {Conf. Object-Oriented Technologies and Systems (COOTS '98)},
  year =	 1998,
  organization = {USENIX},
  address =	 {Santa F{\'{e}}, Nuevo M{\'{e}}xico},
  month =	 {April}
}

@TechReport{laufer-baumgartner-russo:java-conformance,
  author = 	 "Konstantin L{\"{a}}ufer and Gerald Baumgartner and
		  Vincent F. Russo",
  title = 	 "Safe Structural Conformance in Java",
  institution =  "Purdue University",
  year = 	 1996,
  number =	 "CSD-TR-96-077",
  month =	 dec,
  URL = 	 "ftp://ftp.math.luc.edu/pub/laufer/papers/java-conformance.ps.gz"
}

@Article{laufer-jfp96,
  author  = "L{\"{a}}ufer, K.",
  title   = "Type Classes with Existential Types",
  journal = "Journal of Functional Programming",
  year    = 1996,
  month   = may,
  volume  = 6,
  number  = 3,
  pages   = "485--517",
  URL     = "ftp://ftp.math.luc.edu/pub/laufer/papers/haskell+extypes.ps.gz" 
}

@Misc{laufer:mcc96,
  author = 	 "Konstantin L{\"{a}}ufer",
  title =	 "An Open Environment for Common Gateway Interface
		  Programming", 
  howpublished = "to be presented at the Tenth Annual Midwest
		  Computer Conference, March 1996, Chicago, IL", 
  year =	 1996,
  month =	 mar,
  URL =          "ftp://ftp.math.luc.edu/pub/laufer/papers/mcc96.ps.gz"
}

@TechReport{baumgartner-laufer-russo:interactions,
  author = 	 "Gerald Baumgartner and Konstantin L{\"{a}}ufer and
		  Vincent F. Russo",
  title = 	 "On the Interaction of Object-Oriented
	      	  Design Patterns and Programming Languages",
  institution =  "Purdue University",
  year = 	 1996,
  number =	 "CSD-TR-96-020",
  month =	 feb,
  URL = 	 "ftp://ftp.math.luc.edu/pub/laufer/papers/interactions.ps.gz"
}

@InProceedings{odersky-laufer:annotations-conf,
  author = 	 {Martin Odersky and Konstantin L\"aufer},
  title = 	 "Putting Type Annotations To Work",
  booktitle =	 "Proc. 23rd ACM Symposium on Principles of
		  Programming Languages (POPL)",
  year =	 1996,
  month =	 jan,
  pages =        65--67
}

@InProceedings{laufer-isas95,
  author = 	 "L{\"{a}}ufer, K.",
  title = 	 "Interactive Web Applications Based on Finite State Machines",
  booktitle =	 "Proc. Symp. Information Systems Analysis and 
		  Synthesis (ISAS)",
  year =	 1995,
  address =	 "Baden-Baden, Germany",
  month =	 aug,
  note =	 "Invited paper",
  URL = 	 "ftp://ftp.math.luc.edu/pub/laufer/papers/isas95.ps.gz"
}

@InProceedings{laufer-coots95,
  author = 	 "L{\"{a}}ufer, K.",
  title = 	 "A Framework for Higher-Order Functions in C++",
  booktitle =	 "Proc. Conf. Object-Oriented Technologies (COOTS)",
  year =	 1995,
  publisher =	 "USENIX",
  address =	 "Monterey, CA",
  month =	 jun,
  URL = 	 "ftp://ftp.math.luc.edu/pub/laufer/papers/functoids.ps.gz"
}

@Article{laod94,
        AUTHOR  = {L{\"{a}}ufer, K. and Odersky, M.},
        TITLE   = {Polymorphic Type Inference and Abstract Data Types},
	JOURNAL = {ACM Transactions on Programming Languages
		   and Systems (TOPLAS)}, 
	YEAR 	= {1994},
	MONTH 	= sep,
        PAGES   = {1411--1430},
        VOLUME  = 16,
        NUMBER  = 5,
    URL = "ftp://ftp.math.luc.edu/pub/laufer/papers/type-inf-and-adts.ps.gz"
}

@InProceedings{laufer-panel94,
  author = 	 "L{\"{a}}ufer, K.",
  title = 	 "Combining Type Classes and Existential Types",
  booktitle =	 "Proc. Latin American Informatics Conf. (PANEL)",
  year =	 1994,
  organization = "ITESM-CEM",
  address =	 "Mexico",
  month =	 sep,
  URL = 	 "ftp://ftp.math.luc.edu/pub/laufer/papers/tycl-and-extypes.ps.gz"
}

@InProceedings{laod93,
        AUTHOR             = {K. L{\"{a}}ufer and M. Odersky},
        BOOKTITLE          = {Proc. OOPSLA Workshop on Reflection and 
			      Metalevel Architectures},
        MONTH              = oct,
        ORGANIZATION       = {ACM},
        TITLE              = {Self-Interpretation and Reflection in a 
			      Statically Typed Language},
        YEAR               = {1993},
        URL = "ftp://ftp.math.luc.edu/pub/laufer/papers/reflection.ps.gz"
}

@PhDThesis{laufer92,
        AUTHOR             = {L{\"{a}}ufer, K.},
        KEY                = {lau92},
        MONTH              = jul,
        NOTE               = {Available as Technical Report 622, December
			      1992, from New York University, Department of 
			      Computer Science},
        SCHOOL             = {New York University},
        TITLE              = {Polymorphic Type Inference and Abstract 
			      Data Types},
        YEAR               = {1992},
        URL = "ftp://ftp.math.luc.edu/pub/laufer/papers/phd-thesis.ps.gz"
}

@InProceedings{laod92,
        AUTHOR             = {L{\"{a}}ufer, K. and Odersky, M.},
        TITLE              = {An Extension of {ML} with First-Class 
			      Abstract Types},
        BOOKTITLE          = {Proc. ACM SIGPLAN Workshop on ML and its
			      Applications},
        YEAR               = {1992},
	MONTH		   = jun,
        URL = "ftp://ftp.math.luc.edu/pub/laufer/papers/ml+extypes.ps.gz"
}

@InProceedings{hela91,
        AUTHOR             = {Henglein, F. and L{\"{a}}ufer, K.},
        BOOKTITLE          = {Proc. XVII Latin American Informatics 
			      Conference (PANEL '91)},
        ORGANIZATION       = {USB},
        PAGES              = {333--352},
        TITLE              = {Programming with Structures, Functions, 
			      and Objects},
        YEAR               = {1991},
	URL 		   = "ftp://ftp.math.luc.edu/pub/laufer/papers/structures.ps.gz"
}

@TechReport{laufer91,
  author = 	 "L{\"{a}}ufer, K.",
  title = 	 "Three Approaches to Transformational Programming --
		  A Comparative Survey",
  institution =  "Department of Computer Science, New York University",
  year = 	 1991,
  number =	 "NYU-CS-TR 555",
  month =	 apr,
  URL =          "ftp://ftp.math.luc.edu/pub/laufer/papers/trans-survey.ps.gz"
}

@InProceedings{laod91,
        AUTHOR             = {K. L{\"{a}}ufer and M. Odersky},
        BOOKTITLE          = {Proc. Phoenix Seminar and Workshop on 
			      Declarative Programming},
        series =	     "ESPRIT Basic Research Series",
	publisher =          "Springer Verlag",
        MONTH              = nov,
        TITLE              = {Type Classes are Signatures of Abstract Types},
        YEAR               = {1991},
        URL = "ftp://ftp.math.luc.edu/pub/laufer/papers/tycl-are-sigs.ps.gz"
}