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.
72 Publications
2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,” presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
R. Mahnken, D. Tikhomirov, and E. Stein, “Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete,” Computers & Structures, vol. 75, no. 2, pp. 135–143, 2002, doi: 10.1016/s0045-7949(99)00089-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
R. Mahnken, “Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity,” Communications in Numerical Methods in Engineering, vol. 15, no. 10, pp. 745–754, 2002, doi: 10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
R. Mahnken, “A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification,” Computers & Structures, vol. 74, no. 2, pp. 179–200, 2002, doi: 10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45432
R. Mahnken and E. Stein, “The identification of parameters for visco-plastic models via finite-element methods and gradient methods,” Modelling and Simulation in Materials Science and Engineering, vol. 2, no. 3A, pp. 597–616, 2002, doi: 10.1088/0965-0393/2/3a/013.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: 10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,” presented at the Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi: 10.1109/DATE.2001.915002.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: 10.1109/HICSS.1999.772621.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages, 1997, doi: 10.1109/VL.1997.626601.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39538
W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1991 | Journal Article | LibreCat-ID: 40218
R. Lasser and M. Rösler, “Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality,” Stochastic Processes and their Applications, vol. 38, no. 2, pp. 279–293, 1991, doi: 10.1016/0304-4149(91)90095-t.
LibreCat
| DOI