I agree that this site is using cookies. You can find further informations here.
X
Johnsen, Stein I.
14  results:
Bookchapter (Online) X
Search for persons X
?
1

'Leaving No One Behind' – Sustainable Development of Sámi R..:

, In: Reindeer Husbandry; Springer Polar Sciences,
Johnsen, Kathrine I. ; Eira, Inger Marie Gaup ; Mathiesen, Svein Disch. - p. 37-66 , 2022
Link: https://doi.org/10.1007/..
 
?
2

"Energy package" as a tool to reduce environmental footprin..:

, In: 27th International Conference on Electricity Distribution (CIRED 2023),
Ilieva, I. ; Wingstedt, E. ; Wingstedt, A.... - p. None , 2023
Link: https://doi.org/10.1049/..
 
?
3

Contributors:

, In: Cerebrospinal Fluid and Subarachnoid Space,
Couldwell, Mitchell W. ; Damkier, Helle H. ; Dumont, Aaron S.... - p. xv-xvi , 2023
Link: https://doi.org/10.1016/..
 
?
4

Oral Health Literacy:

, In: Oral Health Psychology; Textbooks in Contemporary Dentistry,
Stein, Linda ; Johnsen, Jan-Are Kolset ; Satur, Julie - p. 75-86 , 2022
Link: https://doi.org/10.1007/..
 
?
5

SymPaths: Symbolic Execution Meets Partial Order Reduction:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,
de Boer, Frank S. ; Bonsangue, Marcello ; Johnsen, Einar Broch... - p. 313-338 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Active Objects with Deterministic Behaviour:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Henrio, Ludovic ; Johnsen, Einar Broch ; Pun, Violet Ka I. - p. 181-198 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Implementing SOS with Active Objects: A Case Study of a Mul..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Bezirgiannis, Nikolaos ; de Boer, Frank ; Johnsen, Einar Broch.. - p. 332-350 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Deployment by Construction for Multicore Architectures:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling; Lecture Notes in Computer Science,
Bijo, Shiji ; Johnsen, Einar Broch ; Pun, Ka I.. - p. 448-465 , 2018
Link: https://doi.org/10.1007/..
 
?
9

An operational semantics of cache coherent multicore archit..:

, In: Proceedings of the 31st Annual ACM Symposium on Applied Computing,
Bijo, Shiji ; Johnsen, Einar Broch ; Pun, Ka I.. - p. 1219-1224 , 2016
Link: https://dl.acm.org/doi/1..
 
?
10

Contributors:

, In: Rheumatology,
Abdellatif, Engy ; Abeles, Aryeh M. ; Abelson, Abby G.... - p. vii-xxii , 2015
Link: https://doi.org/10.1016/..
 
?
11

Contributors:

, In: Rheumatoid Arthritis,
Aletaha, Daniel ; Alfredsson, Lars ; Backhaus, Marina... - p. xi-xv , 2009
Link: https://doi.org/10.1016/..
 
?
12

List of contributors:

, In: Current Developments in Biotechnology and Bioengineering,
Atoliya, Nagvanti ; Bajpai, Apekcha ; Basotra, Neha... - p. xi-xiii , 2022
Link: https://doi.org/10.1016/..
 
?
13

List of Contributors:

, In: Diabetes,
Achike, Francis I. ; Ahiante, Blessing O. ; Aissaoui, Ourida... - p. xiii-xvi , 2020
Link: https://doi.org/10.1016/..
 
?
14

Contributors:

, In: Diabetes: Oxidative Stress and Dietary Antioxidants,
Adler, Amanda I. ; Arnal, Emma ; Arora, Vipin... - p. xi-xii , 2014
Link: https://doi.org/10.1016/..
 
1-14