TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Vörtler, Thilo A1 - Sauer, Peter A1 - Hinze, Thomas ED - Hanus, Michael ED - Rocha, Ricardo T1 - Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems T2 - 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013 Y1 - 2013 UR - http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf SP - 183 EP - 197 PB - Institut für Informatik, Christian-Albrechts-Universität CY - Kiel ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - FdConfig: A Constraint-Based Interactive Configurator T2 - Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011 Y1 - 2013 SN - 978-3-642-41523-4 SP - 239 EP - 255 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Ueda, K. T1 - Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting Y1 - 2009 ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Bückert, Carlo A1 - Hofstedt, Petra ED - Gini, Giuseppina ED - Nijmeijer, Henk ED - Filev, Dimitar T1 - Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach T2 - Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1 KW - Beacon Placement KW - Constraint Programming KW - Decision Support Systems KW - Artificial Intelligence Y1 - 2023 SN - 978-989-758-670-5 U6 - https://doi.org/10.5220/0012203400003543 SP - 70 EP - 79 PB - Scitepress ER - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Machado, Jose Manuel F. ED - Chamoso, Pablo ED - Hernandez, Guillermo ED - Bocewicz, Grzegorz ED - Loukanova, Roussanka ED - Jove, Esteban ED - del Rey, Angel Martin ED - Ricca, Michela T1 - ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration T2 - Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference KW - Constraint Programming KW - Machine Learning Y1 - 2022 SN - 978-3-031-23209-1 SN - 978-3-031-23210-7 SP - 177 EP - 183 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Strauss, Christine ED - Amagasa, Toshiyuki ED - Kotsis, Gabriele ED - Tjoa, A Min ED - Khalil, Ismail T1 - A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem T2 - Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part II Y1 - 2023 SN - 978-3-031-39820-9 SN - 978-3-031-39821-6 SP - 126 EP - 133 PB - Springer CY - Cham ER - TY - CHAP A1 - Hofstedt, Petra ED - Indermark, Klaus T1 - How to integrate Declarative Languages and Constraint Systems T2 - Kolloquium Programmiersprachen und Grundlagen der Programmierung Y1 - 2001 PB - RWTH, Department of Computer Science CY - Aachen ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - FdConfig: A Constraint-Based Interactive Configurator Y1 - 2011 ER - TY - CHAP A1 - Hofstedt, Petra ED - Fernandez, Maribel T1 - Implementing reduction strategies by hierarchical graph rewriting Y1 - 2009 ER - TY - CHAP A1 - Hofstedt, Petra A1 - Jeltsch, Wolfgang A1 - König, Thomas A1 - Guangyun, Xu T1 - Monadische Constraint-Programmierung Y1 - 2011 ER - TY - GEN A1 - Löffler, Sven A1 - Kroll, Franz A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - Optimal Beacon Placement for Indoor Positioning Using Constraint Programming T2 - 19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022 Y1 - 2022 UR - https://ieeexplore.ieee.org/document/10017575 SN - 979-8-3503-1008-5 U6 - https://doi.org/10.1109/AICCSA56895.2022.10017575 PB - IEEE ER - TY - CHAP A1 - Hinze, Thomas A1 - Behre, Jörn A1 - Bodenstein, Christian A1 - Escuela, Gabi A1 - Grünert, Gerd A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Hayat, Sikander A1 - Dittrich, Peter ED - Paun, G. T1 - Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology T2 - Applications of Membrane Computing in Biology, Springer Series Emergence, Complexity, and Computation, 2013 Y1 - 2013 PB - Springer-Verlag CY - Berlin ER - TY - GEN A1 - Kroll, Franz A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Roque, Ana C.A. ED - Fred, Ana L.N. ED - Gamboa, Hugo T1 - Automatic Detection of Timed-up and Go Tests with IMU Sensor Data T2 - Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022 Y1 - 2022 SN - 978-989-758-552-4 U6 - https://doi.org/10.5220/0010775300003123 SN - 2184-4305 SP - 15 EP - 24 PB - SCITEPRESS ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints T2 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2 KW - Constraint-Solving KW - Machine Learning KW - Optimization Y1 - 2021 UR - https://www.scitepress.org/Link.aspx?doi=10.5220/0010299109740981 SN - 978-989-758-484-8 U6 - https://doi.org/10.5220/0010299109740981 SN - 2184-433X SP - 974 EP - 981 ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Kroll, Franz A1 - Hofstedt, Petra T1 - A Survey of Constraint Transformation Methods T2 - 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability KW - Constraint Solving KW - Constraint Transformation KW - Optimization Y1 - 2021 UR - https://dl.gi.de/handle/20.500.12116/37760 SN - 978-3-88579-708-1 U6 - https://doi.org/10.18420/informatik2021-090 SP - 1107 EP - 1120 ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Maglogiannis, Ilias ED - Iliadis, Lazaros S. ED - Pimenidis, Elias T1 - An Introduction of FD-Complete Constraints T2 - Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part II KW - Constraint Programming KW - FD-Complete Constraints Y1 - 2020 SN - 978-3-030-49185-7 SN - 978-3-030-49186-4 U6 - https://doi.org/10.1007/978-3-030-49186-4_3 SN - 1868-4238 SN - 1868-422X SP - 27 EP - 38 PB - Springer CY - Cham ER - TY - BOOK A1 - Hofstedt, Petra A1 - Wolf, Armin T1 - Einführung in die Constraint-Programmierung Y1 - 2007 SN - 3-540-23184-6 SN - 978-3-540-23184-4 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2 KW - Constraint Programming Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007252300290039 SP - 29 EP - 39 PB - SciTePress ER - TY - BOOK A1 - Pepper, Peter A1 - Hofstedt, Petra T1 - Funktionale Programmierung: Sprachdesign und Programmiertechnik Y1 - 2006 SN - 3-540-20959-X PB - Berlin CY - Springer ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Herik, Jaap van den ED - Rocha, Ana Paula ED - Steels, Luc T1 - Social Golfer Problem Revisited T2 - Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers KW - Constraint Programming Y1 - 2019 SN - 978-3-030-37493-8 SN - 978-3-030-37494-5 U6 - https://doi.org/10.1007/978-3-030-37494-5_5 SN - 0302-9743 SN - 1611-3349 SP - 72 EP - 99 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Pre-proceedings of the {DECLARE} 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.06003.pdf ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Pre-proceedings of the DECLARE 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.05907.pdf ER - TY - GEN A1 - Hofstedt, Petra A1 - König, Thomas T1 - Interview with Pascal Van Hentenryck on Constraint-Based Programming T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 75 EP - 77 ER - TY - GEN A1 - König, Thomas A1 - Hofstedt, Petra T1 - Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 47 EP - 54 ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - A Flexible Meta-solver Framework for Constraint Solver Collaboration T2 - Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003 Y1 - 2003 SN - 3-540-20059-2 SP - 520 EP - 534 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - Meta-S: A Strategy-Oriented Meta-Solvet Framework T2 - Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine Y1 - 2003 SN - 1-577-35177-0 SP - 177 EP - 181 PB - AAAI Press CY - Menlo Park, Calif. ER - TY - JOUR A1 - Hofstedt, Petra A1 - Pepper, Peter T1 - Integration of Declarative and Constraint Programming JF - Theory and practice of logic programming Y1 - 2007 SN - 1471-0684 N1 - Special Issue on Multiparadigm Languages and Constraint Programming VL - 7 IS - 1-2 SP - 93 EP - 121 ER - TY - BOOK A1 - Hofstedt, Petra T1 - Multiparadigm Constraint Programming Languages Y1 - 2011 SN - 978-3-642-17329-5 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Hypertree Decomposition for Constraint programming in Parallel T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 86 EP - 89 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Transformations of CSPs to Regular CSPs T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 127 EP - 129 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step Towards Parallel Constraint Solving T2 - Declare 2017 – Conference on Declarative Programming Y1 - 2017 UR - https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf SP - 91 EP - 103 PB - Institute of Computer Science CY - Würzburg ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - The Power of Regular Constraints in CSPs T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 57 SP - 603 EP - 614 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER - TY - THES A1 - Hofstedt, Petra T1 - Cooperation and Coordination of Constraint Solvers Y1 - 2001 PB - Shaker CY - Aachen ER -