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
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469}, booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
@article{Mahnken_Tikhomirov_Stein_2002, title={Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete}, volume={75}, DOI={10.1016/s0045-7949(99)00089-9}, number={2}, journal={Computers & Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf and Tikhomirov, D. and Stein, E.}, year={2002}, pages={135–143} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
@article{Mahnken_2002, title={Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity}, volume={15}, DOI={10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r}, number={10}, journal={Communications in Numerical Methods in Engineering}, publisher={Wiley}, author={Mahnken, Rolf}, year={2002}, pages={745–754} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
@article{Mahnken_2002, title={A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification}, volume={74}, DOI={10.1016/s0045-7949(98)00296-x}, number={2}, journal={Computers & Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf}, year={2002}, pages={179–200} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45432
@article{Mahnken_Stein_2002, title={The identification of parameters for visco-plastic models via finite-element methods and gradient methods}, volume={2}, DOI={10.1088/0965-0393/2/3a/013}, number={3A}, journal={Modelling and Simulation in Materials Science and Engineering}, publisher={IOP Publishing}, author={Mahnken, Rolf and Stein, E}, year={2002}, pages={597–616} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
@inproceedings{Müller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place={Munich, Germany }, title={The Simulation Semantics of SystemC}, DOI={10.1109/DATE.2001.915002}, booktitle={Proceedings of the Design, Automation, and Test in Europe (DATE’01)}, publisher={IEEE}, author={Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W.}, year={2001} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri, Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601}, booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang}, year={1997} }
LibreCat
| DOI
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
1991 | Journal Article | LibreCat-ID: 40218
@article{Lasser_Rösler_1991, title={Linear mean estimation of weakly stationary stochastic processes under the aspects of optimality and asymptotic optimality}, volume={38}, DOI={10.1016/0304-4149(91)90095-t}, number={2}, journal={Stochastic Processes and their Applications}, publisher={Elsevier BV}, author={Lasser, R. and Rösler, Margit}, year={1991}, pages={279–293} }
LibreCat
| DOI