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.
5950 Publications
2000 | Journal Article | LibreCat-ID: 16196
@article{Hüllermeier_Giersch_2000, title={Fuzzy dynamics and applications in biological systems modelling}, volume={38}, journal={Systems Analysis, Modelling, Simulation}, author={Hüllermeier, Eyke and Giersch, C.}, year={2000}, pages={29–50} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
@article{Hüllermeier_Kraft_Weise_2000, title={Evaluation and specification of a synergetic business cycle model with German data}, journal={Homo Oeconomicus XVI}, author={Hüllermeier, Eyke and Kraft, M. and Weise, P.}, year={2000} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 16234
@inbook{Dubois_Hüllermeier_Prade_2000, title={Formalizing case-based inference using fuzzy rules}, booktitle={Soft Computing in Case-Based Reasoning}, publisher={Springer}, author={Dubois, D. and Hüllermeier, Eyke and Prade, H.}, editor={Pal, S.K. and So, D.Y. and Dillon, T.Editors}, year={2000}, pages={47–72} }
LibreCat
2000 | Journal Article | LibreCat-ID: 16345
@article{Meyer auf der Heide_Wanka_2000, title={Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik}, journal={ForschungsForum Paderborn}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={2000}, pages={112–116} }
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 13609
@inproceedings{Eisenring_Platzner_2000, title={An Implementation Framework for Run-time Reconfigurable Systems}, booktitle={Proceedings of the 2nd International Workshop on Engineering of Reconfigurable Hardware/Software Objects (ENREGLE)}, publisher={CSREA Press}, author={Eisenring, Michael H. and Platzner, Marco}, year={2000}, pages={151–157} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 13610
@inproceedings{Eisenring_Platzner_2000, title={Optimization of Run-time Reconfigurable Embedded Systems}, booktitle={Proceedings of the 10th International Workshop on Field Programmable Logic and Applications (FPL)}, publisher={Springer}, author={Eisenring, Michael and Platzner, Marco}, year={2000}, pages={565–574} }
LibreCat
2000 | Habilitation | LibreCat-ID: 19784
@book{Scheideler_2000, title={Probabilistic Methods for Coordination Problems}, author={Scheideler, Christian}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
@article{Flake_Müller_Pape_Ruf_2000, place={Siegen}, series={Mobis 2000}, title={Modellprüfung für den Entwurf von Fertigungssteuerungssystemen}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, year={2000}, collection={Mobis 2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
@article{Braatz_Flake_Müller_Westkämper_2000, place={Magdeburg, Germany}, series={Simulation und Visualisierung 2000}, title={Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung}, author={Braatz, A. and Flake, Stephan and Müller, Wolfgang and Westkämper, E.}, year={2000}, collection={Simulation und Visualisierung 2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
@article{Flake_Müller_Ruf_2000, place={Frankfurt}, series={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}, title={Structured English for Model Checking Specification}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000}, collection={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
@inproceedings{Müller_Meyer_Zabel_2000, place={Seattle, Washington, USA}, title={A Visual Framework for the Scripting of Parallel Agents}, booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Müller, Wolfgang and Meyer, Arne and Zabel, Henning}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
@inproceedings{Bhatt_Müller_2000, place={Nagoya, Japan}, title={A Methodology for the Protocol-Centered Design of Agent-Based Systems}, booktitle={Proceedings of IECON 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
@inproceedings{Bhatt_Müller_2000, place={Durham, UK}, title={Morphic Nets: Model Based Design Diagrams}, booktitle={Proceedings of UKPEW 2000}, author={Bhatt, P. C. P. and Müller, Wolfgang}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
@inproceedings{Flake_Müller_Ruf_2000, place={Palermo, Italy}, title={An Advanced Visual Capture for Model Checking Specifications}, booktitle={Proceedings of AVI 2000}, author={Flake, Stephan and Müller, Wolfgang and Ruf, Jürgen}, year={2000} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 19732
@inproceedings{Bonorden_Juurlink_Von Otte_Rieping_1999, title={The Paderborn university BSP (PUB) library-design, implementation and performance}, DOI={10.1109/ipps.1999.760442}, booktitle={Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing}, author={Bonorden, Olaf and Juurlink, Bernhardus and Von Otte, I. and Rieping, Ingo}, year={1999}, pages={99–104} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 19815
@article{Kleine Büning_Lettmann_1999, title={Resolution remains hard under equivalence}, DOI={10.1016/s0166-218x(99)00055-4}, journal={Discrete Applied Mathematics}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1999}, pages={139–148} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 3252
@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3253
@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5}, booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 3254
@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }
LibreCat
1999 | Journal Article | LibreCat-ID: 2151
@article{Flammini_Scheideler_1999, title={Simple, Efficient Routing Schemes for All-Optical Networks}, volume={32}, DOI={10.1007/s002240000123}, number={3}, journal={Theory Comput. Syst.}, author={Flammini, Michele and Scheideler, Christian}, year={1999}, pages={387--420} }
LibreCat
| DOI