Konstantin Läufer

According to our database1, Konstantin Läufer authored at least 40 papers between 1991 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Auto-generated Spies Increase Test Maintainability.
CoRR, 2018

Metrics Dashboard: A Hosted Platform for Software Quality Metrics.
CoRR, 2018

2017
Teaching Concurrent Software Design: A Case Study Using Android.
CoRR, 2017

2015
A framework architecture for student learning in distributed embedded systems.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014
Scala for introductory CS and parallelism(abstract only).
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013
Using Scala strategically across the undergraduate curriculum (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012
Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework.
Proceedings of the 2012 IEEE International Conference on Electro/Information Technology, 2012

2011
Moving Academic Department Functions to Social Networks and Clouds: Initial Experiences.
Computing in Science and Engineering, 2011

RestFS: resources and services are filesystems, too.
Proceedings of the Second International Workshop on RESTful Design, 2011

REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers.
Proceedings of the ICSOFT 2011, 2011

Initial Experience in Moving Key Academic Department Functions to Social Networking Sites.
Proceedings of the ICSOFT 2011, 2011

2010
Virtualization for Computational Scientists.
Computing in Science and Engineering, 2010

2009
Putting a Slug to Work.
Computing in Science and Engineering, 2009

The Promises of Typed, Pure, and Lazy Functional Programming: Part II.
Computing in Science and Engineering, 2009

Essential Tools: Version Control Systems.
Computing in Science and Engineering, 2009

GroupSpeak: High-level Language Extension for Workflow Capability.
Proceedings of the IEEE International Conference on Web Services, 2009

2008
What I Did on My Summer Vacation.
Computing in Science and Engineering, 2008

A Stroll through Domain-Driven Development with Naked Objects.
Computing in Science and Engineering, 2008

Combining SOA and BPM Technologies for Cross-System Process Automation.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Taming XML: Objects first, then markup.
Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

2007
A Hike through a Post-EJB J2EE Web Application Architecture, Part III.
Computing in Science and Engineering, 2007

A Model-Driven Approach to Job/Task Composition in Cluster Computing.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
Unit Testing Considered Useful.
Computing in Science and Engineering, 2006

A Hike through Post-EJB J2EE Web Application Architecture, Part II.
Computing in Science and Engineering, 2006

2005
A hike through post-EJB J2EE Web application architecture.
Computing in Science and Engineering, 2005

2004
Natural XML for data binding, processing, and persistence.
Computing in Science and Engineering, 2004

2003
Mockup Supporting Web Requirements Engineering.
Proceedings of the International Conference on Internet Computing, 2003

2000
The Triveni project.
ACM SIGSOFT Software Engineering Notes, 2000

Sisl: Several Interfaces, Single Logic.
I. J. Speech Technology, 2000

Safe Structural Conformance for Java.
Comput. J., 2000

Automated systematic testing for constraint-based interactive services.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1998
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
Electr. Notes Theor. Comput. Sci., 1998

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1996
Type Classes with Existential Types.
J. Funct. Program., 1996

Putting Type Annotations to Work.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995
A Framework for Higher-Order Functions in C++.
Proceedings of the USENIX Conference on Object-Oriented Technologies, 1995

1994
Polymorphic Type Inference and Abstract Data Types.
ACM Trans. Program. Lang. Syst., 1994

1991
Type Classes are Signatures of Abstract Types.
Proceedings of the Declarative Programming, 1991


  Loading...