@inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {Configurable Resource Models for Treatment Planning in the Medical Domain}, series = {8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014}, booktitle = {8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014}, publisher = {ICST}, address = {Br{\"u}ssel}, isbn = {978-1-63190-053-2}, doi = {10.4108/icst.bict.2014.257907}, pages = {344 -- 347}, language = {en} } @inproceedings{SauerSchneeweissHofstedt, author = {Sauer, Peter and Schneeweiss, Denny and Hofstedt, Petra}, title = {Divide \& Conquer - Komplexe Constraint-Probleme durch Aufteilen l{\"o}sen}, series = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, booktitle = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, editor = {Cunningham, Douglas W. and Hofstedt, Petra and Meer, Klaus and Schmitt, Ingo}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1047 -- 1060}, language = {en} } @inproceedings{LorenzHofstedtSchneideretal., author = {Lorenz, Jacob and Hofstedt, Petra and Schneider, Stefan-Alexander and Mai, Pierre R.}, title = {Semi-Automatic Compliance Audits for Implementations of FMI for Co-Simulation}, series = {Conference proceedings of the 17th ITI symposium, International Congress Center Dresden, November 3 - 5, 2014}, booktitle = {Conference proceedings of the 17th ITI symposium, International Congress Center Dresden, November 3 - 5, 2014}, publisher = {ITI GmbH}, address = {Dresden}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Using Hypertree Decomposition for Parallel Constraint Solving}, series = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, journal = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)}, address = {Bonn}, isbn = {978-3-88579-669-5}, doi = {10.18420/in2017 58}, pages = {615 -- 622}, language = {en} } @inproceedings{HoecknerHofstedtVoertleretal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and V{\"o}rtler, Thilo and Sauer, Peter and Hinze, Thomas}, title = {Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems}, series = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, booktitle = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, editor = {Hanus, Michael and Rocha, Ricardo}, publisher = {Institut f{\"u}r Informatik, Christian-Albrechts-Universit{\"a}t}, address = {Kiel}, pages = {183 -- 197}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, series = {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}, booktitle = {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}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-41523-4}, pages = {239 -- 255}, language = {en} } @inproceedings{HofstedtUeda, author = {Hofstedt, Petra and Ueda, K.}, title = {Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting}, language = {de} } @misc{LoefflerBeckerBueckertetal., author = {L{\"o}ffler, Sven and Becker, Ilja and B{\"u}ckert, Carlo and Hofstedt, Petra}, title = {Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach}, series = {Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1}, journal = {Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1}, editor = {Gini, Giuseppina and Nijmeijer, Henk and Filev, Dimitar}, publisher = {Scitepress}, isbn = {978-989-758-670-5}, doi = {10.5220/0012203400003543}, pages = {70 -- 79}, language = {en} } @misc{BeckerLoefflerHofstedt, author = {Becker, Ilja and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration}, series = {Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference}, journal = {Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference}, editor = {Machado, Jose Manuel F. and Chamoso, Pablo and Hernandez, Guillermo and Bocewicz, Grzegorz and Loukanova, Roussanka and Jove, Esteban and del Rey, Angel Martin and Ricca, Michela}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-23209-1}, pages = {177 -- 183}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem}, series = {Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II}, journal = {Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II}, editor = {Strauss, Christine and Amagasa, Toshiyuki and Kotsis, Gabriele and Tjoa, A Min and Khalil, Ismail}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-39820-9}, pages = {126 -- 133}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {How to integrate Declarative Languages and Constraint Systems}, series = {Kolloquium Programmiersprachen und Grundlagen der Programmierung}, booktitle = {Kolloquium Programmiersprachen und Grundlagen der Programmierung}, editor = {Indermark, Klaus}, publisher = {RWTH, Department of Computer Science}, address = {Aachen}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, language = {en} } @inproceedings{OPUS4-6900, title = {Proceedings, International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011)}, editor = {Hofstedt, Petra and Wolf, Armin}, publisher = {BTU}, address = {Cottbus}, pages = {28}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Implementing reduction strategies by hierarchical graph rewriting}, editor = {Fernandez, Maribel}, language = {en} } @inproceedings{HofstedtJeltschKoenigetal., author = {Hofstedt, Petra and Jeltsch, Wolfgang and K{\"o}nig, Thomas and Guangyun, Xu}, title = {Monadische Constraint-Programmierung}, language = {de} } @misc{LoefflerKrollBeckeretal., author = {L{\"o}ffler, Sven and Kroll, Franz and Becker, Ilja and Hofstedt, Petra}, title = {Optimal Beacon Placement for Indoor Positioning Using Constraint Programming}, series = {19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022}, journal = {19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022}, publisher = {IEEE}, isbn = {979-8-3503-1008-5}, doi = {10.1109/AICCSA56895.2022.10017575}, language = {en} } @misc{KrollLoefflerBeckeretal., author = {Kroll, Franz and L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Automatic Detection of Timed-up and Go Tests with IMU Sensor Data}, series = {Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022}, journal = {Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022}, editor = {Roque, Ana C.A. and Fred, Ana L.N. and Gamboa, Hugo}, publisher = {SCITEPRESS}, isbn = {978-989-758-552-4}, issn = {2184-4305}, doi = {10.5220/0010775300003123}, pages = {15 -- 24}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints}, series = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2}, journal = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2}, isbn = {978-989-758-484-8}, issn = {2184-433X}, doi = {10.5220/0010299109740981}, pages = {974 -- 981}, language = {en} } @phdthesis{Liu, author = {Liu, Ke}, title = {Parallel Constraint Solving for Combinatorial Problems}, address = {Cottbus}, doi = {10.26127/BTUOpen-5437}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-54375}, pages = {179}, language = {en} } @misc{LoefflerBeckerKrolletal., author = {L{\"o}ffler, Sven and Becker, Ilja and Kroll, Franz and Hofstedt, Petra}, title = {A Survey of Constraint Transformation Methods}, series = {51. Jahrestagung der Gesellschaft f{\"u}r Informatik, INFORMATIK 2021 - Computer Science \& Sustainability}, journal = {51. Jahrestagung der Gesellschaft f{\"u}r Informatik, INFORMATIK 2021 - Computer Science \& Sustainability}, isbn = {978-3-88579-708-1}, doi = {10.18420/informatik2021-090}, pages = {1107 -- 1120}, language = {en} }