Author of the publication

The Implementation of ObjectMath - a High-Level Programming Environment for Scientific Computing.

, , and . CC, volume 641 of Lecture Notes in Computer Science, page 312-318. Springer, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Benchmark Suite for Modelica Compilers: Large Models, , , , , and . (Jun 30, 2011)Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger., and . EOOLT, volume 84 of Linköping Electronic Conference Proceedings, page 109-110. Linköping University Electronic Press, (2013)A Design, Simulation and Visualization Environment for Object-Oriented Mechanical and Multi-Domain Models in Modelica., , and . IV, page 188-193. IEEE Computer Society, (1999)OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP., , , , , , , , , and 4 other author(s). Modelica, volume 157 of Linköping Electronic Conference Proceedings, page 157:007. Linköping University Electronic Press, (2019)Efficient index reduction algorithm for large scale systems of differential algebraic equations., , , , and . Appl. Math. Comput., (2016)On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution., , , , , , , , , and 1 other author(s). ISSE, page 1-8. IEEE, (2016)Implementation of the real-time functional language Erlang on a massively parallel platform, with applications to telecommunications services., , and . HPCN Europe, volume 919 of Lecture Notes in Computer Science, page 886-891. Springer, (1995)High-level Mathematical Modeling And Programming., , , and . IEEE Software, 12 (4): 77-87 (1995)Integrated Debugging of Modelica Models, , , , and . Modeling, Identification and Control, 35 (2): 93--107 (2014)Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models., and . ASE, page 253-258. IEEE Computer Society, (2003)