Univ.-Prof. Dr. phil. nat. Helmut Seidl
Informatikwissenschaften, Universität Trier
- 0651/201-2835, 2824 (Sekr.)
- 0651/201-3822
Seidl, Helmut; Fecht, Christian
Propagating differences : an efficient new fixpoint algorithm for distributive constraint systemsTrier: Univ., Fachbereich Mathematik, Informatik 1997 15 S. (Forschungsbericht ; 97-13)
Kessler, Christoph W.; Seidl, Helmut
The Fork95 Parallel Programming Language: Design, Implementation, ApplicationInternational journal of parallel programming. Bd. 25. H. 1. New York, N.Y.: Springer 1997
Fecht, Christian; Seidl, Helmut
An even faster solver for general systems of equationsTrier: Fachbereich IV, Mathematik, Informatik, Univ. 1996 15 S. (Trierer Forschungsberichte ; 96-11)
Seidl, H.
Fast and simple nested fixpointsInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 59. H. 6. Amsterdam [u.a.]: Elsevier 1996 S. 303 - 308
Seidl, H.
Integer Constraints to Stop DeforestationLecture notes in computer science. Bd. 1058. Berlin: Springer 1996 S. 326 - 340
Seidl, Helmut
A modal m-calculus for durational transition systemsTrier: Univ., Mathematik/Informatik 1995 16 S. (Forschungsbericht ; 95-08)
Keßler, Christoph W.; Seidl, Helmut
Integrating synchronous and asynchronous paradigms : the Fork95 parallel programming languageTrier: Fachbereich IV, Mathematik/Informatik, Univ. 1995 11 S. (Trierer Forschungsberichte ; 95,5)
Keßler, Christoph W.; Seidl, Helmut
Language support for synchronous parallel critical sectionsTrier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-23)
Seidl, H.
Equivalence of Finite-Valued Tree Transducers Is DecidableMathematical systems theory. Bd. 27. H. 4. New York, NY: Springer 1994 S. 285 - 346
Seidl, H.
Finite tree automata with cost functionsTheoretical computer science. the journal of the EATCS. Bd. 126. H. 1. Amsterdam [u.a.]: Elsevier 1994