Theoretical Computer Science

IT-Universitetet i København

Websidehttps://itu.dk/Forskning/Sektioner-paa-ITU/Theoretical-Computer-Science

PostadresseVis på kort
4C and 4B, RLV
Danmark

9 resultater

Filter

2022
Universal Sorting: Finding a DAG using Priced Comparisons
Jacob, R. & Goswami, M., 8 nov. 2022, 40 s.
Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Åben adgang
2020
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
Bruni, A., Normann, K. & Sundararajan, V., 22 jul. 2020, 20 s.
Publikation: Bog / Antologi / Rapport › Rapport › Forskning
2018
The Process Highlighter: From Texts to Declarative Processes and Back
López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 sep. 2018, TR-2018-204 udg. Copenhagen: IT-Universitetet i København. 19 s. (IT University Technical Report Series; Nr. TR-2018-204).
Publikation: Bog / Antologi / Rapport › Rapport › Formidling
2017
Theory and Applications of Hashing (Dagstuhl Seminar 17181)
Dietzfelbinger, M., Mitzenmacher, M., Pagh, R. & Woodruff, D., 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. (Dagstuhl Reports; Nr. 5, Bind 7).
Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Åben adgang
2015
Measuring Voter Lines
Schürmann, C. & Wang, J., nov. 2015, TR-2015-191 udg. Copenhagen: IT-Universitetet i København. 26 s. (IT University Technical Report Series; Nr. TR-2015-191).
Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Fil
2014

Mode Checking in the Concurrent Logical Framework
Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).
Publikation: Bog / Antologi / Rapport › Rapport › Forskning
2013

Kopitiam – a unified IDE for developing formally verified Java programs
Bengtson, J. & Mehnert, H., maj 2013, TR-2013-167 udg. Copenhagen: IT-Universitetet i København. 15 s. (IT University Technical Report Series; Nr. TR-2013-167).
Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Fil
Towards a Formal Model of Social Data
Mukkamala, R. R., Vatrapu, R. & Hussain, A., nov. 2013, Copenhagen: IT-Universitetet i København. 20 s. (IT University Technical Report Series; Nr. TR-2013-169).
Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Fil
2007
Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)
Amadio, R. & Hildebrandt, T., sep. 2007, TR-2007-100 udg. Copenhagen: IT-Universitetet i København. 80 s. (I T University. Technical Report Series; Nr. TR-2007-100).
Publikation: Bog / Antologi / Rapport › Rapport › Forskning

Åben adgang
Fil

Theoretical Computer Science

Publikation

Søgeresultater