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.
3 Publications
2017 | Conference Paper | LibreCat-ID: 48856
@inproceedings{Bossek_Grimme_2017, title={An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective Machine Scheduling}, DOI={10.1109/SSCI.2017.8285224}, booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek, Jakob and Grimme, Christian}, year={2017}, pages={1–8} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39526
@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996, place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={10.1109/VL.1996.545302}, booktitle={Proceedings of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J. and Tahedl, C. and Weber, A.}, year={1996} }
LibreCat
| DOI