@article{Hofstedt, author = {Hofstedt, Petra}, title = {CCFL - A Concurrent Constraint Functional Language}, language = {de} } @inproceedings{HofstedtUeda, author = {Hofstedt, Petra and Ueda, K.}, title = {Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting}, language = {de} } @inproceedings{HofstedtLorenzen, author = {Hofstedt, Petra and Lorenzen, Florian}, title = {Constraint Functional Multicore Programming}, series = {Informatik 2009 : im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), 28.9. - 2.10.2009 in L{\"u}beck}, booktitle = {Informatik 2009 : im Focus das Leben, Beitr{\"a}ge der 39. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), 28.9. - 2.10.2009 in L{\"u}beck}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, language = {en} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Kleeblatt, Dirk and Pepper, Peter}, title = {Safety of Compilers and Translation Techniques - Status quo of Technology and Science}, series = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, booktitle = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-7681-2}, pages = {47 -- 62}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {The Multiparadigm Programming Language CCFL}, series = {Informatik 2010, Service Science - neue Perspektiven f{\"u}r die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), Bd. 2}, booktitle = {Informatik 2010, Service Science - neue Perspektiven f{\"u}r die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft f{\"u}r Informatik e.V. (GI), Bd. 2}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-270-3}, pages = {699 -- 704}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Realizing evaluation strategies by hierarchical graph rewriting}, series = {Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010}, booktitle = {Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010}, pages = {15}, language = {en} } @misc{Hofstedt, author = {Hofstedt, Petra}, title = {Constraint-Based Object-Oriented Programming}, series = {IEEE Computer Society, IEEE Software}, volume = {27}, journal = {IEEE Computer Society, IEEE Software}, number = {5}, issn = {0740-7459}, pages = {53 -- 56}, language = {de} } @book{HofstedtWolf, author = {Hofstedt, Petra and Wolf, Armin}, title = {Einf{\"u}hrung in die Constraint-Programmierung}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-23184-6}, pages = {XII, 388}, language = {de} } @book{PepperHofstedt, author = {Pepper, Peter and Hofstedt, Petra}, title = {Funktionale Programmierung: Sprachdesign und Programmiertechnik}, publisher = {Berlin}, address = {Springer}, isbn = {3-540-20959-X}, pages = {XVII, 492}, language = {de} } @article{HofstedtPepper, author = {Hofstedt, Petra and Pepper, Peter}, title = {Integration of Declarative and Constraint Programming}, series = {Theory and practice of logic programming}, volume = {7}, journal = {Theory and practice of logic programming}, number = {1-2}, issn = {1471-0684}, pages = {93 -- 121}, language = {en} } @inproceedings{FrankHofstedtPepperetal., author = {Frank, Stephan and Hofstedt, Petra and Pepper, Peter and Reckmann, D.}, title = {Solution Strategies for Multi-domain Constraint Logic Programs}, series = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, booktitle = {Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-70880-3}, pages = {209 -- 222}, language = {en} } @inproceedings{HofstedtKrzikalla, author = {Hofstedt, Petra and Krzikalla, O.}, title = {Turtle++ - A CIP-Library for C++}, series = {Declarative programming for knowledge management : revised selected papers, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005}, booktitle = {Declarative programming for knowledge management : revised selected papers, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-69233-1}, pages = {12 -- 24}, language = {en} } @inproceedings{FrankHofstedt, author = {Frank, Stephan and Hofstedt, Petra}, title = {CLFD: A Finite Domain Constraint Solver in Common Lisp}, language = {en} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {System Description: Meta-S. Combining Solver Cooperation and programming Languages}, language = {en} } @inproceedings{FrankGrabmuellerHofstedtetal., author = {Frank, Stephan and Grabm{\"u}ller, Martin and Hofstedt, Petra and Metzner, Andr{\´e}}, title = {Constraints, Predicates, Functions and a Turtle}, series = {20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003}, booktitle = {20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003}, pages = {10}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {A general Approach for Building Constraint Languages}, series = {Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002.}, booktitle = {Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002.}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-00197-2}, language = {en} } @inproceedings{GipsHofstedtWysotzki, author = {Gips, Carsten and Hofstedt, Petra and Wysotzki, Fritz}, title = {Spatial Inference - Learning vs. Constraint Solving}, series = {Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002}, booktitle = {Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-44185-9}, pages = {299 -- 316}, language = {en} } @phdthesis{Hofstedt, author = {Hofstedt, Petra}, title = {Cooperation and Coordination of Constraint Solvers}, publisher = {Shaker}, address = {Aachen}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Declarative Host Languages for Constraint Systems}, series = {Artificial intelligence - future trends, contributions presented at the International Symposium on Artificial Intelligence (ISAI 2001), held at Fort Panhala, Kolhapur, India from December 18th to 20th, 2001}, booktitle = {Artificial intelligence - future trends, contributions presented at the International Symposium on Artificial Intelligence (ISAI 2001), held at Fort Panhala, Kolhapur, India from December 18th to 20th, 2001}, publisher = {Allied Publishers}, address = {New Delhi [u.a.]}, isbn = {81-7764298-7}, pages = {193 -- 205}, language = {en} } @inproceedings{HofstedtSeifertGodehardt, author = {Hofstedt, Petra and Seifert, Dirk and Godehardt, Eike}, title = {A Framework for Cooperating Constraint Solvers - A Prototypic Implementation}, series = {Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001}, booktitle = {Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001}, pages = {15}, language = {en} } @inproceedings{FrankHofstedtReckmann, author = {Frank, Stephan and Hofstedt, Petra and Reckmann, D.}, title = {Strategies for the Efficient Solution of Hybrid Constraint Logic Programs}, series = {Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France}, booktitle = {Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France}, pages = {103 -- 118}, language = {en} } @inproceedings{GrabmuellerHofstedt, author = {Grabm{\"u}ller, Martin and Hofstedt, Petra}, title = {Turtle. A Constraint Imperative Programming Language}, series = {Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence}, booktitle = {Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence}, publisher = {Springer}, address = {London [u.a.]}, isbn = {1-85233-780-X}, pages = {185 -- 198}, language = {en} } @misc{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {Meta-S: A Strategy-Oriented Meta-Solvet Framework}, series = {Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine}, journal = {Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine}, publisher = {AAAI Press}, address = {Menlo Park, Calif.}, isbn = {1-577-35177-0}, pages = {177 -- 181}, language = {en} } @misc{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {A Flexible Meta-solver Framework for Constraint Solver Collaboration}, series = {Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003}, journal = {Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-20059-2}, pages = {520 -- 534}, language = {en} } @inproceedings{FrankHofstedtMai, author = {Frank, Stephan and Hofstedt, Petra and Mai, Pierre R.}, title = {A Case Study on Termination}, series = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, booktitle = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, editor = {Rubio, Albert}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {49 -- 51}, language = {en} } @inproceedings{HofstedtMetzner, author = {Hofstedt, Petra and Metzner, Andr{\´e}}, title = {Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks}, series = {12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings}, booktitle = {12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings}, editor = {Vidal, Germ{\´a}n}, publisher = {Universidad Polit{\´e}cnica de Valencia}, address = {Valencia}, pages = {75 -- 88}, language = {en} } @inproceedings{VoertlerKlotzFordranetal., author = {V{\"o}rtler, Thilo and Klotz, Thomas and Fordran, Eva and Hofstedt, Petra}, title = {Formale Verifikation von Contiki-Anwendungen}, series = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 21.-23.2.2011 in Oldenburg, Tagungsband}, publisher = {OFFIS}, address = {Oldenburg}, isbn = {978-3-00-033820-5}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Cooperating Constraint Solvers}, series = {Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings}, booktitle = {Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-41053-8}, pages = {520 -- 524}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Better Communication for Tighter Cooperation}, series = {Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings}, booktitle = {Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-67797-6}, pages = {342 -- 357}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Task Parallel Skeletons for Irregularly Structured Problems}, series = {Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998}, booktitle = {Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998}, editor = {Pritchard, David}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-64952-2}, pages = {676 -- 681}, language = {en} } @book{Hofstedt, author = {Hofstedt, Petra}, title = {Multiparadigm Constraint Programming Languages}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-17329-5}, pages = {XI, 180}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, language = {en} } @inproceedings{HofstedtJeltschKoenigetal., author = {Hofstedt, Petra and Jeltsch, Wolfgang and K{\"o}nig, Thomas and Guangyun, Xu}, title = {Monadische Constraint-Programmierung}, language = {de} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Implementing reduction strategies by hierarchical graph rewriting}, editor = {Fernandez, Maribel}, 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} } @techreport{HofstedtSchwigon, author = {Hofstedt, Petra and Schwigon, S.}, title = {Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme}, publisher = {Techn. Univ.}, address = {Dresden}, pages = {39}, language = {de} } @misc{Hofstedt, author = {Hofstedt, Petra}, title = {Die Evolution der Programmiersprachen der KI}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {11 -- 13}, language = {de} } @misc{KoenigHofstedt, author = {K{\"o}nig, Thomas and Hofstedt, Petra}, title = {Constraint-basierte Programmiersprachen - Von den Urspr{\"u}ngen in der logischen Programmierung bis zu heutigen Anwendungen}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {47 -- 54}, language = {de} } @misc{Hofstedt, author = {Hofstedt, Petra}, title = {Themenschwerpunkt "Sprachen der KI"}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {7 -- 9}, language = {de} } @misc{HofstedtKoenig, author = {Hofstedt, Petra and K{\"o}nig, Thomas}, title = {Interview with Pascal Van Hentenryck on Constraint-Based Programming}, series = {K{\"u}nstliche Intelligenz}, volume = {26}, journal = {K{\"u}nstliche Intelligenz}, number = {1}, issn = {1610-1987}, pages = {75 -- 77}, language = {de} } @inproceedings{VoertlerRuelkeHofstedt, author = {V{\"o}rtler, Thilo and R{\"u}lke, Steffen and Hofstedt, Petra}, title = {Bounded Model Checking of Contiki Applications}, series = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, booktitle = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4673-1187-8}, pages = {258 -- 261}, 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{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} } @incollection{Hofstedt, author = {Hofstedt, Petra}, title = {Constraints}, series = {Handbuch der K{\"u}nstlichen Intelligenz}, booktitle = {Handbuch der K{\"u}nstlichen Intelligenz}, editor = {G{\"o}rz, G{\"u}nther and Schneeberger, Josef and Schmid, U.}, edition = {5. korrigierte Auflage}, publisher = {Oldenburg Verlag}, address = {M{\"u}nchen}, isbn = {978-3-486-71307-7}, pages = {205 -- 234}, language = {de} } @inproceedings{HoecknerHofstedtKaltschmidtetal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and Kaltschmidt, Sascha and Sauer, Peter and V{\"o}rtler, Thilo}, title = {Design Space Exploration for Cyber Physical System Design using Constraint Solving}, series = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, booktitle = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, publisher = {IEEE}, pages = {4}, language = {en} } @incollection{HinzeBehreBodensteinetal., author = {Hinze, Thomas and Behre, J{\"o}rn and Bodenstein, Christian and Escuela, Gabi and Gr{\"u}nert, Gerd and Hofstedt, Petra and Sauer, Peter and Hayat, Sikander and Dittrich, Peter}, title = {Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology}, series = {Applications of Membrane Computing in Biology, Springer Series Emergence, Complexity, and Computation, 2013}, booktitle = {Applications of Membrane Computing in Biology, Springer Series Emergence, Complexity, and Computation, 2013}, editor = {Paun, G.}, publisher = {Springer-Verlag}, address = {Berlin}, language = {en} } @inproceedings{HofstedtSauerHoeckner, author = {Hofstedt, Petra and Sauer, Peter and H{\"o}ckner, Benny}, title = {Functional Programming with Pros and Cons}, series = {HaL8 - Haskell-Treffen an der Universit{\"a}t Leipzig, Workshop am 21. Juni 2013}, booktitle = {HaL8 - Haskell-Treffen an der Universit{\"a}t Leipzig, Workshop am 21. Juni 2013}, pages = {5}, language = {en} } @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{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} } @inproceedings{VoertlerHoecknerHofstedtetal., author = {V{\"o}rtler, Thilo and H{\"o}ckner, Benny and Hofstedt, Petra and Klotz, Thomas}, title = {Formal Verification of Software for the Contiki Operating System Considering Interrupts}, series = {18th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems, DDECS 2015}, booktitle = {18th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems, DDECS 2015}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4799-6780-3}, doi = {10.1109/DDECS.2015.59}, pages = {295 -- 298}, language = {en} } @inproceedings{VoertlerHoecknerHofstedtetal., author = {V{\"o}rtler, Thilo and H{\"o}ckner, Benny and Hofstedt, Petra and Klotz, Thomas}, title = {Formale Verifikation von eingebetteter Software f{\"u}r das Betriebssystem Contiki unter Ber{\"u}cksichtigung von Interrupts}, series = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. M{\"a}rz 2015}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. M{\"a}rz 2015}, publisher = {Technische Universit{\"a}t}, address = {Chemnitz}, isbn = {978-3-00-048889-4}, pages = {20 -- 29}, language = {de} } @misc{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {Configurable Domain Objects for Resource Modelling in Treatment Scheduling}, series = {International Journal of Software Engineering and Knowledge Engineering}, volume = {25}, journal = {International Journal of Software Engineering and Knowledge Engineering}, number = {5}, issn = {0218-1940}, pages = {871 -- 885}, 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 William 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{HofstedtHowerJohnetal., author = {Hofstedt, Petra and Hower, Walter and John, Ulrich and Kmoch, Andreas and Wolf, Armin}, title = {Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgew{\"a}hlte Herausforderungen und Potenziale f{\"u}r die n{\"a}chsten Jahre - zur Diskussion}, 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 William and Hofstedt, Petra and Meer, Klaus and Schmitt, Ingo}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1135 -- 1138}, language = {de} } @inproceedings{HofstedtJohnWolf, author = {Hofstedt, Petra and John, Ulrich and Wolf, Armin}, title = {MOC 2015 - 7. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme}, series = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, booktitle = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1045 -- 1046}, language = {de} } @inproceedings{HinzeBehreBodensteinetal., author = {Hinze, Thomas and Behre, J{\"o}rn and Bodenstein, Christian and Escuela, Gabi and Gr{\"u}nert, Gerd and Hofstedt, Petra and Sauer, Peter and Hayat, Sikander and Dittrich, Peter}, title = {Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology}, series = {Applications of Membrane Computing in Systems and Synthetic Biology}, booktitle = {Applications of Membrane Computing in Systems and Synthetic Biology}, editor = {Frisco, Pierluigi and Gheorghe, Marian and P{\´e}rez-Jim{\´e}nez, Mario J.}, publisher = {Springer}, address = {Cham [u.a.]}, isbn = {978-3-319-03190-3}, pages = {133 -- 173}, language = {en} } @inproceedings{SauerHaustenHofstedt, author = {Sauer, Peter and Hausten, Tom and Hofstedt, Petra}, title = {Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework}, series = {International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016}, booktitle = {International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-5090-0792-9}, pages = {228 -- 233}, 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} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Power of Regular Constraints in CSPs}, 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 57}, pages = {603 -- 614}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Hypertree Decomposition: The First Step Towards Parallel Constraint Solving}, series = {Declare 2017 - Conference on Declarative Programming}, journal = {Declare 2017 - Conference on Declarative Programming}, editor = {Seipel, Dietmar and Hanus, Michael and Abreu, Salvador}, publisher = {Institute of Computer Science}, address = {W{\"u}rzburg}, pages = {91 -- 103}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Transformations of CSPs to Regular CSPs}, series = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, journal = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, publisher = {Friedrich-Schiller-Universit{\"a}t}, address = {Jena}, pages = {127 -- 129}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Hypertree Decomposition for Constraint programming in Parallel}, series = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, journal = {Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband}, publisher = {Friedrich-Schiller-Universit{\"a}t}, address = {Jena}, pages = {86 -- 89}, language = {en} } @misc{KlimczakHofstedtSchmittetal., author = {Klimczak, Peter and Hofstedt, Petra and Schmitt, Ingo and Petersen, Christer}, title = {Computergest{\"u}tzte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft}, series = {Workshop INF-DH-2018}, journal = {Workshop INF-DH-2018}, publisher = {Gesellschaft f{\"u}r Informatik e.V.}, address = {Bonn}, doi = {10.18420/infdh2018-06}, pages = {10}, abstract = {Zwar hat sich die elektronische Datenverarbeitung etwa im Rahmen der Archivierung, der Kategorisierung und der Suche von bzw. in Texten allgemein durchgesetzt, allerdings k{\"o}nnen deren Verfahren bisher nur bedingt auf eine Ebene des Textverst{\"a}ndnisses vordringen. Es existieren keine Algorithmen, die menschliche Interpretation auf Subtextebene zufriedenstellend imitieren k{\"o}nnten. Unter Subtext wird hier eine Bedeutungsebene verstanden, die der expliziten Aussage eines Textes als zus{\"a}tzliche Ausdrucksdimension unterlegt ist. Von Seiten der Computerphilologie sind bisher einzig Textanalyse und -interpretation unterst{\"u}tzende Verfahren entwickelt worden, die lediglich auf der Sprachoberfl{\"a}che Anwendung finden (Jannidis, 2010). Von Seiten der Computerlinguistik und der Informatik existieren hingegen Text-Retrieval-Systeme, die den groben Inhalt von Texten erfassen (Manning et al., 2008). Dabei erfolgt jedoch keine ‚echte' Interpretation, die die impliziten Aussagen des Textes erfassen und damit die Ableitung neuen Wissens erm{\"o}glichen k{\"o}nnte. Aufbauend auf der 2016 vorgestellten formalen Subtextanalyse (Klimczak, 2016) erscheint aber ein algorithmisiertes Verfahren zur Rekonstruktion von komplexen Semantiken narrativer Gebrauchstexte m{\"o}glich, welches die bestehenden Verfahren sowohl der Computerphilologie als auch der Computerlinguistik qualitativ {\"u}bertreffen k{\"o}nnte, indem es hermeneutische Zug{\"a}nge f{\"u}r informationstechnische Forschung erschließt.}, language = {de} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Regularization of CSPs for Rostering, Planning and Resource Management Problems}, series = {Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece}, journal = {Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece}, editor = {Iliadis, Lazaros S. and Maglogiannis, Ilias and Plagianakos, Vassilis P.}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-92006-1}, doi = {10.1007/978-3-319-92007-8_18}, pages = {209 -- 218}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Solving the Traveling Tournament Problem with Predefined Vanues by Parallel Constraint Programming}, series = {Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018}, journal = {Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018}, editor = {Groza, Adrian and Prasath, Rajendra}, publisher = {Springer International Publishing}, address = {Cham}, isbn = {978-3-030-05917-0}, doi = {10.1007/978-3-030-05918-7_7}, pages = {64 -- 79}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Hypertree Decomposition: The First Step towards Parallel Constraint Solving}, series = {Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, W{\"u}rzburg, Germany, Revised Selected Papers}, journal = {Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, W{\"u}rzburg, Germany, Revised Selected Papers}, editor = {Seipel, Dietmar and Hanus, Michael and Abreu, Salvador}, publisher = {Springer}, address = {Heidelberg [u.a.]}, isbn = {978-3-030-00800-0}, doi = {10.1007/978-3-030-00801-7_6}, pages = {81 -- 94}, language = {en} } @incollection{HofstedtJohnWolf, author = {Hofstedt, Petra and John, Ulrich and Wolf, Armin}, title = {MOC 2017 - 9. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme}, series = {47. Jahrestagung der Gesellschaft f{\"u}r Informatik, Informatik 2017}, booktitle = {47. Jahrestagung der Gesellschaft f{\"u}r Informatik, Informatik 2017}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {GI}, address = {Bonn}, isbn = {978-3-88579-669-5}, issn = {1617-5468}, doi = {10.18420/in2017_56}, pages = {2}, language = {de} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up}, series = {Deklarative Ans{\"a}tze zur K{\"u}nstlichen Intelligenz - punktuelle Beitr{\"a}ge - Post-Proceedings des 32. Workshops f{\"u}r (Constraint) Logische Programmierung}, journal = {Deklarative Ans{\"a}tze zur K{\"u}nstlichen Intelligenz - punktuelle Beitr{\"a}ge - Post-Proceedings des 32. Workshops f{\"u}r (Constraint) Logische Programmierung}, editor = {John, Ulrich and Hofstedt, Petra and Wolf, Armin}, publisher = {Hochschule f{\"u}r Wirtschaft, Technik und Kultur (htwk)}, address = {Berlin}, pages = {19 -- 24}, language = {en} } @misc{BeckerLoefflerHofstedt, author = {Becker, Ilja and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Sharing Nogoods between Portfolio Instances in Choco Solver}, series = {20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019}, journal = {20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019}, editor = {Pl{\"u}micke, Martin and Alia, Fayez Abu}, publisher = {Shaker Verlag}, address = {D{\"u}ren}, isbn = {978-3-8440-6933-4}, pages = {31 -- 36}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007252300290039}, pages = {29 -- 39}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007455907550761}, pages = {755 -- 761}, abstract = {This paper describes a new approach to decompose constraint satisfaction problems (CSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects sub-CSPs which share only few common variables. The purpose of this approach is to find sub-CSPs which can be solved in parallel and combined to a complete solution of the original CSP. Therefore, our decomposition approach has two goals: 1. to evenly balance the workload distribution over all cores and solve the partial CSPs as fast as possible and 2. to minimize the number of shared variables to make the join process of the solutions as fast as possible.}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007260204350442}, pages = {435 -- 442}, abstract = {This paper describes a new approach on optimization of regular constraint satisfaction problems (rCSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects areas with a potentially high number of conflicts. The purpose of this approach is to remove conflicts by the combination of regular constraints with intersection and concatenation of their underlying deterministic finite automatons (DFAs). This, eventually, often allows to significantly speed-up the solution process of the original rCSP.}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Social Golfer Problem Revisited}, series = {Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers}, journal = {Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers}, editor = {Herik, Jaap van den and Rocha, Ana Paula and Steels, Luc}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-37493-8}, issn = {0302-9743}, doi = {10.1007/978-3-030-37494-5_5}, pages = {72 -- 99}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach}, series = {Pre-proceedings of the {DECLARE} 2019 Conference}, journal = {Pre-proceedings of the {DECLARE} 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, pages = {7}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Regularization of Small Sub-Constraint Satisfaction Problems}, series = {Pre-proceedings of the DECLARE 2019 Conference}, journal = {Pre-proceedings of the DECLARE 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, pages = {7}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Solving the Talent Scheduling Problem by Parallel Constraint Programming}, series = {Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019}, journal = {Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019}, editor = {MacIntyre, John and Maglogiannis, Ilias and Iliadis, Lazaros S. and Pimenidis, Elias}, publisher = {Springer}, isbn = {978-3-030-19822-0}, issn = {1868-4238}, doi = {10.1007/978-3-030-19823-7_19}, pages = {236 -- 244}, language = {en} } @incollection{HofstedtHowerJohnetal., author = {Hofstedt, Petra and Hower, Walter and John, Ulrich and Wolf, Armin}, title = {MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme}, series = {INFORMATIK 2019 - 50 Jahre Gesellschaft f{\"u}r Informatik - Informatik f{\"u}r Gesellschaft}, booktitle = {INFORMATIK 2019 - 50 Jahre Gesellschaft f{\"u}r Informatik - Informatik f{\"u}r Gesellschaft}, editor = {Draude, Claude and Lange, Martin and Sick, Bernhard}, publisher = {GI}, address = {Bonn}, isbn = {978-3-88579-689-3}, doi = {10.18420/inf2019_ws40}, pages = {1}, language = {de} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Parallel Stochastic Portfolio Search for Constraint Solving}, series = {2019 IEEE Intl Conf on Parallel \& Distributed Processing with Applications, Big Data \& Cloud Computing, Sustainable Computing \& Communications, Social Computing \& Networking (ISPA/BDCloud/SocialCom/SustainCom)}, journal = {2019 IEEE Intl Conf on Parallel \& Distributed Processing with Applications, Big Data \& Cloud Computing, Sustainable Computing \& Communications, Social Computing \& Networking (ISPA/BDCloud/SocialCom/SustainCom)}, publisher = {IEEE}, isbn = {978-1-7281-4328-6}, doi = {10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106}, pages = {697 -- 704}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach}, series = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, journal = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Hofstedt, Petra and Abreu, Salvador and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2_7}, pages = {99 -- 105}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Regularization of Small Sub-Constraint Satisfaction Problems}, series = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, journal = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Hofstedt, Petra and Abreu, Salvador and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2_8}, pages = {106 -- 115}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem}, series = {KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020}, journal = {KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020}, editor = {Schmid, Ute and Kl{\"u}gl, Franziska and Wolter, Diedrich}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-58284-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-58285-2_26}, pages = {297 -- 304}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {An Introduction of FD-Complete Constraints}, series = {Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II}, journal = {Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II}, editor = {Maglogiannis, Ilias and Iliadis, Lazaros S. and Pimenidis, Elias}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-49185-7}, issn = {1868-4238}, doi = {10.1007/978-3-030-49186-4_3}, pages = {27 -- 38}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach}, series = {Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta}, journal = {Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, address = {Setubal}, isbn = {978-989-758-395-7}, doi = {10.5220/0008880403310338}, pages = {331 -- 338}, language = {en} } @incollection{HofstedtLoeffler, author = {Hofstedt, Petra and L{\"o}ffler, Sven}, title = {Constraints}, series = {Handbuch der k{\"u}nstlichen Intelligenz}, booktitle = {Handbuch der k{\"u}nstlichen Intelligenz}, editor = {G{\"o}rz, G{\"u}nther and Schmid, Ute and Braun, Tanya}, edition = {6. Auflage}, publisher = {De Gruyter}, address = {Berlin, Boston}, isbn = {978-3-11-065984-9}, doi = {10.1515/9783110659948-016}, pages = {713 -- 754}, language = {de} } @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} } @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} } @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{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{BreussLoefflerHofstedt, author = {Breuß, Sonja and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {A Hybrid Constraint- and Search-Based Approach on the Stockyard Planning Problem}, series = {Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics}, volume = {1}, journal = {Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics}, publisher = {SCITEPRESS - Science and Technology Publications}, isbn = {978-989-758-717-7}, issn = {2184-2809}, doi = {10.5220/0012995000003822}, pages = {113 -- 125}, language = {en} } @misc{LoefflerHofstedt, author = {L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Automatic Placement of Digital Signals in Railway Digitalization: A Constraint Approach}, series = {Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics}, volume = {1}, journal = {Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics}, publisher = {SCITEPRESS - Science and Technology Publications}, isbn = {978-989-758-717-7}, issn = {2184-2809}, doi = {10.5220/0012994800003822}, pages = {101 -- 112}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Enhancing constraint optimization problems with greedy search and clustering: a focus on the traveling salesman problem}, series = {Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART}, journal = {Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART}, publisher = {SCITEPRESS - Science and Technology Publications}, isbn = {978-989-758-680-4}, issn = {2184-433X}, doi = {10.5220/0012453000003636}, pages = {1170 -- 1178}, language = {en} } @misc{LoefflerHofstedt, author = {L{\"o}ffler, Sven and Hofstedt, Petra}, title = {A constraint-based greedy-local-global search for the warehouse location problem}, series = {IFIP Advances in Information and Communication Technology}, journal = {IFIP Advances in Information and Communication Technology}, publisher = {Springer Nature Switzerland}, address = {Cham}, isbn = {9783031632181}, issn = {1868-4238}, doi = {10.1007/978-3-031-63219-8_22}, pages = {291 -- 304}, language = {en} } @misc{FrankBuckelHoegneretal., author = {Frank, Florian and Buckel, Peter and Hoegner, Ludwig and Hofstedt, Petra}, title = {A landmark selection method for object-based visual outdoor localization approaches of automated ground vehicles}, series = {ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences}, journal = {ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences}, publisher = {Copernicus GmbH}, issn = {2194-9050}, doi = {10.5194/isprs-annals-X-4-W5-2024-163-2024}, pages = {163 -- 169}, abstract = {Autonomous vehicles must navigate independently in an outdoor environment using features or objects. However, some objects may be more or less suitable for localization due to their attributes. Therefore, this work investigates the suitability of landmarks for camera- and object-based outdoor localization methods. First, object attributes are methodically derived from the requirements of object-based localization. The physical representation on the camera image plane, probability of occurrence, and persistence were identified as influencing the object localization suitability. The influence of the object's camera image plane representation regarding object recognition algorithms is not considered or discussed, but advice on the minimum object pixel size is provided. The first milestone was the creation of an equation for object localization suitability calculation by normalizing and multiplying the identified attributes. Simultaneously, potential objects from the outdoor environment were identified, resulting in a structured object catalog. The results of the equation and catalog are a ranked according to the object localization suitability in a comparison table. Our comparison demonstrates that objects such as buildings or trees are more suitable than street lane markings for self-localization. However, most current datasets do not include the proposed instantiated objects. The paper addresses this issue, assists in the object selection for outdoor localization methods and provides input for the creation of future-oriented datasets and autonomous driving maps.}, 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} } @misc{BelsLoefflerBeckeretal., author = {Bels, Maximilian and L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Constraint-Based Filtering and Evaluation of CSP Search Trees}, series = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3}, journal = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3}, editor = {Rocha, Ana Paula and Steels, Luc and van den Herik, H. Jaap}, publisher = {Scitepress}, isbn = {978-989-758-623-1}, doi = {10.5220/0011641100003393}, pages = {220 -- 227}, language = {en} } @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{LoefflerBeckerHofstedtetal., author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra and Nitze, Andre and Hennig, Silvia and Klinge, Alexander}, title = {Planung des L{\"a}ndlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen}, series = {Informatik 2023 : Designing Futures - Zuk{\"u}nfte gestalten : 26.-29. September 2023, Berlin}, journal = {Informatik 2023 : Designing Futures - Zuk{\"u}nfte gestalten : 26.-29. September 2023, Berlin}, editor = {Klein, Maike and Krupka, Daniel and Winter, Cornelia and Wohlgemuth, Volker}, publisher = {Gesellschaft f{\"u}r Informatik e.V.}, address = {Berlin}, isbn = {978-3-88579-731-9}, doi = {10.18420/inf2023_177}, pages = {1739 -- 1750}, language = {de} } @misc{PissarekHofstedtLoeffler, author = {Pißarek, Adele and Hofstedt, Petra and L{\"o}ffler, Sven}, title = {Stockyard Planning and Optimization Using Intelligent Search}, series = {Innovative Intelligent Industrial Production and Logistics}, volume = {2}, journal = {Innovative Intelligent Industrial Production and Logistics}, editor = {Dassisti, Michele and Madani, Kurosh and Panetto, Herve}, publisher = {Springer Nature Switzerland}, address = {Cham}, isbn = {978-3-031-80775-6}, issn = {1865-0937}, doi = {10.1007/978-3-031-80775-6_7}, pages = {94 -- 110}, language = {en} } @incollection{LoefflerHofstedt, author = {L{\"o}ffler, Sven and Hofstedt, Petra}, title = {A constraint-based savings algorithm for the Traveling Salesman Problem}, series = {Machine Learning, Optimization and Data Science : 10th International Conference, LOD 2024, Castiglione Della Pescaia, Italy, September 22-25, 2024, Revised Selected Papers}, volume = {2}, booktitle = {Machine Learning, Optimization and Data Science : 10th International Conference, LOD 2024, Castiglione Della Pescaia, Italy, September 22-25, 2024, Revised Selected Papers}, editor = {Nicosia, Guiseppe and Ojha, Varun and Giesselbach, Sven and Pardalos, M. Panos and Umeton, Renato}, publisher = {Springer Nature Switzerland}, address = {Cham}, isbn = {9783031824838}, issn = {0302-9743}, doi = {10.1007/978-3-031-82484-5_15}, pages = {203 -- 217}, abstract = {There exists a plethora of NP-hard problems for which obtaining an exact solution is computationally intensive while an approximate solution can be rapidly computed. The Traveling Salesman Problem (TSP) stands out as a prominent example within this problem class, being equally significant in both research and industry sectors. Exact methods for solving the TSP are typically infeasible within acceptable timeframes beyond a certain instance size. Due to the NP-hardness of the problem, computational time requirements would quickly escalate to weeks, months, years, or even millennia. In contrast, heuristic approaches often yield sufficiently good solutions rapidly, typically within seconds or minutes. However, the drawback lies in their tendency to produce only locally optimal solutions, which may deviate significantly from a global optimum. Nevertheless, heuristic methods remain preferred in industry due to their ability to find satisfactory solutions within reasonable timeframes. It is worth noting that even marginal improvements in solutions can translate into significant cost savings in practice. Hence, there is a demand for methods capable of swiftly providing high-quality solutions while also continuously searching for further, better solutions over time. This work aims to combine two approaches: heuristic search (utilizing two simple greedy algorithms and the savings algorithm developed by Clarke and Wright) and exact search (constraint programming), to solve TSPs. Using various TSP instances, we demonstrate that our approach yields a better solution than purely local methods in at least 80\% of the cases. Furthermore, within the given time limit of 5 min, the new approach identifies a solution that is more than twice as good compared to traditional COP methods.}, language = {en} }