Jakob Grue Simonsen

Jakob Grue Simonsen

Institutleder

Medlem af:

    ORCID: 0000-0002-3488-9392

    Udgivelsesår:
    Alle
    11 - 20 ud af 123Pr. side: 10
    Sortering: 1. forfatter
    1. Udgivet

      Beta-shifts, their languages and computability

      Simonsen, Jakob Grue, 2011, I: Theory of Computing Systems. 48, 2, s. 297-318

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    2. Udgivet

      User Experience

      Simonsen, Jakob Grue, 21 jun. 2017, The Wiley Handbook of Human Computer Interaction Set. Wiley-Blackwell, Bind 1. s. 191-206

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

    3. Udgivet

      On Modularity in Infinitary Rewriting

      Simonsen, Jakob Grue, 2006, I: Information and Computation. 204(6), s. 957-988

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. Udgivet

      Rewriting the Finite and the Infinite: Disputats for the Degree of Doctor Scientiarum at the University of Copenhagen

      Simonsen, Jakob Grue, 2012, Københavns Universitet. 294 s.

      Publikation: Bog/antologi/afhandling/rapport › Doktordisputats › Forskning

    5. Udgivet

      On Beta-Shifts Having Arithmetical Languages

      Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 udg. Springer, s. 757-768

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

    6. Udgivet

      Specker Sequences Revisited

      Simonsen, Jakob Grue, 2005, I: Mathematical Logic Quarterly. 51(5), s. 532-540

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    7. Udgivet

      The Pi-0-2-Completeness of most of the Properties of Rewriting You Care About (and Productivity)

      Simonsen, Jakob Grue, 2009, Rewriting Techniques and Applications: 20th International Conference, RTA 2009. Springer, Bind 5595. s. 335-349 15 s. (Lecture notes in computer science, Bind 5595).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. Udgivet

      On the Computational Complexity of the Languages of General Symbolic Dynamical Systems and Beta-Shifts

      Simonsen, Jakob Grue, 2009, I: Theoretical Computer Science. 410, 47-49, s. 4878-4891 14 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    9. Udgivet

      On the modularity of confluence in infinitary term rewriting

      Simonsen, Jakob Grue, 1 dec. 2004, I: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3091, s. 185-199 15 s.

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    10. Udgivet

      On the Modularity og Confluence in Infinitary Term Rewiting

      Simonsen, Jakob Grue, 2004, Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004). Berlin: Springer, s. 185-199

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling

    Forrige 1 2 3 4 5 6 7 8 ...13 Næste

    ID: 12543