×

Johansen, Christian

Compute Distance To:
Author ID: johansen.christian Recent zbMATH articles by "Johansen, Christian"
Published as: Johansen, Christian
Documents Indexed: 11 Publications since 2010
Co-Authors: 12 Co-Authors with 9 Joint Publications
183 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 12 times in 10 Documents Cited by Year
A stable non-interleaving early operational semantics for the pi-calculus. Zbl 06725126
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon
4
2017
ST-structures. Zbl 1353.68208
Johansen, Christian
3
2016
Numerical simulations of the flow field ahead of an accelerating flame in an obstructed channel. Zbl 1197.80048
Johansen, C.; Ciccarelli, G.
1
2010
Dynamic structural operational semantics. Zbl 1431.68061
Johansen, Christian; Owe, Olaf
1
2019
A stable non-interleaving early operational semantics for the pi-calculus. Zbl 1423.68308
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon
1
2019
Sculptures in concurrency. Zbl 07350771
Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof
1
2021
SAT modulo discrete event simulation applied to railway design capacity analysis. Zbl 07440322
Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian; Steffen, Martin
1
2021
Sculptures in concurrency. Zbl 07350771
Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof
1
2021
SAT modulo discrete event simulation applied to railway design capacity analysis. Zbl 07440322
Luteberget, Bjørnar; Claessen, Koen; Johansen, Christian; Steffen, Martin
1
2021
Dynamic structural operational semantics. Zbl 1431.68061
Johansen, Christian; Owe, Olaf
1
2019
A stable non-interleaving early operational semantics for the pi-calculus. Zbl 1423.68308
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon
1
2019
A stable non-interleaving early operational semantics for the pi-calculus. Zbl 06725126
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon
4
2017
ST-structures. Zbl 1353.68208
Johansen, Christian
3
2016
Numerical simulations of the flow field ahead of an accelerating flame in an obstructed channel. Zbl 1197.80048
Johansen, C.; Ciccarelli, G.
1
2010

Citations by Year