Le cluster Flemming Nielson - Helmut Seidl
| 000207 (2002) | Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne] | Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi |
| 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 |
| 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 |
| 000282 (1996) | Christian Fecht [Allemagne] ; Helmut Seidl [Allemagne] | An even faster solver for general systems of equations |
| 000206 (2002) | Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne] | Polynomial Constants Are Decidable |
| 000209 (2002) | Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France] | Infinite-State High-Level MSCs: Model-Checking and Realizability |
| 000231 (2000) | Helmut Seidl [Allemagne] ; Bernhard Steffen [Allemagne] | Constraint-Based Inter-Procedural Analysis of Parallel Programs |
| 000265 (1997) | Christoph W. Ke Ler [Allemagne] | Applicability of program comprehension to sparse matrix computations |
| 000272 (1996) | Christoph W. Ke Ler [Allemagne] | Scheduling expression DAGs for minimal register need |
| 000274 (1996) | Christoph W. Ke Ler [Allemagne] | Parallel Fourier-Motzkin elimination |
| 000276 (1996) | Helmut Seidl [Allemagne] | Integer constraints to stop deforestation |
| This area was generated with Dilib version V0.6.31. |  |