Jauch, C. ., Sørensen, P. ., Norheim, I. ., & Rasmussen, C. . (2007). Simulation of the Impact of Wind Power on the Transient Fault Behavior of the Nordic Power System. ELECTRIC POWER SYSTEMS RESEARCH, (77), 10.
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).
Jauch, C. ., Cronin, T. ., Sørensen, P. ., & Bak-Jensen, B. . (2007). A Fuzzy Logic Pitch Angle Controller for Power System Stabilization. WIND ENERGY, 10(1), 12.
Labes, A. . (2007). Neues aus dem Meer (News from the sea): Was können marine mikrobielle Ressourcen zur Nahrungsmittelveredlung beitragen? (What role can marine microbial resources play in food conditioning?). Neues aus dem Meer (WTSH). Abgerufen von http://oceanrep.geomar.de/6377/
Jauch, C. ., Islam, S. M., Sørensen, P. ., & Bak-Jensen, B. . (2007). Design of a Wind Turbine Pitch Angle Controller for Power System Stabilisation. RENEWABLE ENERGY, 32(14), 6.
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)
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)
Christiansen, J. ., & Huch, F. . (2006). A Purely Functional Implementation of ROBDDs in Haskell. Trends in Functional Programming, 7, 55–71.
Abstract
This paper presents an implementation of the ROBDD data structure in Haskell. It shows that lazy evaluation can be used to improve the performance of some ROBDD algorithms. While standard implementations construct the whole structure no matter which parts are demanded we use lazy evaluation to provide a more demand driven construction. To achieve this behavior we have to relax a property that guarantees that ROBDDs contain no redundant nodes. All measurements show that relaxing causes only a small number of additional nodes. Furthermore we present an equality check implementation that performs well although it does not make use of canoicity. The canonicity is lost because of the relaxing. The equality check implementation benefits highly from laziness.