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, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken, Rolf, et al. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” Computers & Structures, vol. 75, no. 2, Elsevier BV, 2002, pp. 135–43, doi:10.1016/s0045-7949(99)00089-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
Mahnken, Rolf. “Improved Implementation of an Algorithm for Non-Linear Isotropic/Kinematic Hardening in Elastoplasticity.” Communications in Numerical Methods in Engineering, vol. 15, no. 10, Wiley, 2002, pp. 745–54, 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
Mahnken, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.” Computers & Structures, vol. 74, no. 2, Elsevier BV, 2002, pp. 179–200, doi:10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45432
Mahnken, Rolf, 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, IOP Publishing, 2002, pp. 597–616, doi:10.1088/0965-0393/2/3a/013.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626601.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1991 | Journal Article | LibreCat-ID: 40218
Lasser, R., and Margit 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, Elsevier BV, 1991, pp. 279–93, doi:10.1016/0304-4149(91)90095-t.
LibreCat
| DOI