Karl Palmskog

发表

G. Agha, Karl Palmskog, Charalambides, 2019 .

Karl Palmskog, Mads Dam, Karl Palmskog, 2014, PDP.

Gul A. Agha, Karl Palmskog, G. Agha, 2018, ACM Trans. Model. Comput. Simul..

Ilya Sergey, Karl Palmskog, Zachary Tatlock, 2019, Found. Trends Program. Lang..

Karl Palmskog, Mads Dam, Karl Palmskog, 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

Karl Palmskog, Mads Dam, Karl Palmskog, 2013, AGERE! 2013.

Indranil Gupta, Muntasir Raihan Rahman, Karl Palmskog, 2017, ArXiv.

Junyi Jessy Li, Karl Palmskog, Pengyu Nie, 2020, IJCAR.

Grigore Rosu, Karl Palmskog, Milos Gligoric, 2018 .

Karl Palmskog, Grigore Rosu, Elaine Li, 2020, ArXiv.

Karl Palmskog, M. Dam, R. Guanciale, 2022, 2022 Formal Methods in Computer-Aided Design (FMCAD).

Karl Palmskog, Ymir Vigfusson, Kristján Valur Jónsson, 2012, 2012 IEEE International Conference on Communications (ICC).

Ahmet Çelik, Karl Palmskog, Milos Gligoric, 2020, TACAS.

Gul A. Agha, Karl Palmskog, Minas Charalambides, 2019, Models, Languages, and Tools for Concurrent and Distributed Programming.

Gul A. Agha, Karl Palmskog, G. Agha, 2018, Principles of Modeling.