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.
5786 Publications
1995 | Conference Paper | LibreCat-ID: 13472
@inproceedings{Platzner_Rinner_Weiss_1995, title={Parallel Qualitative Simulation}, booktitle={Proceedings of the EUROSIM Congress}, publisher={Elsevier}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }, year={1995}, pages={231–236} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 13473
@inproceedings{Platzner_Rinner_1995, title={Improving Performance of the Qualitative Simulator QSIM - Design and Implementation of a Specialized Computer Architecture}, booktitle={Proceedings of the PDCS International Conference on Parallel and Distributed Computing Systems}, publisher={ISCA}, author={Platzner, Marco and Rinner, Bernhard}, year={1995}, pages={494–501} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 13474
@inproceedings{Platzner_Rinner_1995, title={High-Performance Qualitative Simulation on a Multi-DSP Architecture}, booktitle={Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)}, author={Platzner, Marco and Rinner, Bernhard}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 13484
@inproceedings{Hranitzky_Platzner_1995, title={Design and Implementation of Adaptive Digital Filters on a Multi-TMS320C40 System}, booktitle={Proceedings of the 6th International Conference on Signal Processing Applications & Technology (ICSPAT)}, author={Hranitzky, Robert and Platzner, Marco}, year={1995} }
LibreCat
1995 | Book Chapter | LibreCat-ID: 34448
@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={10.1007/978-1-4615-2237-9_5}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
@inproceedings{Lehrenfeld_Müller_Wiechers_1995, place={Greenville, South Carolina}, title={Conformance Tests of Very Large STEP Files}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Lehrenfeld, Georg and Müller, Wolfgang and Wiechers, N.}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
@inproceedings{Zhao_Kaufmann_Kern_Müller_1995, title={Pen-based Interfaces for Engineering Environments}, author={Zhao, R. and Kaufmann, H. J. and Kern, T. and Müller, Wolfgang}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany }, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={10.1109/VL.1995.520803}, booktitle={Proceedings of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang and Tahedl, C.}, year={1995} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
@article{Müller_Lehrenfeld_Wiechers_1995, series={CENELEC Technical Report R117-003:1995}, title={Validation of EXPRESS Models}, author={Müller, Wolfgang and Lehrenfeld, Georg and Wiechers, N.}, year={1995}, collection={CENELEC Technical Report R117-003:1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
@inproceedings{Müller_Felser_Buijs_1995, place={Greenville, South Carolina}, title={Guide to EXPRESS-P}, booktitle={Proceedings of the 4th EXPRESS User’s Group}, author={Müller, Wolfgang and Felser, W. and Buijs, F.}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete Visual Specification and Animations of Protocols}, DOI={10.1109/ASPDAC.1995.486383}, booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
@inproceedings{Zhao_Müller_Kaufmann_Kern_Buijs_1995, place={Grenoble}, title={An Editor for the Rapid Prototyping of EXPRESS-G Models}, booktitle={Proceedings of the 5th EXPRESS User’s Group}, author={Zhao, R. and Müller, Wolfgang and Kaufmann, H. J. and Kern, Th. and Buijs, F.}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
@article{Müller_Felser_Wiechers_1995, place={Paderborn, Germany}, series={ISO TC184/SC4/WG5, N230, Cadlab}, title={The Process Modeling Language EXPRESS-P}, author={Müller, Wolfgang and Felser, W. and Wiechers, N.}, year={1995}, collection={ISO TC184/SC4/WG5, N230, Cadlab} }
LibreCat
1994 | Dissertation | LibreCat-ID: 19624
@book{Wanka_1994, place={Universität Paderborn}, title={Paralleles Sortieren auf mehrdimensionalen Gittern}, author={Wanka, Rolf}, year={1994} }
LibreCat
| Files available
1994 | Conference Paper | LibreCat-ID: 3263
@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 3264
@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric Action Refinement}, booktitle={Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994}, author={Wehrheim, Heike}, editor={Olderog, Ernst{-}R{\"{u}}digerEditor}, year={1994}, pages={247--266}, collection={{IFIP} Transactions} }
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7797
@book{Ehrich_Engels_Paredaens_Wegner_1994, series={Dagstuhl-Seminar-Report}, title={Fundamentals of Object-Oriented Languages, Systems, and Methods}, volume={95}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1994}, collection={Dagstuhl-Seminar-Report} }
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
@book{Cuny_Ehrig_Engels_Rozenberg_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers}, volume={1073}, DOI={http://dx.doi.org/10.1007/3-540-61228-9}, publisher={Springer}, year={1994}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
@inproceedings{Thoben_Appelrath_Rettig_Sauer_1994, place={München}, title={Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister}, booktitle={Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)}, publisher={MMV Medizin Verlag}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan}, year={1994}, pages={88–90} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={142–157} }
LibreCat