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