Jana Koehler - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Analysis on demand: Instantaneous soundness checking of industrial business process modelsDirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf. DKE, 70(5):448-466, 2011. [doi]

2010

The Role of BPMN in a Modeling Methodology for Dynamic Process SolutionsJana Koehler. bpmn 2011: 46-62 [doi]

Efficient analysis of pattern-based constraint specificationsMichael Wahler, David A. Basin, Achim D. Brucker, Jana Koehler. SoSyM, 9(2):225-255, 2010. [doi]

2009

Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. ProceedingsUmeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers, editors, Volume 5701 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Instantaneous Soundness Checking of Industrial Business Process ModelsDirk Fahland, CÃ©dric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen VÃ¶lzer, Karsten Wolf. BPM 2009: 278-293 [doi]

Faster and Better Business Process Modeling with the IBM Pattern-based Process Model AcceleratorsCédric Favre, Thomas Gschwind, Jana Koehler, Wolfgang Kleinöder, Alexander Maystrenko, Krenar Muhidini, Hagen Völzer, Janette Wong. BPM 2009: [doi]

A Collaboration and Productiveness Analysis of the BPM CommunityHajo A. Reijers, Minseok Song, Heidi Romero, Umeshwar Dayal, Johann Eder, Jana Koehler. BPM 2009: 1-14 [doi]

The refined process structure treeJussi Vanhatalo, Hagen VÃ¶lzer, Jana Koehler. DKE, 68(9):793-818, 2009. [doi]

Managing architectural decision models with dependency relations, integrity constraints, and production rulesOlaf Zimmermann, Jana Koehler, Frank Leymann, Ronny Polley, Nelly Schuster. jss, 82(8):1249-1267, 2009. [doi]

2008

2007

Service-Oriented Computing - Introduction to the Special ThemeJana Koehler, Gustavo Alonso. ercim, 2007(70), 2007. [doi]

Autonomous and Adaptive Web Services, 04.02. - 09.02.2007Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing, editors, Volume 07061 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.

07061 Abstracts Collection -- Autonomous and Adaptive Web ServicesJana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing. dagstuhl 2007: [doi]

Combining Quality Assurance and Model Transformations in Business-Driven DevelopmentJana Koehler, Thomas Gschwind, Jochen Malte Küster, Cesare Pautasso, Ksenia Ryndina, Jussi Vanhatalo, Hagen Völzer. agtive 2008: 1-16 [doi]

2006

Improving Business Process Models with Reference Models in Business-Driven DevelopmentJochen Malte Küster, Jana Koehler, Ksenia Ryndina. BPM 2006: 35-44 [doi]

Model-Driven Constraint EngineeringMichael Wahler, Jana Koehler, Achim D. Brucker. eceasst, 5, 2006. [doi]

2005

Declarative techniques for model-driven business process integrationJana Koehler, Rainer Hauser, Shane Sendall, Michael Wahler. IBMSJ, 44(1):47-66, 2005. [doi]

Managing the Life Cycle of PlansBiplav Srivastava, Jussi Vanhatalo, Jana Koehler. AAAI 2005: 1569-1575

2004

2003

The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002)Jana Koehler, Gerhard Lakemeyer. aim, 24(2):97-98, 2003.

A Model-Driven Transformation MethodJana Koehler, Rainer Hauser, Shubir Kapoor, Frederick Y. Wu, Santhosh Kumaran. edoc 2003: 186-197 [doi]

2002

KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, ProceedingsMatthias Jarke, Jana Koehler, Gerhard Lakemeyer, editors, Volume 2479 of Lecture Notes in Computer Science, Springer, 2002.

From Business Process Model to Consistent Implementation: A Case for Formal Verification MethodsJana Koehler, Giuliano Tirenni, Santhosh Kumaran. edoc 2002: 96 [doi]

An AI-Based Approach to Destination Control in ElevatorsJana Koehler, Daniel Ottiger. aim, 23(3):59-78, 2002.

2001

From Theory to Practice: AI Planning for High Performance Elevator ControlJana Koehler. ki 2001: 459-462 [doi]

2000

1999

A New Method to Index and Query SetsJörg Hoffmann, Jana Koehler. IJCAI 1999: 462-467

Panen mit Planungsgraphen in IPPJana Koehler. ki, 13(1):49-53, 1999.

Planen mit ZielagendasJana Koehler, Jörg Hoffmann. puk 1999: [doi]

Modal Logics, Description Logics and Arithmetic ReasoningHans Jürgen Ohlbach, Jana Koehler. ai, 109(1-2):1-31, 1999. [doi]

1998

Solving Complex Planning Tasks Through Extraction of SubproblemsJana Koehler. aips 1998: 62-69

Planning under Resource ConstraintsJana Koehler. ecai 1998: 489-493

1997

1996

Planning from Second PrinciplesJana Koehler. ai, 87(1-2):145-186, 1996. [doi]

Wiederverwendung von Plänen in deduktiven PlanungssystemenJana Koehler. ki, 10(2):19-22, 1996.

1995

Plan Reuse Versus Plan Generation: A Theoretical and Empirical AnalysisBernhard Nebel, Jana Koehler. ai, 76(1-2):427-454, 1995. [doi]

1994

The System PHMathias Bauer, Susanne Biundo, Dietmar Dengler, Jana Koehler, Gabriele Paul. puk 1994: 155

Correct Modification of Complex PlansJana Koehler. ecai 1994: 605-609

An Application of Terminological Logics to Case-based ReasoningJana Koehler. kr 1994: 351-362

An Application of Terminological Logics to Case-based ReasoningJana Koehler. puk 1994: 98-107

Avoiding Pitfalls in Case-based PlanningJana Koehler. aips 1994: 104-109

1993

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. ki, 6(4):33-34, 1992.

Deductive Planning and Plan Reuse in a Command Language EnvironmentSusanne Biundo, Dietmar Dengler, Jana Koehler. ecai 1992: 628-632

1991

Integrated Plan Generation and Recognition - A Logic-Based ApproachMathias Bauer, Susanne Biundo, Dietmar Dengler, Matthias Hecking, Jana Koehler, Gaby Merziger. wi 1991: 266-277