The SCEAS System
Navigation Menu

Search the dblp DataBase


Ursula Hinkel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
    Towards a Formalization of the Unified Modeling Language. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1997, pp:344-366 [Conf]
  2. Max Breitling, Ursula Hinkel, Katharina Spies
    Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:63-74 [Conf]
  3. Ursula Hinkel, Katharina Spies
    Spezifikationsmethodik für mobile, dynamische FOCUS-Netze. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:251-261 [Conf]
  4. Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
    Interpreter Verification for a Functional Language. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:77-88 [Conf]
  5. Stefan Loidl, Ekkart Rudolph, Ursula Hinkel
    MSC'96 and beyond - a critical look. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:213-0 [Conf]
  6. Christian Facchi, Markus Haubner, Ursula Hinkel
    The SDL specification of the sliding window protocol revisited. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 1997, pp:507-0 [Conf]
  7. 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]

Search in 0.013secs, Finished in 0.014secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002