Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Petra Hofstedt
@inproceedings{DBLP:conf/icaart/LofflerBH24,
author = {Sven L{\"{o}}ffler and
Ilja Becker and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Enhancing Constraint Optimization Problems with Greedy Search and
Clustering: {A} Focus on the Traveling Salesman Problem},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 3, Rome, Italy, February 24-26,
2024},
pages = {1170--1178},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012453000003636},
doi = {10.5220/0012453000003636},
timestamp = {Thu, 04 Apr 2024 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/icaart/LofflerBH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/LofflerBH23,
author = {Sven L{\"{o}}ffler and
Ilja Becker and
Petra Hofstedt},
editor = {Christine Strauss and
Toshiyuki Amagasa and
Gabriele Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {A Finite-Domain Constraint-Based Approach on the Stockyard Planning
Problem},
booktitle = {Database and Expert Systems Applications - 34th International Conference,
{DEXA} 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {14147},
pages = {126--133},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39821-6\_10},
doi = {10.1007/978-3-031-39821-6\_10},
timestamp = {Sat, 30 Sep 2023 09:38:52 +0200},
biburl = {https://dblp.org/rec/conf/dexa/LofflerBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LofflerBHNHK23,
author = {Sven L{\"{o}}ffler and
Ilja Becker and
Petra Hofstedt and
Andr{\'{e}} Nitze and
Silvia Hennig and
Alexander Klinge},
editor = {Maike Klein and
Daniel Krupka and
Cornelia Winter and
Volker Wohlgemuth},
title = {Planung des L{\"{a}}ndlichen On-Demand-Verkehr - Probleme, Analyse
und Algorithmen},
booktitle = {53. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
2023, Designing Future - Zuk{\"{u}}nfte gestalten, Berlin, Germany
September 26-29, 2023},
series = {{LNI}},
volume = {{P-337}},
pages = {1739--1750},
publisher = {Gesellschaft f{\"{u}}r Informatik, Bonn},
year = {2023},
url = {https://doi.org/10.18420/inf2023\_177},
doi = {10.18420/INF2023\_177},
timestamp = {Fri, 08 Mar 2024 15:16:29 +0100},
biburl = {https://dblp.org/rec/conf/gi/LofflerBHNHK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/BelsLBH23,
author = {Maximilian Bels and
Sven L{\"{o}}ffler and
Ilja Becker and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Constraint-Based Filtering and Evaluation of {CSP} Search Trees},
booktitle = {Proceedings of the 15th International Conference on Agents and Artificial
Intelligence, {ICAART} 2023, Volume 3, Lisbon, Portugal, February
22-24, 2023},
pages = {220--227},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011641100003393},
doi = {10.5220/0011641100003393},
timestamp = {Tue, 09 May 2023 16:57:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/BelsLBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/LofflerBBH23,
author = {Sven L{\"{o}}ffler and
Ilja Becker and
Carlo B{\"{u}}ckert and
Petra Hofstedt},
editor = {Giuseppina Gini and
Henk Nijmeijer and
Dimitar P. Filev},
title = {Enhanced Optimal Beacon Placement for Indoor Positioning: {A} Set
Variable Based Constraint Programming Approach},
booktitle = {Proceedings of the 20th International Conference on Informatics in
Control, Automation and Robotics, {ICINCO} 2023, Rome, Italy, November
13-15, 2023, Volume 1},
pages = {70--79},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012203400003543},
doi = {10.5220/0012203400003543},
timestamp = {Fri, 26 Jan 2024 13:44:38 +0100},
biburl = {https://dblp.org/rec/conf/icinco/LofflerBBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiccsa/LofflerKBH22,
author = {Sven L{\"{o}}ffler and
Franz Kroll and
Ilja Becker and
Petra Hofstedt},
title = {Optimal Beacon Placement for Indoor Positioning Using Constraint Programming},
booktitle = {19th {IEEE/ACS} International Conference on Computer Systems and Applications,
{AICCSA} 2022, Abu Dhabi, United Arab Emirates, December 5-8, 2022},
pages = {1--8},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/AICCSA56895.2022.10017575},
doi = {10.1109/AICCSA56895.2022.10017575},
timestamp = {Thu, 26 Jan 2023 11:35:09 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/LofflerKBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/KrollLBH22,
author = {Franz Kroll and
Sven L{\"{o}}ffler and
Ilja Becker and
Petra Hofstedt},
editor = {Ana C. A. Roque and
Ana L. N. Fred and
Hugo Gamboa},
title = {Automatic Detection of Timed-up and Go Tests with {IMU} Sensor Data},
booktitle = {Proceedings of the 15th International Joint Conference on Biomedical
Engineering Systems and Technologies, {BIOSTEC} 2022, Volume 1: BIODEVICES,
Online Streaming, February 9-11, 2022},
pages = {15--24},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010775300003123},
doi = {10.5220/0010775300003123},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/biostec/KrollLBH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/BeckerLH22,
author = {Ilja Becker and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Jos{\'{e}} Manuel F. Machado and
Pablo Chamoso and
Guillermo Hern{\'{a}}ndez and
Grzegorz Bocewicz and
Roussanka Loukanova and
Esteban Jove and
{\'{A}}ngel Mart{\'{\i}}n del Rey and
Michela Ricca},
title = {ML-Based Automation of Constraint Satisfaction Model Transformation
and Solver Configuration},
booktitle = {Distributed Computing and Artificial Intelligence, Special Sessions,
19th International Conference, {DCAI} 2022, L'Aquila, Italy, 13-15
July 2022},
series = {Lecture Notes in Networks and Systems},
volume = {585},
pages = {177--183},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23210-7\_19},
doi = {10.1007/978-3-031-23210-7\_19},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcai/BeckerLH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LofflerBKH21,
author = {Sven L{\"{o}}ffler and
Ilja Becker and
Franz Kroll and
Petra Hofstedt},
editor = {Gesellschaft f{\"{u}}r Informatik},
title = {A Survey of Constraint Transformation Methods},
booktitle = {51. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
2021 - Computer Science {\&} Sustainability, Berlin, Germany,
27. September - 1. Oktober, 2021},
series = {{LNI}},
volume = {{P-314}},
pages = {1107--1120},
publisher = {Gesellschaft f{\"{u}}r Informatik, Bonn},
year = {2021},
url = {https://doi.org/10.18420/informatik2021-090},
doi = {10.18420/INFORMATIK2021-090},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/LofflerBKH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LofflerBH21,
author = {Sven L{\"{o}}ffler and
Ilja Becker and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {ML-based Decision Support for {CSP} Modelling with Regular Membership
and Table Constraints},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 2, Online Streaming, February
4-6, 2021},
pages = {974--981},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010299109740981},
doi = {10.5220/0010299109740981},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/LofflerBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Loffler0H20,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Exploring Properties of the Instant Insanity Puzzle with Constraint
Satisfaction Approach},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {331--338},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008880403310338},
doi = {10.5220/0008880403310338},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Loffler0H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/Loffler0H20,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Ilias Maglogiannis and
Lazaros Iliadis and
Elias Pimenidis},
title = {An Introduction of FD-Complete Constraints},
booktitle = {Artificial Intelligence Applications and Innovations - 16th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2020, Neos Marmaras, Greece,
June 5-7, 2020, Proceedings, Part {II}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {584},
pages = {27--38},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49186-4\_3},
doi = {10.1007/978-3-030-49186-4\_3},
timestamp = {Wed, 05 Oct 2022 21:11:03 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/Loffler0H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/LofflerLH20,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Ute Schmid and
Franziska Kl{\"{u}}gl and
Diedrich Wolter},
title = {Optimizing Constraint Satisfaction Problems by Regularization for
the Sample Case of the Warehouse Location Problem},
booktitle = {{KI} 2020: Advances in Artificial Intelligence - 43rd German Conference
on AI, Bamberg, Germany, September 21-25, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12325},
pages = {297--304},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58285-2\_26},
doi = {10.1007/978-3-030-58285-2\_26},
timestamp = {Thu, 10 Sep 2020 17:48:53 +0200},
biburl = {https://dblp.org/rec/conf/ki/LofflerLH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/degruyter/20/HofstedtL20,
author = {Petra Hofstedt and
Sven L{\"{o}}ffler},
editor = {G{\"{u}}nther G{\"{o}}rz and
Ute Schmid and
Tanya Braun},
title = {Constraints},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 6. Auflage},
pages = {713--754},
publisher = {De Gruyter},
year = {2020},
url = {https://doi.org/10.1515/9783110659948-016},
doi = {10.1515/9783110659948-016},
timestamp = {Fri, 21 May 2021 09:50:14 +0200},
biburl = {https://dblp.org/rec/books/degruyter/20/HofstedtL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2019,
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-46714-2},
doi = {10.1007/978-3-030-46714-2},
isbn = {978-3-030-46713-5},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtHJW19,
author = {Petra Hofstedt and
Walter Hower and
Ulrich John and
Armin Wolf},
editor = {Claude Draude and
Martin Lange and
Bernhard Sick},
title = {{MOC} 2019 - 11. Workshop zur transparenten Modellierung und Optimierung
komplexer Probleme},
booktitle = {49. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, 50 Jahre
Gesellschaft f{\"{u}}r Informatik - Informatik f{\"{u}}r
Gesellschaft, {INFORMATIK} 2019 - Workshops, Kassel, Germany, September
23-26, 2019},
series = {{LNI}},
volume = {{P-295}},
pages = {383},
publisher = {{GI}},
year = {2019},
url = {https://doi.org/10.18420/inf2019\_ws40},
doi = {10.18420/INF2019\_WS40},
timestamp = {Tue, 04 Jul 2023 17:43:44 +0200},
biburl = {https://dblp.org/rec/conf/gi/HofstedtHJW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LiuLH19,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Solving the Social Golfers Problems by Constraint Programming in Sequential
and Parallel},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {29--39},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007252300290039},
doi = {10.5220/0007252300290039},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/LiuLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/0006LH19,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {H. Jaap van den Herik and
Ana Paula Rocha and
Luc Steels},
title = {Social Golfer Problem Revisited},
booktitle = {Agents and Artificial Intelligence - 11th International Conference,
{ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11978},
pages = {72--99},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37494-5\_5},
doi = {10.1007/978-3-030-37494-5\_5},
timestamp = {Fri, 27 Mar 2020 08:49:32 +0100},
biburl = {https://dblp.org/rec/conf/icaart/0006LH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LofflerLH19,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {A Meta Constraint Satisfaction Optimization Problem for the Optimization
of Regular Constraint Satisfaction Problems},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {435--442},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007260204350442},
doi = {10.5220/0007260204350442},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/LofflerLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LofflerLH19a,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Decomposing Constraint Satisfaction Problems by Means of Meta Constraint
Satisfaction Optimization Problems},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {755--761},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007455907550761},
doi = {10.5220/0007455907550761},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/LofflerLH19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/LiuLH19,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {John MacIntyre and
Ilias Maglogiannis and
Lazaros S. Iliadis and
Elias Pimenidis},
title = {Solving the Talent Scheduling Problem by Parallel Constraint Programming},
booktitle = {Artificial Intelligence Applications and Innovations - 15th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2019, Hersonissos, Crete,
Greece, May 24-26, 2019, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {559},
pages = {236--244},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19823-7\_19},
doi = {10.1007/978-3-030-19823-7\_19},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/LiuLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/0006LH19,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {99--105},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_7},
doi = {10.1007/978-3-030-46714-2\_7},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/0006LH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Loffler0H19,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Petra Hofstedt and
Salvador Abreu and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {The Regularization of Small Sub-Constraint Satisfaction Problems},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
Germany, September 9-12, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12057},
pages = {106--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-46714-2\_8},
doi = {10.1007/978-3-030-46714-2\_8},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Loffler0H19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/0006LH19,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
title = {Parallel Stochastic Portfolio Search for Constraint Solving},
booktitle = {2019 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking,
ISPA/BDCloud/SocialCom/SustainCom 2019, Xiamen, China, December 16-18,
2019},
pages = {697--704},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106},
doi = {10.1109/ISPA-BDCLOUD-SUSTAINCOM-SOCIALCOM48970.2019.00106},
timestamp = {Fri, 03 Apr 2020 09:58:46 +0200},
biburl = {https://dblp.org/rec/conf/ispa/0006LH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05907,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
title = {The Regularization of Small Sub-Constraint Satisfaction Problems},
journal = {CoRR},
volume = {abs/1908.05907},
year = {2019},
url = {http://arxiv.org/abs/1908.05907},
eprinttype = {arXiv},
eprint = {1908.05907},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05907.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06003,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach},
journal = {CoRR},
volume = {abs/1908.06003},
year = {2019},
url = {http://arxiv.org/abs/1908.06003},
eprinttype = {arXiv},
eprint = {1908.06003},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-04870,
author = {Salvador Abreu and
Petra Hofstedt and
Ulrich John and
Herbert Kuchen and
Dietmar Seipel},
title = {Pre-proceedings of the {DECLARE} 2019 Conference},
journal = {CoRR},
volume = {abs/1909.04870},
year = {2019},
url = {http://arxiv.org/abs/1909.04870},
eprinttype = {arXiv},
eprint = {1909.04870},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-04870.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/LofflerLH18,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Lazaros S. Iliadis and
Ilias Maglogiannis and
Vassilis P. Plagianakos},
title = {The Regularization of CSPs for Rostering, Planning and Resource Management
Problems},
booktitle = {Artificial Intelligence Applications and Innovations - 14th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2018, Rhodes, Greece, May
25-27, 2018, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {519},
pages = {209--218},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92007-8\_18},
doi = {10.1007/978-3-319-92007-8\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/LofflerLH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inf-dh/KlimczakHSP18,
author = {Peter Klimczak and
Petra Hofstedt and
Ingo Schmitt and
Christer Petersen},
editor = {Manuel Burghardt and
Claudia M{\"{u}}ller{-}Birn},
title = {Computergest{\"{u}}tzte Methoden der Interpretation. Perspektiven
einer digitalen Medienwissenschaft},
booktitle = {GI-Workshop: Im Spannungsfeld zwischen Tool-Building und Forschung
auf Augenh{\"{o}}he - Informatik und die Digital Humanities,
{INF-DH} 2018, 25.9.2018, Berlin, Germany},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2018},
url = {https://doi.org/10.18420/infdh2018-06},
doi = {10.18420/INFDH2018-06},
timestamp = {Wed, 19 Jun 2019 16:12:27 +0200},
biburl = {https://dblp.org/rec/conf/inf-dh/KlimczakHSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mike/LiuLH18,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Adrian Groza and
Rajendra Prasath},
title = {Solving the Traveling Tournament Problem with Predefined Venues by
Parallel Constraint Programming},
booktitle = {Mining Intelligence and Knowledge Exploration - 6th International
Conference, {MIKE} 2018, Cluj-Napoca, Romania, December 20-22, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11308},
pages = {64--79},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05918-7\_7},
doi = {10.1007/978-3-030-05918-7\_7},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mike/LiuLH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtJW17,
author = {Petra Hofstedt and
Ulrich John and
Armin Wolf},
editor = {Maximilian Eibl and
Martin Gaedke},
title = {{MOC} 2017},
booktitle = {47. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Digitale
Kulturen, {INFORMATIK} 2017, Chemnitz, Germany, September 25-29, 2017},
series = {{LNI}},
volume = {{P-275}},
pages = {601--602},
publisher = {{GI}},
year = {2017},
url = {https://doi.org/10.18420/in2017\_56},
doi = {10.18420/IN2017\_56},
timestamp = {Wed, 13 Jan 2021 11:37:14 +0100},
biburl = {https://dblp.org/rec/conf/gi/HofstedtJW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LofflerLH17,
author = {Sven L{\"{o}}ffler and
Ke Liu and
Petra Hofstedt},
editor = {Maximilian Eibl and
Martin Gaedke},
title = {The Power of Regular Constraints in CSPs},
booktitle = {47. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Digitale
Kulturen, {INFORMATIK} 2017, Chemnitz, Germany, September 25-29, 2017},
series = {{LNI}},
volume = {{P-275}},
pages = {603--614},
publisher = {{GI}},
year = {2017},
url = {https://doi.org/10.18420/in2017\_57},
doi = {10.18420/IN2017\_57},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/LofflerLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/LiuLH17,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Maximilian Eibl and
Martin Gaedke},
title = {Using Hypertree Decomposition for Parallel Constraint Solving},
booktitle = {47. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Digitale
Kulturen, {INFORMATIK} 2017, Chemnitz, Germany, September 25-29, 2017},
series = {{LNI}},
volume = {{P-275}},
pages = {615--622},
publisher = {{GI}},
year = {2017},
url = {https://doi.org/10.18420/in2017\_58},
doi = {10.18420/IN2017\_58},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/LiuLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/LiuLH17,
author = {Ke Liu and
Sven L{\"{o}}ffler and
Petra Hofstedt},
editor = {Dietmar Seipel and
Michael Hanus and
Salvador Abreu},
title = {Hypertree Decomposition: The First Step Towards Parallel Constraint
Solving},
booktitle = {Declarative Programming and Knowledge Management - Conference on Declarative
Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
Germany, September 19-22, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10997},
pages = {81--94},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00801-7\_6},
doi = {10.1007/978-3-030-00801-7\_6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/LiuLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isse2/SauerHH16,
author = {Peter Sauer and
Tom Hausten and
Petra Hofstedt},
title = {Using internet of things technology to create a really platform independent
robotics framework},
booktitle = {{IEEE} International Symposium on Systems Engineering, {ISSE} 2016,
Edinburgh, United Kingdom, October 3-5, 2016},
pages = {1--6},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SysEng.2016.7753154},
doi = {10.1109/SYSENG.2016.7753154},
timestamp = {Thu, 04 Nov 2021 10:21:44 +0100},
biburl = {https://dblp.org/rec/conf/isse2/SauerHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SchneeweissH15,
author = {Denny Schneeweiss and
Petra Hofstedt},
title = {Configurable Domain Objects for Resource Modelling in Treatment Scheduling},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {25},
number = {5},
pages = {871--886},
year = {2015},
url = {https://doi.org/10.1142/S0218194015400240},
doi = {10.1142/S0218194015400240},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/SchneeweissH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/VortlerHHK15,
author = {Thilo V{\"{o}}rtler and
Benny H{\"{o}}ckner and
Petra Hofstedt and
Thomas Klotz},
editor = {Zoran Stamenkovic and
Witold A. Pleskacz and
Jaan Raik and
Heinrich Theodor Vierhaus},
title = {Formal Verification of Software for the Contiki Operating System Considering
Interrupts},
booktitle = {18th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2015, Belgrade, Serbia, April 22-24,
2015},
pages = {295--298},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DDECS.2015.59},
doi = {10.1109/DDECS.2015.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/VortlerHHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtJW15,
author = {Petra Hofstedt and
Ulrich John and
Armin Wolf},
editor = {Douglas W. Cunningham and
Petra Hofstedt and
Klaus Meer and
Ingo Schmitt},
title = {{MOC} 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten
Optimierung komplexer Probleme},
booktitle = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
28 - October 2, 2015},
series = {{LNI}},
volume = {{P-246}},
pages = {1045--1046},
publisher = {{GI}},
year = {2015},
timestamp = {Wed, 13 Jan 2021 11:09:19 +0100},
biburl = {https://dblp.org/rec/conf/gi/HofstedtJW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SauerSH15,
author = {Peter Sauer and
Denny Schneewei{\ss} and
Petra Hofstedt},
editor = {Douglas W. Cunningham and
Petra Hofstedt and
Klaus Meer and
Ingo Schmitt},
title = {Divide {\&} Conquer - Komplexe Constraint-Probleme durch Aufteilen
l{\"{o}}sen},
booktitle = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
28 - October 2, 2015},
series = {{LNI}},
volume = {{P-246}},
pages = {1047--1060},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2258},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/SauerSH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtHJKW15,
author = {Petra Hofstedt and
Walter Hower and
Ulrich John and
Andreas Kmoch and
Armin Wolf},
editor = {Douglas W. Cunningham and
Petra Hofstedt and
Klaus Meer and
Ingo Schmitt},
title = {Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgew{\"{a}}hlte
Herausforderungen und Potenziale f{\"{u}}r die n{\"{a}}chsten
Jahre - zur Diskussion},
booktitle = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
28 - October 2, 2015},
series = {{LNI}},
volume = {{P-246}},
pages = {1135--1138},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/2268},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/HofstedtHJKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/VortlerHHK15,
author = {Thilo V{\"{o}}rtler and
Benny H{\"{o}}ckner and
Petra Hofstedt and
Thomas Klotz},
editor = {Ulrich Heinkel and
Daniel Kriesten and
Marko R{\"{o}}{\ss}ler},
title = {Formale Verifikation von eingebetteter Software f{\"{u}}r das
Betriebssystem Contiki unter Ber{\"{u}}cksichtigung von Interrupts},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
3-4, 2015},
pages = {20--29},
publisher = {S{\"{a}}chsische Landesbibliothek},
year = {2015},
timestamp = {Sat, 17 Jul 2021 09:02:10 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/VortlerHHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gi/2015,
editor = {Douglas W. Cunningham and
Petra Hofstedt and
Klaus Meer and
Ingo Schmitt},
title = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
28 - October 2, 2015},
series = {{LNI}},
volume = {{P-246}},
publisher = {{GI}},
year = {2015},
url = {https://dl.gi.de/handle/20.500.12116/20511},
isbn = {978-3-88579-640-4},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gi/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bionetics/SchneeweissH14,
author = {Denny Schneeweiss and
Petra Hofstedt},
editor = {Junichi Suzuki and
Tadashi Nakano},
title = {Configurable Resource Models for Treatment Planning in the Medical
Domain},
booktitle = {8th International Conference on Bio-inspired Information and Communications
Technologies, {BICT} 2014, Boston, MA, USA, December 1-3, 2014},
publisher = {{ICST}},
year = {2014},
url = {https://doi.org/10.4108/icst.bict.2014.257907},
doi = {10.4108/ICST.BICT.2014.257907},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bionetics/SchneeweissH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HocknerHKSV13,
author = {Benny H{\"{o}}ckner and
Petra Hofstedt and
Sascha Kaltschmidt and
Peter Sauer and
Thilo V{\"{o}}rtler},
title = {Design space exploration for cyber physical system design using constraint
solving},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages,
{FDL} 2013, Paris, France, September 24-26, 2013},
pages = {1--4},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6646625/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/HocknerHKSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ol/13/Hofstedt13,
author = {Petra Hofstedt},
editor = {G{\"{u}}nther G{\"{o}}rz and
Josef Schneeberger and
Ute Schmid},
title = {Constraints},
booktitle = {Handbuch der K{\"{u}}nstlichen Intelligenz, 5. Auflage},
pages = {205--234},
publisher = {Oldenbourg Wissenschaftsverlag},
year = {2013},
url = {https://doi.org/10.1524/9783486719796.205},
doi = {10.1524/9783486719796.205},
timestamp = {Fri, 21 May 2021 10:09:44 +0200},
biburl = {https://dblp.org/rec/books/ol/13/Hofstedt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Hofstedt12,
author = {Petra Hofstedt},
title = {Themenschwerpunkt "Sprachen der KI"},
journal = {K{\"{u}}nstliche Intell.},
volume = {26},
number = {1},
pages = {7--9},
year = {2012},
url = {https://doi.org/10.1007/s13218-011-0156-1},
doi = {10.1007/S13218-011-0156-1},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Hofstedt12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Hofstedt12a,
author = {Petra Hofstedt},
title = {Die Evolution der Programmiersprachen der {KI}},
journal = {K{\"{u}}nstliche Intell.},
volume = {26},
number = {1},
pages = {11--13},
year = {2012},
url = {https://doi.org/10.1007/s13218-011-0157-0},
doi = {10.1007/S13218-011-0157-0},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Hofstedt12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/KonigH12,
author = {Thomas K{\"{o}}nig and
Petra Hofstedt},
title = {Constraint-basierte Programmiersprachen - Von den Urspr{\"{u}}ngen
in der logischen Programmierung bis zu heutigen Anwendungen},
journal = {K{\"{u}}nstliche Intell.},
volume = {26},
number = {1},
pages = {47--54},
year = {2012},
url = {https://doi.org/10.1007/s13218-011-0153-4},
doi = {10.1007/S13218-011-0153-4},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/KonigH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/HofstedtK12,
author = {Petra Hofstedt and
Thomas K{\"{o}}nig},
title = {Interview with Pascal Van Hentenryck on Constraint-Based Programming},
journal = {K{\"{u}}nstliche Intell.},
volume = {26},
number = {1},
pages = {75--77},
year = {2012},
url = {https://doi.org/10.1007/s13218-011-0159-y},
doi = {10.1007/S13218-011-0159-Y},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/HofstedtK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/VortlerRH12,
author = {Thilo V{\"{o}}rtler and
Steffen R{\"{u}}lke and
Petra Hofstedt},
editor = {Jaan Raik and
Viera Stopjakov{\'{a}} and
Heinrich Theodor Vierhaus and
Witold A. Pleskacz and
Raimund Ubar and
Helena Kruus and
Maksim Jenihhin},
title = {Bounded model checking of Contiki applications},
booktitle = {{IEEE} 15th International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2012, Tallinn, Estonia, April 18-20,
2012},
pages = {258--261},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/DDECS.2012.6219069},
doi = {10.1109/DDECS.2012.6219069},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ddecs/VortlerRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0027361,
author = {Petra Hofstedt},
title = {Multiparadigm Constraint Programming Languages},
series = {Cognitive Technologies},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17330-1},
doi = {10.1007/978-3-642-17330-1},
isbn = {978-3-642-17329-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0027361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/SchneeweissH11,
author = {Denny Schneeweiss and
Petra Hofstedt},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {FdConfig: {A} Constraint-Based Interactive Product Configurator},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {239--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_13},
doi = {10.1007/978-3-642-41524-1\_13},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/SchneeweissH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/VortlerKFH11,
author = {Thilo V{\"{o}}rtler and
Thomas Klotz and
Eva Fordran and
Petra Hofstedt},
editor = {Frank Oppenheimer},
title = {Formale Verifikation von Contiki-Anwendungen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
21-23, 2011},
pages = {39--48},
publisher = {OFFIS-Institut f{\"{u}}r Informatik},
year = {2011},
timestamp = {Wed, 27 Jun 2012 22:40:36 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/VortlerKFH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5586,
author = {Denny Schneeweiss and
Petra Hofstedt},
title = {FdConfig: {A} Constraint-Based Interactive Product Configurator},
journal = {CoRR},
volume = {abs/1108.5586},
year = {2011},
url = {http://arxiv.org/abs/1108.5586},
eprinttype = {arXiv},
eprint = {1108.5586},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-5586.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Hofstedt10,
author = {Petra Hofstedt},
title = {Constraint-Based Object-Oriented Programming},
journal = {{IEEE} Softw.},
volume = {27},
number = {5},
pages = {53--56},
year = {2010},
url = {https://doi.org/10.1109/MS.2010.89},
doi = {10.1109/MS.2010.89},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Hofstedt10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Hofstedt10,
author = {Petra Hofstedt},
editor = {Klaus{-}Peter F{\"{a}}hnrich and
Bogdan Franczyk},
title = {The Multiparadigm Programming Language {CCFL}},
booktitle = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
2010, Leipzig, Germany, September 27 - October 1, 2010, Band 2},
series = {{LNI}},
volume = {{P-176}},
pages = {699--704},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19307},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Hofstedt10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3770,
author = {Petra Hofstedt},
title = {Realizing evaluation strategies by hierarchical graph rewriting},
journal = {CoRR},
volume = {abs/1009.3770},
year = {2010},
url = {http://arxiv.org/abs/1009.3770},
eprinttype = {arXiv},
eprint = {1009.3770},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtL09,
author = {Petra Hofstedt and
Florian Lorenzen},
editor = {Stefan Fischer and
Erik Maehle and
R{\"{u}}diger Reischuk},
title = {Constraint Functional Multicore Programming},
booktitle = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
28 - October 2, 2009, Proceedings},
series = {{LNI}},
volume = {{P-154}},
pages = {2901--2915},
publisher = {{GI}},
year = {2009},
url = {https://dl.gi.de/handle/20.500.12116/31294},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/HofstedtL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034544,
author = {Petra Hofstedt and
Armin Wolf},
title = {Einf{\"{u}}hrung in die Constraint-Programmierung - Grundlagen,
Methoden, Sprachen, Anwendungen},
series = {eXamen.press},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-68194-6},
doi = {10.1007/978-3-540-68194-6},
isbn = {978-3-540-23184-4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0034544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HofstedtP07,
author = {Petra Hofstedt and
Peter Pepper},
title = {Integration of declarative and constraint programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {93--121},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002833},
doi = {10.1017/S1471068406002833},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HofstedtP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0036474,
author = {Peter Pepper and
Petra Hofstedt},
title = {Funktionale Programmierung - Sprachdesign und Programmiertechnik},
series = {eXamen.press},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-34796-8},
doi = {10.1007/3-540-34796-8},
isbn = {978-3-540-20959-1},
timestamp = {Fri, 12 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0036474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/FrankHPR06,
author = {Stephan Frank and
Petra Hofstedt and
Peter Pepper and
Dirk Reckmann},
editor = {Irina B. Virbitskaite and
Andrei Voronkov},
title = {Solution Strategies for Multi-domain Constraint Logic Programs},
booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov
Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30,
2006. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {209--222},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70881-0\_19},
doi = {10.1007/978-3-540-70881-0\_19},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/FrankHPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/HofstedtK05,
author = {Petra Hofstedt and
Olaf Krzikalla},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {{TURTLE++} - {A} CIP-Library for {C++}},
booktitle = {Declarative Programming for Knowledge Management, 16th International
Conference on Applications of Declarative Programming and Knowledge
Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {12--24},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_2},
doi = {10.1007/11963578\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/inap/HofstedtK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/FrankHR05,
author = {Stephan Frank and
Petra Hofstedt and
Dirk Reckmann},
editor = {Armin Wolf and
Thom W. Fr{\"{u}}hwirth and
Marc Meister},
title = {Meta-S - Combining Solver Cooperation and Programming Languages},
booktitle = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
21-23, 2005},
series = {Ulmer Informatik-Berichte},
volume = {2005-01},
pages = {159--162},
publisher = {Universit{\"{a}}t Ulm, Germany},
year = {2005},
timestamp = {Thu, 13 Sep 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/FrankHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511090,
author = {Petra Hofstedt and
Peter Pepper},
title = {Integration of Declarative and Constraint Programming},
journal = {CoRR},
volume = {abs/cs/0511090},
year = {2005},
url = {http://arxiv.org/abs/cs/0511090},
eprinttype = {arXiv},
eprint = {cs/0511090},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/FrankHR04,
author = {Stephan Frank and
Petra Hofstedt and
Dirk Reckmann},
editor = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
title = {Strategies for the Efficient Solution of Hybrid Constraint Logic Programs},
booktitle = {Proceedings of the 14th International Workshop on Logic Programming
Environments, {WLPE} 2004, Saint-Malo, France, September 6-7, 2004},
year = {2004},
timestamp = {Mon, 24 Aug 2020 17:32:58 +0200},
biburl = {https://dblp.org/rec/conf/lpe/FrankHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/FrankHM03,
author = {Stephan Frank and
Petra Hofstedt and
Pierre R. Mai},
editor = {Ingrid Russell and
Susan M. Haller},
title = {Meta-S: {A} Strategy-Oriented Meta-Solver Framework},
booktitle = {Proceedings of the Sixteenth International Florida Artificial Intelligence
Research Society Conference, May 12-14, 2003, St. Augustine, Florida,
{USA}},
pages = {177--181},
publisher = {{AAAI} Press},
year = {2003},
url = {http://www.aaai.org/Library/FLAIRS/2003/flairs03-035.php},
timestamp = {Wed, 26 Oct 2022 08:35:31 +0200},
biburl = {https://dblp.org/rec/conf/flairs/FrankHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/FrankHM03,
author = {Stephan Frank and
Petra Hofstedt and
Pierre R. Mai},
editor = {Andreas G{\"{u}}nter and
Rudolf Kruse and
Bernd Neumann},
title = {A Flexible Meta-solver Framework for Constraint Solver Collaboration},
booktitle = {{KI} 2003: Advances in Artificial Intelligence, 26th Annual German
Conference on AI, {KI} 2003, Hamburg, Germany, September 15-18, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2821},
pages = {520--534},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39451-8\_38},
doi = {10.1007/978-3-540-39451-8\_38},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/FrankHM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sgai/GrabmullerH03,
author = {Martin Grabm{\"{u}}ller and
Petra Hofstedt},
editor = {Frans Coenen and
Alun D. Preece and
Ann Macintosh},
title = {Turtle: {A} Constraint Imperative Programming Language},
booktitle = {Research and Development in Intelligent Systems XX, Proceedings of
AI2003, the Twenty-third {SGAI} International Conference on Innovative
Techniques and Applications of Artificial Intelligence, Cambridge,
UK, 15-17 December, 2003},
pages = {185--198},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-0-85729-412-8\_14},
doi = {10.1007/978-0-85729-412-8\_14},
timestamp = {Thu, 14 Mar 2019 17:40:46 +0100},
biburl = {https://dblp.org/rec/conf/sgai/GrabmullerH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Hofstedt02,
author = {Petra Hofstedt},
editor = {Bob McKay and
John K. Slaney},
title = {A General Approach for Building Constraint Languages},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {431--442},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_38},
doi = {10.1007/3-540-36187-1\_38},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Hofstedt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GipsHW02,
author = {Carsten Gips and
Petra Hofstedt and
Fritz Wysotzki},
editor = {Matthias Jarke and
Jana Koehler and
Gerhard Lakemeyer},
title = {Spatial Inference - Learning vs. Constraint Solving},
booktitle = {{KI} 2002: Advances in Artificial Intelligence, 25th Annual German
Conference on AI, {KI} 2002, Aachen, Germany, September 16-20, 2002,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2479},
pages = {299--316},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45751-8\_20},
doi = {10.1007/3-540-45751-8\_20},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/GipsHW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Hofstedt01,
author = {Petra Hofstedt},
title = {Cooperation and coordination of constraint solvers},
school = {Dresden University of Technology, Germany},
year = {2001},
url = {https://d-nb.info/962318817},
isbn = {978-3-8265-9351-2},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Hofstedt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Hofstedt00,
author = {Petra Hofstedt},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Better Communication for Tighter Cooperation},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {342--358},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_23},
doi = {10.1007/3-540-44957-4\_23},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Hofstedt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Hofstedt00,
author = {Petra Hofstedt},
editor = {Rina Dechter},
title = {Cooperating Constraint Solvers},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
International Conference, Singapore, September 18-21, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1894},
pages = {520--524},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45349-0\_42},
doi = {10.1007/3-540-45349-0\_42},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Hofstedt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Hofstedt98,
author = {Petra Hofstedt},
editor = {David J. Pritchard and
Jeff Reeve},
title = {Task Parallel Skeletons for Irregularly Structured Programs},
booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference,
Southampton, UK, September 1-4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1470},
pages = {676--681},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0057915},
doi = {10.1007/BFB0057915},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Hofstedt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
