Jana Koehler's Selected Publications

Recent, 2010-2006, 2005-2001, 2000 and earlier


Recent

J. Koehler, Etienne Fux, Florian A. Herzog, Dario Lötscher, Kai Waelti, Roland Imoberdorf, Dirk Budke: Towards Intelligent Process Support for Customer Service Desks: Extracting Problem Descriptions from Noisy and Multi-Lingual Texts, Workshop on Business Process Innovation with Artificial Intelligence at BPM-2017.Springer LNCS forthcoming.

J. Koehler: Business Process Innovation with Artificial Intelligence: Levering Benefits and Controlling Operational Risks, forthcoming.

M. Pouly, J. Koehler: A Modeling and Encoding Method for Relative Layout Generation and Optimization in Manufacturing, HSLU Technical Report 1/2017.

J.-D. Dessimoz, J. Koehler, T. Stadelmann: Artificial Intelligence Research in Switzerland, AI Magazine, pages 102-105, Summer 2015.

J. Koehler, R. Woodtly, J. Hofstetter: An Impact-oriented Maturity Model for IT-based Case Management, Elsevier Journal of Information Systems, 47 (2015) 278-291. author copy

2012

J. Koehler, R. Woodtly, J. Hofstetter: Ein Reifegradmodell für das IT-basierte Case Management, Case Management 4/2012, 205-210, 2012.

J. Koehler, J. Hofstetter, R. Woodtly: Capabilities and Levels of Maturity in IT-based Case Management, 10. Int. Conference on Business Process Management, Springer LNCS 7481, pages 49-64, 2012.

2011

R. Dijkman, J. Hofstetter, J. Koehler: Proceedings 3rd Int. Workshop on BPMN, Springer LNBIP 95, 2011.

J. Koehler, N. Nussbaumer, M. Zimmermann: Visio als BPM-Tool?, Computerworld.ch, No. 16, 2011.

J. Koehler: The Process-Rule Continuum - Can BPMN and SBVR Cope with the Challenge?, 13th IEEE Conference on Commerce and Enterprise Computing, pages 302-309, 2011.

D. Fahland, C. Favre, J. Koehler, N. Lohmann, H. Völzer, K. Wolf: Analysis on Demand: Instantaneous Soundness Checking of Industrial Business Process Models, Journal of Data and Knowledge Engineering, 70(5): 448-466 (2011).

2010

J. Koehler: The Role of BPMN in a Modeling Methodology for Dynamic Process Solutions, 2nd Int. Workshop on BPMN, Springer LNBIP 67, pages 46--62, 2010.

C. Favre, Z. Feldman, B. Gfeller, T. Gschwind, J. Koehler, J. Küster, O. Maistrenko, A. Marinescu, B. Srivastava, H. Völzer: A Business Process Services Portal, IBM Research Technical Report RZ3782, 2010.

M. Wahler, D. Basin, A. Brucker, J. Koehler: Efficient Analysis of Pattern-Based Constraint Specifications, Software and System Modeling, 9(2): 225-255 (2010).

2009

H. Reijers, M. Song, H. Romero, U. Dayal, J. Eder, J. Koehler: A Collaboration and Productiveness Analysis of the BPM Community, 7th Int. Conference on Business Process Management (BPM), LNCS 5701, pages 1-14, Springer 2009.

D. Fahland, C. Favre, B. Jobstmann, J. Koehler, N. Lohmann, H. Völzer, K. Wolf: Instantaneous Soundness Checking of Industrial Business Process Models, 7th Int. Conference on Business Process Management (BPM), LNCS 5701, pages 278-293, Springer 2009.

J. Vanhatalo, H. Völzer, J. Koehler: The Refined Process Structure Tree, Journal of Data and Knowledge Engineering 68(9): 793-818 (2009).

O. Zimmermann, J. Koehler, F. Leymann, R. Polley, N. Schuster: Managing architectural decision models with dependency relations, integrity constraints, and production rules, Journal of Systems and Software 82(8): 1249-1267 (2009).

J. Koehler, T. Gschwind, J. Wong, C. Favre, W. Kleinoeder, A. Maystrenko, K. Muhidini: IBM Pattern-based Process Model Accelerators for WebSphere Business Modeler: Patterns, Transformations and Refactoring, IBM DeveloperWorks, Parts 1-4, June-Dec 2009, IBM ZRL Research Report 3738.

2008

J. Vanhatalo, H. Völzer, J. Koehler: The Refined Process Structure Tree, 6th Int. Conference on Business Process Management (BPM) 2008, LNCS 5240, pages 100–115, Springer 2008. Best Paper Award.

T. Gschwind, J. Koehler, J. Wong: Applying Patterns during Business Process Modeling, 6th Int. Conference on Business Process Management (BPM), LNCS 5240, pages 4-19, Springer 2008.

