ask others

Ka I Pun

◀ ▶ joint publications with Einar Broch Johnsen

> Home > Persons > Ka I Pun
> Home > Persons > Einar Broch Johnsen

Publications

2017
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/BijoJPT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/BijoJPT17
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS 2017: 58-77
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/softcom/JohnsenPT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/softcom/JohnsenPT17
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM 2017: 1-6
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tableaux/DinHJPT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tableaux/DinHJPT17
Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017: 22-43
2016
[c11]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/sac/BijoJPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sac/BijoJPT16
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
An operational semantics of cache coherent multicore architectures. SAC 2016: 1219-1224
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/wrla/BijoJPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/wrla/BijoJPT16
Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016: 47-63
[c9]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/JohnsenPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/JohnsenPT16
Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM 2016: 16-26
[p1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - books/crc/p/JohnsenPSTY16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/books/crc/p/JohnsenPSTY16
Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Meeting Deadlines, Elastically. From Action Systems to Distributed Systems 2016: 99-111
2015
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/GiachinoJLP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/GiachinoJLP15
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS 2015: 199-216
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sfm/BrandauerCCFJPT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sfm/BrandauerCCFJPT15
Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang:
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM 2015: 1-56
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GiachinoJLP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GiachinoJLP15
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time complexity of concurrent programs. CoRR abs/1511.05104 (2015)

maintained by

at