] Filters: First Letter Of Last Name is D [Clear All Filters]
"Web Service Interfaces",
Proceedings of the 14th international World Wide Web Conference (WWW2005), pp. 148-159, 2005.
"The ADEPT project: a decade of research and development for robust and flexible process support",
Computer Science - R{&}D, vol. 23, no. 2, pp. 81-97, 2009.
"An Introduction to Service Choreographies (Servicechoreographien - eine Einführung)",
it - Information Technology, vol. 50, no. 2, pp. 122-127, 2008.
"Model Checking in CLP}",
Proocedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 1999), vol. 1579: Springer, pp. 223-239, 1999.
"A Parametric Analysis of the State-Explosion Problem in Model Checking",
Computer and System Sciences, vol. 72, no. 4, pp. 547-575, 2006.
"SLDNFA: An Abductive Procedure for Abductive Logic Programs",
Jorunal of Logic Programming, vol. 34, no. 2, pp. 111-167, 1998.
"tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures",
Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, March 11-12, 2001, Proceedings, vol. 1990: Springer, pp. 184-198, 2001.
"Programming-in-the-Large Versus Programming-in-the-Small",
IEEE Transactions on Software Engineering, vol. 2, no. 2, pp. 80-86, 1976.
"Hybrid Specifications: Looking at Workflows From a Run-Time Perspective",
{Computer System Science & Engineering}, vol. 15, no. 5, pp. 291-302, 2000.
"Verification of Communicating Data-Driven Web Services",
Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS '06): ACM Press, pp. 90-99, 2006.
"Semantics and analysis of business process models in BPMN",
Information {&} Software Technology, vol. 50, no. 12, pp. 1281-1294, 2008.
"The Constraint Logic Programming Language CHIP",
Proceedings of the International Conference on Fifth Generation Computer Systems, pp. 693-702, 1988.
"Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip",
Proceedings of the 7th ACM {&} IEEE International conference on Embedded software, EMSOFT 2007, pp. 47-56, 2007.
"Multi-phase Process Mining: Building Instance Graphs",
23rd International Conference on Conceptual Modeling (ER2004), vol. 3288: Springer, pp. 362-376, 2004.
Process Mining and Verification,
: {Eindhoven University of Technology}, 2007.
"A Meta Model for Process Mining Data",
Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), vol. 160: FEUP Edições, pp. 309-320, 2005.
"Freeflow: Mediating Between Representation and Action in Workflow Systems",
Proceedings of the CM Conference on Computer Supported Cooperative Work (CSCW '96), pp. 190-198, 1996.
Process-Aware Information Systems: Bridging People and Software through Process Technology,
: Wiley & Sons, 2005.
"Property Specification Patterns for Finite-State Verification",
Proceedings of the Second Workshop on Formal Methods in Software Practice (FMSP1998): {ACM} {P}ress, pp. 7-15, 1998.