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 - 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 - Declare 2017 – Conference on Declarative Programming Y1 - 2017 UR - https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf SP - 91 EP - 103 PB - Institute of Computer Science CY - Würzburg ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - The Power of Regular Constraints in CSPs T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 57 SP - 603 EP - 614 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER - TY - THES A1 - Hofstedt, Petra T1 - Cooperation and Coordination of Constraint Solvers Y1 - 2001 PB - Shaker CY - Aachen ER - TY - THES A1 - ELssaedi, Mosbah Mohamed T1 - A new approach to Event-Driven Programming KW - Ereignisgesteuerte Programmie Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus-4574 UR - http://opus.kobv.de/btu/volltexte/2008/457/ ER - TY - JFULL ED - Hofstedt, Petra T1 - KI - Künstliche Intelligenz : Themenband "AI Languages" Y1 - 2012 SN - 0933-1875 SN - 1610-1987 VL - 26 IS - 1 ER -