|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
Infinitary Combinatory Reduction Systems.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema |
Levels of undecidability in rewriting. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
Beta-Shifts, Their Languages, and Computability. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Esben Paul Bugge, Kim Lundsteen Juncher, Brian Søborg Mathiasen, Jakob Grue Simonsen |
Using Sequence Alignment and Voting to Improve Optical Music Recognition from Multiple Recognizers. |
ISMIR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Steffen Hedegaard, Jakob Grue Simonsen |
Lost in Translation: Authorship Attribution using Frame Semantics. |
ACL (Short Papers) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen |
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist |
Computational Biology: A Programming Perspective. |
Formal Modeling: Actors, Open Systems, Biological Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schnabl, Jakob Grue Simonsen |
The Exact Hardness of Deciding Derivational and Runtime Complexity. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen |
Programming in Biomolecular Computation. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
Weak Convergence and Uniform Normalization in Infinitary Rewriting. |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus Appel, Vincent van Oostrom, Jakob Grue Simonsen |
Higher-Order (Non-)Modularity . |
RTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen |
POETS: Process-oriented event-driven transaction systems. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
Infinitary Combinatory Reduction Systems: Confluence |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Hedegaard, Søren Houen, Jakob Grue Simonsen |
LAIR: A Language for Automated Semantics-Aware Text Sanitization Based on Frame Semantics. |
ICSC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On local non-compactness in recursive mathematics. |
Math. Log. Q. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On the Computability of the Topological Entropy of Subshifts. |
Discrete Mathematics & Theoretical Computer Science |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On modularity in infinitary term rewriting. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
Compositional specification of commercial contracts. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
Specker sequences revisited. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
On Confluence of Infinitary Combinatory Reduction Systems. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On Beta-Shifts Having Arithmetical Languages. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
Infinitary Combinatory Reduction Systems. |
RTA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On confluence and residuals in Cauchy convergent transfinite rewriting. |
Inf. Process. Lett. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Grue Simonsen |
On the Modularity of Confluence in Infinitary Term Rewriting. |
RTA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
Compositional Specification of Commercial Contracts. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")