Deutsch
Open Access
Home
Search
Browse
Publish
FAQ
Schließen
Faculty/Chair
Fakultät 1 MINT - Mathematik, Informatik, Physik,...
FG Programmiersprachen und Compilerbau
Refine
Author
Hofstedt, Petra
(92)
Löffler, Sven
(34)
Liu, Ke
(23)
Becker, Ilja
(10)
Schölzel, Mario
(10)
Frank, Stephan
(9)
Sauer, Peter
(8)
Vörtler, Thilo
(7)
Bachmann, Peter
(6)
Höckner, Benny
(6)
+ more
Year of publication
2023
(4)
2022
(4)
2021
(4)
2020
(6)
2019
(13)
2018
(6)
2017
(6)
2016
(1)
2015
(9)
2014
(3)
+ more
Document Type
Conference Proceeding
(60)
Conference publication peer-reviewed
(32)
Doctoral thesis
(7)
Scientific journal article peer-reviewed
(6)
Scientific journal article not peer-reviewed
(4)
Part of a book (chapter)
(4)
Report
(4)
Book
(3)
Article
(2)
Book (publisher)
(1)
+ more
Language
English
(89)
German
(35)
Multiple languages
(1)
Keywords
Constraint Programming
(17)
Artificial Intelligence
(6)
Constraint Satisfaction Problems
(4)
Constraint Solving
(3)
Constraint Transformation
(2)
Declarative Programming
(2)
Deklarative Programmierung
(2)
Machine Learning
(2)
Optimization
(2)
Beacon Placement
(1)
+ more
Institute
FG Programmiersprachen und Compilerbau
(125)
FG Angewandte Medienwissenschaften
(1)
FG Datenbank- und Informationssysteme
(1)
FG Technische Informatik
(1)
BTU
an der BTU erstellt / created at BTU
(70)
nicht an der BTU erstellt / not created at BTU
(1)
125
search hits
61
to
110
Export
BibTeX
CSV
RIS
XML
50
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Design Space Exploration for Cyber Physical System Design using Constraint Solving
(2013)
Höckner, Benny
;
Hofstedt, Petra
;
Kaltschmidt, Sascha
;
Sauer, Peter
;
Vörtler, Thilo
Bounded Model Checking of Contiki Applications
(2012)
Vörtler, Thilo
;
Rülke, Steffen
;
Hofstedt, Petra
Constraints
(2013)
Hofstedt, Petra
Doktorandensymposium der Software Engineering (SE) 2012 : proceedings
(2012)
Interview with Pascal Van Hentenryck on Constraint-Based Programming
(2012)
Hofstedt, Petra
;
König, Thomas
Themenschwerpunkt "Sprachen der KI"
(2012)
Hofstedt, Petra
Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen
(2012)
König, Thomas
;
Hofstedt, Petra
Die Evolution der Programmiersprachen der KI
(2012)
Hofstedt, Petra
Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme
(1997)
Hofstedt, Petra
;
Schwigon, S.
How to integrate Declarative Languages and Constraint Systems
(2001)
Hofstedt, Petra
Implementing reduction strategies by hierarchical graph rewriting
(2009)
Hofstedt, Petra
Proceedings, International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011)
(2011)
FdConfig: A Constraint-Based Interactive Configurator
(2011)
Schneeweiss, Denny
;
Hofstedt, Petra
Monadische Constraint-Programmierung
(2011)
Hofstedt, Petra
;
Jeltsch, Wolfgang
;
König, Thomas
;
Guangyun, Xu
Multiparadigm Constraint Programming Languages
(2011)
Hofstedt, Petra
Task Parallel Skeletons for Irregularly Structured Problems
(1998)
Hofstedt, Petra
Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse
(2000)
Rühlke, St.
;
Schneider, J.
;
Bachmann, Peter
;
Rogin, F.
Quality guaranty of reusable circuit description throught HDL-Source Code Analysis
(1999)
Rülke, Steffen
;
Schneider, Jörg
;
Bachmann, Peter
;
Rogin, Frank
Cooperating Constraint Solvers
(2000)
Hofstedt, Petra
Better Communication for Tighter Cooperation
(2000)
Hofstedt, Petra
Declarative Host Languages for Constraint Systems
(2001)
Hofstedt, Petra
A Framework for Cooperating Constraint Solvers - A Prototypic Implementation
(2001)
Hofstedt, Petra
;
Seifert, Dirk
;
Godehardt, Eike
Cooperation and Coordination of Constraint Solvers
(2001)
Hofstedt, Petra
Spatial Inference - Learning vs. Constraint Solving
(2002)
Gips, Carsten
;
Hofstedt, Petra
;
Wysotzki, Fritz
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
(2003)
Workshop Proceedings
(2002)
A general Approach for Building Constraint Languages
(2002)
Hofstedt, Petra
Constraints, Predicates, Functions and a Turtle
(2003)
Frank, Stephan
;
Grabmüller, Martin
;
Hofstedt, Petra
;
Metzner, André
Multiple Evaluation Strategies for the Multiparadigm Programming Language Brooks
(2003)
Hofstedt, Petra
;
Metzner, André
A Case Study on Termination
(2003)
Frank, Stephan
;
Hofstedt, Petra
;
Mai, Pierre R.
A Flexible Meta-solver Framework for Constraint Solver Collaboration
(2003)
Frank, Stephan
;
Hofstedt, Petra
;
Mai, Pierre R.
Turtle. A Constraint Imperative Programming Language
(2003)
Grabmüller, Martin
;
Hofstedt, Petra
Meta-S: A Strategy-Oriented Meta-Solvet Framework
(2003)
Frank, Stephan
;
Hofstedt, Petra
;
Mai, Pierre R.
Strategies for the Efficient Solution of Hybrid Constraint Logic Programs
(2004)
Frank, Stephan
;
Hofstedt, Petra
;
Reckmann, D.
Workshop Proceedings
(2004)
Design-Space-Exploration Using Simulated Annealing
(2005)
Scholz, Sebastian
;
Schölzel, Mario
DESCOMP: A New Design Space Exploration Approach
(2005)
Schölzel, Mario
;
Bachmann, Peter
Durchgängiger automatisierter Entwurf von der Prozessor-Architektur bis zur Anwendungs-Software
(2006)
Schölzel, Mario
;
Bachmann, Peter
Zeitbeschränkte Clusterung zur Design-Space-Exploration geclusterter VLIW-Prozessoren
(2006)
Heinig, Andy
;
Schölzel, Mario
Synthesis of Application Specific Processors - A Look at High-Level-approaches for Developing Application Specific Processors
(2006)
Schölzel, Mario
Formal Verification of Event Driven Systems
(2006)
Bachmann, Peter
Time-Constrained Clustering for DSE of Clustered VLIW-ASP
(2007)
Schölzel, Mario
A Case-Study for Built-In-Self-Repair in Application Specific Processors By Decreasing the Arithmetic Accuracy
(2006)
Pawlowski, P.
;
Schölzel, Mario
Formale Verifikation von Contiki-Anwendungen
(2011)
Vörtler, Thilo
;
Klotz, Thomas
;
Fordran, Eva
;
Hofstedt, Petra
System Description: Meta-S. Combining Solver Cooperation and programming Languages
(2005)
Frank, Stephan
;
Hofstedt, Petra
;
Reckmann, D.
CLFD: A Finite Domain Constraint Solver in Common Lisp
(2005)
Frank, Stephan
;
Hofstedt, Petra
Turtle++ - A CIP-Library for C++
(2006)
Hofstedt, Petra
;
Krzikalla, O.
Solution Strategies for Multi-domain Constraint Logic Programs
(2007)
Frank, Stephan
;
Hofstedt, Petra
;
Pepper, Peter
;
Reckmann, D.
Integration of Declarative and Constraint Programming
(2007)
Hofstedt, Petra
;
Pepper, Peter
Einführung in die Constraint-Programmierung
(2007)
Hofstedt, Petra
;
Wolf, Armin
61
to
110
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.