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.
5792 Publications
2000 | Conference Paper | LibreCat-ID: 8342
Engels, G., & Zamperoni, A. (2000). Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?! In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands) (Vol. 1779, pp. 359–368). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45104-8_28
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel, R., & Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In Proceedings of the 7th GI-Workshop GROOM (Vol. 20, pp. 43–44). University of Koblenz-Landau.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel, R., & Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany) (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster, J., & Stroop, J. (2000). 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). York, UK: University of York.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, K., & Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany) (Vol. 24, pp. 14–18). Universität Münster.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, K., & Wagner, A. (2000). Visualisierung der Synchronisation von Java-Threads mit UML. In Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany) (Vol. 15). Fölbach.
LibreCat
2000 | Journal Article | LibreCat-ID: 6507
Platzner, M. (2000). Reconfigurable accelerators for combinatorial problems. Computer, 33(4), 58–60. https://doi.org/10.1109/2.839322
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide, F., Räcke, H., & Westermann, M. (2000). Data management in hierarchical bus networks. Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00. https://doi.org/10.1145/341800.341814
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (2000). Caching in networks. In SODA ’00: Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (pp. 430–439).
LibreCat
2000 | Book Chapter | LibreCat-ID: 16497
Meyer auf der Heide, F., Kutyłowski, M., & Ragde, P. (2000). Complexity Theory and Algorithms. In Euro-Par 2000 Parallel Processing. Berlin, Heidelberg. https://doi.org/10.1007/3-540-44520-x_59
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 17010
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (2000). Contention Resolution in Hashing Based Shared Memory Simulations. SIAM Journal on Computing, 1703–1739. https://doi.org/10.1137/s009753979529564x
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 10606
Eisenring, M., & Platzner, M. (2000). Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems. IEE Proceedings -- Computers & Digital Techniques, 147, 159–165. https://doi.org/10.1049/ip-cdt:20000496
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 10725
Platzner, M., Rinner, B., & Weiss, R. (2000). Toward embedded qualitative simulation: a specialized computer architecture for QSim. IEEE Intelligent Systems, 15(2), 62–68. https://doi.org/10.1109/5254.850829
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 15301
Hüllermeier, E. (2000). Fuzzy dynamics: Methodological framework and applications of compartmental modeling. In D. M. Dubois (Ed.), in Proceedings CASYS-2000, 4th International Conference on Computing Anticipatory Systems Liège, Belgium.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15302
Gueroguieva, I., Nestorov, I., Rowland, M., & Hüllermeier, E. (2000). In vitro-in vivo hepatic clearance prediction using fuzzy sets. In in Proceedings EUFEPS-2000, 6th European Congress of Pharmaceutical Sciences, Supplement 1 (Vol. 11, p. S22). European Journal of Pharmaceutical Sciences.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15808
Dubois, D., Hüllermeier, E., & Prade, H. (2000). Flexible control of case-based prediction in the framework of possibility theory. In In Proceedings RàPC-2000, Raisonnement à partir de Cas, Toulouse, France (pp. 7–16).
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier, E. (2000). Similarity-based inference as evidential reasoning. In W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany (pp. 50–54). IOS Press.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14845
Hüllermeier, E. (2000). Focusing search by using problem solving experience. In W. Horn (Ed.), In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany (pp. 55–59). IOS Press.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier, E. (2000). Change detection in heuristic search. In Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas (pp. 898–903).
LibreCat
2000 | Conference Paper | LibreCat-ID: 15108
Hüllermeier, E. (2000). A method for predicting solutions in case-based problem solving. In E. Blanzieri & L. Portinale (Eds.), in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy (pp. 124–135). Springer.
LibreCat