J. Koehler, T. Gschwind, J. Küster, H. Völzer, O. Zimmermann: Towards a Compiler for Business-IT Systems – A Vision Statement Complemented with a Research Agenda , 3rd IFIP Central European Conference on Software Engineering Techniques 2008, LNCS 4989, pages 1-19 Springer 2011.

J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K. Ryndina, J. Vanhatalo, H. Völzer: Combining Quality Assurance and Model Transformations in Business-Driven Development, Int. Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, LNCS 5088, pages 1-16, Springer 2008.

J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler: The Role of Visual Modeling and Model Transformations in Business-driven Development, ENTCS 16993, pages 5-15, 2008.

J. Koehler, B. Srivastava: Planning with Communicating Automata, IBM IRL Research Report, IR 08006, written 2003, published 2008.

2007

O. Zimmermann, J. Koehler, F. Leymann: Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design, Workshop on Software Engineering Methods for Service-oriented Architecture (SEMSOA 2007), CEUR-WS.org/Vol-244 (2007).

M. Wahler, J. Koehler, A. Brucker: Model-Driven Constraint Engineering, Electronic Communications of the EASST, 5, 2007.

J. Koehler, J. Vanhatalo: Process Anti-Patterns: How to Avoid the Common Traps of Business Process Modeling, Part 1, IBM Websphere Developer Technical Journal, Issues 10.2 and 10.4, 2007. Part 2, IBM ZRL Research Report 3678, 2007.

2006

J. Kuester, J. Koehler, K. Ryndina: Improving Business Process Models with Reference Models in Business-Driven Development, 2nd Int. Workshop on Business Process Design, BPM 2006, LNCS 4103, pages 35-44, Springer 2006.

J. Vanhatalo, J. Koehler, F. Leymann: Repository for Business Processes and Arbitrary Associated Metadata, Proceedings of the BPM Demo Session at the Fourth Int. Conference on Business Process Management, 2006.

J. Küster, J. Koehler, J. Novatnack, K. Ryndina: A Classification of UML2 Activity Diagrams, IBM ZRL Research Report 3673, 2006.

J. Küster, J. Koehler, R. Hauser, K. Ryndina, J. Vanhatalo, M. Wahler: Methodology and Tooling to combine an existing legacy business process model with best-practice industry reference models for Business Transformation , IBM ZRL Research Report 3663, 2006.

2005

J. Koehler, R. Hauser, S. Sendall, M. Wahler: Declarative Techniques for Model-Driven Business Process Integration, IBM Systems Journal 44(1): 47-65 (2005).

B. Srivastava, J. Vanhatalo, J. Koehler: Managing the Life Cycle of Plans, 17th Innovative Applications of Artificial Intelligence Conference, pages 1569-1575, AAAI Press 2005.

2004

J. Koehler, R. Hauser: Untangling Unstructured Cyclic Flows - A Solution based on Continuations, 6th Int. Conference on Cooperative Information Systems CoopIs, LNCS 3290, pages 121-138, Springer 2004.

R. Hauser, J. Koehler: Compiling Process Graphs into Executable Code, 3rd Int. Conference on Generative Programming and Component Engineering (GPCE), LNCS 3286, pages 317-336, Springer 2004.

J. Novatnack, J. Koehler: Using Patterns in the Design of Inter-Organisational Systems - An Experience Report, Workshop on Modeling Inter-Organisational Systems (MIOS), LNCS 3292, pages 444-455, Springer 2004.

B. Srivastava, J. Koehler: Planning with Workflows - An Emerging Paradigm for Web Service Composition, ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services.

2003

J. Koehler, B. Srivastava: Web Service Composition: Current Solutions and Open Problems, ICAPS 2003 Workshop on Planning for Web Services, pages 28 - 35.

J. Koehler, R. Hauser, S. Kapoor, F. Wu, S. Kumaran: A Model-Driven Transformation Method, 7th Int. Enterprise Distributed Object Computing Conference EDOC), pages 186-197, IEEE Computer Society 2003.

T. Gardner, C. Griffin, J. Koehler, R. Hauser: A review of OMG MOF 2.0 Query / Views / Transformations Submissions and Recommendations towards the final Standard, MetaModelling for MDA Workshop, York, England, 2003, also an IBM Submission to the OMG.

J. Koehler, D. Gantenbein, C. Giblin, R. Hauser: On Autonomic Computing Architectures, IBM ZRL Research Report 3487, 2003.

2002

J. Koehler, G. Tirenni, S. Kumaran: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods, 6th Int. Enterprise Distributed Object Computing Conference EDOC), pages 96 - 106, IEEE Computer Society 2002.

J. Koehler, D. Ottiger: An AI-based Approach to Destination Control in Elevators, AI Magazine, 23(3): pages 59-78, Fall 2002.

