Abstract is missing.
- Some Thoughts on Behavioral ProgrammingDavid Harel. 1 [doi]
- The Changing Nature of Work: From Structured to Unstructured, from Controlled to SocialSandy Kemsley. 2 [doi]
- Automatic Verification of Data-Centric Business ProcessesElio Damaggio, Alin Deutsch, Richard Hull, Victor Vianu. 3-16 [doi]
- A Blueprint for Event-Driven Business Activity ManagementChristian Janiesch, Martin Matzner, Oliver Müller. 17-28 [doi]
- On Cross-Enterprise CollaborationLav R. Varshney, Daniel Oppenheim. 29-37 [doi]
- Source Code Partitioning Using Process MiningKoki Kato, Tsuyoshi Kanai, Sanya Uehara. 38-49 [doi]
- Next Best Step and Expert Recommendation for Collaborative Processes in IT Service ManagementHamid R. Motahari Nezhad, Claudio Bartolini. 50-61 [doi]
- Process Variation Analysis Using Empirical Methods: A Case StudyHeiko Ludwig, Yolanda Rankin, Robert Enyedi, Laura C. Anderson. 62-65 [doi]
- Stimulating Skill Evolution in Market-Based CrowdsourcingBenjamin Satzger, Harald Psaier, Daniel Schall, Schahram Dustdar. 66-82 [doi]
- Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTLMichael Westergaard. 83-98 [doi]
- Compliance by Design for Artifact-Centric Business ProcessesNiels Lohmann. 99-115 [doi]
- Refining Process Models through the Analysis of Informal Work PracticeSimon Brander, Knut Hinkelmann, Bo Hu, Andreas Martin, Uwe V. Riss, Barbara Thönssen, Hans Friedrich Witschel. 116-131 [doi]
- Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored AutomataFabrizio Maria Maggi, Marco Montali, Michael Westergaard, Wil M. P. van der Aalst. 132-147 [doi]
- Automated Error Correction of Business Process ModelsMauro Gambini, Marcello La Rosa, Sara Migliorini, Arthur H. M. ter Hofstede. 148-165 [doi]
- Behavioral Similarity - A Proper MetricMatthias Kunze, Matthias Weidlich, Mathias Weske. 166-181 [doi]
- Event-Based Monitoring of Process Execution ViolationsMatthias Weidlich, Holger Ziekow, Jan Mendling, Oliver Günther, Mathias Weske, Nirmit Desai. 182-198 [doi]
- Towards Efficient Business Process Clustering and Retrieval: Combining Language Modeling and Structure MatchingMu Qiao, Rama Akkiraju, Aubrey J. Rembert. 199-214 [doi]
- Self-learning Predictor Aggregation for the Evolution of People-Driven Ad-Hoc ProcessesChristoph Dorn, César A. Marín, Nikolay Mehandjiev, Schahram Dustdar. 215-230 [doi]
- Serving Information Needs in Business Process ConsultingMonika Gupta, Debdoot Mukherjee, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha. 231-247 [doi]
- Clone Detection in Repositories of Business Process ModelsReina Uba, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa. 248-264 [doi]
- Business Artifact-Centric Modeling for Real-Time Performance MonitoringRong Liu, Roman Vaculín, Zhe Shan, Anil Nigam, Frederick Y. Wu. 265-280 [doi]
- A Query Language for Analyzing Business Processes ExecutionSeyed Mehdi Reza Beheshti, Boualem Benatallah, Hamid R. Motahari Nezhad, Sherif Sakr. 281-297 [doi]
- Discovering Characteristics of Stochastic Collections of Process ModelsKees M. van Hee, Marcello La Rosa, Zheng Liu, Natalia Sidorova. 298-312 [doi]
- Wiki-Based Maturing of Process DescriptionsFrank Dengler, Denny Vrandecic. 313-328 [doi]
- A-Posteriori Detection of Sensor Infrastructure Errors in Correlated Sensor Data and Business WorkflowsAndreas Wombacher. 329-344 [doi]
- Conformance Checking of Interacting Processes with Overlapping InstancesDirk Fahland, Massimiliano de Leoni, Boudewijn F. van Dongen, Wil M. P. van der Aalst. 345-361 [doi]
- Simplifying Mined Process Models: An Approach Based on UnfoldingsDirk Fahland, Wil M. P. van der Aalst. 362-378 [doi]
- Foundations of Relational Artifacts VerificationBabak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli. 379-395 [doi]
- On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone LifecyclesElio Damaggio, Richard Hull, Roman Vaculín. 396-412 [doi]
- Compensation of Adapted Service Orchestration Logic in BPEL n AspectsMirko Sonntag, Dimka Karastoyanova. 413-428 [doi]