Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
1
GroupSpeak: High-level Language Extension for Workflow Capability
Moshe Gutman
,
Sridhar Radhakrishnan
,
Changwook Kim
,
Chandra N. Sekharan
,
Konstantin Läufer
Cite
DOI
URL
Combining SOA and BPM Technologies for Cross-System Process Automation
Sebastian Herr
,
Konstantin Läufer
,
John Shafaee
,
George K. Thiruvathukal
,
Guido Wirtz
PDF
Cite
Taming XML: Objects First, Then Markup
Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than …
Matt Bone
,
Peter F. Nabicht
,
Läufer
,
George K. Thiruvathukal
Cite
URL
A Model-Driven Approach to Job/Task Composition in Cluster Computing
Neeraj Mehta
,
Yogesh Kanitkar
,
Konstantin Laufer
,
George K. Thiruvathukal
Cite
DOI
Mockup Supporting Web Requirements Engineering
Jia Zhang
,
Konstantin Läufer
,
Zhiguo Gong
PDF
Cite
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Vineet Gupta
,
Lalita Jategaonkar Jagadeesan
,
Radha Jagadeesan
,
Xiaowei Jiang
,
Konstantin Läufer
Cite
DOI
URL
Automated systematic testing for constraint-based interactive services
Patrice Godefroid
,
Lalita Jategaonkar Jagadeesan
,
Radha Jagadeesan
,
Konstantin Läufer
Cite
DOI
URL
Interaction, Concurrency, and OOP in the Curriculum: a Sophomore Course
Christopher Colby
,
Radha Jagadeesan
,
Konstantin Läufer
,
Chandra Sekharan
PDF
Cite
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
Christopher Colby
,
Lalita Jategaonkar Jagadeesan
,
Radha Jagadeesan
,
Konstantin Läufer
,
Carlos Puchol
Cite
DOI
URL
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java
Christopher Colby
,
Lalita Jategaonkar Jagadeesan
,
Radha Jagadeesan
,
Konstantin Läufer
,
Carlos Puchol
Cite
URL
«
»
Cite
×