TY - CHAP A1 - Schölzel, Mario T1 - Globale Registerallokation für irreguläre Registerarchitekturen durch Graphfärbung T2 - Informatiktage 2001, fachwissenschaftlicher Informatik-Kongreß, 9. und 10. November 2001 im Neuen Kloster Bad Schussenried Y1 - 2001 PB - Konradin-Verl. Kohlhammer CY - Leinfelden-Echterdingen ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter A1 - Vierhaus, Heinrich Theodor ED - Dabrowski, Adam T1 - Application Specific Processor Design for Digital Signal Processing T2 - Signal processing '2004, workshop proceedings, Poznan, 24th September 2004 Y1 - 2004 SN - 83-913251-5-6 SP - 7 EP - 15 PB - Poznan Univ. of Technology CY - Poznan ER - TY - JOUR A1 - Hofstedt, Petra T1 - CCFL - A Concurrent Constraint Functional Language Y1 - 2008 ER - TY - CHAP A1 - Hofstedt, Petra A1 - Lorenzen, Florian T1 - Constraint Functional Multicore Programming T2 - Informatik 2009 : im Focus das Leben, Beiträge der 39. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 28.9. - 2.10.2009 in Lübeck Y1 - 2009 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Jeltsch, Wolfgang T1 - Push-Based FRP Y1 - 2008 ER - TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Kleeblatt, Dirk A1 - Pepper, Peter T1 - Safety of Compilers and Translation Techniques - Status quo of Technology and Science T2 - Automotive - Safety & Security 2008 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 19. und 20. November 2008, Stuttgart Y1 - 2008 SN - 978-3-8322-7681-2 SP - 47 EP - 62 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Jeltsch, Wolfgang T1 - Generic Record Combinators with Static Type Checking T2 - Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010 Y1 - 2010 U6 - https://doi.org/10.1145/1836089.1836108 SP - 143 EP - 154 PB - ACM, Digital Library CY - New York, NY ER - TY - CHAP A1 - Hofstedt, Petra T1 - Realizing evaluation strategies by hierarchical graph rewriting T2 - Workshop: Implementation of Constraint Logic Programming Systems, CICLOPS 2010, Proceedings, Edinburgh, 2010 Y1 - 2010 UR - http://arxiv.org/abs/1009.3770 ER - TY - CHAP A1 - Hofstedt, Petra T1 - The Multiparadigm Programming Language CCFL T2 - Informatik 2010, Service Science - neue Perspektiven für die Informatik, 27.09. - 01.10.2010 Leipzig, 40. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Bd. 2 Y1 - 2010 SN - 978-3-88579-270-3 SP - 699 EP - 704 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Jeltsch, Wolfgang ED - Horvath, Zoltan T1 - Signals, Not Generators! T2 - Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009 Y1 - 2010 SN - 978-1-84150-158-1 SN - 978-1-84150-442-1 SP - 145 EP - 160 PB - Intellect CY - Bristol ER - TY - GEN A1 - Hofstedt, Petra T1 - Constraint-Based Object-Oriented Programming T2 - IEEE Computer Society, IEEE Software Y1 - 2010 SN - 0740-7459 VL - 27 IS - 5 SP - 53 EP - 56 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Pepper, Peter A1 - Reckmann, D. T1 - Solution Strategies for Multi-domain Constraint Logic Programs T2 - Perspectives of systems informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27 - 30, 2006 Y1 - 2007 SN - 978-3-540-70880-3 SP - 209 EP - 222 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Krzikalla, O. T1 - Turtle++ - A CIP-Library for C++ T2 - 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 Y1 - 2006 SN - 978-3-540-69233-1 SP - 12 EP - 24 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra T1 - CLFD: A Finite Domain Constraint Solver in Common Lisp Y1 - 2005 ER - TY - CHAP A1 - Frank, Stephan A1 - Hofstedt, Petra A1 - Reckmann, D. T1 - System Description: Meta-S. Combining Solver Cooperation and programming Languages Y1 - 2005 ER - TY - CHAP A1 - Vörtler, Thilo A1 - Klotz, Thomas A1 - Fordran, Eva A1 - Hofstedt, Petra T1 - Formale Verifikation von Contiki-Anwendungen T2 - 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 Y1 - 2011 SN - 978-3-00-033820-5 PB - OFFIS CY - Oldenburg ER - TY - CHAP A1 - Schölzel, Mario T1 - Time-Constrained Clustering for DSE of Clustered VLIW-ASP T2 - 2007 Design, Automation & Test in Europe Conference & Exhibition, Nice, France, 16 - 20 April 2007 Y1 - 2007 SN - 978-3-9810801-2-4 SP - 467 EP - 472 PB - IEEE Service Center CY - Piscataway, NJ ER - TY - CHAP A1 - Pawlowski, P. A1 - Schölzel, Mario T1 - A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy Y1 - 2006 ER - TY - CHAP A1 - Schölzel, Mario T1 - Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors Y1 - 2006 ER - TY - CHAP A1 - Schölzel, Mario A1 - Bachmann, Peter T1 - Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software T2 - Dresdner Arbeitstagung Schaltungs- und Systementwurf (DASS'2006), Ehrenkolloquium für Prof. Dr.-Ing. Günter Elst, 10. - 11. Mai 2006 Y1 - 2006 SP - 19 EP - 24 PB - Fraunhofer-Institut CY - Dresden ER - 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 -