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.
Publikationen
2008
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
Exportformate
Weiterführende Links
Filter Tags
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).Exportformate
Weiterführende Links
Filter Tags
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
Exportformate
Weiterführende Links
Filter Tags
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)Exportformate
Weiterführende Links
Filter Tags
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).Exportformate
Weiterführende Links
Filter Tags
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)Exportformate
Weiterführende Links
Filter Tags
Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures
Fernandes, P. B., Schlipf, D. ., & Trierweiler, J. O. (2006). Modeling and identification of nonlinear systems using SISO LEM-Hammerstein and LEM-Wiener model structures. In 6th IFAC Symposium on Advanced Control of Chemical Processes (Bd. 39, S. 1101–1106). http://doi.org/10.3182/20060402-4-br-2902.01101 (Original work published 2025)Exportformate
Weiterführende Links
Filter Tags
Applying variability modeling concepts to support decision making for service composition
Petersen, K. ., Bramsiepe, N. ., & Pohl, K. . (2006). Applying variability modeling concepts to support decision making for service composition. In 2006 Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER 06-RE 06 Workshop) (S. 1–1).Exportformate
Weiterführende Links
Filter Tags
2004
Searches for squarks with H1 at HERA
Vest, A. . (2004). Searches for squarks with H1 at HERA. In 12th International Workshop on Deep Inelastic Scattering (DIS 2004).Exportformate
Weiterführende Links
Filter Tags