MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Werner Stephan" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

19 documents found, showing 1 through 10. Next 10 →

ATOM

INTERNATIONAL FEDERATION OF LIBRARY ASSOCIATIONS AND INSTITUTIONS IFLA SECTION ON BIBLIOGRAPHY
by Werner Stephan — 2000
…. Werner Stephan 66th IFLA Council and General Conference, Jerusalem (August 11 - August 19, 2000) The 66th…
Add To MetaCart

A Calculus for Higher Order Procedures with Global Variables
by Werner Stephan, Andreas Wolpers — 1993 — Proc., MFCS '93, Springer LNCS 711
…A Calculus for Higher Order Procedures with Global Variables Werner Stephan and Andreas Wolpers…
Cited by 2 (1 self) – Add To MetaCart

Deduction-based Refinement Planning
by Werner Stephan, Susanne Biundo — 1996 — In AIPS-96
…Deduction-based Refinement Planning Werner Stephan and Susanne Biundo German Research Center…
Cited by 11 (4 self) – Add To MetaCart

System Assistance in Structured Domain Model Development
by Susanne Biundo, Werner Stephan — 1997 — In Procceedings of the International Joint Conference on Artifical Intelligence (IJCAI
…System Assistance in Structured Domain Model Development Susanne Biundo and Werner Stephan…
Cited by 3 (0 self) – Add To MetaCart

Modular Verification of Programmable Logic Controllers with TLA
by Andreas Wolpers, Werner Stephan — 1998
…MODULAR VERIFICATION OF PROGRAMMABLE LOGIC CONTROLLERS WITH TLA Andreas Wolpers Werner Stephan…
Cited by 1 (1 self) – Add To MetaCart

Modeling Planning Domains Systematically
by Susanne Biundo, Werner Stephan — 1996 — In Proceedings of the 12th European Conference on Artificial Intelligence
…Modeling Planning Domains Systematically Susanne Biundo and Werner Stephan 1 Abstract. We present…
Cited by 11 (1 self) – Add To MetaCart

A New Logical Framework for Deductive Planning
by Werner Stephan, Susanne Biundo — 1993 — In Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93
…A New Logical Framework for Deductive Planning Werner Stephan and Susanne Biundo German…
Cited by 21 (4 self) – Add To MetaCart

Tool Support for the Compositional Development of Distributed Systems
by Georg Rock, Werner Stephan, Andreas Wolpers — 1997 — In Tagungsband 7. GI/ITGFachgespr ach Formale Beschreibungstechniken fur verteilte Systeme, number 315 in GMD Studien. GMD
…Tool Support for the Compositional Development of Distributed Systems Georg Rock Werner Stephan…
Cited by 9 (6 self) – Add To MetaCart

Simultaneous Quantifier Elimination
by Serge Autexier, Heiko Mantel, Werner Stephan — 1998
…Simultaneous Quantifier Elimination Serge Autexier 1 , Heiko Mantel 2 , and Werner Stephan 2 1…
Cited by 3 (3 self) – Add To MetaCart

Assumption-Commitment Specifications And Safety-Critical Systems
by Georg Rock, Werner Stephan, Andreas Wolpers — 1998 — In Formale Beschreibungstechniken fur verteilte Systeme, Shaker Verlag
…Assumption--Commitment Specifications And Safety--Critical Systems Georg Rock Werner Stephan…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB