Research output per year
Research output per year
Research output
Search results
-
2020
Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices
Bruni, A., Normann, K. & Sundararajan, V., 22 Jul 2020, 20 p.Research output: Book / Anthology / Report › Report › Research
-
2018
The Process Highlighter: From Texts to Declarative Processes and Back
López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 Sept 2018, TR-2018-204 ed. Copenhagen: IT-Universitetet i København. 19 p. (IT University Technical Report Series; No. TR-2018-204).Research output: Book / Anthology / Report › Report › Communication
-
2015
Measuring Voter Lines
Schürmann, C. & Wang, J., Nov 2015, TR-2015-191 ed. Copenhagen: IT-Universitetet i København. 26 p. (IT University Technical Report Series; No. TR-2015-191).Research output: Book / Anthology / Report › Report › Research
File -
2014
Mode Checking in the Concurrent Logical Framework
Schürmann, C., Sacchini, J., Pfenning, F. & Cervesato, I., 2014, (Technical Report Carnegie Mellon University).Research output: Book / Anthology / Report › Report › Research
-
2013
Kopitiam – a unified IDE for developing formally verified Java programs
Bengtson, J. & Mehnert, H., May 2013, TR-2013-167 ed. Copenhagen: IT-Universitetet i København. 15 p. (IT University Technical Report Series; No. TR-2013-167).Research output: Book / Anthology / Report › Report › Research
File -
Towards a Formal Model of Social Data
Mukkamala, R. R., Vatrapu, R. & Hussain, A., Nov 2013, Copenhagen: IT-Universitetet i København. 20 p. (IT University Technical Report Series; No. TR-2013-169).Research output: Book / Anthology / Report › Report › Research
File -
2007
Preliminary Proceedings of the 14 International Workshop on Expressiveness in Concurrency (EXPRESS'07)
Amadio, R. & Hildebrandt, T., Sept 2007, TR-2007-100 ed. Copenhagen: IT-Universitetet i København. 80 p. (I T University. Technical Report Series; No. TR-2007-100).Research output: Book / Anthology / Report › Report › Research
Open AccessFile