A Research Agenda for Process Architecture with Preliminary Results
Context-Driven Computer-Communications and Signal Processing
47. seminar FRI: Network topology as a source of biological information
An ambient ASM specification of a client-centric cloud interaction architecture
SMT-based Reactive Synthesis
Large-Scale Collective Intelligence: From In the Way to On the Way
Automatic Derivation of Service Candidates from Business Process Model Repositories
Convex relaxation of a class of vertex penalizing functionals
Maximum Performance Computing for Exascale Applications
