Integrated Plan Generation and Recognition - A Logic-Based Approach. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; Gaby Merziger (Wissensbasierte Systeme, 1991)

Deductive Planning and Plan Reuse in a Command Language Environment. - Susanne Biundo; Dietmar Dengler; Jana Koehler (ECAI, 1992)

Bericht von der 1st International Conference on AI Planning Systems (AIPS-92). - Michael Beetz; Joachim Hertzberg; Jana Koehler; Gerhard K. Kraetzschmar; Fritz Mädler (Künstliche Intell., 1992)

PHI - A Logic-Based Tool for Intelligent Help Systems. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul (IJCAI, 1993)

Constraint Deduction in an Interval-based Temporal Logic. - Jana Koehler; Ralf Treinen (Executable Modal and Temporal Logics, 1993)

Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective. - Bernhard Nebel; Jana Koehler (IJCAI, 1993)

PHI - A Logica-Based Tool for Intelligent Help Systems. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul (PuK, 1993)

Wiederverwendung von Plänen in deduktiven Planungssystemen. - Jana Köhler (Infix, 1994)

Avoiding Pitfalls in Case-based Planning. - Jana Koehler (AIPS, 1994)

Correct Modification of Complex Plans. - Jana Koehler (ECAI, 1994)

An Application of Terminological Logics to Case-based Reasoning. - Jana Koehler (KR, 1994)

The System PH. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Jana Koehler; Gabriele Paul (PuK, 1994)

Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis. - Bernhard Nebel; Jana Koehler (Artif. Intell., 1995)

Planning from Second Principles. - Jana Koehler (Artif. Intell., 1996)

Wiederverwendung von Plänen in deduktiven Planungssystemen. - Jana Koehler (Künstliche Intell., 1996)

Role Hierarchies and Number Restrictions. - Hans Jürgen Ohlbach; Jana Koehler (Description Logics, 1997)

Encoding Planning Problems in Nonmonotonic Logic Programs. - Yannis Dimopoulos; Bernhard Nebel; Jana Koehler (ECP, 1997)

Extending Planning Graphs to an ADL Subset. - Jana Koehler; Bernhard Nebel; Jörg Hoffmann 001; Yannis Dimopoulos (ECP, 1997)

Ignoring Irrelevant Facts and Operators in Plan Generation. - Bernhard Nebel; Yannis Dimopoulos; Jana Koehler (ECP, 1997)

Solving Complex Planning Tasks Through Extraction of Subproblems. - Jana Koehler (AIPS, 1998)

Planning under Resource Constraints. - Jana Koehler (ECAI, 1998)

A New Method to Index and Query Sets. - Jörg Hoffmann 001; Jana Koehler (IJCAI, 1999)

Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998. - Jana Koehler (PuK, 1999)

Planen mit Zielagendas. - Jana Koehler; Jörg Hoffmann 001 (PuK, 1999)

Online Synthese von Aufzugssteuerungen als Planungsproblem. - Bernhard Seckinger; Jana Koehler (PuK, 1999)

Modal Logics, Description Logics and Arithmetic Reasoning. - Hans Jürgen Ohlbach; Jana Koehler (Artif. Intell., 1999)

Panen mit Planungsgraphen in IPP. - Jana Koehler (Künstliche Intell., 1999)

Elevator Control as a Planning Problem. - Jana Koehler; Kilian Schuster (AIPS, 2000)

On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas. - Jana Koehler; Jörg Hoffmann 001 (PuK, 2000)

The AIPS-98 Planning Competition. - Derek Long; Henry A. Kautz; Bart Selman; Blai Bonet; Hector Geffner; Jana Koehler; Michael Brenner 001; Jörg Hoffmann 001; Frank Rittinger; Corin R. Anderson; Daniel S. Weld; David E. Smith 001; et al. (AI Mag., 2000)

On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm. - Jana Koehler; Jörg Hoffmann 001 (J. Artif. Intell. Res., 2000)

From Theory to Practice: AI Planning for High Performance Elevator Control. - Jana Koehler (KI/ÖGAI, 2001)

Von der Theorie zur Praxis: Verkehrsplanung für Hochleistungsaufzüge. - Jana Koehler (Künstliche Intell., 2001)

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. - Jana Koehler; Giuliano Tirenni; Santhosh Kumaran (EDOC, 2002)

An AI-Based Approach to Destination Control in Elevators. - Jana Koehler; Daniel Ottiger (AI Mag., 2002)

A Model-Driven Transformation Method. - Jana Koehler; Rainer Hauser; Shubir Kapoor; Frederick Y. Wu; Santhosh Kumaran (EDOC, 2003)

The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). - Jana Koehler; Gerhard Lakemeyer (AI Mag., 2003)

Untangling Unstructured Cyclic Flows - A Solution Based on Continuations. - Jana Koehler; Rainer Hauser (CoopIS/DOA/ODBASE (1), 2004)

Compiling Process Graphs into Executable Code. - Rainer Hauser; Jana Koehler (GPCE, 2004)

Using Patterns in the Design of Inter-organizational Systems - An Experience Report. - John Novatnack; Jana Koehler (OTM Workshops, 2004)

The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). - Shlomo Zilberstein; Jana Koehler; Sven Koenig (AI Mag., 2004)

Managing the Life Cycle of Plans. - Biplav Srivastava; Jussi Vanhatalo; Jana Koehler (AAAI, 2005)

