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.
5719 Publications
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
2000 | Conference Paper | LibreCat-ID: 15109
Dubois, D., Hüllermeier, E., & Prade, H. (2000). Flexible control of case-based prediction in the framework of possibility theory. In E. Blanzieri & L. Portinale (Eds.), in Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy (pp. 61–73). Springer.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15231
Hüllermeier, E., Dubois, D., & Prade, H. (2000). Knowledge-based extrapolution of cases: A possibilistic approach. In In Proceedings IPMU-2000 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Madrid, Spain (pp. 1575–1582).
LibreCat
2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier, E., & Giersch, C. (2000). Fuzzy dynamics and applications in biological systems modelling. Systems Analysis, Modelling, Simulation, 38, 29–50.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier, E., Kraft, M., & Weise, P. (2000). Evaluation and specification of a synergetic business cycle model with German data. Homo Oeconomicus XVI.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16234
Dubois, D., Hüllermeier, E., & Prade, H. (2000). Formalizing case-based inference using fuzzy rules. In S. K. Pal, D. Y. So, & T. Dillon (Eds.), Soft Computing in Case-Based Reasoning (pp. 47–72). Springer.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide, F., & Wanka, R. (2000). Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik. ForschungsForum Paderborn, 112–116.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
Eisenring, M. H., & Platzner, M. (2000). An Implementation Framework for Run-time Reconfigurable Systems. In Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE) (pp. 151–157). CSREA Press.
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
Eisenring, M., & Platzner, M. (2000). Optimization of Run-time Reconfigurable Embedded Systems. In Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL) (pp. 565–574). Springer.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, W., Meyer, A., & Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden, O., Juurlink, B., Von Otte, I., & Rieping, I. (1999). The Paderborn university BSP (PUB) library-design, implementation and performance. Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 99–104. https://doi.org/10.1109/ipps.1999.760442
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, H., & Lettmann, T. (1999). Resolution remains hard under equivalence. Discrete Applied Mathematics, 139–148. https://doi.org/10.1016/s0166-218x(99)00055-4
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3254
Fischer, C., & Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications with {FDR}. In K. Araki, A. Galloway, & K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 (pp. 315--334).
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
Flammini, M., & Scheideler, C. (1999). Simple, Efficient Routing Schemes for All-Optical Networks. Theory Comput. Syst., 32(3), 387--420. https://doi.org/10.1007/s002240000123
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 2164 | 
Berenbrink, P., & Scheideler, C. (1999). Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths. In SODA (pp. 112--121).
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2165 |
Berenbrink, P., Riedel, M., & Scheideler, C. (1999). Simple Competitive Request Scheduling Strategies. In SPAA (pp. 33--42).
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 17864
Fischer, M., Lukovszki, T., & Ziegler, M. (1999). Partitioned neighborhood spanners of minimal outdegree. In Proceedings of the 11th Canadian Conference on Computational Geometry. Vancouver.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18747
Sohler, C. (1999). Fast Reconstruction of Delaunay Triangulations. In Proceedings of the 11th Canadian Conference on Computational Geometry ( CCCG’99) (pp. 136–141).
LibreCat
1999 | Dissertation | LibreCat-ID: 18942
Lukovszki, T. (1999). New Results on Geometric Spanners and Their Applications (Vol. 63). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 18959
Lukovszki, T. (1999). New Results on Fault Tolerant Geometric Spanners. In Proceedings of the 6th Workshop on Algorithms an Data Structures (WADS’99), LNCS (pp. 193–204). https://doi.org/10.1007/3-540-48447-7_20
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18965
Krick, C., Meyer auf der Heide, F., Räcke, H., Vöcking, B., & Westermann, M. (1999). Data management in networks: experimental evaluation of a provably good strategy. In Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures - SPAA ’99 (pp. 165–174). https://doi.org/10.1145/305619.305637
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 18576
Sohler, C. (1999). Generating Random Star-Shaped Polygons. In Proceedings of the 11th Canadian Conference on Computational Geometry ('CCCG’99) (pp. 174–177).
LibreCat
1999 | Conference Paper | LibreCat-ID: 2210 |
Berenbrink, P., Riedel, M., & Scheideler, C. (1999). Design of the PRESTO Multimedia Storage Network (Extended Abstract). In International Workshop on Communication and Data Management in Large Networks (CDMLarge) (pp. 2–12).
LibreCat
| Files available
1999 | Conference Paper | LibreCat-ID: 2166 |
Scheideler, C., & Vöcking, B. (1999). From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols. In STOC (pp. 215--224).
LibreCat
| Files available
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, G., Beiersdörfer, K., & Schäfer, W. (Eds.). (1999). Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, D., Küster, J., Oppacher, F., & von Otte, I. (1999). Patterns as a Means for Intelligent Software Engineering. In Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA) (Vol. 2, pp. 605–611). CSREA Press.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, A., Heckel, R., & Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99) (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, A. (1999). Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia).
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
Engels, G., Depke, R., & Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. In Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA (Vol. 1723, pp. 473–488). Berlin/Heidelberg: Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, F., Heckel, R., & Llabrés, M. (1999). A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK) (Vol. 29, pp. 80–100). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer, S., & Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan) (pp. 80–87). Tokyo, Japan: IEEE Computer Society. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878
LibreCat
| DOI
1999 | Report | LibreCat-ID: 8203
Ehrig, H., Heckel, R., Llabrés, M., & Orejas, F. (1999). Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels, G., Hücking, R., Sauer, S., & Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., & Koopman, P. (1999). SOCCA Extended with UML like Packages (pp. 99–06). Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., & Jan t’Hoen, P. (1999). A Formalisation of SOCCA using Z, part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer, S., & Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer, S., & Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA) (pp. 64–71). Indian Wells, California, USA.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini, A., Große-Rhode, M., & Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal) (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-48483-3_7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
Corradini, A., Heckel, R., & Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99) (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80273-7
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
Engels, G., Heckel, R., & Sauer, S. (1999). Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA).
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
Engels, G., & Sauer, S. (1999). MVC-Based Modeling Support for Embedded Real-Time Systems. In Proceedings of OMER Workshop, Herrsching, Germany (pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8327
Mehner, K., & Wagner, A. (1999). An Assessment of Aspect Language Design. In Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany).
LibreCat
1999 | Conference Paper | LibreCat-ID: 8328
Mehner, K., & Wagner, A. (1999). On the Role of Method Families in Aspect Oriented Programming. In Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain) (Vol. 1743, pp. 305–306). Berlin/Heidelberg: Springer.
LibreCat
1999 | Journal Article | LibreCat-ID: 7399
Depke, R., Engels, G., Mehner, K., Sauer, S., & Wagner, A. (1999). Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. Informatik Forschung Und Entwicklung, 14(2), 83–94. http://dx.doi.org/10.1007/s004500050128
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 7400
Cherchago, A., & Finaev, V. (1999). Formalization of the development process for a software-hardware reflexodiagnostic tool. Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology, 3.
LibreCat
1999 | Journal Article | LibreCat-ID: 7401
Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. Science of Computer Programming, 34(1), 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9
LibreCat
| DOI
1999 | Book | LibreCat-ID: 7510
Ehrig, H., Engels, G., Kreowski, H. J., & Rozenberg, G. (1999). Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools (pp. 639–668). Singapore: World Scientific.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
Heckel, R., Engels, G., Ehrig, H., & Taentzer, G. (1999). Classification and Comparison of Module Concepts for Graph Transformation Systems. In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools (Vol. 2, pp. 669–689). Singapore: World Scientific.
LibreCat
1999 | Conference Paper | LibreCat-ID: 874
Karl, H. (1999). Towards Quality of Service for Parallel Computing: An Overview of the MILAN Project. In High-Performance Computing and Networking, 7th International Conference, HPCN Europe 1999, Amsterdam, The Netherlands, April 12-14, 1999, Proceedings (pp. 841--850). https://doi.org/10.1007/BFb0100644
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 875
Karl, H. (1999). Coscheduling through Synchronized Scheduling Servers -- A Prototype and Experiments. In Parallel and Distributed Processing, 11 IPPS/SPDP’99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings (pp. 1115--1129). https://doi.org/10.1007/BFb0097997
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 16501
Meyer auf der Heide, F., & Vöcking, B. (1999). Shortest-Path Routing in Arbitrary Networks. Journal of Algorithms, 105–131. https://doi.org/10.1006/jagm.1998.0980
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 16502
Berenbrink, P., Meyer auf der Heide, F., & Schröder, K. (1999). Allocating Weighted Jobs in Parallel. Theory of Computing Systems, 281–300. https://doi.org/10.1007/s002240000119
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 16889
Lenz, C., Stüwe, J. D., Domik, G., & Gaulke, J. (1999). Ein Internet-Client für ein Geo-Informationssystem zur Visualisierung geowissenschaftlicher Daten (Vol. Heft Nr. 8). Presented at the Virtual GIS, Universität Rostock.
LibreCat
1999 | Book Chapter | LibreCat-ID: 17052
Mayr, E. W., Meyer auf der Heide, F., & Wanka, R. (1999). International Workshop on Communication and Data Management in Large Networks. In Informatik aktuell. https://doi.org/10.1007/978-3-662-01069-3_47
LibreCat
| DOI
1999 | Book Chapter | LibreCat-ID: 17053
Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (1999). Provably Good and Practical Strategies for Non-uniform Data Management in Networks. In Algorithms - ESA’ 99. Berlin, Heidelberg. https://doi.org/10.1007/3-540-48481-7_9
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 15711
Schulte, C., Selke, H., & Huth, C. (1999). Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten. LOG IN, 19(3/4), 40.
LibreCat
1999 | Conference Paper | LibreCat-ID: 15712
Hampel, T., Magenheim, J., & Schulte, C. (1999). Dekonstruktion von Informatiksystemen als Unterrichtsmethode - Zugang zu objektorientierten Sichtweisen im Informatikunterricht. In INFOS (pp. 149–164). Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 15809
Hüllermeier, E., Dubois, D., & Prade, H. (1999). Fuzzy rules in case-based reasoning. In In Proceedings RàPC-1999, Raisonnement à partir de Cas, Paris Palaiseau, France, In Conferences AFIA-1999 (pp. 45–54).
LibreCat
1999 | Conference Paper | LibreCat-ID: 15062
Hüllermeier, E. (1999). Toward a probabilistic formalization of case-based inference. In T. Dean (Ed.), in Proceedings IJCAI-99, 16th international Joint Conference on Artificial Intelligence, Stockholm, Sweden (pp. 248–253). Morgan Kaufmann.
LibreCat
1999 | Conference Paper | LibreCat-ID: 15107
Hüllermeier, E. (1999). Exploiting similarity for supporting data analysis and problem solving. In D. J. Hand, J. N. Kok, & M. R. Berthold (Eds.), In Proceedings IDA-1999, 3th International Symposium on Intelligent Data Analysis, Amsterdam, Netherlands (Vol. 1642, pp. 257–268). Springer.
LibreCat
1999 | Conference Paper | LibreCat-ID: 15232
Hüllermeier, E., Dubois, D., & Prade, H. (1999). Extensions of a qualitative approach to case-based decision making: Unvertainty and fuzzy quantification in act evaluation. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany.
LibreCat
1999 | Conference Paper | LibreCat-ID: 15233
Hüllermeier, E. (1999). Toward models of case-based decision making. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-99 7th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany.
LibreCat
1999 | Conference Paper | LibreCat-ID: 15234
Hüllermeier, E. (1999). A possibilistic formalization of case-based reasoning and decision making. In B. Reusch (Ed.), in Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany (Vol. 1625, pp. 411–420). Springer.
LibreCat
1999 | Journal Article | LibreCat-ID: 16199
Hüllermeier, E. (1999). Numerical methods for fuzzy initial value problems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 7(5), 439–461.
LibreCat
1999 | Journal Article | LibreCat-ID: 16200
Hüllermeier, E. (1999). Approximation of uncertain funtional relationships. Fuzzy Sets and Systems, 101(2), 227–240.
LibreCat
1999 | Book Chapter | LibreCat-ID: 16235
Hüllermeier, E. (1999). Qualitatives Schließen und Qualitative Simulation. In H. Szczerbicka & T. Uthmann (Eds.), Modellierung, Simulation und Künstliche Intelligenz (pp. 277–310). SCS Publishing House, Erlangen.
LibreCat
1999 | Conference Paper | LibreCat-ID: 13607
Mencer, O., & Platzner, M. (1999). Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment. In Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32). IEEE CS Press. https://doi.org/10.1109/hicss.1999.772883
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 13608
Eisenring, M., Platzner, M., & Thiele, L. (1999). Communication Synthesis for Reconfigurable Embedded Systems. In Proceedings of the 9th International Workshop on Field Programmable Logic and Applications (FPL) (Vol. 1673, pp. 205–214). Springer. https://doi.org/10.1007/978-3-540-48302-1_21
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3024
Blömer, J., & Seifert, J.-P. (1999). On the complexity of computing short linearly independent vectors and short bases in a lattice. Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing - STOC ’99. https://doi.org/10.1145/301250.301441
LibreCat
| Files available
| DOI
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat
| DOI