Publikationer pr. år
Publikationer pr. år
Publikation
- 6 resultater
Søgeresultater
-
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 / Ph.D.-afhandling › 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, Copenhagen: IT-Universitetet i København. 19 s. (IT University Technical Report Series).Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Formidling
-
2015
Measuring Voter Lines
Schürmann, C. & Wang, J., nov. 2015, 26 s. (ITU Technical Report Series; Nr. TR-2015-191).Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › 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 / Ph.D.-afhandling › Rapport › Forskning
-
2013
Kopitiam – a unified IDE for developing formally verified Java programs
Bengtson, J. & Mehnert, H., maj 2013, 15 s. (ITU Technical Report Series; Nr. TR-2013-167).Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › 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 / Ph.D.-afhandling › Rapport › Forskning
Fil