Publikationen

Autor*in

Jahr der Veröffentlichung

Publikationsformat

Keyword

Forschungsprojekt

Institut/Einrichtung

2008

Self-Optimization of the Guidance Module of a Rail-bound Vehicle

Geisler, J., Witting, K., Trächtler, A., & Dellnitz, M. (2008). Self-Optimization of the Guidance Module of a Rail-bound Vehicle. In Self-optimizing Mechatronic Systems: Designing the Future (7th International Heinz Nixdorf Symposium). Paderborn: HNI-Verlagsschriftenreihe. Abgerufen von https://www.hni.uni-paderborn.de/pub/5674 (Original work published Februar 2008)
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Geisler, Jens
Filter Tags
2008

Conference Paper

Jens Geisler

K. Witting

A. Trächtler

M. Dellnitz
Issues and advantages of using agile and incremental practices

Petersen, K., & Wohlin, C. (2008). Issues and advantages of using agile and incremental practices. In Software engineering research and practice.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2008

Conference Paper

Kai Petersen

Claes Wohlin
The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment

Petersen, K., Rönkkö, K., & Wohlin, C. (2008). The impact of time controlled reading on software inspection effectiveness and efficiency: a controlled experiment. In Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (S. 139–148).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2008

Conference Paper

Kai Petersen

Kari Rönkkö

Claes Wohlin
EasyCheck — Test Data for Free

Christiansen, J., & Fischer, S. (2008). EasyCheck — Test Data for Free. In Functional and Logic Programming (S. 322–336). Springer Berlin Heidelberg.

Abstract

We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2008

Conference Paper

Jan Christiansen

Sebastian Fischer
Denotation by Transformation

Braßel, B., & Christiansen, J. (2008). Denotation by Transformation. In A. King (Hrsg.), Logic-Based Program Synthesis and Transformation (S. 90–105). Springer Berlin Heidelberg.

Abstract

It has often been observed that a point-free style of programming provides a more abstract view on programs. We aim to use the gain in abstraction to obtain a denotational semantics for functional logic languages in a straightforward way. Here we propose a set of basic operations based on which arbitrary functional logic programs can be transformed to point-free programs. The semantics of the resulting programs are strict but, nevertheless, the semantics of the original program is preserved.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2008

Conference Paper

Bernd Braßel

Jan Christiansen

Andy King
Systematic mapping studies in software engineering

Petersen, K., Feldt, R., Mujtaba, S., & Mattsson, M. (2008). Systematic mapping studies in software engineering. In 12th International Conference on Evaluation and Assessment in Software Engineering (EASE) 12 (S. 1–10).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2008

Conference Paper

Kai Petersen

Robert Feldt

Shahid Mujtaba

Michael Mattsson
A Relation Algebraic Semantics for a Lazy Functional Logic Language

Braßel, B., & Christiansen, J. (2008). A Relation Algebraic Semantics for a Lazy Functional Logic Language. In R. Berghammer, B. Möller, & G. Struth (Hrsg.), Relations and Kleene Algebra in Computer Science (S. 37–53). Springer Berlin Heidelberg.

Abstract

We propose a relation algebraic semantics along with a concrete model for lazy functional logic languages. The resulting semantics provides several interesting advantages over former approaches for this class of languages. On the one hand, the high abstraction level of relation algebra allows equational reasoning leading to concise proofs about functional logic programs. On the other hand the proposed approach features, in contrast to former approaches with a comparable level of abstraction, an explicit modeling of sharing. The latter property gives rise to the expectation that the presented framework can be used to clarify notions currently discussed in the field of functional logic languages, like constructive negation, function inversion and encapsulated search. All of these topics have proved to involve subtle problems in the context of sharing and laziness in the past.
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Christiansen, Jan

Fachbereich

Fachbereich 3: Information und Kommunikation
Filter Tags
2008

Conference Paper

Bernd Braßel

Jan Christiansen

Rudolf Berghammer

Bernhard Möller

Georg Struth

2007

Cross-Layer MAC Design for IR-UWB Networks

erez-Guirao, M. D. P., Lübben, R., Zhao, Z., Kaiser, T., & Jobmann, K. (2007). Cross-Layer MAC Design for IR-UWB Networks. In IEEE IWCLD (S. 113–116). http://doi.org/10.1109/IWCLD.2007.4379050 (Original work published 2025)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Lübben, Ralf

Fachbereich

Fachbereich 4: Wirtschaft
Filter Tags
2007

Conference Paper

M. erez-Guirao

Ralf Lübben

Z. Zhao

T. Kaiser

K. Jobmann
Variability-driven selection of services for service compositions

Petersen, K., Zaha, J. M., & Metzger, A. (2007). Variability-driven selection of services for service compositions. In International Conference on Service-Oriented Computing (S. 388–400).
Suche auf Google Scholar
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Petersen, Kai

Abteilung/Einrichtung

FLAIR - Flensburg Artificial Intelligence Research
Filter Tags
2007

Conference Paper

Kai Petersen

Johannes Zaha

Andreas Metzger

2006

Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure

Schlipf, D., Fernandes, P. B., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using MIMO LEM-Hammerstein structure. In Workshop on Solving Industrial Control and Optimization Problems. Gramado, Brazil. http://doi.org/10.18419/opus-8175 (Original work published 2025)
Suche auf Google Scholar

DOI Verweis
Exportformate

BibTeX

EndNote X3 XML

EndNote 7 XML

EndNote tagged

RIS
Weiterführende Links
Personenseiten

Schlipf, David
Filter Tags
2006

Conference Paper

David Schlipf

Pedro Fernandes

Jorge Trierweiler

Publikationen

2008

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

Abstract

Exportformate

Weiterführende Links

Filter Tags

2007

Exportformate

Weiterführende Links

Filter Tags

Exportformate

Weiterführende Links

Filter Tags

2006

Exportformate

Weiterführende Links

Filter Tags