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)
2013
(5)
2012
(7)
2011
(5)
2010
(5)
2009
(3)
2008
(4)
2007
(4)
2006
(8)
2005
(4)
2004
(3)
2003
(7)
2002
(3)
2001
(5)
2000
(3)
1999
(1)
1998
(1)
1997
(1)
- less
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
101
to
110
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
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
101
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.