Theoretical Computer Science

Filter
Paper

Search results

  • 2024

    Another Hamiltonian Cycle in Bipartite Pfaffian Graphs.

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
  • Taming Differentiable Logics with Coq Formalisation

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearch

    Open Access
  • 2018

    missIWAE: Deep Generative Modelling and Imputation of Incomplete Data

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
    File
  • Multparty Classical Choreographies

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
  • Refit your Encoder when New Data Comes by

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
  • What makes guarded types tick?

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
    File
  • 2016

    Fast Bayesian Non-Negative Matrix Factorisation and Tri-Factorisation

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

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
  • 2014

    Subgraph Enumeration in Massive Graphs

    Silvestri, F., 11 Sept 2014.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

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

    Vatrapu, R., Mukkamala, R. R. & Hussain, A., 27 Sept 2014. 2 p.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

    Open Access
    File