TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Metzner, André T1 - Constraints, Predicates, Functions and a Turtle T2 - 20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003 Y1 - 2003 ER - TY - CHAP A1 - Hofstedt, Petra T1 - A general Approach for Building Constraint Languages T2 - Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002. Y1 - 2002 SN - 3-540-00197-2 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP ED - Hanus, Michael ED - Hofstedt, Petra ED - Wolf, Armin ED - Abdennadher, Slim ED - Frühwirth, Thom ED - Lallouet, Arnaud T1 - 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 Y1 - 2003 UR - https://www-docs.b-tu.de/fg-programmiersprachen-compilerbau/public/publikationen/2003/Proceedings.MultiCPL03.RCoRP03.pdf ER - TY - CHAP ED - Hanus, Michael ED - Hofstedt, Petra ED - Abdennadher, Slim ED - Frühwirth, Thom ED - Wolf, Armin T1 - Workshop Proceedings T2 - 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 Y1 - 2002 ER - TY - CHAP A1 - Gips, Carsten A1 - Hofstedt, Petra A1 - Wysotzki, Fritz T1 - Spatial Inference - Learning vs. Constraint Solving T2 - Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002 Y1 - 2002 SN - 3-540-44185-9 SP - 299 EP - 316 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra T1 - Declarative Host Languages for Constraint Systems T2 - 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 Y1 - 2001 SN - 81-7764298-7 SP - 193 EP - 205 PB - Allied Publishers CY - New Delhi [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Seifert, Dirk A1 - Godehardt, Eike T1 - A Framework for Cooperating Constraint Solvers - A Prototypic Implementation T2 - Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001 Y1 - 2001 UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9290 ER - TY - CHAP A1 - Hofstedt, Petra T1 - Cooperating Constraint Solvers T2 - Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings Y1 - 2000 SN - 3-540-41053-8 SP - 520 EP - 524 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra T1 - Better Communication for Tighter Cooperation T2 - Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings Y1 - 2000 SN - 3-540-67797-6 SP - 342 EP - 357 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Rühlke, St. A1 - Schneider, J. A1 - Bachmann, Peter A1 - Rogin, F. T1 - Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse Y1 - 2000 ER - TY - CHAP A1 - Hofstedt, Petra ED - Pritchard, David T1 - Task Parallel Skeletons for Irregularly Structured Problems T2 - Parallel processing, proceedings / Euro-Par '98, 4th International Euro-Par Conference, Southampton, UK, September 1 - 4, 1998 Y1 - 1998 SN - 3-540-64952-2 SP - 676 EP - 681 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Heinig, Andy A1 - Schölzel, Mario T1 - Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 9. ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden Y1 - 2006 SN - 3-9810287-1-6 SP - 319 EP - 328 PB - Fraunhofer-Institut für Integrierte Schaltungen, Außenstelle Entwurfsautomatisierung CY - Dresden ER - TY - CHAP A1 - Scholz, Sebastian A1 - Schölzel, Mario T1 - Design-Space-Exploration Using Simulated Annealing Y1 - 2005 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - DESCOMP: A New Design Space Exploration Approach T2 - Systems aspects in organic and pervasive computing - ARCS 2005, 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14 - 17, 2005, proceedings Y1 - 2005 SN - 3-540-25273-8 SP - 178 EP - 192 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - Strategies for the Efficient Solution of Hybrid Constraint Logic Programs T2 - Third Workshop on Multiparadigm Constraint Programming Languages, Workshop Proceedings September 2004, Saint-Malo, France Y1 - 2004 SP - 103 EP - 118 ER - TY - CHAP ED - Muñoz-Hernández, Susana ED - Gómez-Pérez, José Manuel ED - Hofstedt, Petra T1 - Workshop Proceedings T2 - Third Workshop on Multiparadigm Constraint Programming Languages, September 2004, Saint-Malo, France Y1 - 2004 ER - TY - CHAP A1 - Grabmüller, Martin A1 - Hofstedt, Petra T1 - Turtle. A Constraint Imperative Programming Language T2 - Research and development in intelligent systems XX, proceedings of AI2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence Y1 - 2003 SN - 1-85233-780-X SP - 185 EP - 198 PB - Springer CY - London [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. ED - Rubio, Albert T1 - A Case Study on Termination T2 - Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings Y1 - 2003 SP - 49 EP - 51 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - CHAP A1 - Hofstedt, Petra A1 - Metzner, André ED - Vidal, Germán T1 - Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks T2 - 12th International Workshop, WFLP 2003, Valencia, Spain, June 12 - 13, 2003, proceedings Y1 - 2003 SP - 75 EP - 88 PB - Universidad Politécnica de Valencia CY - Valencia ER - TY - GEN A1 - Hofstedt, Petra T1 - Die Evolution der Programmiersprachen der KI T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 11 EP - 13 ER - TY - GEN A1 - Hofstedt, Petra T1 - Themenschwerpunkt "Sprachen der KI" T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 7 EP - 9 ER - TY - RPRT ED - Hofstedt, Petra ED - Lewerentz, Claus T1 - Doktorandensymposium der Software Engineering (SE) 2012 : proceedings Y1 - 2012 PB - BTU CY - Cottbus ER - TY - CHAP A1 - Hofstedt, Petra ED - Görz, Günther ED - Schneeberger, Josef ED - Schmid, U. T1 - Constraints T2 - Handbuch der Künstlichen Intelligenz Y1 - 2013 SN - 978-3-486-71307-7 SN - 978-3-486-71979-6 SP - 205 EP - 234 PB - Oldenburg Verlag CY - München ET - 5. korrigierte Auflage ER - TY - CHAP A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Höckner, Benny T1 - Functional Programming with Pros and Cons T2 - HaL8 - Haskell-Treffen an der Universität Leipzig, Workshop am 21. Juni 2013 Y1 - 2013 UR - http://www.bioinf.uni-leipzig.de/conference-registration/13haskell/papers/paper_8.pdf ER - TY - GEN A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - Configurable Domain Objects for Resource Modelling in Treatment Scheduling T2 - International Journal of Software Engineering and Knowledge Engineering Y1 - 2015 SN - 0218-1940 VL - 25 IS - 5 SP - 871 EP - 885 ER - TY - CHAP A1 - Hinze, Thomas A1 - Behre, Jörn A1 - Bodenstein, Christian A1 - Escuela, Gabi A1 - Grünert, Gerd A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Hayat, Sikander A1 - Dittrich, Peter ED - Frisco, Pierluigi ED - Gheorghe, Marian ED - Pérez-Jiménez, Mario J. T1 - Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology T2 - Applications of Membrane Computing in Systems and Synthetic Biology Y1 - 2014 SN - 978-3-319-03190-3 SP - 133 EP - 173 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Hinze, Thomas A1 - Grützmann, Konrad A1 - Höckner, Benny A1 - Sauer, Peter A1 - Hayat, Sikander ED - Gheorghe, Marian ED - Rozenberg, Grzegorz ED - Salomaa, Arto ED - Sosík, Petr ED - Zandron, Claudio T1 - Categorised Counting Mediated by Blotting Membrane Systems for Particle-Based Data Mining and Numerical Algorithms T2 - Membrane computing, 15th International Conference, CMC 2014 Prague, Czech Republic, August 20–22, 2014 Y1 - 2014 SN - 978-3-319-14369-9 SP - 241 EP - 257 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Hinze, Thomas A1 - Kirkici, Korcan A1 - Sauer, Patricia A1 - Sauer, Peter A1 - Behre, Jörn ED - Rozenberg, Grzegorz ED - Salomaa, Arto ED - Sempere, José M. ED - Zandron, Claudio T1 - Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential T2 - Membrane Computing, 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Y1 - 2015 SN - 978-3-319-28474-3 SP - 215 EP - 235 PB - Springer Verlag CY - Cham [u.a.] ER - TY - CHAP A1 - Sauer, Peter A1 - Hausten, Tom A1 - Hofstedt, Petra T1 - Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework T2 - International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016 Y1 - 2016 SN - 978-1-5090-0792-9 SN - 978-1-5090-0793-6 SP - 228 EP - 233 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP ED - Cunningham, Douglas W. ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Informatik 2015, 45. Jahrestagung der Gesellschaft für Informatik, Tagung von 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 PB - Köllen Druck+Verlag GmbH CY - Bonn ER - TY - GEN A1 - Klimczak, Peter A1 - Hofstedt, Petra A1 - Schmitt, Ingo A1 - Petersen, Christer T1 - Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft T2 - Workshop INF-DH-2018 N2 - Zwar hat sich die elektronische Datenverarbeitung etwa im Rahmen der Archivierung, der Kategorisierung und der Suche von bzw. in Texten allgemein durchgesetzt, allerdings können deren Verfahren bisher nur bedingt auf eine Ebene des Textverständnisses vordringen. Es existieren keine Algorithmen, die menschliche Interpretation auf Subtextebene zufriedenstellend imitieren könnten. Unter Subtext wird hier eine Bedeutungsebene verstanden, die der expliziten Aussage eines Textes als zusätzliche Ausdrucksdimension unterlegt ist. Von Seiten der Computerphilologie sind bisher einzig Textanalyse und -interpretation unterstützende Verfahren entwickelt worden, die lediglich auf der Sprachoberflä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öglichen könnte. Aufbauend auf der 2016 vorgestellten formalen Subtextanalyse (Klimczak, 2016) erscheint aber ein algorithmisiertes Verfahren zur Rekonstruktion von komplexen Semantiken narrativer Gebrauchstexte möglich, welches die bestehenden Verfahren sowohl der Computerphilologie als auch der Computerlinguistik qualitativ übertreffen könnte, indem es hermeneutische Zugänge für informationstechnische Forschung erschließt. KW - Interpretation KW - Interdisziplinarität KW - Medienwissenschaft KW - Subtextanalyse KW - Narrativik KW - Hermeneutik KW - Semantik KW - Semiotik Y1 - 2018 U6 - https://doi.org/10.18420/infdh2018-06 PB - Gesellschaft für Informatik e.V. CY - Bonn ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Iliadis, Lazaros S. ED - Maglogiannis, Ilias ED - Plagianakos, Vassilis P. T1 - The Regularization of CSPs for Rostering, Planning and Resource Management Problems T2 - Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece KW - Artificial Intelligence KW - Constraint Programming KW - Constraint Transformation KW - Planning and Scheduling Y1 - 2018 SN - 978-3-319-92006-1 SN - 978-3-319-92007-8 U6 - https://doi.org/10.1007/978-3-319-92007-8_18 SP - 209 EP - 218 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Groza, Adrian ED - Prasath, Rajendra T1 - Solving the Traveling Tournament Problem with Predefined Vanues by Parallel Constraint Programming T2 - Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018 KW - Artificial Intelligence KW - Constraint Programming KW - Traveling Tournament Problem KW - Parallel Programming KW - Constraint Solving Y1 - 2018 SN - 978-3-030-05917-0 SN - 978-3-030-05919-4 U6 - https://doi.org/10.1007/978-3-030-05918-7_7 SP - 64 EP - 79 PB - Springer International Publishing CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step towards Parallel Constraint Solving T2 - Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers KW - Artificial Intelligence KW - Constraint Programming KW - Parallel Constraint Solving Y1 - 2018 UR - https://www.springer.com/de/book/9783030008000 SN - 978-3-030-00800-0 U6 - https://doi.org/10.1007/978-3-030-00801-7_6 SP - 81 EP - 94 PB - Springer CY - Heidelberg [u.a.] ER - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Plümicke, Martin ED - Alia, Fayez Abu T1 - Sharing Nogoods between Portfolio Instances in Choco Solver T2 - 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019 Y1 - 2019 SN - 978-3-8440-6933-4 SP - 31 EP - 36 PB - Shaker Verlag CY - Düren ER - TY - CHAP A1 - Hofstedt, Petra A1 - Hower, Walter A1 - John, Ulrich A1 - Wolf, Armin ED - Draude, Claude ED - Lange, Martin ED - Sick, Bernhard T1 - MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme T2 - INFORMATIK 2019 - 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft Y1 - 2019 UR - https://dl.gi.de/handle/20.500.12116/25099 SN - 978-3-88579-689-3 U6 - https://doi.org/10.18420/inf2019_ws40 PB - GI CY - Bonn ER - TY - RPRT ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Deklarative Ansätze zur Künstlichen Intelligenz, W(C)LP 2018, Post-Proceedings KW - Deklarative Programmierung Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up T2 - Deklarative Ansätze zur Künstlichen Intelligenz – punktuelle Beiträge - Post-Proceedings des 32. Workshops für (Constraint) Logische Programmierung KW - Constraint Programming Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf SP - 19 EP - 24 PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019 N2 - 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. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007455907550761 SP - 755 EP - 761 PB - SciTePress ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence N2 - 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. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007260204350442 SP - 435 EP - 442 PB - SciTePress ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - MacIntyre, John ED - Maglogiannis, Ilias ED - Iliadis, Lazaros S. ED - Pimenidis, Elias T1 - Solving the Talent Scheduling Problem by Parallel Constraint Programming T2 - Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019 KW - Constraint Programming Y1 - 2019 UR - https://link.springer.com/chapter/10.1007/978-3-030-19823-7_19 SN - 978-3-030-19822-0 SN - 978-3-030-19823-7 U6 - https://doi.org/10.1007/978-3-030-19823-7_19 SN - 1868-4238 SN - 1868-422X SP - 236 EP - 244 PB - Springer ER - TY - CHAP A1 - Hofstedt, Petra A1 - John, Ulrich A1 - Wolf, Armin ED - Eibl, Maximilian ED - Gaedke, Martin T1 - MOC 2017 – 9. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme T2 - 47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017 KW - Deklarative Programmierung Y1 - 2017 UR - https://dl.gi.de/handle/20.500.12116/4076 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017_56 SN - 1617-5468 PB - GI CY - Bonn ER - TY - THES A1 - Vörtler, Thilo T1 - Verification of software for Contiki-based low-power embedded systems using software model checking Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-44080 ER - TY - THES A1 - Prenzel, Anna T1 - Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-45278 ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - Parallel Stochastic Portfolio Search for Constraint Solving T2 - 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) KW - Constraint Programming KW - Parallel Search Y1 - 2019 UR - https://ieeexplore.ieee.org/xpl/conhome/9036029/proceeding SN - 978-1-7281-4328-6 SN - 978-1-7281-4329-3 U6 - https://doi.org/10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106 SP - 697 EP - 704 PB - IEEE ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Hofstedt, Petra ED - Abreu, Salvador ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers KW - Constraint Programming Y1 - 2020 SN - 978-3-030-46713-5 SN - 978-3-030-46714-2 U6 - https://doi.org/10.1007/978-3-030-46714-2_7 SN - 0302-9743 SN - 1611-3349 SP - 99 EP - 105 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Hofstedt, Petra ED - Abreu, Salvador ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers KW - Constraint Programming Y1 - 2020 SN - 978-3-030-46713-5 SN - 978-3-030-46714-2 U6 - https://doi.org/10.1007/978-3-030-46714-2_8 SN - 0302-9743 SN - 1611-3349 SP - 106 EP - 115 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Schmid, Ute ED - Klügl, Franziska ED - Wolter, Diedrich T1 - Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem T2 - KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020 KW - Constraint Programming KW - Reformulation Y1 - 2020 SN - 978-3-030-58284-5 SN - 978-3-030-58285-2 U6 - https://doi.org/10.1007/978-3-030-58285-2_26 SN - 0302-9743 SN - 1611-3349 SP - 297 EP - 304 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach T2 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta KW - Constraint Programming Y1 - 2020 UR - https://www.scitepress.org/Link.aspx?doi=10.5220/0008880403310338 SN - 978-989-758-395-7 U6 - https://doi.org/10.5220/0008880403310338 SP - 331 EP - 338 PB - SciTePress CY - Setubal ER - TY - GEN A1 - Bels, Maximilian A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - van den Herik, H. Jaap T1 - Constraint-Based Filtering and Evaluation of CSP Search Trees T2 - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3 KW - Constraint Programming KW - Artificial Intelligence Y1 - 2023 SN - 978-989-758-623-1 U6 - https://doi.org/10.5220/0011641100003393 SP - 220 EP - 227 PB - Scitepress ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra A1 - Nitze, Andre A1 - Hennig, Silvia A1 - Klinge, Alexander ED - Klein, Maike ED - Krupka, Daniel ED - Winter, Cornelia ED - Wohlgemuth, Volker T1 - Planung des Ländlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen T2 - Informatik 2023 : Designing Futures - Zukünfte gestalten : 26.-29. September 2023, Berlin Y1 - 2023 SN - 978-3-88579-731-9 U6 - https://doi.org/10.18420/inf2023_177 SP - 1739 EP - 1750 PB - Gesellschaft für Informatik e.V. CY - Berlin ER - TY - THES A1 - Löffler, Sven T1 - Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs) Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-61490 CY - Cottbus ER - TY - RPRT A1 - Hofstedt, Petra A1 - Schwigon, S. T1 - Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme Y1 - 1997 N1 - TUD-FI-97-08 PB - Techn. Univ. CY - Dresden ER - TY - CHAP A1 - Hofstedt, Petra A1 - Löffler, Sven ED - Görz, Günther ED - Schmid, Ute ED - Braun, Tanya T1 - Constraints T2 - Handbuch der künstlichen Intelligenz KW - Constraints Y1 - 2021 UR - https://www.degruyter.com/view/title/558044 SN - 978-3-11-065984-9 SN - 978-3-11-065994-8 SN - 978-3-11-065995-5 U6 - https://doi.org/10.1515/9783110659948-016 SP - 713 EP - 754 PB - De Gruyter CY - Berlin, Boston ET - 6. Auflage ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Kaltschmidt, Sascha A1 - Sauer, Peter A1 - Vörtler, Thilo T1 - Design Space Exploration for Cyber Physical System Design using Constraint Solving T2 - The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 Y1 - 2013 PB - IEEE ER - TY - CHAP A1 - Vörtler, Thilo A1 - Rülke, Steffen A1 - Hofstedt, Petra T1 - Bounded Model Checking of Contiki Applications T2 - 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012 Y1 - 2012 SN - 978-1-4673-1187-8 SP - 258 EP - 261 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Hofstedt, Petra A1 - Hower, Walter A1 - John, Ulrich A1 - Kmoch, Andreas A1 - Wolf, Armin ED - Cunningham, Douglas W. ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1135 EP - 1138 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Hofstedt, Petra A1 - John, Ulrich A1 - Wolf, Armin T1 - MOC 2015 - 7. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1045 EP - 1046 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015 Y1 - 2015 SN - 978-3-00-048889-4 SP - 20 EP - 29 PB - Technische Universität CY - Chemnitz ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formal Verification of Software for the Contiki Operating System Considering Interrupts T2 - 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015 Y1 - 2015 SN - 978-1-4799-6780-3 U6 - https://doi.org/10.1109/DDECS.2015.59 SP - 295 EP - 298 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - Configurable Resource Models for Treatment Planning in the Medical Domain T2 - 8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014 Y1 - 2015 SN - 978-1-63190-053-2 U6 - https://doi.org/10.4108/icst.bict.2014.257907 SP - 344 EP - 347 PB - ICST CY - Brüssel ER - TY - CHAP A1 - Sauer, Peter A1 - Schneeweiss, Denny A1 - Hofstedt, Petra ED - Cunningham, Douglas W. ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1047 EP - 1060 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Lorenz, Jacob A1 - Hofstedt, Petra A1 - Schneider, Stefan-Alexander A1 - Mai, Pierre R. T1 - Semi-Automatic Compliance Audits for Implementations of FMI for Co-Simulation T2 - Conference proceedings of the 17th ITI symposium, International Congress Center Dresden, November 3 - 5, 2014 Y1 - 2014 PB - ITI GmbH CY - Dresden ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - Using Hypertree Decomposition for Parallel Constraint Solving T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 58 SP - 615 EP - 622 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Vörtler, Thilo A1 - Sauer, Peter A1 - Hinze, Thomas ED - Hanus, Michael ED - Rocha, Ricardo T1 - Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems T2 - 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013 Y1 - 2013 UR - http://www.informatik.uni-kiel.de/uploads/tx_publication/tr-1306-bericht.pdf SP - 183 EP - 197 PB - Institut für Informatik, Christian-Albrechts-Universität CY - Kiel ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - FdConfig: A Constraint-Based Interactive Configurator T2 - Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011 Y1 - 2013 SN - 978-3-642-41523-4 SP - 239 EP - 255 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Ueda, K. T1 - Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting Y1 - 2009 ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Bückert, Carlo A1 - Hofstedt, Petra ED - Gini, Giuseppina ED - Nijmeijer, Henk ED - Filev, Dimitar T1 - Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach T2 - Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1 KW - Beacon Placement KW - Constraint Programming KW - Decision Support Systems KW - Artificial Intelligence Y1 - 2023 SN - 978-989-758-670-5 U6 - https://doi.org/10.5220/0012203400003543 SP - 70 EP - 79 PB - Scitepress ER - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Machado, Jose Manuel F. ED - Chamoso, Pablo ED - Hernandez, Guillermo ED - Bocewicz, Grzegorz ED - Loukanova, Roussanka ED - Jove, Esteban ED - del Rey, Angel Martin ED - Ricca, Michela T1 - ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration T2 - Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference KW - Constraint Programming KW - Machine Learning Y1 - 2022 SN - 978-3-031-23209-1 SN - 978-3-031-23210-7 SP - 177 EP - 183 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Strauss, Christine ED - Amagasa, Toshiyuki ED - Kotsis, Gabriele ED - Tjoa, A Min ED - Khalil, Ismail T1 - A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem T2 - Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part II Y1 - 2023 SN - 978-3-031-39820-9 SN - 978-3-031-39821-6 SP - 126 EP - 133 PB - Springer CY - Cham ER - TY - CHAP A1 - Hofstedt, Petra ED - Indermark, Klaus T1 - How to integrate Declarative Languages and Constraint Systems T2 - Kolloquium Programmiersprachen und Grundlagen der Programmierung Y1 - 2001 PB - RWTH, Department of Computer Science CY - Aachen ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - FdConfig: A Constraint-Based Interactive Configurator Y1 - 2011 ER - TY - CHAP ED - Hofstedt, Petra ED - Wolf, Armin T1 - Proceedings, International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011) Y1 - 2011 PB - BTU CY - Cottbus ER - TY - CHAP A1 - Hofstedt, Petra ED - Fernandez, Maribel T1 - Implementing reduction strategies by hierarchical graph rewriting Y1 - 2009 ER - TY - CHAP A1 - Hofstedt, Petra A1 - Jeltsch, Wolfgang A1 - König, Thomas A1 - Guangyun, Xu T1 - Monadische Constraint-Programmierung Y1 - 2011 ER - TY - GEN A1 - Löffler, Sven A1 - Kroll, Franz A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - Optimal Beacon Placement for Indoor Positioning Using Constraint Programming T2 - 19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022 Y1 - 2022 UR - https://ieeexplore.ieee.org/document/10017575 SN - 979-8-3503-1008-5 U6 - https://doi.org/10.1109/AICCSA56895.2022.10017575 PB - IEEE ER - TY - GEN A1 - Kroll, Franz A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Roque, Ana C.A. ED - Fred, Ana L.N. ED - Gamboa, Hugo T1 - Automatic Detection of Timed-up and Go Tests with IMU Sensor Data T2 - Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022 Y1 - 2022 SN - 978-989-758-552-4 U6 - https://doi.org/10.5220/0010775300003123 SN - 2184-4305 SP - 15 EP - 24 PB - SCITEPRESS ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints T2 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2 KW - Constraint-Solving KW - Machine Learning KW - Optimization Y1 - 2021 UR - https://www.scitepress.org/Link.aspx?doi=10.5220/0010299109740981 SN - 978-989-758-484-8 U6 - https://doi.org/10.5220/0010299109740981 SN - 2184-433X SP - 974 EP - 981 ER - TY - THES A1 - Liu, Ke T1 - Parallel Constraint Solving for Combinatorial Problems KW - Constraint Solving KW - Constraint Programming KW - Parallel Processing Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-54375 CY - Cottbus ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Kroll, Franz A1 - Hofstedt, Petra T1 - A Survey of Constraint Transformation Methods T2 - 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability KW - Constraint Solving KW - Constraint Transformation KW - Optimization Y1 - 2021 UR - https://dl.gi.de/handle/20.500.12116/37760 SN - 978-3-88579-708-1 U6 - https://doi.org/10.18420/informatik2021-090 SP - 1107 EP - 1120 ER - TY - THES A1 - Schölzel, Mario T1 - Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren KW - Entwurfsautomation KW - Hardwareentwurf KW - VLIW-Architektur KW - Design-Space-Exploration KW - VLIW KW - Prozessorentwurf Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-397 UR - http://opus.kobv.de/btu/volltexte/2006/39/ ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Maglogiannis, Ilias ED - Iliadis, Lazaros S. ED - Pimenidis, Elias T1 - An Introduction of FD-Complete Constraints T2 - Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part II KW - Constraint Programming KW - FD-Complete Constraints Y1 - 2020 SN - 978-3-030-49185-7 SN - 978-3-030-49186-4 U6 - https://doi.org/10.1007/978-3-030-49186-4_3 SN - 1868-4238 SN - 1868-422X SP - 27 EP - 38 PB - Springer CY - Cham ER - TY - GEN ED - Hofstedt, Petra ED - Abreu, Salvador ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers KW - Declarative Programming Y1 - 2020 UR - https://link.springer.com/book/10.1007%2F978-3-030-46714-2 SN - 978-3-030-46713-5 SN - 978-3-030-46714-2 U6 - https://doi.org/10.1007/978-3-030-46714-2 SN - 0302-9743 SN - 1611-3349 PB - Springer CY - Cham ER - TY - BOOK A1 - Hofstedt, Petra A1 - Wolf, Armin T1 - Einführung in die Constraint-Programmierung Y1 - 2007 SN - 3-540-23184-6 SN - 978-3-540-23184-4 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2 KW - Constraint Programming Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007252300290039 SP - 29 EP - 39 PB - SciTePress ER - TY - BOOK A1 - Pepper, Peter A1 - Hofstedt, Petra T1 - Funktionale Programmierung: Sprachdesign und Programmiertechnik Y1 - 2006 SN - 3-540-20959-X PB - Berlin CY - Springer ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Herik, Jaap van den ED - Rocha, Ana Paula ED - Steels, Luc T1 - Social Golfer Problem Revisited T2 - Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers KW - Constraint Programming Y1 - 2019 SN - 978-3-030-37493-8 SN - 978-3-030-37494-5 U6 - https://doi.org/10.1007/978-3-030-37494-5_5 SN - 0302-9743 SN - 1611-3349 SP - 72 EP - 99 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Pre-proceedings of the {DECLARE} 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.06003.pdf ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Pre-proceedings of the DECLARE 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.05907.pdf ER - TY - RPRT ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Pre-proceedings of the DECLARE 2019 Conference KW - Declarative Programming KW - Artificial Intelligence Y1 - 2019 UR - https://arxiv.org/html/1909.04870 UR - https://arxiv.org/abs/1909.04870v3 ER - TY - GEN A1 - Hofstedt, Petra A1 - König, Thomas T1 - Interview with Pascal Van Hentenryck on Constraint-Based Programming T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 75 EP - 77 ER - TY - GEN A1 - König, Thomas A1 - Hofstedt, Petra T1 - Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen T2 - Künstliche Intelligenz Y1 - 2012 SN - 1610-1987 VL - 26 IS - 1 SP - 47 EP - 54 ER - TY - GEN A1 - Bachmann, Peter T1 - Formal Verification of Event Driven Systems Y1 - 2006 ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - A Flexible Meta-solver Framework for Constraint Solver Collaboration T2 - Advances in artificial intelligence, 26th Annual German Conference on AI, proceedings, Hamburg, Germany, September 15 - 18, 2003 Y1 - 2003 SN - 3-540-20059-2 SP - 520 EP - 534 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Mai, Pierre R. T1 - Meta-S: A Strategy-Oriented Meta-Solvet Framework T2 - Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, St. Augustine Y1 - 2003 SN - 1-577-35177-0 SP - 177 EP - 181 PB - AAAI Press CY - Menlo Park, Calif. ER - TY - GEN A1 - Rülke, Steffen A1 - Schneider, Jörg A1 - Bachmann, Peter A1 - Rogin, Frank T1 - Quality guaranty of reusable circuit description throught HDL-Source Code Analysis T2 - International Workshop on IP-Based Synthesis and System Design’99 Y1 - 1999 ER - TY - JOUR A1 - Hofstedt, Petra A1 - Pepper, Peter T1 - Integration of Declarative and Constraint Programming JF - Theory and practice of logic programming Y1 - 2007 SN - 1471-0684 N1 - Special Issue on Multiparadigm Languages and Constraint Programming VL - 7 IS - 1-2 SP - 93 EP - 121 ER - TY - BOOK A1 - Hofstedt, Petra T1 - Multiparadigm Constraint Programming Languages Y1 - 2011 SN - 978-3-642-17329-5 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Hypertree Decomposition for Constraint programming in Parallel T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 86 EP - 89 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Transformations of CSPs to Regular CSPs T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 127 EP - 129 PB - Friedrich-Schiller-Universität CY - Jena ER -