Jakob Grue Simonsen Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen Hedegaard, Jakob Grue Simonsen: Extracting usability and user experience information from online user reviews. CHI 2013: 2089-2098
2012
j16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Amir M. Ben-Amram, Niels H. Christensen, Jakob Grue Simonsen: Computational Models with No Linear Speedup. Chicago J. Theor. Comput. Sci. 2012 (2012)
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). Developments in Language Theory 2012: 459-464
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Soren Bjerg Andersen, Jakob Grue Simonsen: Term Rewriting Systems as Topological Dynamical Systems. RTA 2012: 53-68
2011
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist: Programming in Biomolecular Computation: Programs, Self-Interpretation and Visualisation. Sci. Ann. Comp. Sci. 21(1): 73-106 (2011)
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema: Levels of undecidability in rewriting. Inf. Comput. 209(2): 227-245 (2011)
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: Infinitary Combinatory Reduction Systems. Inf. Comput. 209(6): 893-926 (2011)
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: Beta-Shifts, Their Languages, and Computability. Theory Comput. Syst. 48(2): 297-318 (2011)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Steffen Hedegaard, Jakob Grue Simonsen: Lost in Translation: Authorship Attribution using Frame Semantics. ACL (Short Papers) 2011: 65-70
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 403-433
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Andreas Schnabl, Jakob Grue Simonsen: The Exact Hardness of Deciding Derivational and Runtime Complexity. CSL 2011: 481-495
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 405-410
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 61-70
2010
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science 6(1) (2010)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen: Programming in Biomolecular Computation. Electr. Notes Theor. Comput. Sci. 268: 97-114 (2010)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. FLOPS 2010: 272-287
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Claus Appel, Vincent van Oostrom, Jakob Grue Simonsen: Higher-Order (Non-)Modularity . RTA 2010: 17-32
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: Weak Convergence and Uniform Normalization in Infinitary Rewriting. RTA 2010: 311-324
2009
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science 5(4) (2009)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen: POETS: Process-oriented event-driven transaction systems. J. Log. Algebr. Program. 78(5): 381-401 (2009)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. Theor. Comput. Sci. 410(47-49): 4878-4891 (2009)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: The -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity). RTA 2009: 335-349
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2006
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On the Computability of the Topological Entropy of Subshifts. Discrete Mathematics & Theoretical Computer Science 8(1): 83-96 (2006)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On modularity in infinitary term rewriting. Inf. Comput. 204(6): 957-988 (2006)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On local non-compactness in recursive mathematics. Math. Log. Q. 52(4): 323-330 (2006)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen: Compositional specification of commercial contracts. STTT 8(6): 485-516 (2006)
2005
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: Specker sequences revisited. Math. Log. Q. 51(5): 532-540 (2005)
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: On Confluence of Infinitary Combinatory Reduction Systems. LPAR 2005: 199-214
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On Beta-Shifts Having Arithmetical Languages. MFCS 2005: 757-768
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jeroen Ketema, Jakob Grue Simonsen: Infinitary Combinatory Reduction Systems. RTA 2005: 438-452
2004
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On confluence and residuals in Cauchy convergent transfinite rewriting. Inf. Process. Lett. 91(3): 141-146 (2004)
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen: Compositional Specification of Commercial Contracts. ISoLA (Preliminary proceedings) 2004: 103-110
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jakob Grue Simonsen: On the Modularity of Confluence in Infinitary Term Rewriting. RTA 2004: 185-199

Coauthor Index

1Jesper Andersen
[j3] [c2]
2Soren Bjerg Andersen
[c16]
3Claus Appel
[c9]
4Amir M. Ben-Amram
[j16]
5Esben Paul Bugge
[c12]
6Niels H. Christensen
[j16]
7Ebbe Elsborg
[j3] [c2]
8Jörg Endrullis
[j14]
9Herman Geuvers
[j14]
10Niels Bjørn Bugge Grathwohl
[c11]
11Lars Hartmann
[j15] [c14] [j10]
12Steffen Hedegaard
[c18] [c15] [c6]
13Fritz Henglein
[j8] [j3] [c2]
14Søren Houen
[c6]
15Neil D. Jones
[j15] [c14] [j10]
16Kim Lundsteen Juncher
[c12]
17Jeroen Ketema
[c17] [j13] [c11] [j11] [c10] [j9] [c5] [c3]
18Ken Friis Larsen
[j8]
19Brian Søborg Mathiasen
[c12]
20Vincent van Oostrom
[c9]
21Jens Duelund Pallesen
[c11]
22Andreas Schnabl
[c13]
23Christian Stefansen
[j8] [j3] [c2]
24Søren Bjerregaard Vrist
[j15] [c14]
25Hans Zantema
[j14]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 05:01:48 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page