Kurt Stirewalt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1990–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | MODELS | ORM ontologies with executable derivation rules to support semantic search in large-scale data applications. | Mrton Br, Kurt Stirewalt |
| 2013 | ICSE | Live logic programming. | Spencer Rugaber, Zef Hemel, Kurt Stirewalt |
| 2001 | ICSE | Leightweight Analysis of Operational Specifications Using Inference Graphs. | Laura K. Dillon, Kurt Stirewalt |
| 2001 | ICSE | A Component-Based Approach to Building Formal Analysis Tools. | Kurt Stirewalt, Laura K. Dillon |
| 1991 | ICS | PATCH - a new algorithm for rapid incremental dependence analysis. | William F. Appelbe, Kevin Smith, Kurt Stirewalt |
| 1990 | ICS | Incremental dependence analysis for interactive parallelization. | Kevin Smith, William F. Appelbe, Kurt Stirewalt |