Declarative techniques for model-driven business process integration. - Jana Koehler; Rainer Hauser; Shane Sendall; Michael Wahler (IBM Syst. J., 2005)

Improving Business Process Models with Reference Models in Business-Driven Development. - Jochen Malte Küster; Jana Koehler; Ksenia Ryndina (Business Process Management Workshops, 2006)

Repository for Business Processes and Arbitrary Associated Metadata. - Jussi Vanhatalo; Jana Koehler; Frank Leymann (BPM Demos, 2006)

Model-Driven Constraint Engineering. - Michael Wahler; Jana Koehler; Achim D. Brucker (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

The Role of Visual Modeling and Model Transformations in Business-driven Development. - Jana Koehler; Rainer Hauser; Jochen Malte Küster; Ksenia Ryndina; Jussi Vanhatalo; Michael Wahler (GT-VMT@ETAPS, 2006)

Combining Quality Assurance and Model Transformations in Business-Driven Development. - Jana Koehler; Thomas Gschwind; Jochen Malte Küster; Cesare Pautasso; Ksenia Ryndina; Jussi Vanhatalo; Hagen Völzer (AGTIVE, 2007)

07061 Abstracts Collection – Autonomous and Adaptive Web Services. - Jana Koehler; Marco Pistore; Amit P. Sheth; Paolo Traverso; Martin Wirsing (Autonomous and Adaptive Web Services, 2007)

Service-Oriented Computing - Introduction to the Special Theme. - Jana Koehler; Gustavo Alonso (ERCIM News, 2007)

Applying Patterns during Business Process Modeling. - Thomas Gschwind; Jana Koehler; Janette Wong (BPM, 2008)

Introduction to the First International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008). - Cesare Pautasso; Jana Koehler (Business Process Management Workshops, 2008)

Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda. - Jana Koehler; Thomas Gschwind; Jochen Malte Küster; Hagen Völzer; Olaf Zimmermann (CEE-SET, 2008)

Instantaneous Soundness Checking of Industrial Business Process Models. - Dirk Fahland; Cédric Favre; Barbara Jobstmann; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (BPM, 2009)

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators. - Cédric Favre; Thomas Gschwind; Jana Koehler; Wolfgang Kleinöder; Alexander Maystrenko; Krenar Muhidini; Hagen Völzer; Janette Wong (BPM (Demos), 2009)

A Collaboration and Productiveness Analysis of the BPM Community. - Hajo A. Reijers; Minseok Song 001; Heidi Romero; Umeshwar Dayal; Johann Eder; Jana Koehler (BPM, 2009)

The refined process structure tree. - Jussi Vanhatalo; Hagen Völzer; Jana Koehler (Data Knowl. Eng., 2009)

Managing architectural decision models with dependency relations, integrity constraints, and production rules. - Olaf Zimmermann; Jana Koehler; Frank Leymann; Ronny Polley; Nelly Schuster (J. Syst. Softw., 2009)

The Role of BPMN in a Modeling Methodology for Dynamic Process Solutions. - Jana Koehler (BPMN, 2010)

Efficient analysis of pattern-based constraint specifications. - Michael Wahler; David A. Basin; Achim D. Brucker; Jana Koehler (Softw. Syst. Model., 2010)

The Process-Rule Continuum - Can BPMN & SBVR Cope with the Challenge? - Jana Koehler (CEC, 2011)

Analysis on demand: Instantaneous soundness checking of industrial business process models. - Dirk Fahland; Cédric Favre; Jana Koehler; Niels Lohmann; Hagen Völzer; Karsten Wolf (Data Knowl. Eng., 2011)

Capabilities and Levels of Maturity in IT-Based Case Management. - Jana Koehler; Jörg Hofstetter; Roland Woodtly (BPM, 2012)

AI in Switzerland. - Jean-Daniel Dessimoz; Jana Koehler; Thilo Stadelmann (AI Mag., 2015)

An impact-oriented maturity model for IT-based case management. - Jana Koehler; Roland Woodtly; Jörg Hofstetter (Inf. Syst., 2015)

Towards Intelligent Process Support for Customer Service Desks: Extracting Problem Descriptions from Noisy and Multi-lingual Texts. - Jana Koehler; Etienne Fux; Florian A. Herzog; Dario Lötscher; Kai Waelti; Roland Imoberdorf; Dirk Budke (Business Process Management Workshops, 2017)

Management of Artificial Intelligence: Feasibility, Desirability and Viability. - Walter Brenner; Benjamin van Giffen; Jana Koehler (Engineering the Transformation of the Enterprise, 2021)

Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints. - Jana Koehler; Josef Bürgler; Urs Fontana; Etienne Fux; Florian A. Herzog; Marc Pouly; Sophia Saller; Anastasia Salyaeva; Peter Scheiblechner; Kai Waelti (Constraints An Int. J., 2021)

Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns. - Sophia Saller; Jana Koehler (CoRR, 2022)

A Systematic Review of Approximability Results for Traveling Salesman Problems leveraging the TSP-T3CO Definition Scheme. - Sophia Saller; Jana Koehler; Andreas Karrenbauer (CoRR, 2023)

A survey on approximability of traveling salesman problems using the TSP-T3CO definition scheme. - Sophia Saller; Jana Koehler; Andreas Karrenbauer (Ann. Oper. Res., 2025)