Helmut Sch Fer < Helmut Seidl < Helmut Sitzmann

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
001E86 (2002)	Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne]	Polynomial Constants Are Decidable
001E89 (2002)	Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]	Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
001E96 (2002)	Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France]	Infinite-State High-Level MSCs: Model-Checking and Realizability
001F12 (2002)	Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]	Automatic Complexity Analysis
001F27 (2002)	Alexandru Berlea [Allemagne] ; Helmut Seidl [Allemagne]	Transforming XML documents using fxt
001F46 (2002)	Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne]	Polynomial constants are decidable
001F52 (2002)	Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]	Normalizable Horn clauses, strongly recognizable relations, and Spi
001F65 (2002)	Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France]	Infinite-state high-level MCS: Model-checking and realizability: (Extended abstract)
001F87 (2002)	Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]	Automatic complexity analysis
002078 (2001)	Sébastien Limet [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]	Weakly Regular Relations and Applications
002087 (2001)	Valérie Gouranton [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]	Synchronized Tree Languages Revisited and New Applications
002116 (2001)	Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne]	Control-Flow Analysis in Cubic Time
002123 (2001)	Sébastien Limet [France] ; Pierre Rety [France] ; Helmut Seidl [Allemagne]	Weakly regular relations and applications
002134 (2001)	Valérie Gouranton [France] ; Pierre Rety [France] ; Helmut Seidl [Allemagne]	Synchronized tree languages revisited and new applications
002164 (2001)	Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne]	Control-flow analysis in cubic time
002240 (2000)	Helmut Seidl [Allemagne] ; Christian Fecht [Allemagne]	Interprocedural analyses: a comparison
002279 (2000)	Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne]	Constraint-Based Inter-Procedural Analysis of Parallel Programs
002456 (1999)	Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne]	A faster solver for general systems of equations
002473 (1999)	Helmut Seidl [Allemagne] ; Andreas Neumann [Allemagne]	On Guarding Nested Fixpoints
002484 (1999)	Christoph W. Ke Ler [Allemagne] ; Helmut Seidl [Allemagne]	Forklight: A control-synchronous parallel programming language
002671 (1998)	Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne]	Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "Helmut Seidl" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i  \
                -Sk "Helmut Seidl" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Merge/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    Helmut Seidl
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024