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.
826 Publications
2006 | Journal Article | LibreCat-ID: 27712
The influence of habitual protein intake in early childhood on BMI and age at adiposity rebound: results from the DONALD Study
A.L.B. Günther, A. Buyken, A. Kroke, International Journal of Obesity (2006) 1072–1079.
LibreCat
| DOI
A.L.B. Günther, A. Buyken, A. Kroke, International Journal of Obesity (2006) 1072–1079.
2006 | Journal Article | LibreCat-ID: 27892
REVIS – Reform der Ernährungs- und Verbraucherbildung in Schulen
K. Schlegel-Matthies, Haushalt & Bildung 83 (2006).
LibreCat
K. Schlegel-Matthies, Haushalt & Bildung 83 (2006).
2006 | Journal Article | LibreCat-ID: 27893
Zur Analyse von Unterrichtsmaterialien für die Ernährungs- und Verbraucherbildung
B. Methfessel, K. Schlegel-Matthies, Haushalt & Bildung 83 (2006) 14–24.
LibreCat
B. Methfessel, K. Schlegel-Matthies, Haushalt & Bildung 83 (2006) 14–24.
2006 | Conference Paper | LibreCat-ID: 23882
A fast k-means implementation using coresets
G. Frahling, C. Sohler, in: Proceedings of the Twenty-Second Annual Symposium on Computational Geometry - SCG ’06, 2006.
LibreCat
| DOI
G. Frahling, C. Sohler, in: Proceedings of the Twenty-Second Annual Symposium on Computational Geometry - SCG ’06, 2006.
2006 | Conference Paper | LibreCat-ID: 9532
Design and Construction of a 3D-Scanning-Laservibrometer
C. Becker, S. Wedman, T. Hemsel, in: Proceedings of 2nd International Workshop on Piezoelectric Materials and Applications in Actuators, Paderborn, Germany, 2006, p. 481.
LibreCat
C. Becker, S. Wedman, T. Hemsel, in: Proceedings of 2nd International Workshop on Piezoelectric Materials and Applications in Actuators, Paderborn, Germany, 2006, p. 481.
2006 | Conference Paper | LibreCat-ID: 16881
Interaktive 3D-Visualisierung multidimensionaler Datensätze
M. Lindner, F. Goetz, R. Weise, H. Fricke, W. Burchert, G. Domik, in: 2006.
LibreCat
M. Lindner, F. Goetz, R. Weise, H. Fricke, W. Burchert, G. Domik, in: 2006.
2006 | Book Chapter | LibreCat-ID: 36074
Pizza, Pasta und Döner Kebab: Mediterranean Dishes in the Everyday Life of German Young People
S. Bartsch, B. Methfessel, K. Schlegel-Matthies, in: P. Lysaght, N. Rittig-Beljak (Eds.), Mediterranean Food. Concepts and Trends. Proceedings of the 15th International Ethnological Food Research Conference, Dubrovnik, 27 September - 3 October, Zagreb, 2006, pp. 149–172.
LibreCat
S. Bartsch, B. Methfessel, K. Schlegel-Matthies, in: P. Lysaght, N. Rittig-Beljak (Eds.), Mediterranean Food. Concepts and Trends. Proceedings of the 15th International Ethnological Food Research Conference, Dubrovnik, 27 September - 3 October, Zagreb, 2006, pp. 149–172.
2006 | Journal Article | LibreCat-ID: 36072
Pizza, Pasta, Döner Kebab - Mittelmeerkost im Alltag deutscher Jugendlicher. Historische und soziale Hintergründe
K. Schlegel-Matthies, B. Methfessel, S. Bartsch, Haushalt & Bildung 83 (2006) 17–26.
LibreCat
K. Schlegel-Matthies, B. Methfessel, S. Bartsch, Haushalt & Bildung 83 (2006) 17–26.
2006 | Journal Article | LibreCat-ID: 36071
Mittelmeerkost im Alltag deutscher Jugendlicher - Ein Lehr-Forschungsprojekt mit Studierenden in Heidelberg und Paderborn
K. Schlegel-Matthies, B. Methfessel, Haushalt & Bildung 83 (2006) 37–46.
LibreCat
K. Schlegel-Matthies, B. Methfessel, Haushalt & Bildung 83 (2006) 37–46.
2006 | Journal Article | LibreCat-ID: 27894
Zur Entwicklung eines Kerncurriculums für den Lernbereich „Arbeitslehre"
U. Philipps, R. Bigga, Haushalt & Bildung 83 (2006) 59–64.
LibreCat
U. Philipps, R. Bigga, Haushalt & Bildung 83 (2006) 59–64.
2005 | Dissertation | LibreCat-ID: 25228
Dynamische Kantenextraktion: Ein Verfahren zur Generierung von Tracking-Informationen für Augmented Reality-Anwendungen auf Basis von 3D-Referenzmodellen
C. Matysczok, Dynamische Kantenextraktion: Ein Verfahren zur Generierung von Tracking-Informationen für Augmented Reality-Anwendungen auf Basis von 3D-Referenzmodellen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
LibreCat
C. Matysczok, Dynamische Kantenextraktion: Ein Verfahren zur Generierung von Tracking-Informationen für Augmented Reality-Anwendungen auf Basis von 3D-Referenzmodellen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
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: 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 | Journal Article | LibreCat-ID: 17414
Virtual and augmented reality support for discrete manufacturing system simulation
W. Dangelmaier, M. Fischer, J. Gausemeier, M. Grafe, C. Matysczok, B. Mueck, Computers in Industry (2005) 371–383.
LibreCat
| DOI
W. Dangelmaier, M. Fischer, J. Gausemeier, M. Grafe, C. Matysczok, B. Mueck, Computers in Industry (2005) 371–383.
2005 | Conference Paper | LibreCat-ID: 17415
Multi-User Support and Motion Planning of Humans and Humans Driven Vehicles in Interactive 3D Material Flow Simulations
M. Fischer, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, W. Dangelmaier, in: Proceedings of the Winter Simulation Conference, 2005.
LibreCat
| DOI
M. Fischer, B. Mueck, K. Mahajan, M. Kortenjan, C. Laroque, W. Dangelmaier, in: Proceedings of the Winter Simulation Conference, 2005.
2005 | Conference Paper | LibreCat-ID: 18867
Online Occlusion Culling
G. Frahling, J. Krokowski, in: Proc. of the 13th Annual European Symposium on Algorithms (ESA 2005), Springer, Berlin, Heidelberg, 2005, pp. 758–769.
LibreCat
| DOI
G. Frahling, J. Krokowski, in: Proc. of the 13th Annual European Symposium on Algorithms (ESA 2005), Springer, Berlin, Heidelberg, 2005, pp. 758–769.
2005 | Conference Paper | LibreCat-ID: 18366
Methods to lead the user to significant processes in a 3D material flow simulation
W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, C. Laroque, in: Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005, 2005, pp. 267–270.
LibreCat
W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, C. Laroque, in: Simulation in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005, 2005, pp. 267–270.
2005 | Book Chapter | LibreCat-ID: 36076
Ernährung zwischen Natur und Kultur: Das Beispiel Fleisch
K. Schlegel-Matthies, in: H. Heseker (Ed.), Neue Aspekte der Ernährungsbildung, Umschau Zeitschriftenverlag, Frankfurt, 2005, pp. 36–43; 217–218.
LibreCat
K. Schlegel-Matthies, in: H. Heseker (Ed.), Neue Aspekte der Ernährungsbildung, Umschau Zeitschriftenverlag, Frankfurt, 2005, pp. 36–43; 217–218.
2005 | Book Chapter | LibreCat-ID: 36075
Neues Konsum- und Finanzmanagement
K. Schlegel-Matthies, in: Verbraucherzentrale Bundesverband (Ed.), Neue Hauswirtschaft. Ein Material für Multiplikator/innen der familien- und haushaltsbezogenen Bildung, Berlin, 2005, pp. 64–85.
LibreCat
K. Schlegel-Matthies, in: Verbraucherzentrale Bundesverband (Ed.), Neue Hauswirtschaft. Ein Material für Multiplikator/innen der familien- und haushaltsbezogenen Bildung, Berlin, 2005, pp. 64–85.
2005 | Journal Article | LibreCat-ID: 27904
Kooperationsprojekt REVIS: Länderbericht Baden-Württemberg.
B. Methfessel, R. Bigga, Schlussbericht, REVIS – Reform Der Ernährungs- Und Verbraucherbildung in Schulen. (2005).
LibreCat
B. Methfessel, R. Bigga, Schlussbericht, REVIS – Reform Der Ernährungs- Und Verbraucherbildung in Schulen. (2005).
2005 | Book | LibreCat-ID: 27903
Bildungsstandards. Eine Diskussion um Arbeitslehre - Haushalt - Technik - Textilarbeit - Wirtschaft
R. Bigga, Bildungsstandards. Eine Diskussion um Arbeitslehre - Haushalt - Technik - Textilarbeit - Wirtschaft, Marwitz, 2005.
LibreCat
R. Bigga, Bildungsstandards. Eine Diskussion um Arbeitslehre - Haushalt - Technik - Textilarbeit - Wirtschaft, Marwitz, 2005.
2004 | Journal Article | LibreCat-ID: 27750
Differences between recumbent length and stature measurement in groups of 2- and 3-y-old children and its relevance for the use of European body mass index references
A. Buyken, S. Hahn, A. Kroke, International Journal of Obesity (2004) 24–28.
LibreCat
| DOI
A. Buyken, S. Hahn, A. Kroke, International Journal of Obesity (2004) 24–28.
2004 | Working Paper | LibreCat-ID: 27925
Verbraucherbildung im Forschungsprojekt REVIS – Grundlagen
K. Schlegel-Matthies, Verbraucherbildung im Forschungsprojekt REVIS – Grundlagen, Paderborn, 2004.
LibreCat
K. Schlegel-Matthies, Verbraucherbildung im Forschungsprojekt REVIS – Grundlagen, Paderborn, 2004.
2004 | Journal Article | LibreCat-ID: 27926
„Was gibt’s heute?“ Aktuelle Ansätze der Ernährungsbildung
K. Schlegel-Matthies, Campus Culinaire 1 (2004) 103–108.
LibreCat
K. Schlegel-Matthies, Campus Culinaire 1 (2004) 103–108.
2004 | Conference Paper | LibreCat-ID: 18364
Guidance of Users in Interactive 3D-Visualisations of Material Flow Simulations
B. Mueck, W. Dangelmaier, C. Laroque, M. Fischer, M. Kortenjan, in: Simulation and Visualisation 2004, SCS European Publishing House, Magdeburg, 2004, pp. 73–83.
LibreCat
| Files available
B. Mueck, W. Dangelmaier, C. Laroque, M. Fischer, M. Kortenjan, in: Simulation and Visualisation 2004, SCS European Publishing House, Magdeburg, 2004, pp. 73–83.
2004 | Conference Paper | LibreCat-ID: 853
Research Challenges in Mobility and Moving Networks: An Ambient Networks View
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
LibreCat
| DOI
V. Typpö, J. Eisl, J. Höller, R. Agüero, H. Karl, in: Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, 2004, pp. 145--155.
2004 | Conference Paper | LibreCat-ID: 16803
openVisaar: Enriching Cooperative Visualization by Combining Open Technologies
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
LibreCat
| DOI
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
2004 | Conference Paper | LibreCat-ID: 16804
An XML-based visual shading language for vertex and fragment shaders
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
LibreCat
| DOI
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
2004 | Book Review | LibreCat-ID: 18487
Sundholm, Göran. “Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutung”, In: History and Philosophy of Logic 22 (2001), 57–73
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
2004 | Book Review | LibreCat-ID: 18489
Klement, Kevin C., “Russell’s Paradox in Appendix B of the Principles of Mathematics: Was Frege’s response adequate?”, In: History and Philosophy of Logic 22 (2001), 13-28
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
2004 | Book Chapter | LibreCat-ID: 36082
„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
LibreCat
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
2003 | Book Chapter | LibreCat-ID: 27927
Bildung für Lebensführung – eine neue Aufgabe für die Schule?!
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
LibreCat
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
2003 | Book Chapter | LibreCat-ID: 18258
Fast Relative Approximation of Potential Fields
M. Ziegler, in: F. Dehne, J. Sack, M. Smid, Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2003.
LibreCat
| DOI
M. Ziegler, in: F. Dehne, J. Sack, M. Smid, Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2003.
2003 | Conference Paper | LibreCat-ID: 18372
Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen
W. Dangelmaier, W. Franke, B. Mueck, M. Fischer, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 2003, pp. 141–151.
LibreCat
| Files available
W. Dangelmaier, W. Franke, B. Mueck, M. Fischer, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 2003, pp. 141–151.
2003 | Conference Paper | LibreCat-ID: 18374
Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation
M. Fischer, M. Grafe, C. Matysczok, M. Schoo, B. Mueck, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003, pp. 153–166.
LibreCat
| Files available
M. Fischer, M. Grafe, C. Matysczok, M. Schoo, B. Mueck, in: 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003, pp. 153–166.
2003 | Conference Paper | LibreCat-ID: 21781
A Framework for Video-based and Hardware-Accelerated Remote 3D-Visualization
F. Goetz, G. Domik, in: M. Chover, H. Hagen, D. Tost (Eds.), Eurographics 2003 - Short Presentations, Eurographics Association, 2003.
LibreCat
| DOI
F. Goetz, G. Domik, in: M. Chover, H. Hagen, D. Tost (Eds.), Eurographics 2003 - Short Presentations, Eurographics Association, 2003.
2003 | Book | LibreCat-ID: 5629
Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten
G. Schryen, J. Herstell, M. Schoenen, Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, Deutscher Universitäts-Verlag, Wiesbaden, 2003.
LibreCat
G. Schryen, J. Herstell, M. Schoenen, Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, Deutscher Universitäts-Verlag, Wiesbaden, 2003.
2003 | Conference Paper | LibreCat-ID: 15165
3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken
B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.
LibreCat
B. Schwerdtfeger, F. Goetz, G. Domik, in: 2003.
2003 | Book Review | LibreCat-ID: 18793
Schirn, Matthias/Niebergall, Karl-Georg, “Extensions of the Finitist Point of View”, In: History and Philosophy of Logic 22 (2001), 135–161
V. Peckhaus, Mathematical Reviews (2003).
LibreCat
V. Peckhaus, Mathematical Reviews (2003).
2003 | Journal Article | LibreCat-ID: 27928
Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten
R. Bigga, Haushalt & Bildung 80 (2003) 45–52.
LibreCat
R. Bigga, Haushalt & Bildung 80 (2003) 45–52.
2003 | Book Chapter | LibreCat-ID: 27929
Vorsorgendes Haushalten: Computergestützte Bewertung von Lebensmittelverarbeitung und Lebensmittelqualität
R. Bigga, P.S. Schack, in: R. Oberliesen, G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur, Baltmannsweiler, 2003, pp. 91–109.
LibreCat
R. Bigga, P.S. Schack, in: R. Oberliesen, G. Reuel (Eds.), Schule zwischen materieller und virtueller Lernkultur, Baltmannsweiler, 2003, pp. 91–109.
2003 | Journal Article | LibreCat-ID: 43284
Electronic transport in a one-dimensional random array of scatterers
T. Meier, V.S. Filinov, P. Thomas, I. Varga, M. Bonitz, V.E. Fortov, S.W. Koch, Journal of Physics A: Mathematical and General 36 (2003) 5905–5911.
LibreCat
| DOI
| Download (ext.)
T. Meier, V.S. Filinov, P. Thomas, I. Varga, M. Bonitz, V.E. Fortov, S.W. Koch, Journal of Physics A: Mathematical and General 36 (2003) 5905–5911.
2002 | Conference Paper | LibreCat-ID: 19873
Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression
J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
LibreCat
J. Klein, J. Krokowski, N. Cuntz, in: Proc. of 4. GI-Informatiktage, 2002, pp. 224–229.
2002 | Conference Paper | LibreCat-ID: 3243
Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
LibreCat
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.