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 -