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: Titel
    1. Udgivet

      The impact of using combinatorial optimisation for static caching of posting lists

      Petersen, C., Simonsen, Jakob Grue & Lioma, Christina, 2015, Information retrieval technology: 11th Asia Information Retrieval Societies Conference, AIRS 2015, Brisbane, QLD, Australia, December 2-4, 2015. Proceedings. Zuccon, G., Geva, S., Joho, H., Scholer, F., Sun, A. & Zhang, P. (red.). Springer, s. 420-425 6 s. (Lecture notes in computer science, Bind 9460).

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

    2. Udgivet

      The fixed point property and a technique to harness double fixed point combinators

      Manzonetto, G., Polonsky, A., Saurin, A. & Simonsen, Jakob Grue, 2019, I: Journal of Logic and Computation. 29, 5, s. 831-880

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

    3. Udgivet

      The expressive power of one variable used once: The chomsky hierarchy and first-order monadic constructor rewriting

      Simonsen, Jakob Grue, 2021, 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021. Kobayashi, N. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 195).

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

    4. Udgivet

      The exact hardness of deciding derivational and runtime complexity

      Schnabl, A. & Simonsen, Jakob Grue, 2011, Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL. Bezem, M. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 481-495 15 s. (Leibniz International Proceedings in Informatics, Bind 12).

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

    5. Udgivet

      The affordances of broken affordances

      Grünbaum, M. G. & Simonsen, Jakob Grue, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (red.). Springer, s. 185-202 18 s. (Lecture notes in computer science, Bind 9298).

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

    6. 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

    7. Udgivet

      The Copenhagen team participation in the factuality task of the competition of automatic identification and verification of claims in political debates of the CLEF-2018 Fact Checking Lab

      Wang, D., Simonsen, Jakob Grue, Larsen, B. & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (red.). 10 udg. CEUR-WS.org, 10 s. 98. (CEUR Workshop Proceedings, Bind 2125).

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

    8. Udgivet

      The Copenhagen Team Participation in the Check-Worthiness Task of the Competition of Automatic Identification and Verification of Claims in Political Debates of the CLEF-2018 CheckThat! Lab

      Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2018, CLEF 2018 Working Notes. Cappellato, L., Ferro, N., Nie, J-Y. & Soulier, L. (red.). 10 udg. CEUR-WS.org, 8 s. 81. (CEUR Workshop Proceedings, Bind 2125).

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

    9. Udgivet

      Term rewriting systems as topological dynamical systems

      Andersen, S. B. & Simonsen, Jakob Grue, 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 53-68 16 s.

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

    10. Udgivet

      Subrecursive Equivalence Relations and (non-)Closure Under Lattice Operations

      Moyen, J. Y. & Simonsen, Jakob Grue, 2021, Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Proceedings. De Mol, L., Weiermann, A., Manea, F. & Fernández-Duque, D. (red.). Springer, s. 363-372 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12813 LNCS).

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

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

    ID: 12543