Auteurs
Analysis
LNCS
Racine
Analysis
LNCS
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur l'Université de Trèves - Analysis (LNCS)

Index « Auteurs » - entrée « Helmut Seidl »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Heinz Schmitz < Helmut Seidl < Henning Fernau  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000206 (2002) Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne]Polynomial Constants Are Decidable
000207 (2002) Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
000209 (2002) Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France]Infinite-State High-Level MSCs: Model-Checking and Realizability
000212 (2002) Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]Automatic Complexity Analysis
000216 (2001) Sébastien Limet [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]Weakly Regular Relations and Applications
000218 (2001) Valérie Gouranton [France] ; Pierre Réty [France] ; Helmut Seidl [Allemagne]Synchronized Tree Languages Revisited and New Applications
000224 (2001) Flemming Nielson [Danemark] ; Helmut Seidl [Allemagne]Control-Flow Analysis in Cubic Time
000231 (2000) Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne]Constraint-Based Inter-Procedural Analysis of Parallel Programs
000237 (1999) Helmut Seidl [Allemagne] ; Andreas Neumann [Allemagne]On Guarding Nested Fixpoints
000239 (1999) Christoph W. Ke Ler [Allemagne] ; Helmut Seidl [Allemagne]Forklight: A control-synchronous parallel programming language
000246 (1998) Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne]Propagating differences: An efficient new fixpoint algorithm for distributive constraint systems
000251 (1998) Andreas Neumann [Allemagne] ; Helmut Seidl [Allemagne]Locating Matches of Tree Patterns in Forests
000276 (1996) Helmut Seidl [Allemagne]Integer constraints to stop deforestation
000282 (1996) Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne]An even faster solver for general systems of equations

List of associated KwdEn.i

Nombre de
documents		Descripteur
4Program analysis
3Computer theory
3Horn clauses
3Logical programming
3Programming language
2Decidability
2Tree(graph)
1Algorithm complexity
1Asymptotic behavior
1Automatic analysis
1Data flow
1Deadlock
1Equation system solving
1Fast algorithm
1Finite state machine
1Flow control
1Flow field
1Flow graphs
1Fluence graph
1Functional programming
1Graph flow
1Model checking
1Musical instrument
1Non determinism
1Non deterministic system
1Object oriented
1Optimal algorithm
1Parallel programming
1Polynomial time
1Program complexity
1Program proof
1Program transformation
1Push down automaton
1Reachability analysis
1Regular graph
1Rewriting
1Rewriting systems
1Semantic analysis
1Simultaneity
1Sparse matrix
1Spi calculus
1Synchronous language
1Syntactic analysis
1Theorem proving
1Tiling
1Time analysis
1Transitive closure
1Tree automaton
1Tree data structures
1Tree structure
1Unification
1Worst case method

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/LNCS/Analysis

HfdIndexSelect -h $EXPLOR_AREA/Data/LNCS/Analysis/Author.i -k "Helmut Seidl" 

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

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

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

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