2006 |
11 | EE | Jakob Grue Simonsen:
On the Computability of the Topological Entropy of Subshifts.
Discrete Mathematics & Theoretical Computer Science 8(1): 83-96 (2006) |
10 | EE | Jakob Grue Simonsen:
On modularity in infinitary term rewriting.
Inf. Comput. 204(6): 957-988 (2006) |
9 | EE | Jakob Grue Simonsen:
On local non-compactness in recursive mathematics.
Math. Log. Q. 52(4): 323-330 (2006) |
8 | EE | Jesper Andersen,
Ebbe Elsborg,
Fritz Henglein,
Jakob Grue Simonsen,
Christian Stefansen:
Compositional specification of commercial contracts.
STTT 8(6): 485-516 (2006) |
2005 |
7 | EE | Jeroen Ketema,
Jakob Grue Simonsen:
On Confluence of Infinitary Combinatory Reduction Systems.
LPAR 2005: 199-214 |
6 | EE | Jakob Grue Simonsen:
On Beta-Shifts Having Arithmetical Languages.
MFCS 2005: 757-768 |
5 | EE | Jeroen Ketema,
Jakob Grue Simonsen:
Infinitary Combinatory Reduction Systems.
RTA 2005: 438-452 |
4 | EE | 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 | EE | Jakob Grue Simonsen:
On the Modularity of Confluence in Infinitary Term Rewriting.
RTA 2004: 185-199 |
1 | EE | Jakob Grue Simonsen:
On confluence and residuals in Cauchy convergent transfinite rewriting.
Inf. Process. Lett. 91(3): 141-146 (2004) |