Informatik
Hochschule Worms
- 06241/509-128/103
- 06241/509-221
- informatik@hs-worms.de
Heinemann, Elisabeth; Ortner, Erich; Sternhuber, Joachim
Sprachbasierte Wissensrekonstruktion am Beispiel des EinkommensteuergesetzesProceedings der Tagung MobIS im Rahmen der MKWI 2004, 9.-11. März 2004. Essen 2004. Essen. 2004 S. 91 - 111
Heinemann, Elisabeth; Ortner, Erich; Repp, Nikolas
mobileISM: Ein Framework zur adaptiven Unterstützung der Nutzung mobiler DiensteKarlsruhe. 2003
Wiebel, Alexander
Tetrahedrisierung irregulärer Gitter und 3D-Helmholtz-Hodge-Zerlegung von VektorfeldernAG Visualisierung. 2003
Simon, Carlo
A Logic of Actions to Specify and Verify Process RequirementsThe 7th Australian Workshop on Requirements Engineering (AWRE). Melbourne. 2002 S. 157 - 168
Simon, Carlo; Reckmann, Nadja; M. C. Swatman, Paula
Initiating eLearning via Workflow Management.I3E. 2002 S. 319 - 333
Simon, Carlo
A logic of actions and its application to the development of programmable controllersKoblenz: Fölbach 2001 235 S.
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
Modeling and Validation of Hybrid Systems using Extended Timestamp NetsAutomatisierungstechnik (AT). Bd. 49. H. 2. De Gruyter 2001 S. 60 - 65
Lautenbach, Kurt; Simon, Carlo
Modellierung der Dynamik einer Batch-AnlageEngineering komplexer Automatisierungssysteme. Braunschweig. 2001 S. 57 - 74
Hanisch, Hans-Michael; Lautenbach, Kurt; Simon, Carlo et al.
A Modular Modeling Approach for Hybrid Systems Based on C/E-Systems and Extended Timestamp NetsProceedings of the 4th International Conference on Automation of Mixed Processes. Dortmund. 2000 S. 363 - 368
Mohamed, Chouikha; Decknatel, Gebhard; Drath, Rainer et al.
Petri Net-based Descriptions for Discrete-Continuous SystemsAutomatisierungstechnik (at). Bd. 48. H. 9. De Gruyter 2000 S. 415 - 425