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 - 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 - 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 - 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 - 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 - 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 -