Edit Profile (opens in new tab) Simonsen, Jakob Grue Compute Distance To: Compute Author ID: simonsen.jakob-grue Published as: Simonsen, Jakob Grue; Grue Simonsen, Jakob; Simonsen, Jakob G. more...less Documents Indexed: 47 Publications since 2004 Co-Authors: 36 Co-Authors with 35 Joint Publications 459 Co-Co-Authors all top 5 Co-Authors 12 single-authored 10 Ketema, Jeroen 4 Jones, Neil D. 4 Kop, Cynthia 3 Moyen, Jean-Yves 2 Hartmann, Lars 2 Jakobsen, Sune Kristian 2 Petersen, Casper 2 Rotbart, Noy 2 Wulff-Nilsen, Christian 1 Andersen, Soren Bjerg 1 Appel, Claus 1 Avery, James Emil 1 Ben-Amram, Amir M. 1 Bhaskar, Siddharth 1 Bugge Grathwohl, Niels Bjørn 1 Christensen, Niels H. 1 Danos, Vincent 1 de Carvalho, Daniel 1 Endrullis, Jörg 1 Garnier, Ilias 1 Geuvers, Jan Herman 1 Heindel, Tobias 1 Henglein, Fritz 1 Kristiansen, Lars 1 Larsen, Ken Friis 1 Manzonetto, Giulio 1 Nielsen, Johan Sejr Brinch 1 Pallesen, Jens Duelund 1 Polonsky, Andrew 1 Růžička, Pavel 1 Saurin, Alexis 1 Schnabl, Andreas 1 Stefansen, Christian 1 van Oostrom, Vincent 1 Vrist, Søren Bjerregaard 1 Zantema, Hans all top 5 Serials 3 Information and Computation 3 Logical Methods in Computer Science 2 Mathematical Logic Quarterly (MLQ) 2 ACM Transactions on Computational Logic 1 Information Processing Letters 1 Mathematics of Computation 1 Algebra Universalis 1 Notre Dame Journal of Formal Logic 1 Theoretical Computer Science 1 Journal of Logic and Computation 1 Theory of Computing Systems 1 Chicago Journal of Theoretical Computer Science 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Scientific Annals of Computer Science all top 5 Fields 41 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Real functions (26-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 87 times in 55 Documents Cited by ▼ Year ▼ Infinitary combinatory reduction systems. Zbl 1078.68658Ketema, Jeroen; Simonsen, Jakob Grue 7 2005 On the computability of the topological entropy of subshifts. Zbl 1153.37320Simonsen, Jakob Grue 7 2006 Infinitary combinatory reduction systems: confluence. Zbl 1187.68277Ketema, 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.68141Simonsen, Jakob Grue 5 2009 Infinitary combinatory reduction systems: normalising reduction strategies. Zbl 1191.68365Ketema, Jeroen; Simonsen, Jakob Grue 5 2010 Levels of undecidability in rewriting. Zbl 1210.68064Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans 5 2011 On confluence and residuals in Cauchy convergent transfinite rewriting. Zbl 1178.68304Simonsen, Jakob Grue 4 2004 Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and \(\lambda\)-calculus. Zbl 1354.68143Ketema, Jeroen; Simonsen, Jakob Grue 4 2013 Higher-order (non-)modularity. Zbl 1236.68117Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue 4 2010 Infinitary combinatory reduction systems. Zbl 1235.68095Ketema, Jeroen; Simonsen, Jakob Grue 3 2011 On modularity in infinitary term rewriting. Zbl 1104.68057Simonsen, Jakob Grue 3 2006 On beta-shifts having arithmetical languages. Zbl 1156.03335Simonsen, Jakob Grue 3 2005 On confluence of infinitary combinatory reduction systems. Zbl 1143.68426Ketema, Jeroen; Simonsen, Jakob Grue 3 2005 Chains, antichains, and complements in infinite partition lattices. Zbl 06904422Avery, James Emil; Moyen, Jean-Yves; Ružička, Pavel; Simonsen, Jakob Grue 3 2018 Near optimal adjacency labeling schemes for power-law graphs. Zbl 1388.68239Petersen, Casper; Rotbart, Noy; Simonsen, Jakob Grue; Wulff-Nilsen, Christian 3 2016 On the modularity of confluence in infinitary term rewriting. Zbl 1187.68283Simonsen, Jakob Grue 2 2004 Weak convergence and uniform normalization in infinitary rewriting. Zbl 1236.68150Simonsen, Jakob Grue 2 2010 The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue 2 2019 More intensional versions of Rice’s theorem. Zbl 1434.03110Moyen, Jean-Yves; Simonsen, Jakob Grue 2 2019 The power of non-determinism in higher-order implicit complexity. Characterising complexity classes using non-deterministic cons-free programming. Zbl 1485.68031Kop, Cynthia; Simonsen, Jakob Grue 2 2017 Specker sequences revisited. Zbl 1088.03049Simonsen, Jakob G. 1 2005 POETS: process-oriented event-driven transaction systems. Zbl 1188.68347Henglein, Fritz; Larsen, Ken Friis; Simonsen, Jakob Grue; Stefansen, Christian 1 2009 Beta-shifts, their languages, and computability. Zbl 1217.03029Simonsen, Jakob Grue 1 2011 An experimental investigation of the normality of irrational algebraic numbers. Zbl 1336.11080Nielsen, Johan Sejr Brinch; Simonsen, Jakob Grue 1 2013 Programs = data = first-class citizens in a computational world. Zbl 1328.68064Jones, Neil D.; Simonsen, Jakob Grue 1 2012 Programming in biomolecular computation. Zbl 1283.92029Hartmann, Lars; Jones, Neil D.; Simonsen, Jakob Grue 1 2010 On local non-compactness in recursive mathematics. Zbl 1095.03034Simonsen, Jakob G. 1 2006 On the computational complexity of the languages of general symbolic dynamical systems and beta-shifts. Zbl 1191.68344Simonsen, Jakob Grue 1 2009 An implicit characterization of the polynomial-time decidable sets by cons-free rewriting. Zbl 1416.68090de Carvalho, Daniel; Simonsen, Jakob Grue 1 2014 Complexity hierarchies and higher-order cons-free rewriting. Zbl 1387.68145Kop, Cynthia; Simonsen, Jakob Grue 1 2016 Computing continuous-time Markov chains as transformers of unbounded observables. Zbl 1486.68112Danos, Vincent; Heindel, Tobias; Garnier, Ilias; Simonsen, Jakob Grue 1 2017 The fixed point property and a technique to harness double fixed point combinators. Zbl 1444.03019Manzonetto, Giulio; Polonsky, Andrew; Saurin, Alexis; Simonsen, Jakob Grue 2 2019 More intensional versions of Rice’s theorem. Zbl 1434.03110Moyen, Jean-Yves; Simonsen, Jakob Grue 2 2019 Chains, antichains, and complements in infinite partition lattices. Zbl 06904422Avery, 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.68031Kop, Cynthia; Simonsen, Jakob Grue 2 2017 Computing continuous-time Markov chains as transformers of unbounded observables. Zbl 1486.68112Danos, Vincent; Heindel, Tobias; Garnier, Ilias; Simonsen, Jakob Grue 1 2017 Near optimal adjacency labeling schemes for power-law graphs. Zbl 1388.68239Petersen, Casper; Rotbart, Noy; Simonsen, Jakob Grue; Wulff-Nilsen, Christian 3 2016 Complexity hierarchies and higher-order cons-free rewriting. Zbl 1387.68145Kop, Cynthia; Simonsen, Jakob Grue 1 2016 An implicit characterization of the polynomial-time decidable sets by cons-free rewriting. Zbl 1416.68090de 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.68143Ketema, Jeroen; Simonsen, Jakob Grue 4 2013 An experimental investigation of the normality of irrational algebraic numbers. Zbl 1336.11080Nielsen, Johan Sejr Brinch; Simonsen, Jakob Grue 1 2013 Programs = data = first-class citizens in a computational world. Zbl 1328.68064Jones, Neil D.; Simonsen, Jakob Grue 1 2012 Levels of undecidability in rewriting. Zbl 1210.68064Endrullis, Jörg; Geuvers, Herman; Simonsen, Jakob Grue; Zantema, Hans 5 2011 Infinitary combinatory reduction systems. Zbl 1235.68095Ketema, Jeroen; Simonsen, Jakob Grue 3 2011 Beta-shifts, their languages, and computability. Zbl 1217.03029Simonsen, Jakob Grue 1 2011 Infinitary combinatory reduction systems: normalising reduction strategies. Zbl 1191.68365Ketema, Jeroen; Simonsen, Jakob Grue 5 2010 Higher-order (non-)modularity. Zbl 1236.68117Appel, Claus; van Oostrom, Vincent; Simonsen, Jakob Grue 4 2010 Weak convergence and uniform normalization in infinitary rewriting. Zbl 1236.68150Simonsen, Jakob Grue 2 2010 Programming in biomolecular computation. Zbl 1283.92029Hartmann, Lars; Jones, Neil D.; Simonsen, Jakob Grue 1 2010 Infinitary combinatory reduction systems: confluence. Zbl 1187.68277Ketema, 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.68141Simonsen, Jakob Grue 5 2009 POETS: process-oriented event-driven transaction systems. Zbl 1188.68347Henglein, 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.68344Simonsen, Jakob Grue 1 2009 On the computability of the topological entropy of subshifts. Zbl 1153.37320Simonsen, Jakob Grue 7 2006 On modularity in infinitary term rewriting. Zbl 1104.68057Simonsen, Jakob Grue 3 2006 On local non-compactness in recursive mathematics. Zbl 1095.03034Simonsen, Jakob G. 1 2006 Infinitary combinatory reduction systems. Zbl 1078.68658Ketema, Jeroen; Simonsen, Jakob Grue 7 2005 On beta-shifts having arithmetical languages. Zbl 1156.03335Simonsen, Jakob Grue 3 2005 On confluence of infinitary combinatory reduction systems. Zbl 1143.68426Ketema, Jeroen; Simonsen, Jakob Grue 3 2005 Specker sequences revisited. Zbl 1088.03049Simonsen, Jakob G. 1 2005 On confluence and residuals in Cauchy convergent transfinite rewriting. Zbl 1178.68304Simonsen, Jakob Grue 4 2004 On the modularity of confluence in infinitary term rewriting. Zbl 1187.68283Simonsen, Jakob Grue 2 2004 all cited Publications top 5 cited Publications all top 5 Cited by 76 Authors 10 Endrullis, Jörg 8 Simonsen, Jakob Grue 6 Hendriks, Dimitri 6 Klop, Jan Willem 4 Polonsky, Andrew 4 Zantema, Hans 3 Gawrychowski, Paweł 3 Ketema, Jeroen 2 Bakhshi, Rena 2 Bar-Natan, Aviv 2 Charalampopoulos, Panagiotis 2 Czajka, Łukasz 2 Fujita, Ken-etsu 2 Geuvers, Jan Herman 2 Kahrs, Stefan Michael 2 Kop, Cynthia 2 Mozes, Shay 2 Roşu, Grigore 2 Weimann, Oren 1 Abramsky, Samson 1 Amblard, Maxime 1 Ardeshir, Mohammad 1 Baldan, Paolo 1 Barendregt, Hendrik Pieter 1 Behr, Nicolas 1 Bhaskar, Siddharth 1 Bournez, Olivier 1 Cooper, Stuart Barry 1 Crescenzi, Michele 1 Danos, Vincent 1 de Groote, Philippe 1 de Vries, Fer-Jan J. 1 Della Penna, Giuseppe 1 Dowek, Gilles 1 Dubickas, Artūras 1 Elizalde, Sergi 1 Felgenhauer, Bertram 1 Férey, Gaspard 1 Gangloff, Silvère 1 Garnier, Ilias 1 Grabmayer, Clemens 1 Gramlich, Bernhard 1 Hansen, Helle Hvid 1 Hellouin De Menibus, Benjamin 1 Henglein, Fritz 1 Hochman, Michael 1 Iljazović, Zvonko 1 Intrigila, Benedetto 1 Jones, Neil D. 1 Jouannaud, Jean-Pierre 1 Kihara, Takayuki 1 Liu, Jiaxiang 1 Lucanu, Dorel 1 Manzonetto, Giulio 1 Maršík, Jirka 1 Matveev, Alexey S. 1 Meyerovitch, Tom 1 Mező, István 1 Middeldorp, Aart 1 Moyen, Jean-Yves 1 Overbeek, Roy 1 Parker, Austin J. 1 Pogromsky, Alexander Yu. 1 Pouly, Amaury 1 Ramezanian, Rasoul 1 Ranzato, Francesco 1 Sabel, David 1 Severi, Paula Gabriela 1 Silva, Alexandra 1 Spandl, Christoph 1 Uznański, Przemysław 1 van Oostrom, Vincent 1 Yancey, Kelly B. 1 Yancey, Matthew P. 1 Zankl, Harald 1 Zhang, Linpeng all top 5 Cited in 18 Serials 8 Logical Methods in Computer Science 6 Theoretical Computer Science 6 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 2 Acta Informatica 2 Journal of Functional Programming 1 Information Processing Letters 1 Automatica 1 Journal of Combinatorial Theory. Series A 1 Journal of Mathematical Economics 1 Journal of Algebraic Combinatorics 1 Mathematical Logic Quarterly (MLQ) 1 Discrete and Continuous Dynamical Systems 1 Theory of Computing Systems 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Annals of Mathematics. Second Series 1 ACM Transactions on Computational Logic 1 Applicable Analysis and Discrete Mathematics all top 5 Cited in 12 Fields 41 Computer science (68-XX) 28 Mathematical logic and foundations (03-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Information and communication theory, circuits (94-XX) 2 Combinatorics (05-XX) 2 General algebraic systems (08-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year