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.

5800 Publications


1995 | Book Chapter | LibreCat-ID: 16236
@inbook{Hüllermeier_1995, title={Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung}, booktitle={Moderne Makroökonomie-Eine kritische Bestandsaufnahme}, publisher={Metropolis}, author={Hüllermeier, Eyke}, editor={Flemmig, J.Editor}, year={1995}, pages={413–454} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13469
@inproceedings{Platzner_Rinner_Weiss_1995, title={A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs}, booktitle={Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing }, publisher={IEEE CS Press}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold }, year={1995}, pages={311–318} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
@inproceedings{Brenner_Ginthör-Kalcsics_Hranitzky_Platzner_Rinner_Steger_Weiss_1995, title={High-Performance Simulators Based on Multi-TMS320C40}, booktitle={Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference}, author={Brenner, Eugen and Ginthör-Kalcsics, Robert and Hranitzky, Robert and Platzner, Marco and Rinner, Bernhard and Steger, Christian and Weiss, Reinhold}, year={1995} }
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13471
@inproceedings{Friedl_Platzner_Rinner_1995, title={A Special-Purpose Coprocessor for Qualitative Simulation}, booktitle={Proceedings of the EURO-PAR’95 International Conference on Parallel Processing}, publisher={Springer International Publishing}, author={Friedl, Gerald and Platzner, Marco and Rinner, Bernhard}, year={1995}, pages={695–698} }
LibreCat
 

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
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed