Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
749 Publications
2005 | Conference Paper | LibreCat-ID: 2414
PIRANHA – Hunter of Idle Resources
G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr, J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft für Informatik (GI), Bonn, Germany, 2005, pp. 91–94.
LibreCat
G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr, J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft für Informatik (GI), Bonn, Germany, 2005, pp. 91–94.
2005 | Journal Article | LibreCat-ID: 25931
Glycaemic index and glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution of different carbohydrate sources and relationships to dietary quality.
A. Buyken, W. Dettmann, M. Kersting, A. Kroke, Br J Nutr 94 (2005) 796–803.
LibreCat
| DOI
| PubMed | Europe PMC
A. Buyken, W. Dettmann, M. Kersting, A. Kroke, Br J Nutr 94 (2005) 796–803.
2005 | Journal Article | LibreCat-ID: 26149
Predictive simulation of nanoparticle precipitation based on the population balance equation
H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical Engineering Science 61 (2005) 167–181.
LibreCat
| DOI
H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical Engineering Science 61 (2005) 167–181.
2005 | Journal Article | LibreCat-ID: 26151
Evolution of the fractal dimension for simultaneous coagulation and sintering
H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering Science 61 (2005) 293–305.
LibreCat
| DOI
H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering Science 61 (2005) 293–305.
2005 | Journal Article | LibreCat-ID: 26153
On the impact of accessible surface and surface energy on particle formation and growth from the vapour phase
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005) 147–172.
LibreCat
| DOI
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005) 147–172.
2005 | Working Paper | LibreCat-ID: 2622
Unscharfe Break-Even-Analyse bei Einproduktproduktion
S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn, 2005.
LibreCat
S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn, 2005.
2005 | Journal Article | LibreCat-ID: 26278
Nonlinear Reformulation of Heisenberg's Dynamics
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
LibreCat
| DOI
M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics (2005) 693–717.
2005 | Book | LibreCat-ID: 26722
Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern
F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.
LibreCat
F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.
2005 | Book (Editor) | LibreCat-ID: 26732
Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005.
LibreCat
F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005.
2005 | Working Paper | LibreCat-ID: 2676
Unscharfe Produktionsprogrammplanung bei Alternativproduktion
S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn, 2005.
LibreCat
S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn, 2005.
2005 | Book Chapter | LibreCat-ID: 26801
Förderung selbstregulativer Fähigkeiten in der Grundschule
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.
2005 | Book Chapter | LibreCat-ID: 26802
Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
LibreCat
F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.
2005 | Book Chapter | LibreCat-ID: 26803
What about Rituale im Grundschulunterricht?
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
LibreCat
F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.
2005 | Book | LibreCat-ID: 26804
„Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
LibreCat
F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke 509), Oldenburg, 2005.
2005 | Book Chapter | LibreCat-ID: 26806
Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
LibreCat
J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.
2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat
| DOI
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
2005 | Conference Paper | LibreCat-ID: 3229
Checking the Validity of Scenarios in {UML} Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
2005 | Conference Paper | LibreCat-ID: 3230
Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
2005 | Conference Paper | LibreCat-ID: 3231
Non-atomic Refinement in {Z} and {CSP}
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
LibreCat
| DOI
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.
2005 | Conference Paper | LibreCat-ID: 3232
Slicing Object-Z Specifications for Verification
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.
LibreCat
| DOI
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.
2005 | Journal Article | LibreCat-ID: 3297
Endogenous Formation of Regions in Developing Countries
T. Gries, Journal of Development Perspective 1 (2005) 29–62.
LibreCat
T. Gries, Journal of Development Perspective 1 (2005) 29–62.
2005 | Book Chapter | LibreCat-ID: 3298
Rent a Bureaucrat
T. Gries, G. Sievert, A. Wieneke, in: H.-G. Napp (Ed.), Finanzwissenschaft Im Wandel, Peter Lang Verlagsgruppe, 2005.
LibreCat
T. Gries, G. Sievert, A. Wieneke, in: H.-G. Napp (Ed.), Finanzwissenschaft Im Wandel, Peter Lang Verlagsgruppe, 2005.
2005 | Book Chapter | LibreCat-ID: 3301
Employment Effects of Foreign Direct Investments - A Theoretical Analysis with Heterogenous Labour
T. Gries, S. Jungblut, in: B.M. Gilroy, T. Gries, W.A. Naudé (Eds.), Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South-African Perspectives, Physica-Verlag, Heidelberg, 2005, pp. 229–245.
LibreCat
T. Gries, S. Jungblut, in: B.M. Gilroy, T. Gries, W.A. Naudé (Eds.), Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South-African Perspectives, Physica-Verlag, Heidelberg, 2005, pp. 229–245.
2005 | Book Chapter | LibreCat-ID: 3330
On Global Economic Growth and the Prospects for Africa to Catch Up
T. Gries, W. Naudé, in: B.M. Gilroy, T. Gries, W.A. Naudé (Eds.), Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives, Physica-Verlag, Heidelberg, 2005, pp. 7–36.
LibreCat
T. Gries, W. Naudé, in: B.M. Gilroy, T. Gries, W.A. Naudé (Eds.), Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives, Physica-Verlag, Heidelberg, 2005, pp. 7–36.
2005 | Book | LibreCat-ID: 3377
Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives
T. Gries, B.M. Gilroy, W.A. Naudé, Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives, Physica-Verlag, Heidelberg, 2005.
LibreCat
T. Gries, B.M. Gilroy, W.A. Naudé, Multinational Enterprises, Foreign Direct Investment and Growth in Africa: South African Perspectives, Physica-Verlag, Heidelberg, 2005.
2005 | Book Chapter | LibreCat-ID: 3626
Employment Between Economic and Educational Considerations: How Employees Decide in Dilemma Situations
C. Harteis, J. Bauer, D. Festner, H. Gruber, H. Heid, in: H. Gruber, C. Harteis, R. Mulder, M. Rehrl (Eds.), Bridging Individual, Organisational, and Cultural Aspects of Professional Learning, Roderer, Regensburg, 2005, pp. 275–290.
LibreCat
C. Harteis, J. Bauer, D. Festner, H. Gruber, H. Heid, in: H. Gruber, C. Harteis, R. Mulder, M. Rehrl (Eds.), Bridging Individual, Organisational, and Cultural Aspects of Professional Learning, Roderer, Regensburg, 2005, pp. 275–290.
2005 | Conference Paper | LibreCat-ID: 3635
Learning from Mistakes: An Interview-study in German Enterprises; Paper Presented at the 86th Annual Meeting of the American Educational Research Association, Montreal, Canada
C. Harteis, H. Gruber, in: AERA, 2005.
LibreCat
C. Harteis, H. Gruber, in: AERA, 2005.
2005 | Book (Editor) | LibreCat-ID: 3636
Verwertbarkeit - ein Qualitätskriterium (erziehungs-)wissenschaftlichen Wissens?
H. Heid, C. Harteis, eds., Verwertbarkeit - Ein Qualitätskriterium (Erziehungs-)Wissenschaftlichen Wissens?, VS Verlag für Sozialwissenschaften, Wiebaden, 2005.
LibreCat
H. Heid, C. Harteis, eds., Verwertbarkeit - Ein Qualitätskriterium (Erziehungs-)Wissenschaftlichen Wissens?, VS Verlag für Sozialwissenschaften, Wiebaden, 2005.
2005 | Journal Article | LibreCat-ID: 3644
Arbeiten und Lernen zugleich? Die Analyse von Professional Learning
H. Gruber, C. Harteis, M. Rehrl, Blick in Die Wissenschaft (2005) 18--25.
LibreCat
H. Gruber, C. Harteis, M. Rehrl, Blick in Die Wissenschaft (2005) 18--25.
2005 | Book (Editor) | LibreCat-ID: 3653
Bridging individual, organisational, and cultural aspects of professional learning/Learning and Professional Development, Special Interest Group of the European Association for Research on Learning and Instruction (EARLI)
H. Gruber, C. Harteis, R. Mulder, M. Rehrl, eds., Bridging Individual, Organisational, and Cultural Aspects of Professional Learning/Learning and Professional Development, Special Interest Group of the European Association for Research on Learning and Instruction (EARLI), Roderer, Regensburg, 2005.
LibreCat
H. Gruber, C. Harteis, R. Mulder, M. Rehrl, eds., Bridging Individual, Organisational, and Cultural Aspects of Professional Learning/Learning and Professional Development, Special Interest Group of the European Association for Research on Learning and Instruction (EARLI), Roderer, Regensburg, 2005.
2005 | Book Chapter | LibreCat-ID: 3671
Zur Tauglichkeit des Marktprinzips für die Lösung bildungspolitischer Verteilungsprobleme
C. Harteis, in: H. Hans, C. Harteis (Eds.), Verwertbarkeit, 2005, pp. 281--291.
LibreCat
C. Harteis, in: H. Hans, C. Harteis (Eds.), Verwertbarkeit, 2005, pp. 281--291.
2005 | Conference Paper | LibreCat-ID: 28987
Weighted distributed hash tables
C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.
LibreCat
| DOI
C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA, 2005.
2005 | Dissertation | LibreCat-ID: 2913
Fault Attacks and Countermeasures
M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
LibreCat
| Download (ext.)
M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
2005 | Book Chapter | LibreCat-ID: 3006
A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers
J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.
LibreCat
| Files available
| DOI
J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 251–267.
2005 | Book Chapter | LibreCat-ID: 3010
Partial Key Exposure Attacks on RSA up to Full Size Exponents
M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.
LibreCat
| DOI
M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.
2005 | Book Chapter | LibreCat-ID: 26991
Online Routing in Faulty Meshes with Sub-linear Comparative Time and Traffic Ratio
S. Rührup, C. Schindelhauer, in: Algorithms – ESA 2005, Berlin, Heidelberg, 2005.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, in: Algorithms – ESA 2005, Berlin, Heidelberg, 2005.
2005 | Conference Paper | LibreCat-ID: 27475
Perspektiven Computergestützter Musikereditionen am Beispiel der Edirom
J. Kepper, D. Röwenstrunk, in: 2005.
LibreCat
J. Kepper, D. Röwenstrunk, in: 2005.
2005 | Journal Article | LibreCat-ID: 27711
Glycaemic index of potatoes: myth and reality from a European perspective
A. Buyken, A. Kroke, British Journal of Nutrition (2005) 1035–1037.
LibreCat
| DOI
A. Buyken, A. Kroke, British Journal of Nutrition (2005) 1035–1037.
2005 | Journal Article | LibreCat-ID: 27763
A comparative evaluation of two different approaches to estimating age at adiposity rebound
A. Kroke, S. Hahn, A. Buyken, A.D. Liese, International Journal of Obesity (2005) 261–266.
LibreCat
| DOI
A. Kroke, S. Hahn, A. Buyken, A.D. Liese, International Journal of Obesity (2005) 261–266.
2005 | Conference Paper | LibreCat-ID: 27895
Neue Orientierungen der Ernährungs- und Verbraucherbildung
K. Schlegel-Matthies, in: Aktuelle Aspekte in der Ernährungsbildung und -beratung. Tagungsband der DGE-Arbeitstagung am 29. und 30. September in Paderborn, Bonn, 2005, pp. 51–55.
LibreCat
K. Schlegel-Matthies, in: Aktuelle Aspekte in der Ernährungsbildung und -beratung. Tagungsband der DGE-Arbeitstagung am 29. und 30. September in Paderborn, Bonn, 2005, pp. 51–55.
2005 | Book Chapter | LibreCat-ID: 27897
Ernährungs- und Verbraucherbildung in der Reform
K. Schlegel-Matthies, in: Pisa“ in der Verbraucherbildung. Sind wir alle Konsum-Analphabeten? , 2005, pp. 49–54.
LibreCat
K. Schlegel-Matthies, in: Pisa“ in der Verbraucherbildung. Sind wir alle Konsum-Analphabeten? , 2005, pp. 49–54.
2005 | Book Chapter | LibreCat-ID: 27898
Fachdidaktische Perspektiven auf den Umgang mit Heterogenität im haushaltsbezogenen Unterricht
K. Schlegel-Matthies, in: Heterogenität als Chance. Vom produktiven Umgang mit Gleichheit und Differenz in der Schule., LIT-Verlag, Münster, 2005, pp. 197–217.
LibreCat
K. Schlegel-Matthies, in: Heterogenität als Chance. Vom produktiven Umgang mit Gleichheit und Differenz in der Schule., LIT-Verlag, Münster, 2005, pp. 197–217.
2005 | Journal Article | LibreCat-ID: 27899
Zwischen Selbstbestimmung und Verantwortung – Herausforderungen für Verbraucherbildung
K. Schlegel-Matthies, Haushalt & Bildung 82 (2005) 25–32.
LibreCat
K. Schlegel-Matthies, Haushalt & Bildung 82 (2005) 25–32.
2005 | Journal Article | LibreCat-ID: 27900
Verbraucherbildung vor neuen Herausforderungen. Editorial
K. Schlegel-Matthies, Haushalt & Bildung 82 (2005) 1.
LibreCat
K. Schlegel-Matthies, Haushalt & Bildung 82 (2005) 1.
2005 | Book (Editor) | LibreCat-ID: 2094
Finanzwirtschaft Finanzdienstleistungen Empirische Wirtschaftsforschung
W. Schmeisser, H. Zündorf, P. Eckstein, D. Krimphove, eds., Finanzwirtschaft Finanzdienstleistungen Empirische Wirtschaftsforschung , Rainer Hampp Verlag, 2005.
LibreCat
W. Schmeisser, H. Zündorf, P. Eckstein, D. Krimphove, eds., Finanzwirtschaft Finanzdienstleistungen Empirische Wirtschaftsforschung , Rainer Hampp Verlag, 2005.
2005 | Conference Paper | LibreCat-ID: 2114 |
Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environment
M. Korzeniowski, C. Scheideler, in: ISPAN, 2005, pp. 182--187.
LibreCat
| Files available
M. Korzeniowski, C. Scheideler, in: ISPAN, 2005, pp. 182--187.
2005 | Conference Paper | LibreCat-ID: 2115 |
Supervised Peer-to-Peer Systems
K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 188--193.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 188--193.
2005 | Conference Paper | LibreCat-ID: 2116 |
Efficient Broadcasting and Gathering in Wireless Ad-Hoc Networks
M. Onus, A. W. Richa, K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 346--351.
LibreCat
| Files available
M. Onus, A. W. Richa, K. Kothapalli, C. Scheideler, in: ISPAN, 2005, pp. 346--351.
2005 | Conference Paper | LibreCat-ID: 2117 |
Constant density spanners for wireless ad-hoc networks
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.
LibreCat
| Files available
K. Kothapalli, C. Scheideler, M. Onus, A. W. Richa, in: SPAA, 2005, pp. 116--125.