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.

15921 Publications


2000 | Conference Paper | LibreCat-ID: 3251
H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 4906
A. Eggert and S. Helm, “Determinanten der Weiterempfehlung: Kundenzufriedenheit oder Kundenbindung?,” der markt, vol. 39, no. 2, pp. 63–72, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 6015
D. Kundisch, “Buyer Search Behavior on an Electronic Commodity Market: Consumer’s Decision for a Sequential or Simultaneous Search Method,” in Proceedings of the International Conference on Electronic Commerce 2000 (ICEC), Seoul, Korea, 2000, pp. 88–93.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 6224
W. Weber and R. Kabst, “Personalpraktiken in europäischen Unternehmen: Gemeinsamkeiten und Unterschiede,” in Personalmanagement in Europa, E. Regnet and L. M. Hofmann, Eds. Göttingen/Bern/Toronto, 2000, pp. 320–332.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6692
J. Bendfeld, M. Gruffke, E. Ortjohann, and J. Voss, “Der Solar-Igel Neue Möglichkeiten der Steuerung solarstrahlungsabhängiger Anlagen und Geräte,” Bundes Bau Blatt, vol. 3, 2000.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 6762
M. Tönnies, G. Stratmann, C.-U. Viol, and Anglistik und Englischunterricht 63, Eds., Youth Identities. Teens and Twens in British Culture. Heidelberg: Winter, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7563
H.-H. Kremer, “Wissensanwendung - Evaluationskonzept und Auswertungsbeispiel,” in Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung,” P. F. E. Sloane, Ed. Markt Schwaben, 2000, pp. 109–120.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7520
G. Engels, U. Kelter, R. Depke, and K. Mehner, “Unterstützende Angebote der Softwarebegleitgruppe,” in Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, Münster: LIT, 2000, pp. 27–56.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 7323
T. Hasenbank, H.-H. Kremer, and T. Retzmann, Eds., Zukunftswerkstatt: Berufliche Bildung neu gestalten - Kreative Wege zur Realisierung didaktischer Innovationen in berufsbildenden Schulen. Bielefeld, 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
J. D. P. Rolim et al., Eds., Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7397
A. Corradini and R. Heckel, “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo,” Bulletin of the EATCS, no. 72, pp. 69–76, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7861
M. Lohmann and A. Wagner, “Konzeption eines XML-fähigen Mailtools,” in Proceedings of Net.Object Days 2000, Erfurt (Germany), 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7873
G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), 2000, vol. 1825, pp. 24–38.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7878
R. Depke, R. Heckel, and J. Küster, “Integrating visual modeling of agent-based and object-oriented systems,” in Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain), 2000, pp. 82–83.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 7690
C. Heidtkamp et al., “Tunable backscattering in quantum Hall systems induced by neighbouring gates,” Physica B: Condensed Matter, vol. 284–288, pp. 1728–1729, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8124
S. Krauter and R. G. Araujo, “New Power Conditioning Unit Incorporating Charge Controller, Energy Flow Monitor, Data Logger, DC/AC Converter for Stand-Alone and Combined PV-Diesel Operation,” in Proceedings of the 16th European Photovoltaic Solar Energy Conference, Glasgow (UK), 1.–5. Mai 2000, S. 2575–2577. , 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8333
A. Corradini, R. Heckel, and U. Montanari, “Graphical Operational Semantics,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 411–418.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8338
R. Depke and R. Heckel, “Formalizing the Development of Agent-Based Systems Using Graph Processes,” in Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland), 2000, pp. 419–426.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8340
G. Engels, J. Küster, and L. Groenewegen, “Modeling Concurrent Behavior through Consistent Statechart Views,” in Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 2000, no. 0006, pp. 44–49.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
J. Küster and J. Stroop, “Towards Consistency of Dynamic Models and Analysis of Timing Constraints,” in Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK), 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8422
H.-H. Kremer and P. F. E. Sloane, “Existenzgründung: Kapitalbedarfsermittlung und -beschaffung,” in Zusätzliche Bildungsangebote beruflichen Lernens - Konzepte und Materialien für gewerblich-technische Berufe, J.-P. Pahl and G. Rach, Eds. Seelze-Velber, 2000, pp. 191–225.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8458
T. Hasenbank, H.-H. Kremer, and P. F. E. Sloane, “Running into practice - Theorie-Praxis-Seminar zum Lernfeldkonzept,” Wirtschaft und Erziehung, no. 11, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8915
T. Hemsel and J. Wallaschek, “State of the art and development trends of ultrasonic linear motors,” in Ultrasonics Symposium, 2000 IEEE, 2000, vol. 1, pp. 663–666 vol.1.
LibreCat | DOI
 

