Theoretical Computer Science

Publikation

Publikationer pr. år 2007 2013 2014 2015 2016 2017 2018 2019 2022 2024

• 203 Konferencebidrag i proceedings
• 94 Tidsskriftartikel
• 36 Konferenceartikel
• 16 Ph.d.-afhandling
• 57 Mere
  • 13 Bidrag til bog/antologi
  • 9 Rapport
  • 9 Paper
  • 4 Preprint
  • 3 Encyclopædiartikel
  • 3 Konferenceabstrakt til konference
  • 2 Antologi
  • 2 Bidrag til avis - Kronik
  • 2 Bidrag til avis - Avisartikel
  • 2 Andet bidrag
  • 1 Bog
  • 1 Forord/efterskrift
  • 1 Poster
  • 1 Bidrag til avis - Kommentar/debat
  • 1 Leder
  • 1 Udgivelser på nettet - Net-publikation
  • 1 Patent
  • 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Another Hamiltonian Cycle in Bipartite Pfaffian Graphs.

  Björklund, A., Kaski, P. & Nederlof, J., 2024, s. 26:1-26:20.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  • Pfaffian Graphs 100%
  • Hamiltonian Cycle 100%
  • Planar Graph 33%
  • Lollipop 25%
  • Planar Bipartite Graphs 16%

• Taming Differentiable Logics with Coq Formalisation

  Affeldt, R., Bruni, A., Komendantskaya, E., Ślusarz, N. & Stark, K., 21 mar. 2024.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning

  Åben adgang

  • Formalization 100%
  • Learning System 100%
  • Machine Learning 80%
  • Programming Language 40%
  • Soundness 40%
• 2018

  missIWAE: Deep Generative Modelling and Imputation of Incomplete Data

  Mattei, P.-A. & Frellsen, J., 2018.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  Fil

• Multparty Classical Choreographies

  Carbone, M., Cruz-Filipe, L., Montesi, F. & Murawska, A. A., 4 sep. 2018. 20 s.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  • Replicated Process 100%

• Refit your Encoder when New Data Comes by

  Mattei, P.-A. & Frellsen, J., 2018.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

• What makes guarded types tick?

  Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  Fil

  • Syntactics 100%
  • Strong Normalization 100%
  • Type Checking 100%
  • Denotational Semantics 100%
  • Type Theory 100%
• 2016

  Fast Bayesian Non-Negative Matrix Factorisation and Tri-Factorisation

  Brouwer, T., Frellsen, J. & Liò, P., 9 dec. 2016.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  • Bayesian Nonnegative Matrix Factorization 100%
  • Tri-factorization 100%
  • Variational Bayesian Inference 66%
  • Gibbs Free Energy 50%
  • Fast Solution 33%
• 2014

  Subgraph Enumeration in Massive Graphs

  Silvestri, F., 11 sep. 2014.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Fil

  • Large Graphs 100%
  • Data Graph 100%
  • Subgraph Enumeration 100%
  • Main Result 100%
  • Worst Case 100%

• Towards a Set Theoretical Approach to Big Social Data Analytics: Concepts, Methods, Tools, and Empirical Findings

  Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 sep. 2014. 2 s.

  Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review

  Åben adgang

  Fil