PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Stephan, Werner"

Author of the publication

copydeleteadd this publication to your clipboard
BW-eLabs -- Knowledge Management in Virtual and Remote Labs

, , , , , , , , , , , , and . 4th International Workshop on Distributed Cooperative Laboratories: Instrumenting the Grid, Alghero, Sardinia, Italy, (April 2009)

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.

Andreas Werner University of Stuttgart

Hon. -Prof. Werner Pollmann University of Stuttgart

Prof. Dr. -Ing. Karl Stephan University of Stuttgart

Dr. -Ing. Stephan Heimerl University of Stuttgart

Silke Stephan University of Stuttgart

 

Other publications of authors with the same name

Der Autor im digitalen Medium - ein notwendiges Konstrukt?. ISI, volume 38 of Schriften zur Informationswissenschaft, page 285-302. Hochschulverband für Informationswissenschaft, (2000)BW-eLabs -- Knowledge Management in Virtual and Remote Labs, , , , , , , , , and 3 other author(s). 4th International Workshop on Distributed Cooperative Laboratories: Instrumenting the Grid, Alghero, Sardinia, Italy, (April 2009)Modeling Dynamic Processes in TLA., , and . FBT, page 185-192. Herbert Utz Verlag, (1999)Assumption-Commitment Specifications and Safety-Critical Systems., , and . FBT, page 125-135. Verlag Shaker, (1998)Tool Support for the Compositional Development of Distributed Systems., , and . FBT, volume 315 of GMD-Studien, page 89-98. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Deduction-Based Refinement Planning., and . AIPS, page 213-220. AAAI, (1996)Using Hybrid Automata to Express Realtime Properties in VSE-II., , and . FLAIRS Conference, page 640-644. AAAI Press, (2001)Verification Support Environment., , , and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 476-493. Springer, (2005)Formal API Specification of the PikeOS Separation Kernel., , , , , , , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 375-389. Springer, (2015)A New Logical framework for Deductive Planning., and . IJCAI, page 32-38. Morgan Kaufmann, (1993)