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