The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Peter Scholz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Scholz, Erwin Harbeck
    Task Assignment for Distributed Computing. [Citation Graph (0, 0)][DBLP]
    APDC, 1997, pp:270-277 [Conf]
  2. Peter Scholz, Dieter Nazareth
    Communication Concepts for Statecharts: A Semantic Foundation. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:126-140 [Conf]
  3. Peter Scholz
    A Refinement Calculus for Statecharts. [Citation Graph (0, 0)][DBLP]
    FASE, 1998, pp:285-301 [Conf]
  4. Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
    Focusing on Mobility. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  5. Olaf Müller, Peter Scholz
    Functional Specification of Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HART, 1997, pp:273-285 [Conf]
  6. Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
    From MSCs to Statecharts. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:61-72 [Conf]
  7. Peter Scholz
    From synchronous Specifications to Asynchronous Distributed Implementations. [Citation Graph (0, 0)][DBLP]
    DIPES, 1998, pp:39-50 [Conf]
  8. Jan Philipps, Peter Scholz
    Formal Verification and Hardware Design with Statecharts. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:356-389 [Conf]
  9. Peter Scholz
    A Light-Weight Formalism for the Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1996, pp:425-432 [Conf]
  10. Jan Philipps, Peter Scholz
    Formal Verification of Statecharts with Instantaneous Chain Reaction. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:224-238 [Conf]
  11. Jan Phillips, Peter Scholz
    Compositional Specification of Embedded Systems with Statecharts. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:637-651 [Conf]
  12. Judith Hartmann, Sabine Rittmann, Doris Wild, Peter Scholz
    Formal incremental requirements specification of service-oriented automotive software systems. [Citation Graph (0, 0)][DBLP]
    SOSE, 2006, pp:130-133 [Conf]
  13. Bernhard Deifel, Ursula Hinkel, Barbara Paech, Peter Scholz, Veronika Thurner
    Die Praxis der Softwareentwicklung: Eine Erhebung. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1999, v:22, n:1, pp:24-36 [Journal]
  14. Peter Scholz
    Incremental design of statechart specifications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2001, v:40, n:1, pp:119-145 [Journal]
  15. Peter Scholz
    Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2006, v:5, n:1, pp:13-25 [Journal]

  16. Eine Informationsbasis für zeitoptimiertes Incident Management. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002