Searching for authors named Helmut Seidl – sorted by Relevance.
-
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
Helmut Seidl <seidl@(email omitted);> XML document processing is a - 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

