Search Results - Valk, Rüdiger

Rüdiger Valk

Rüdiger Valk (born 5 August 1945) is a German mathematician. From 1976 to 2010 he was Professor for Theoretical Computer Science (Informatics) at the ''Institut für Informatik'' (later ''Fachbereich Informatik'') of the University of Hamburg, Germany.

Valk studied mathematics at the University of Bonn (Germany). Supervised by Wilfried Brauer, he continued studying for a postgraduate degree at Bonn and received his PhD in Mathematics in 1974. In 1976 he became Professor for Theoretical Computer Science (Informatics). From 1985 until 2010 he was head of the research group on theoretical foundations of computer science (Theoretische Grundlagen der Informatik, TGI) at the University of Hamburg. Provided by Wikipedia
Filter by
  1. 1
    Cover Image

    Relating different semantics für object petri nets: formal proofs and examples
    by Valk, Rüdiger

    Published 2000
    Book


    Saved in:
  2. 2
    Cover Image

    Rechensysteme: Grundlagen d. Modellbildung
    by Jessen, Eike 1933-2015, Valk, Rüdiger

    Published 1987
    Book


    Saved in:
  3. 3
    Cover Image

    GI — 18. Jahrestagung: Vernetzte und komplexe Informatik-Systeme Hamburg 17.–19. Oktober 1988 Proceedings
    by Valk, Rüdiger

    Published 1988
    Read online
    Electronic eBook


    Saved in:
  4. 4
    Cover Image

    GI — 18. Jahrestagung II: Vernetzte und komplexe Informatik-Systeme Hamburg, 17.–19. Oktober 1988 Proceedings
    by Valk, Rüdiger

    Published 1988
    Read online
    Electronic eBook


    Saved in:
  5. 5
    Cover Image

    Topologische Wortmengen, topologische Automaten, Zustandsendliche, stetige Abbildungen
    by Valk, Rüdiger

    Published 1971
    Book


    Saved in:
  6. 6
    Cover Image

    Extending S-invariants for coloured and selfmodifying nets
    by Valk, Rüdiger

    Published 1993
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    On processes of object Petri nets
    by Valk, Rüdiger

    Published 1996
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    The residue of vector sets with applications to decidability problems in Petri nets
    by Valk, Rüdiger

    Published 1984
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Realisierung allgemeiner Systeme
    by Valk, Rüdiger

    Published 1976
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Sozionik - Modellierung soziologischer Theorie
    by Lüde, Rolf von 1946-, Moldt, Daniel, Valk, Rüdiger

    Published 2003
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Modelling of task flow in systems of functional units
    by Valk, Rüdiger

    Published 1987
    Order via interlibrary loan
    Book


    Saved in:
  12. 12
    Cover Image

    Realisierungen allgemeiner Systeme
    by Valk, Rüdiger

    Published 1976
    Order via interlibrary loan
    Book


    Saved in:
  13. 13
    Cover Image

    Topologische Wortmengen, topologische Automaten, Zustandsendliche, stetige Abbildungen
    by Valk, Rüdiger

    Published 1972
    Order via interlibrary loan
    Book


    Saved in:
  14. 14
    Cover Image

    Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
    by Girault, Claude, Valk, Rüdiger

    Published 2003
    Order via interlibrary loan
    Electronic eBook


    Saved in:
  15. 15
    Cover Image

    Topologische Wertmengen, topologische Automaten, Zustandsendliche stetige Abbildungen
    by Valk, Rüdiger

    Published 1972
    Order via interlibrary loan
    Book


    Saved in:
  16. 16
    Cover Image

    Petri nets for systems engineering: a guide to modeling, verfication, and applications ; with 9 tables
    by Girault, Claude, Valk, Rüdiger

    Published 2003
    Order via interlibrary loan
    Book


    Saved in:
  17. 17
    Cover Image

    Self-modifying nets
    by Valk, Rüdiger

    Published 1977
    Order via interlibrary loan
    Book


    Saved in:
  18. 18
    Cover Image

    Sozionik: Modellierung soziologischer Theorie
    by Lüde, Rolf von 1946-, Moldt, Daniel, Valk, Rüdiger

    Published 2003
    Order via interlibrary loan
    Book


    Saved in:
  19. 19
    Cover Image

    Object Oriented Petri Nets in Business Process Modeling
    by Moldt, Daniel, Valk, Rüdiger

    Published 2000
    Order via interlibrary loan
    Book Chapter


    Saved in:
  20. 20
    Cover Image

    Realisierung allgemeiner Systeme
    by Valk, Rüdiger

    Published 1976
    Order via interlibrary loan
    Thesis/Dissertation Book


    Saved in:

Search Tools: