@inproceedings{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Globale Registerallokation f{\"u}r irregul{\"a}re Registerarchitekturen durch Graphf{\"a}rbung}, series = {Informatiktage 2001, fachwissenschaftlicher Informatik-Kongreß, 9. und 10. November 2001 im Neuen Kloster Bad Schussenried}, booktitle = {Informatiktage 2001, fachwissenschaftlicher Informatik-Kongreß, 9. und 10. November 2001 im Neuen Kloster Bad Schussenried}, publisher = {Konradin-Verl. Kohlhammer}, address = {Leinfelden-Echterdingen}, language = {de} } @inproceedings{SchoelzelBachmannVierhaus, author = {Sch{\"o}lzel, Mario and Bachmann, Peter and Vierhaus, Heinrich Theodor}, title = {Application Specific Processor Design for Digital Signal Processing}, series = {Signal processing '2004, workshop proceedings, Poznan, 24th September 2004}, booktitle = {Signal processing '2004, workshop proceedings, Poznan, 24th September 2004}, editor = {Dabrowski, Adam}, publisher = {Poznan Univ. of Technology}, address = {Poznan}, isbn = {83-913251-5-6}, pages = {7 -- 15}, language = {en} } @article{Hofstedt, author = {Hofstedt, Petra}, title = {CCFL - A Concurrent Constraint Functional Language}, 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{Jeltsch, author = {Jeltsch, Wolfgang}, title = {Push-Based FRP}, language = {de} } @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{Jeltsch, author = {Jeltsch, Wolfgang}, title = {Generic Record Combinators with Static Type Checking}, series = {Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010}, booktitle = {Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010}, publisher = {ACM, Digital Library}, address = {New York, NY}, doi = {10.1145/1836089.1836108}, pages = {143 -- 154}, 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} } @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{Jeltsch, author = {Jeltsch, Wolfgang}, title = {Signals, Not Generators!}, series = {Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009}, booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009}, editor = {Horvath, Zoltan}, publisher = {Intellect}, address = {Bristol}, isbn = {978-1-84150-158-1}, pages = {145 -- 160}, 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} } @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{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{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Time-Constrained Clustering for DSE of Clustered VLIW-ASP}, series = {2007 Design, Automation \& Test in Europe Conference \& Exhibition, Nice, France, 16 - 20 April 2007}, booktitle = {2007 Design, Automation \& Test in Europe Conference \& Exhibition, Nice, France, 16 - 20 April 2007}, publisher = {IEEE Service Center}, address = {Piscataway, NJ}, isbn = {978-3-9810801-2-4}, pages = {467 -- 472}, language = {en} } @inproceedings{PawlowskiSchoelzel, author = {Pawlowski, P. and Sch{\"o}lzel, Mario}, title = {A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy}, language = {de} } @inproceedings{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors}, language = {en} } @inproceedings{SchoelzelBachmann, author = {Sch{\"o}lzel, Mario and Bachmann, Peter}, title = {Durchg{\"a}ngiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software}, series = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, booktitle = {Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium f{\"u}r Prof. Dr.-Ing. G{\"u}nter Elst, 10. - 11. Mai 2006}, publisher = {Fraunhofer-Institut}, address = {Dresden}, pages = {19 -- 24}, language = {de} } @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{OPUS4-6219, title = {Workshop proceedings, MultiCPL'03, Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03, Fifth International Workshop on Rule-Based Constraint Reasoning and Programming, September 29, 2003, Kinsale, County Cork, Ireland}, editor = {Hanus, Michael and Hofstedt, Petra and Wolf, Armin and Abdennadher, Slim and Fr{\"u}hwirth, Thom and Lallouet, Arnaud}, pages = {110}, language = {en} } @inproceedings{OPUS4-6220, title = {Workshop Proceedings}, series = {MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02, Fourth Workshop on Rule-Based Constraint Reasoning and Programming, Cornell University, Ithaca, NY, USA}, booktitle = {MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02, Fourth Workshop on Rule-Based Constraint Reasoning and Programming, Cornell University, Ithaca, NY, USA}, editor = {Hanus, Michael and Hofstedt, Petra and Abdennadher, Slim and Fr{\"u}hwirth, Thom and Wolf, Armin}, pages = {91}, 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} } @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{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{RuehlkeSchneiderBachmannetal., author = {R{\"u}hlke, St. and Schneider, J. and Bachmann, Peter and Rogin, F.}, title = {Qualit{\"a}tssicherung f{\"u}r wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse}, language = {de} } @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} } @inproceedings{HeinigSchoelzel, author = {Heinig, Andy and Sch{\"o}lzel, Mario}, title = {Zeitbeschr{\"a}nkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren}, series = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden}, publisher = {Fraunhofer-Institut f{\"u}r Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung}, address = {Dresden}, isbn = {3-9810287-1-6}, pages = {319 -- 328}, language = {de} } @inproceedings{ScholzSchoelzel, author = {Scholz, Sebastian and Sch{\"o}lzel, Mario}, title = {Design-Space-Exploration Using Simulated Annealing}, language = {en} } @inproceedings{SchoelzelBachmann, author = {Sch{\"o}lzel, Mario and Bachmann, Peter}, title = {DESCOMP: A New Design Space Exploration Approach}, series = {Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings}, booktitle = {Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-25273-8}, pages = {178 -- 192}, 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{OPUS4-6210, title = {Workshop Proceedings}, series = {Third Workshop on Multiparadigm Constraint Programming Languages, September 2004, Saint-Malo, France}, booktitle = {Third Workshop on Multiparadigm Constraint Programming Languages, September 2004, Saint-Malo, France}, editor = {Mu{\~n}oz-Hern{\´a}ndez, Susana and G{\´o}mez-P{\´e}rez, Jos{\´e} Manuel and Hofstedt, Petra}, pages = {134}, 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} } @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} } @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{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} } @techreport{OPUS4-9861, title = {Doktorandensymposium der Software Engineering (SE) 2012 : proceedings}, editor = {Hofstedt, Petra and Lewerentz, Claus}, publisher = {BTU}, address = {Cottbus}, pages = {66}, language = {de} } @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{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} } @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{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{HinzeGruetzmannHoeckneretal., author = {Hinze, Thomas and Gr{\"u}tzmann, Konrad and H{\"o}ckner, Benny and Sauer, Peter and Hayat, Sikander}, title = {Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms}, series = {Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20-22, 2014}, booktitle = {Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20-22, 2014}, editor = {Gheorghe, Marian and Rozenberg, Grzegorz and Salomaa, Arto and Sos{\´i}k, Petr and Zandron, Claudio}, publisher = {Springer}, address = {Cham [u.a.]}, isbn = {978-3-319-14369-9}, pages = {241 -- 257}, language = {en} } @inproceedings{HinzeKirkiciSaueretal., author = {Hinze, Thomas and Kirkici, Korcan and Sauer, Patricia and Sauer, Peter and Behre, J{\"o}rn}, title = {Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential}, series = {Membrane Computing, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015,}, booktitle = {Membrane Computing, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015,}, editor = {Rozenberg, Grzegorz and Salomaa, Arto and Sempere, Jos{\´e} M. and Zandron, Claudio}, publisher = {Springer Verlag}, address = {Cham [u.a.]}, isbn = {978-3-319-28474-3}, pages = {215 -- 235}, 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} } @inproceedings{OPUS4-19175, title = {Informatik 2015, 45. Jahrestagung der Gesellschaft f{\"u}r Informatik, Tagung von 28. September - 2. Oktober 2015 in Cottbus}, editor = {Cunningham, Douglas W. and Hofstedt, Petra and Meer, Klaus and Schmitt, Ingo}, publisher = {K{\"o}llen Druck+Verlag GmbH}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1959}, language = {de} } @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} } @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} } @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} } @techreport{OPUS4-24952, title = {Deklarative Ans{\"a}tze zur K{\"u}nstlichen Intelligenz, W(C)LP 2018, Post-Proceedings}, editor = {John, Ulrich and Hofstedt, Petra and Wolf, Armin}, publisher = {Hochschule f{\"u}r Wirtschaft, Technik und Kultur (htwk)}, address = {Berlin}, pages = {81}, 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{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 = {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{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} } @phdthesis{Voertler, author = {V{\"o}rtler, Thilo}, title = {Verification of software for Contiki-based low-power embedded systems using software model checking}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-44080}, pages = {165}, language = {en} } @phdthesis{Prenzel, author = {Prenzel, Anna}, title = {Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterst{\"u}tzung in Planungssystemen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-45278}, pages = {285}, 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 = {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} } @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{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} } @phdthesis{Loeffler, author = {L{\"o}ffler, Sven}, title = {Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs)}, address = {Cottbus}, doi = {10.26127/BTUOpen-6149}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-61490}, pages = {276}, language = {de} } @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} } @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} } @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} } @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{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 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 = {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{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} } @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{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} }