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

• 2021

  Differential Privacy in Distributed Settings

  Nielsen, N. M. S., 2021, IT-Universitetet i København. 102 s. (ITU-DS; Nr. 185).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Distributed Settings 100%
  • Differential Privacy 100%
  • Cardinality 100%
  • Symmetric Difference 66%
  • Euclidean Distance 66%

• Sessions and Separation

  Hinrichsen, J. K., 2021, IT-Universitetet i København. 156 s. (ITU-DS; Nr. 177).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Session Types 100%
  • Type Systems 100%
  • Separation Logic 55%
  • Concurrency 50%
  • Iris 33%

• Type Theories for Reactive Programming

  Graulund, C. U., 2021, IT-Universitetet i København. 129 s. (ITU-DS; Nr. 175).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Type Theory 100%
  • Reactive Programming 100%
  • Functional Reactive Programming 100%
  • Type Systems 100%
  • Operational Semantics 100%
• 2019

  Similarity Search: Algorithms for Sets and other High Dimensional Data

  Ahle, T. D., 2019, IT University of Copenhagen. 158 s.

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Similarity Search 100%
  • Locality Sensitive Hashing 100%
  • High-dimensional Data 100%
  • Search Algorithm 100%
  • High Dimensional Data 100%
• 2018

  Algorithms for Similarity Search and Pseudorandomness

  Christiani, T. L., 2018, IT-Universitetet i København. 243 s. (ITU-DS; Nr. 145).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Similarity Search 100%
  • Pseudorandomness 100%
  • Approximate Nearest Neighbor Search 100%
  • Hash Function 100%
  • Hashing 100%

• Sparse Matrix Multiplication Kernels

  Dusefante, M., 2018, IT-Universitetet i København. 131 s. (ITU-DS; Nr. 149).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Matrix multiplication 100%
  • Sparse Matrix multiplication 100%
  • Matrix Multiplication 100%
  • Multiplication Kernel 100%
  • Memory Model 33%
• 2017

  Modern Logical Frameworks Design

  Murawska, A. A., 2017, IT-Universitetet. 139 s. (ITU-DS; Nr. 137).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Logical Frameworks 100%
  • Framework Design 100%
  • Mechanized System 100%
  • Logical Framework 100%
  • Programming Languages 50%

• Similarity Problems in High Dimensions

  Sivertsen, J. V. T., 2017, IT-Universitetet i København. 148 s. (ITU-DS; Nr. 140).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Nearest Neighbor 100%
  • High Dimension 100%
  • Similarity Problem 100%
  • High Dimensional Data 100%
  • Similarity Search 100%
• 2016

  Applied Formal Methods for Elections

  Wang, J., 2016, IT-Universitetet i København. 154 s. (ITU-DS; Nr. 124).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Source Codes 100%
  • Decision Maker 100%
  • System Developer 100%
  • Automaton 100%
  • Case Study 100%

• A Type Theoretic Investigation of the Verification of Voting Protocols

  Gustafsson, D., 2016, IT-Universitetet i København. 148 s. (ITU-DS; Nr. 123).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Cryptography 100%
  • Voting Protocols 100%
  • Type Systems 100%
  • Type Theory 66%
  • Session Types 33%

• Denotational semantics in Synthetic Guarded Domain Theory

  Paviotti, M., 2016, IT-Universitetet i København. 143 s. (ITU-DS, Bind 126).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Denotational Semantics 100%
  • Domain Theory 100%
  • Type Theory 75%
  • Dependent Type Theory 75%
  • Recursion 75%

• Flexible Process Notations for Cross-organizational Case Management Systems

  Slaats, T., 2016, IT-Universitetet i København. 276 s. (ITU-DS; Nr. 121).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Process Notation 100%
  • Cross-organization 100%
  • Dynamic Condition Response Graphs 100%
  • Flexible Process 100%
  • Case Management System 100%
• 2015

  Randomized Primitives for Big Data Processing

  Stöckel, M., 2015, IT-Universitetet i København. 155 s. (ITU-DS; Nr. 108).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Mobile Phone 100%
  • Information Technology 100%
  • State-of-the-art Techniques 100%
  • Similarity Measure 100%
  • Recommender Systems 100%
• 2014

  Choreographic Programming

  Montesi, F., 2014, IT-Universitetet i København. 275 s. (ITU-DS; Nr. 104).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Deadlock 100%
  • Distributed Systems 100%
  • Distributed Programming 100%
  • Race Condition 100%
  • Input/Output 50%

• On the Power of Randomization in Big Data Analytics

  Pham, N. D., 7 okt. 2014, IT University of Copenhagen: IT-Universitetet i København. 117 s. (ITU-DS; Nr. 105, Bind 1602-3536).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Big Data Analytics 100%
  • Data Analytics 100%
  • Big Data 80%
  • System Architecture 40%
  • Information Retrieval 40%
• 2012

  A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs

  Mukkamala, R. R., 2012, IT-Universitetet i København. 257 s. (ITU-DS; Nr. 80).

  Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Ph.d.-afhandling

  Åben adgang

  Fil

  • Business Process 100%
  • Dynamic Condition Response Graphs 100%
  • DCR Graphs 100%
  • Declarative Workflow 100%
  • Healthcare Service 50%