Jana Koehler

Orcid: 0000-0001-9000-9188

Affiliations:
  • German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany
  • Lucerne University of Applied Sciences and Art School of Information Technology, Switzerland


According to our database1, Jana Koehler authored at least 70 papers between 1991 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A Systematic Review of Approximability Results for Traveling Salesman Problems leveraging the TSP-T3CO Definition Scheme.
CoRR, 2023

2022
Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns.
CoRR, 2022

2021
Cable tree wiring - benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints.
Constraints An Int. J., 2021

Management of Artificial Intelligence: Feasibility, Desirability and Viability.
Proceedings of the Engineering the Transformation of the Enterprise, 2021

2017
Towards Intelligent Process Support for Customer Service Desks: Extracting Problem Descriptions from Noisy and Multi-lingual Texts.
Proceedings of the Business Process Management Workshops, 2017

2015
An impact-oriented maturity model for IT-based case management.
Inf. Syst., 2015

AI in Switzerland.
AI Mag., 2015

2012
Capabilities and Levels of Maturity in IT-Based Case Management.
Proceedings of the Business Process Management - 10th International Conference, 2012

2011
Analysis on demand: Instantaneous soundness checking of industrial business process models.
Data Knowl. Eng., 2011

The Process-Rule Continuum - Can BPMN & SBVR Cope with the Challenge?
Proceedings of the 13th IEEE Conference on Commerce and Enterprise Computing, 2011

2010
Efficient analysis of pattern-based constraint specifications.
Softw. Syst. Model., 2010

The Role of BPMN in a Modeling Methodology for Dynamic Process Solutions.
Proceedings of the Business Process Modeling Notation - Second International Workshop, 2010

2009
Managing architectural decision models with dependency relations, integrity constraints, and production rules.
J. Syst. Softw., 2009

The refined process structure tree.
Data Knowl. Eng., 2009

A Collaboration and Productiveness Analysis of the BPM Community.
Proceedings of the Business Process Management, 7th International Conference, 2009

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators.
Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), 2009

Instantaneous Soundness Checking of Industrial Business Process Models.
Proceedings of the Business Process Management, 7th International Conference, 2009

2008
Towards a Compiler for Business-IT Systems - A Vision Statement Complemented with a Research Agenda.
Proceedings of the Software Engineering Techniques, 2008

Introduction to the First International Workshop on Model-Driven Engineering for Business Process Management (MDE4BPM 2008).
Proceedings of the Business Process Management Workshops, 2008

Applying Patterns during Business Process Modeling.
Proceedings of the Business Process Management, 6th International Conference, 2008

2007
Service-Oriented Computing - Introduction to the Special Theme.
ERCIM News, 2007

07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
Proceedings of the Autonomous and Adaptive Web Services, 04.02. - 09.02.2007, 2007

Combining Quality Assurance and Model Transformations in Business-Driven Development.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
The Role of Visual Modeling and Model Transformations in Business-driven Development.
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Model-Driven Constraint Engineering.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Repository for Business Processes and Arbitrary Associated Metadata.
Proceedings of the BPM Demo Session at the Fourth International Conference on Business Process Management, 2006

Improving Business Process Models with Reference Models in Business-Driven Development.
Proceedings of the Business Process Management Workshops, 2006

2005
Declarative techniques for model-driven business process integration.
IBM Syst. J., 2005

Managing the Life Cycle of Plans.
Proceedings of the Proceedings, 2005

2004
The Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04).
AI Mag., 2004

Using Patterns in the Design of Inter-organizational Systems - An Experience Report.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Compiling Process Graphs into Executable Code.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Untangling Unstructured Cyclic Flows - A Solution Based on Continuations.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002).
AI Mag., 2003

A Model-Driven Transformation Method.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

2002
An AI-Based Approach to Destination Control in Elevators.
AI Mag., 2002

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods.
Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

2001
Von der Theorie zur Praxis: Verkehrsplanung für Hochleistungsaufzüge.
Künstliche Intell., 2001

From Theory to Practice: AI Planning for High Performance Elevator Control.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

2000
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm.
J. Artif. Intell. Res., 2000

The AIPS-98 Planning Competition.
AI Mag., 2000

On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.
Proceedings of the 14th Workshop "New Results in Planning, 2000

Elevator Control as a Planning Problem.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
Panen mit Planungsgraphen in IPP.
Künstliche Intell., 1999

Modal Logics, Description Logics and Arithmetic Reasoning.
Artif. Intell., 1999

Online Synthese von Aufzugssteuerungen als Planungsproblem.
Proceedings of the Proceedings PuK 99, 1999

Planen mit Zielagendas.
Proceedings of the Proceedings PuK 99, 1999

Bericht zur 1. Weltmeisterschaft der Planungssysteme, Pittsburgh, 1998.
Proceedings of the Proceedings PuK 99, 1999

A New Method to Index and Query Sets.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Planning under Resource Constraints.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Solving Complex Planning Tasks Through Extraction of Subproblems.
Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

1997
Ignoring Irrelevant Facts and Operators in Plan Generation.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Extending Planning Graphs to an ADL Subset.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Encoding Planning Problems in Nonmonotonic Logic Programs.
Proceedings of the Recent Advances in AI Planning, 4th European Conference on Planning, 1997

Role Hierarchies and Number Restrictions.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
Wiederverwendung von Plänen in deduktiven Planungssystemen.
Künstliche Intell., 1996

Planning from Second Principles.
Artif. Intell., 1996

1995
Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis.
Artif. Intell., 1995

1994
An Application of Terminological Logics to Case-based Reasoning.
Proceedings of the PuK-94, 1994

The System PH.
Proceedings of the PuK-94, 1994

Correct Modification of Complex Plans.
Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

Avoiding Pitfalls in Case-based Planning.
Proceedings of the Second International Conference on Artificial Intelligence Planning Systems, 1994

Wiederverwendung von Plänen in deduktiven Planungssystemen.
PhD thesis, 1994

1993
Plan Modification versus Plan Generation: A Complexity-Theoretic Perspective.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

PHI - A Logica-Based Tool for Intelligent Help Systems.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

Constraint Deduction in an Interval-based Temporal Logic.
Proceedings of the Executable Modal and Temporal Logics, 1993

PHI - A Logic-Based Tool for Intelligent Help Systems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992
Bericht von der 1st International Conference on AI Planning Systems (AIPS-92).
Künstliche Intell., 1992

Deductive Planning and Plan Reuse in a Command Language Environment.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991
Integrated Plan Generation and Recognition - A Logic-Based Approach.
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991


  Loading...