2001

J. Koehler: From Theory to Practice: AI Planning for High-Performance Elevator Control, German Conference on Artificial Intelligence (KI) 2001, pages 459-462.

2000

J. Koehler, J. Hoffmann: On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm, Journal of Artificial Intelligence Research, 12/2000, pages 339-386.

J. Koehler, J. Hoffmann: Handling of Inertia in a Planning System, ECAI-2000 Workshop on New Trends in Planning, Scheduling and Design.

J. Koehler, K. Schuster: Elevator Control as a Planning Problem, Int. Conference on Artificial Intelligence Planning Systems (AIPS) 2000, pages 331-338.

1999

J. Hoffmann, J. Koehler: A new Method to Query and Index Sets, Int. Joint Conference on Artificial Intelligence (IJCAI) 1999, pages 462-467.

J. Koehler: IPP - A Planning System for ADL and Resource-Constrained Planning Problems, Habiliation Thesis, University of Freiburg, 1999.

H. J. Ohlbach, J. Koehler: Modal Logics, Description Logics and Arithmetic Reasoning, Journal of Artificial Intelligence, 1-2/1999, pages 1-31.

J. Koehler: IPP - A Planning System for ADL and Resource-Constrained Planning Problems, Habiliation Thesis, University of Freiburg, 1999.

B. Seckinger, J. Koehler, K. Schuster: Online Synthesis of Elevator Controls as a Planning Problem (in German), German Workshop on Planning and Configuration (PUK), 1999.

1998

H. J. Ohlbach, J. Koehler: How to Extend a Formal System with a Boolean Algebra Component, In: Automated Deduction. A Basis for Applications. Ed. by P.H. Schmidt and W. Bibel, Kluwer 1998, pages 57-75.

J. Koehler: Planning under Resource Constraints, European Conference on Artificial Intelligence (ECAI) 1998, pages 489-493.

J. Koehler: Solving Complex Planning Tasks Through Extraction of Subproblems, Int. Conference on Artificial Intelligence Planning Systems (AIPS) 1998, pages 62-69.

1997

H. J. Ohlbach, J. Koehler: Role Hierarchies and Number Restrictions, Description Logics Workshop (DL) 1997.

J. Koehler, B. Nebel, J. Hoffmann, Y. Dimopoulos: Extending Planning Graphs to an ADL Subset, European Conference on Planning (ECP) 1997, pages 273-285. Honorable Mention for ICAPS 2008 Influential Paper Award.

B. Nebel, Y. Dimopoulos, J. Koehler: Ignoring Irrelevant Facts and Operators in Plan Generation, European Conference on Planning (ECP) 1997, pages 338-350.

Y. Dimopoulos, B. Nebel, J. Koehler: Encoding planning problems in non-monotonic logic programs, European Conference on Planning (ECP) 1997, pages 169-181.

1996

J. Koehler: Planning from Second Principles, Artificial Intelligence, Volume 87, pages 148-187, 1996.

1995

J. Koehler, R. Treinen: Constraint Deduction in an Interval-based Temporal Logic, Workshops of the Int. Joint Conference on Artificial Intelligence 1995, Springer LNCS 897, pages 103-117.

1994

B. Nebel, J. Koehler: Plan Reuse versus Plan Generation: A theoretical and empirical Analysis, Artificial Intelligence, Volume 76, pages 427-454, 1995.

J. Koehler: An Application of Terminological Logics to Case-based Reasoning, Int. Conference on Knowledge Representation and Reasoning (KR) 1994, pages 351-362.

J. Koehler: Correct Modification of Complex Plans, European Conference on Artificial Intelligence (ECAI) 1994, pages 605-609.

J. Koehler: Avoiding Pitfalls in Case-based Planning, Int. Conference on Artificial Intelligence Planning Systems (AIPS) 1994, pages 104-109.

J. Koehler: Reuse of Plans in Deductive Planning Systems, (In German), Phd Thesis 1994, Published by infix publishers, series DISKI , number 65.

1993

J. Koehler: Flexible Plan Reuse in a Formal Framework, European Workshop on Planning (EWSP) 1993, pages 171-184.

B. Nebel, J. Koehler: Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective, Int. Joint Conference on Artificial Intelligence (IJCAI) 1993, pages 1436-1441.

M. Bauer, S. Biundo, D. Dengler, J. Koehler, G. Merziger: PHI - A Logic-Based Tool for Intelligent Help Systems, Int. Joint Conference on Artificial Intelligence (IJCAI) 1993, pages 460-466.

1992

S. Biundo, D. Dengler, J. Koehler: Deductive Planning and Plan Reuse in a Command Language Environment, European Conference on Artificial Intelligence (ECAI) 1992, pages 628-632.


Last Update August 25, 2017