2000 | Book Review | LibreCat-ID: 9665
M. Tönnies, “Lewis, J.E.: Mary Queen of Scots. Romance and Nation, 1998,” Journal for the Study of British Cultures, vol. 7, no. 1. pp. 80–83, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 17010
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, “Contention Resolution in Hashing Based Shared Memory Simulations,” SIAM Journal on Computing, pp. 1703–1739, 2000.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17527
V. Peckhaus, “Was George Boole Really the ‘Father’ of Modern Logic?,” in A Boole Anthology. Recent and Classical Studies in the Logic of George Boole, vol. 219, J. Gasser, Ed. Dordrecht/Boston/London: Kluwer Academic Publishers, 2000, pp. 271–285.
LibreCat
 

2000 | Book Review | LibreCat-ID: 17786
V. Peckhaus, “Dirk Hartmann/Peter Janich (Hgg.), Die Kulturalistische Wende. Zur Orientierung des philosophischen Selbstverständnisses (suhrkamp taschenbuch wissenschaft 1391). Suhrkamp, Frankfurt am Main 1998,” Philosophischer Literaturanzeiger, vol. 53. pp. 269–270, 2000.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 18121
J. Fromme, S. Ganguin, S. Iske, D. M. Meister, and U. Sander, Eds., Medienbildung und Gesellschaft. VS Verlag, 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18342
V. Peckhaus, “Hintikka, Jaakko, ‘On Gödel’s Philosophical Assumptions’, Synthese 114 (1998), 13–23,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 935.01008]. 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 18361
V. Peckhaus, “Radu, Mircea, ‘Justus Grassmann’s Contributions to the Foundations of Mathematics: Mathematical and Philosophical Aspects’, Historia Mathematica 27 (2000), 4–35,” Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 948.01009]. 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 18359
D. Tophinke, “Linguistische Perspektiven auf das Verhältnis von Identität und Alterität,” in wir / ihr / sie. Identität und Alterität in Theorie und Methode, W. Eßbach, Ed. Würzburg: Ergon, 2000, pp. 345–371.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 17990
A. Czumaj, C. Sohler, and M. Ziegler, “Property Testing in Computational Geometry,” in Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), 2000, vol. 4698, pp. 155–166.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 18962
S. Govindarajan, T. Lukovszki, A. Maheshwari, and N. Zeh, “I/O-Efficient Well-Separated Pair Decomposition and Applications,” in Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
LibreCat | DOI
 

2000 | Conference (Editor) | LibreCat-ID: 19085
N. O. Eke and R. Werner, Eds., Vormärz – Nachmärz. Bruch oder Kontinuität? Vorträge des Symposions des Forum Vormärz Forschung e.V. vom 19.-21. November 1998 an der Universität Paderborn. Bielefeld: Aisthesis, 2000, p. 486.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19403
N. O. Eke, “Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“,” in Literatur und Demokratie, A. Allkemper and N. O. Eke, Eds. Berlin: Erich Schmidt, 2000, pp. 285–300.
LibreCat
 

2000 | Book Review | LibreCat-ID: 19547
N. O. Eke, “Wynfrid Kriegleder: Vorwärts in die Vergangenheit. Das Bild der USA im deutschsprachigen Roman von 1776 bis 1855. Tübingen: Stauffenburg Verlag, 1999,” Germanistik, vol. 41, no. H. 1. pp. 158–159, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2145
C. Scheideler and B. Vöcking, “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols,” SIAM J. Comput., vol. 30, no. 4, pp. 1126--1155, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 20993
O. Hahn, M. Eis, and G. Meschut, “Qualitätssicherung bei der Herstellung von Klebverbindungen,” in Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20998
O. Hahn, G. Meschut, M. Eis, and M. Maciej, “Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile,” Schweißen und Schneiden, vol. 52, no. 6, pp. 340–348, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 21782
G. Domik, “Do we need formal education in visualization?,” IEEE Computer Graphics and Applications, vol. 20, no. 4, pp. 16–19, 2000.
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 24483
U. Schäfermeier and C. Bischoff, KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung, vol. 65. Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24488
R. Grobbel, Eine Referenzarchitektur für Koopertationsbörsen, vol. 70. Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24490
A. Löffler, Energetische Modellierung neuronaler Signalverarbeitung, vol. 72. Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24495
T. Körner, Analog VLSI Implementation of a Local Cluster Neural Network, vol. 77. Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24503
T. Bartscher, Methoden des Integrierten Workflowmanagements (IWFM), vol. 86. Heinz Nixdorf Institut, Universität Paderborn, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 11758
R. P. W. Duin, M. Loog, and R. Haeb-Umbach, “Multi-class Linear Feature Extraction by Nonlinear PCA,” in International Conference on Pattern Recognition (ICPR 2000), 2000.
LibreCat | Download (ext.)
 

2000 | Misc | LibreCat-ID: 13095
S. Hellebrand, H.-G. Liang, and H.-J. Wunderlich, A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters. IEEE European Test Workshop, Cascais, Portugal, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13759
W. G. Schmidt, S. Mirbt, and F. Bechstedt, “Surface phase diagram of (2×4) and (4×2) reconstructions of GaAs(001),” Physical Review B, vol. 62, no. 12, pp. 8087–8091, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 13610
M. Eisenring and M. Platzner, “Optimization of Run-time Reconfigurable Embedded Systems,” in Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL), 2000, pp. 565–574.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed