Searching for authors named Helmut Seidl – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
A Modal µ-Calculus for Durational Transition Systems
- … A Modal _-Calculus for Durational Transition Systems Helmut Seidl FB IV - Informatik Universit…
- Cited by 1 (0 self) – Add To MetaCart
-
Fast and Simple Nested Fixpoints
- …Fast and Simple Nested Fixpoints Helmut Seidl FB IV -- Informatik Universitat Trier D--54286 Trier…
- Cited by 16 (2 self) – Add To MetaCart
-
Integer Constraints to Stop Deforestation
- …Integer Constraints to Stop Deforestation Helmut Seidl FB IV -- Informatik University Trier D…
- Cited by 10 (2 self) – Add To MetaCart
-
Ambiguity, Valuedness and Costs
- …Ambiguity, Valuedness and Costs Helmut Seidl Fachbereich Informatik Universitat des Saarlandes D…
- Add To MetaCart
-
Fxt - A Transformation Tool for XML Documents
- … Berlea
- Add To MetaCart
-
On Guarding Nested Fixpoints
- …On Guarding Nested Fixpoints Helmut Seidl Andreas Neumann FB IV -- Informatik, Universitat Trier…
- Cited by 3 (2 self) – Add To MetaCart
-
A generic framework for interprocedural analysis of numerical properties
- … and Helmut Seidl 2 1 Universität Dortmund, Fachbereich Informatik, LS 5 Baroper Str. 301, 44221 Dortmund…
- Cited by 3 (3 self) – Add To MetaCart
-
Succinct Solvers
- …Succinct Solvers Flemming Nielson 1 and Helmut Seidl 2 1 Informatics & Mathematical Modelling…
- Cited by 6 (5 self) – Add To MetaCart
-
Interprocedural Analyses: A Comparison
- …Interprocedural Analyses: A Comparison Helmut Seidl a and Christian Fecht b a FB IV…
- Cited by 2 (2 self) – Add To MetaCart
-
On Distributive Fixpoint Expressions
- …On Distributive Fixpoint Expressions Helmut Seidl Damian Niwi'nski y May 18, 1998 Abstract…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
