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.
5779 Publications
2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier, Eyke, and C. Giersch. “Fuzzy Dynamics and Applications in Biological Systems Modelling.” Systems Analysis, Modelling, Simulation, vol. 38, 2000, pp. 29–50.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier, Eyke, et al. “Evaluation and Specification of a Synergetic Business Cycle Model with German Data.” Homo Oeconomicus XVI, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 16234
Dubois, D., et al. “Formalizing Case-Based Inference Using Fuzzy Rules.” Soft Computing in Case-Based Reasoning, edited by S.K. Pal et al., Springer, 2000, pp. 47–72.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide, Friedhelm, and Rolf Wanka. “Von Der Hollerith-Maschine Zum Parallelrechner - Die Alltägliche Aufgabe Des Sortierens Als Fortschrittsmotor Für Die Informatik.” ForschungsForum Paderborn, 2000, pp. 112–16.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
Eisenring, Michael H., and Marco Platzner. “An Implementation Framework for Run-Time Reconfigurable Systems.” Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE), CSREA Press, 2000, pp. 151–57.
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
Eisenring, Michael, and Marco Platzner. “Optimization of Run-Time Reconfigurable Embedded Systems.” Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL), Springer, 2000, pp. 565–74.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, et al. Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., et al. Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, et al. Structured English for Model Checking Specification. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” Proceedings of the IEEE Symposium on Visual Languages, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” Proceedings of IECON 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” Proceedings of UKPEW 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden, Olaf, et al. “The Paderborn University BSP (PUB) Library-Design, Implementation and Performance.” Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, 1999, pp. 99–104, doi:10.1109/ipps.1999.760442.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning, Hans, and Theodor Lettmann. “Resolution Remains Hard under Equivalence.” Discrete Applied Mathematics, 1999, pp. 139–48, doi:10.1016/s0166-218x(99)00055-4.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3254
Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
Flammini, Michele, and Christian Scheideler. “Simple, Efficient Routing Schemes for All-Optical Networks.” Theory Comput. Syst., vol. 32, no. 3, 1999, pp. 387--420, doi:10.1007/s002240000123.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 2164 | 
Berenbrink, Petra, and Christian Scheideler. “Locally Efficient On-Line Strategies for Routing Packets Along Fixed Paths.” SODA, 1999, pp. 112--121.
LibreCat
| Files available