×

Simonsen, Jakob Grue

Compute Distance To:
Author ID: simonsen.jakob-grue Recent zbMATH articles by "Simonsen, Jakob Grue"
Published as: Simonsen, Jakob Grue; Grue Simonsen, Jakob; Simonsen, Jakob G.
Documents Indexed: 45 Publications since 2004
Co-Authors: 35 Co-Authors with 33 Joint Publications
443 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 82 times in 52 Documents Cited by Year
On the computability of the topological entropy of subshifts. Zbl 1153.37320
Simonsen, Jakob Grue
7
2006
Infinitary combinatory reduction systems: confluence. Zbl 1187.68277
Ketema, Jeroen; Simonsen, Jakob Grue
7
2009
The \(\Pi^0_2\)-completeness of most of the properties of rewriting systems you care about (and productivity). Zbl 1242.68141
Simonsen, Jakob Grue
5
2009
Infinitary combinatory reduction systems: normalising reduction strategies. Zbl 1191.68365
Ketema, Jeroen; Simonsen, Jakob Grue
5
2010
Infinitary combinatory reduction systems. Zbl 1078.68658
Ketema, Jeroen; Simonsen, Jakob Grue
5
2005
Levels of undecidability in rewriting. Zbl 1210.68064
Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans
5
2011
On confluence and residuals in Cauchy convergent transfinite rewriting. Zbl 1178.68304
Simonsen, Jakob Grue
4
2004
Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. Zbl 1354.68143
Ketema, Jeroen; Simonsen, Jakob Grue
4
2013
Near optimal adjacency labeling schemes for power-law graphs. Zbl 1388.68239
Petersen, Casper; Rotbart, Noy; Simonsen, Jakob Grue; Wulff-Nilsen, Christian
3
2016
On beta-shifts having arithmetical languages. Zbl 1156.03335
Simonsen, Jakob Grue
3
2005
Higher-order (non-)modularity. Zbl 1236.68117
Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue
3
2010
Infinitary combinatory reduction systems. Zbl 1235.68095
Ketema, Jeroen; Simonsen, Jakob Grue
3
2011
On confluence of infinitary combinatory reduction systems. Zbl 1143.68426
Ketema, Jeroen; Simonsen, Jakob Grue
3
2005
On modularity in infinitary term rewriting. Zbl 1104.68057
Simonsen, Jakob Grue
3
2006
Chains, antichains, and complements in infinite partition lattices. Zbl 06904422
Avery, James Emil; Moyen, Jean-Yves; Ružička, Pavel; Simonsen, Jakob Grue
3
2018
The power of non-determinism in higher-order implicit complexity. Characterising complexity classes using non-deterministic cons-free programming. Zbl 1485.68031
Kop, Cynthia; Simonsen, Jakob Grue
2
2017
On the modularity of confluence in infinitary term rewriting. Zbl 1187.68283
Simonsen, Jakob Grue
2
2004
Weak convergence and uniform normalization in infinitary rewriting. Zbl 1236.68150
Simonsen, Jakob Grue
2
2010
Computing continuous-time Markov chains as transformers of unbounded observables. Zbl 1486.68112
Danos, Vincent; Heindel, Tobias; Garnier, Ilias; Simonsen, Jakob Grue
1
2017
An experimental investigation of the normality of irrational algebraic numbers. Zbl 1336.11080
Nielsen, Johan Sejr Brinch; Simonsen, Jakob Grue
1
2013
POETS: process-oriented event-driven transaction systems. Zbl 1188.68347
Henglein, Fritz; Larsen, Ken Friis; Simonsen, Jakob Grue; Stefansen, Christian
1
2009
Programming in biomolecular computation. Zbl 1283.92029
Hartmann, Lars; Jones, Neil D.; Simonsen, Jakob Grue
1
2010
On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. Zbl 1191.68344
Simonsen, Jakob Grue
1
2009
Beta-shifts, their languages, and computability. Zbl 1217.03029
Simonsen, Jakob Grue
1
2011
Specker sequences revisited. Zbl 1088.03049
Simonsen, Jakob G.
1
2005
An implicit characterization of the polynomial-time decidable sets by cons-free rewriting. Zbl 1416.68090
de Carvalho, Daniel; Simonsen, Jakob Grue
1
2014
Complexity hierarchies and higher-order cons-free rewriting. Zbl 1387.68145
Kop, Cynthia; Simonsen, Jakob Grue
1
2016
Programs = data = first-class citizens in a computational world. Zbl 1328.68064
Jones, Neil D.; Simonsen, Jakob Grue
1
2012
On local non-compactness in recursive mathematics. Zbl 1095.03034
Simonsen, Jakob G.
1
2006
The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019
Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue
1
2019
More intensional versions of Rice’s theorem. Zbl 1434.03110
Moyen, Jean-Yves; Simonsen, Jakob Grue
1
2019
The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019
Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue
1
2019
More intensional versions of Rice’s theorem. Zbl 1434.03110
Moyen, Jean-Yves; Simonsen, Jakob Grue
1
2019
Chains, antichains, and complements in infinite partition lattices. Zbl 06904422
Avery, James Emil; Moyen, Jean-Yves; Ružička, Pavel; Simonsen, Jakob Grue
3
2018
The power of non-determinism in higher-order implicit complexity. Characterising complexity classes using non-deterministic cons-free programming. Zbl 1485.68031
Kop, Cynthia; Simonsen, Jakob Grue
2
2017
Computing continuous-time Markov chains as transformers of unbounded observables. Zbl 1486.68112
Danos, Vincent; Heindel, Tobias; Garnier, Ilias; Simonsen, Jakob Grue
1
2017
Near optimal adjacency labeling schemes for power-law graphs. Zbl 1388.68239
Petersen, Casper; Rotbart, Noy; Simonsen, Jakob Grue; Wulff-Nilsen, Christian
3
2016
Complexity hierarchies and higher-order cons-free rewriting. Zbl 1387.68145
Kop, Cynthia; Simonsen, Jakob Grue
1
2016
An implicit characterization of the polynomial-time decidable sets by cons-free rewriting. Zbl 1416.68090
de Carvalho, Daniel; Simonsen, Jakob Grue
1
2014
Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. Zbl 1354.68143
Ketema, Jeroen; Simonsen, Jakob Grue
4
2013
An experimental investigation of the normality of irrational algebraic numbers. Zbl 1336.11080
Nielsen, Johan Sejr Brinch; Simonsen, Jakob Grue
1
2013
Programs = data = first-class citizens in a computational world. Zbl 1328.68064
Jones, Neil D.; Simonsen, Jakob Grue
1
2012
Levels of undecidability in rewriting. Zbl 1210.68064
Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans
5
2011
Infinitary combinatory reduction systems. Zbl 1235.68095
Ketema, Jeroen; Simonsen, Jakob Grue
3
2011
Beta-shifts, their languages, and computability. Zbl 1217.03029
Simonsen, Jakob Grue
1
2011
Infinitary combinatory reduction systems: normalising reduction strategies. Zbl 1191.68365
Ketema, Jeroen; Simonsen, Jakob Grue
5
2010
Higher-order (non-)modularity. Zbl 1236.68117
Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue
3
2010
Weak convergence and uniform normalization in infinitary rewriting. Zbl 1236.68150
Simonsen, Jakob Grue
2
2010
Programming in biomolecular computation. Zbl 1283.92029
Hartmann, Lars; Jones, Neil D.; Simonsen, Jakob Grue
1
2010
Infinitary combinatory reduction systems: confluence. Zbl 1187.68277
Ketema, Jeroen; Simonsen, Jakob Grue
7
2009
The \(\Pi^0_2\)-completeness of most of the properties of rewriting systems you care about (and productivity). Zbl 1242.68141
Simonsen, Jakob Grue
5
2009
POETS: process-oriented event-driven transaction systems. Zbl 1188.68347
Henglein, Fritz; Larsen, Ken Friis; Simonsen, Jakob Grue; Stefansen, Christian
1
2009
On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. Zbl 1191.68344
Simonsen, Jakob Grue
1
2009
On the computability of the topological entropy of subshifts. Zbl 1153.37320
Simonsen, Jakob Grue
7
2006
On modularity in infinitary term rewriting. Zbl 1104.68057
Simonsen, Jakob Grue
3
2006
On local non-compactness in recursive mathematics. Zbl 1095.03034
Simonsen, Jakob G.
1
2006
Infinitary combinatory reduction systems. Zbl 1078.68658
Ketema, Jeroen; Simonsen, Jakob Grue
5
2005
On beta-shifts having arithmetical languages. Zbl 1156.03335
Simonsen, Jakob Grue
3
2005
On confluence of infinitary combinatory reduction systems. Zbl 1143.68426
Ketema, Jeroen; Simonsen, Jakob Grue
3
2005
Specker sequences revisited. Zbl 1088.03049
Simonsen, Jakob G.
1
2005
On confluence and residuals in Cauchy convergent transfinite rewriting. Zbl 1178.68304
Simonsen, Jakob Grue
4
2004
On the modularity of confluence in infinitary term rewriting. Zbl 1187.68283
Simonsen, Jakob Grue
2
2004

Citations by Year