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.

5786 Publications


2000 | Book | LibreCat-ID: 7509
Doberkat, Ernst-Erich. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7520
Engels, Gregor, et al. “Unterstützende Angebote Der Softwarebegleitgruppe.” Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, 2000, pp. 27–56.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7521
Engels, Gregor, et al. “Ergebnisse - Vergleichende Darstellung.” Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, LIT, 2000, pp. 277–94.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7522
Engels, Gregor, et al. “Coordinated Collaboration of Objects.” Proceedings of Advances in Object-Oriented Modeling, The MIT Press, 2000, pp. 307–32.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8341
Gadducci, Fabio, et al. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), vol. 1764, Springer, 2000, pp. 310–22, doi:http://dx.doi.org/10.1007/b75045.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8342
Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), vol. 1779, Springer, 2000, pp. 359–68, doi:http://dx.doi.org/10.1007/3-540-45104-8_28.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8343
Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” Proceedings of the 7th GI-Workshop GROOM, vol. 20, no. 2, University of Koblenz-Landau, 2000, pp. 43–44.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), no. 0006, Ludwig-Maximilians-University, 2000, pp. 63–69.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8345
Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models and Analysis of Timing Constraints.” Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK), University of York, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8346
Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), vol. 24, Universität Münster, 2000, pp. 14–18.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8347
Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), vol. 15, Fölbach, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 6507
Platzner, Marco. “Reconfigurable Accelerators for Combinatorial Problems.” Computer, vol. 33, no. 4, Institute of Electrical and Electronics Engineers (IEEE), 2000, pp. 58–60, doi:10.1109/2.839322.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide, Friedhelm, et al. “Data Management in Hierarchical Bus Networks.” Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’00, 2000, doi:10.1145/341800.341814.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, Friedhelm, et al. “Caching in Networks.” SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2000, pp. 430–439.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, Friedhelm, et al. “Complexity Theory and Algorithms.” Euro-Par 2000 Parallel Processing, 2000, doi:10.1007/3-540-44520-x_59.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 17010
Czumaj, Artur, et al. “Contention Resolution in Hashing Based Shared Memory Simulations.” SIAM Journal on Computing, 2000, pp. 1703–39, doi:10.1137/s009753979529564x.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10606
Eisenring, Michael, and Marco Platzner. “Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems.” IEE Proceedings -- Computers & Digital Techniques, vol. 147, IET, 2000, pp. 159–65, doi:10.1049/ip-cdt:20000496.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10725
Platzner, Marco, et al. “Toward Embedded Qualitative Simulation: A Specialized Computer Architecture for QSim.” IEEE Intelligent Systems, vol. 15, no. 2, Institute of Electrical {\&} Electronics Engineers ({IEEE}), 2000, pp. 62–68, doi:10.1109/5254.850829.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 15301
Hüllermeier, Eyke. “Fuzzy Dynamics: Methodological Framework and Applications of Compartmental Modeling.” In Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium, edited by D.M. Dubois, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 15302
Gueroguieva, I., et al. “In Vitro-in Vivo Hepatic Clearance Prediction Using Fuzzy Sets.” In Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 , vol. 11, 2000, p. S22.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed