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: 15109
Dubois D, Hüllermeier E, Prade H. Flexible control of case-based prediction in the framework of possibility theory. In: Blanzieri E, Portinale L, eds. In Proceedings EWCBR-2000, 5th European Workshop on Case-Based Reasoning, Trento, Italy. Springer; 2000:61-73.
LibreCat
2000 | Conference Paper | LibreCat-ID: 15231
Hüllermeier E, Dubois D, Prade H. 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. ; 2000:1575-1582.
LibreCat
2000 | Journal Article | LibreCat-ID: 16196
Hüllermeier E, Giersch C. Fuzzy dynamics and applications in biological systems modelling. Systems Analysis, Modelling, Simulation. 2000;38:29-50.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier E, Kraft M, Weise P. 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, Hüllermeier E, Prade H. Formalizing case-based inference using fuzzy rules. In: Pal SK, So DY, Dillon T, eds. Soft Computing in Case-Based Reasoning. Springer; 2000:47-72.
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide F, Wanka R. Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik. ForschungsForum Paderborn. 2000:112-116.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
Eisenring MH, Platzner M. An Implementation Framework for Run-time Reconfigurable Systems. In: Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE). CSREA Press; 2000:151-157.
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
Eisenring M, Platzner M. Optimization of Run-time Reconfigurable Embedded Systems. In: Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL). Springer; 2000:565-574.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: Proceedings of the IEEE Symposium on Visual Languages. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
Scheideler C. Probabilistic Methods for Coordination Problems.; 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
Bonorden O, Juurlink B, Von Otte I, Rieping I. The Paderborn university BSP (PUB) library-design, implementation and performance. In: Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. ; 1999:99-104. doi:10.1109/ipps.1999.760442
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
Kleine Büning H, Lettmann T. Resolution remains hard under equivalence. Discrete Applied Mathematics. 1999:139-148. doi:10.1016/s0166-218x(99)00055-4
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
Wehrheim H. Partial order reductions for failures refinement. Electr Notes Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, 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}. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:10.1007/3-540-48118-4_5
LibreCat
| DOI