 | 2009 |
|---|
| 14 |       | Steffen Hedegaard,
Søren Houen,
Jakob Grue Simonsen:
LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics.
ICSC 2009: 47-52 |
| 13 | | Jakob Grue Simonsen:
The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity).
RTA 2009: 335-349 |
| 12 | | Jeroen Ketema,
Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems: Confluence
CoRR abs/0910.4081: (2009) |
| 2006 |
|---|
| 11 | | Jakob Grue Simonsen:
On the Computability of the Topological Entropy of Subshifts.
Discrete Mathematics & Theoretical Computer Science 8(1): 83-96 (2006) |
| 10 | | Jakob Grue Simonsen:
On modularity in infinitary term rewriting.
Inf. Comput. 204(6): 957-988 (2006) |
| 9 | | Jakob Grue Simonsen:
On local non-compactness in recursive mathematics.
Math. Log. Q. 52(4): 323-330 (2006) |
| 8 | | Jesper Andersen,
Ebbe Elsborg,
Fritz Henglein,
Jakob Grue Simonsen,
Christian Stefansen:
Compositional specification of commercial contracts.
STTT 8(6): 485-516 (2006) |
| 2005 |
|---|
| 7 | | Jeroen Ketema,
Jakob Grue Simonsen:
On Confluence of Infinitary Combinatory Reduction Systems.
LPAR 2005: 199-214 |
| 6 | | Jakob Grue Simonsen:
On Beta-Shifts Having Arithmetical Languages.
MFCS 2005: 757-768 |
| 5 | | Jeroen Ketema,
Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems.
RTA 2005: 438-452 |
| 4 | | Jakob Grue Simonsen:
Specker sequences revisited.
Math. Log. Q. 51(5): 532-540 (2005) |
| 2004 |
|---|
| 3 |  | Jesper Andersen,
Ebbe Elsborg,
Fritz Henglein,
Jakob Grue Simonsen,
Christian Stefansen:
Compositional Specification of Commercial Contracts.
ISoLA (Preliminary proceedings) 2004: 103-110 |
| 2 | | Jakob Grue Simonsen:
On the Modularity of Confluence in Infinitary Term Rewriting.
RTA 2004: 185-199 |
| 1 | | Jakob Grue Simonsen:
On confluence and residuals in Cauchy convergent transfinite rewriting.
Inf. Process. Lett. 91(3): 141-146 (2004) |
