Helmut Seidl And NotSemantic analysis
List of bibliographic references
Number of relevant bibliographic references: 13.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000206 | Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne] | Polynomial Constants Are Decidable |
| 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 |
| 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. |  |