Publication profile
Publication profile
Bjarte M. Østvold
Name:
Bjarte M. Østvold
Title:
Sjefsforsker / Chief Research Scientist
Phone:
(+47) +47 22 85 26 22
Email:
bjarte [at] nr [dot] no
Scientific areas:
Security, Formal methods, Software engineering
Add to contacts (vCard) Show publications
Academic anthology/Conference proceedings
2005
(eds). Object-Oriented Technology. ECOOP 2004 Workshop Reader. Springer. (ISBN 3-540-23988-X). pp 215. 2005.
Academic article
2022
. Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 13521 pp 378-395. doi: 10.1007/978-3-031-17902-0_27. 2022.
. Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 13308 pp 242-259. doi: 10.1007/978-3-031-05028-2_16. 2022.
2021
. An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
2020
. Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 12189 doi: 10.1007/978-3-030-49108-6_27. 2020. Arkiv
2015
. Model mining and efficient verification of software product lines. Serdica Journal of Computing (ISSN 1312-6555). 9(1) pp 35-82. 2015.
2002
. Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach. World Wireless Congress (ISSN 1529-2592). 3Gwireless'2002 2002. Fulltekst
Academic chapter/article/Conference paper
2023
. Identifying Personal Data Processing for Code Review. In: The 9th International Conference on Information Systems Security and Privacy (ICISSP 2023). (ISBN 978-989-758-624-8). pp 568-575. doi: 10.5220/0011725700003405. 2023.
2022
. Assessing software privacy using the privacy flow-graph. In: MSR4P&S 2022: Proceedings of the 1st International Workshop on Mining Software Repositories Applications for Privacy and Security. (ISBN 978-1-4503-9457-4). pp 7-15. doi: 10.1145/3549035.3561185. 2022.
2012
. Public review of e-voting source code: Lessons learnt from E-vote 2011. In: Norsk informatikkonferanse NIK 2012; Universitetet i Nordland 19 – 21 november 2012. (ISBN 978-82-321-0013-2). pp 201-212. 2012. Fulltekst
. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. In: Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. (ISBN 978-1-4503-1118-2). pp 35-38. doi: 10.1145/2103746.2103756. 2012. Fulltekst
. Automated Extraction of Abstract Behavioural Models from JMS Applications. In: Formal Methods for Industrial Critical Systems. 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. (ISBN 978-3-642-32469-7). pp 16-31. doi: 10.1007/978-3-642-32469-7_2. 2012. Fulltekst
. A hierarchical variability model for software product lines. In: Leveraging Applications of Formal Methods, Verification, and Validation. (ISBN 978-3-642-34781-8). pp 181-199. 2012. Fulltekst
2011
. Canonical Method Names for Java - Using Implementation Semantics to Identify Synonymous Verbs. In: Software Language Engineering - Third International Conference, SLE 2010. (ISBN 978-3-642-19439-9). pp 226-245. doi: 10.1007/978-3-642-19440-5_14. 2011. Fulltekst
2009
. The Java Programmer's Phrase Book. In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers. (ISBN 978-3-642-00433-9). pp 322-341. 2009.
. Debugging Method Names. In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference. (ISBN 978-3-642-03012-3). pp 294-317. 2009.
2007
. The Programmer's Lexicon, Volume I: The Verbs. In: Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France. (ISBN 0-7695-2880-5). pp 193-202. 2007.
2002
. Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. In: Simulation und Visualisierung 2002. (ISBN 1-56555-234-2). pp 147-159. 2002. Fulltekst
Academic lecture
2022
. Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information. HCII 2022: Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies; Online, 6/29/2022.
. Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions. HCII 2022: Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies; online, 6/26/2022 - 7/1/2022.
2001
. Introduksjon til typete funksjonelle språk og Haskell. Hovedfagsseminar i logikk, 3/29/2001.
1997
. On inductive synthesis of declarative programs. International Joint Conference on Artificial Intelligence; Nagoya, 8/23/1997 - 8/29/1997.
Lecture
2022
. Applying for innovation projects. NORA.startup Webinars #28: Innovation Project in the Industrial Sector (IPN); OsloMet, 2/11/2022.
2019
. Data-drevet autentisering for mobile tjenester. Sikkerhetsfestivalen 2019; Lillehammer, 8/26/2019 - 8/28/2019.
. Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence. DLM Forum Annual General Meeting; Bern, 5/21/2019 - 5/22/2019.
Poster
1997
. Inductive synthesis of recursive functional programs. ACM International Conference on Functional Programming; Amsterdam, 6/9/1997 - 6/11/1997.
Doctoral dissertation
2009
. Evolutionary Machine Learning: Neutrality, Diversity and Applications. Oslo: Unipub forlag Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (900). pp 114. 2009.
1999
. Synthesis of Recursive Functional Programs from Examples. NTNU - IDI, Tapir trykkeri. pp 118. 1999.
Report
2022
. Automatiserte prosesser innen regnskap, revisjon og finans. Norsk Regnesentral. NR-notat DART/01/22. pp 22. 2022.
. Automatisering av bærekraftsrevisjon. Norsk Regnesentral. NR-notat DART/26/22. pp 25. 2022.
2020
. Security & Privacy in Social Robots. Norsk Regnesentral. NR-notat DART/03/2020. pp 23. 2020.
2018
. Assuring authenticity in Piql Preservation Services. Norsk Regnesentral. NR-notat DART/02/2018. pp 56. 2018.
2016
. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
. State of the art: Universal Design of Ambient Hybrid Environments. Norsk Regnesentral. NR-notat DART/10/2016. pp 22. 2016.
. Deliverable D5.2: Wallet framework with TSM supporting security levels QAA1 to QAA4 with physical and/or SSE, tested and validated -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 8. 2016.
2015
. Deliverable D2.4: Test strategy and plan -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 10. 2015.
. Deliverable D2.7: Final Test Report -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 9. 2015.
. Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 29. 2015.
. Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 19. 2015.
. Deliverable D2.3: Evaluation Plan Against Chosen Security Standard -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 21. 2015.
. Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 36. 2015.
2014
. INPRED: Intelligent prediction for package transport. Norsk Regnesentral. NR-notat DART/14/2014. 2014.
. PCAS Project Deliverable 2.3: Secure Communication Protocols and Services. Norsk Regnesentral. pp 35. 2014.
. HighTrustWallet Deliverable D1.3: Test Scenarios. Norsk Regnesentral. 2014.
. HighTrustWallet Deliverable D1.2: Security Requirements. Norsk Regnesentral. pp 27. 2014.
. HighTrustWallet Deliverable D1.1: Project Handbook. Norsk Regnesentral. pp 12. 2014.
. PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture. INESC-ID. pp 59. 2014.
. PCAS Project Deliverable 1.1: PCAS Scenarios and Use Cases. AFCON. pp 95. 2014.
. PCAS Project Deliverable 2.2: Precise Architecture Model. Norsk Regnesentral. pp 82. 2014.
. PCAS Project Deliverable 2.1: PCAS High-level Design. AFCON. pp 58. 2014.
2012
. Random value transformers: Motivation and idea. Norsk Regnesentral. NR-notat DART/19/2012. pp 14. 2012.
2011
. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. Norsk Regnesentral. NR-notat DART/07/11. pp 15. 2011.
2010
. PETweb II deliverable D8: Case study — Privacy-relevant information flow in identity management systems. DART/06/10. pp 15. 2010. Fulltekst
2009
. Modelling of Biomedical Sensor Networks using the Creol Tools. Norsk Regnesentral. Report at the Norwegian Computing Center 1022. (ISBN 978-82-539-0532-7) pp 37. 2009. Fulltekst Fulltekst
. Resultatrapport for prosjekt 165763 - Reducing Software Entropy. DART/08/2009. pp 7. 2009. Fulltekst
2008
. Deliverable D6.2: Initial modelling with service interfaces. The Credo Consortium FP6 IST-33826. Deliverable D6.2. pp 36. 2008. Fulltekst
. Deliverable D6.1 - User Driven Requirements - Addendum. Deliverable D6.1 Addendum. pp 19. 2008.
2007
. Security assessment of the mBricks net protocol version 2.2. Norsk Regnesentral. NR-notat DART/08/07. pp 16. 2007.
2006
. Europlay pre-study. Norsk Regnesentral. NR-notat DART/05/06. pp 17. 2006.
. Pre-study: software solutions for scheduling. Norsk Regnesentral. NR-notat DART/01/06. 2006.
. Bruk av åpne standarder i offentlig forvaltning. 1010. pp 23. 2006.
2005
. Analysis of object-oriented programs: a survey. Norsk Regnesentral. NR-notat DART/11/05. pp 15. 2005. Fulltekst
. Performance evaluation of the Velocity Database Engine. DART/03/05. pp 18. 2005.
2004
. A functional reconstruction of anti-unification. Norsk Regnesentral. DART/04/04. pp 20. 2004. Fulltekst
2002
. MobileSLM pre-project - Development Report. Norsk Regnesentral. NR-notat DART/01/02. pp 37. 2002.
2001
. Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach. Norsk Regnesentral. NR-notat OMNI/07/01. pp 10. 2001.
. Rule-based form validation: Requirements. pp 21. 2001.
. Form validation mechanism: Design relevant standards and technology. pp 19. 2001.
2000
. Design and Implementation of the Generic Multimedia Server Platform. Norsk Regnesentral. NR-notat OMNI/04/00. pp 75. 2000.
. Mowgli - Mobile Work, Gadgets, Language and Infrastructure. 968. (ISBN 82-539-0474-6) pp 59. 2000. Fulltekst
Popular scientific lecture
2008
Popular scientific article
2002
. Multimedia-presentasjoner på mobile terminaler med lav båndbredde. Norsigd Info (ISSN 0803-8317). (1/2002) pp 5-12. 2002. Fulltekst
Programme management
2022
| Name: | Bjarte M. Østvold |
| Title: | Sjefsforsker / Chief Research Scientist |
| Phone: | (+47) +47 22 85 26 22 |
| Email: | bjarte [at] nr [dot] no |
| Scientific areas: | Security, Formal methods, Software engineering |
| Add to contacts (vCard) |
| Show publications |
Academic anthology/Conference proceedings
2005
(eds). Object-Oriented Technology. ECOOP 2004 Workshop Reader. Springer. (ISBN 3-540-23988-X). pp 215. 2005.
Academic article
2022
. Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 13521 pp 378-395. doi: 10.1007/978-3-031-17902-0_27. 2022.
. Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 13308 pp 242-259. doi: 10.1007/978-3-031-05028-2_16. 2022.
2021
. An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
2020
. Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 12189 doi: 10.1007/978-3-030-49108-6_27. 2020. Arkiv
2015
. Model mining and efficient verification of software product lines. Serdica Journal of Computing (ISSN 1312-6555). 9(1) pp 35-82. 2015.
2002
. Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach. World Wireless Congress (ISSN 1529-2592). 3Gwireless'2002 2002. Fulltekst
Academic chapter/article/Conference paper
2023
. Identifying Personal Data Processing for Code Review. In: The 9th International Conference on Information Systems Security and Privacy (ICISSP 2023). (ISBN 978-989-758-624-8). pp 568-575. doi: 10.5220/0011725700003405. 2023.
2022
. Assessing software privacy using the privacy flow-graph. In: MSR4P&S 2022: Proceedings of the 1st International Workshop on Mining Software Repositories Applications for Privacy and Security. (ISBN 978-1-4503-9457-4). pp 7-15. doi: 10.1145/3549035.3561185. 2022.
2012
. Public review of e-voting source code: Lessons learnt from E-vote 2011. In: Norsk informatikkonferanse NIK 2012; Universitetet i Nordland 19 – 21 november 2012. (ISBN 978-82-321-0013-2). pp 201-212. 2012. Fulltekst
. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. In: Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. (ISBN 978-1-4503-1118-2). pp 35-38. doi: 10.1145/2103746.2103756. 2012. Fulltekst
. Automated Extraction of Abstract Behavioural Models from JMS Applications. In: Formal Methods for Industrial Critical Systems. 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. (ISBN 978-3-642-32469-7). pp 16-31. doi: 10.1007/978-3-642-32469-7_2. 2012. Fulltekst
. A hierarchical variability model for software product lines. In: Leveraging Applications of Formal Methods, Verification, and Validation. (ISBN 978-3-642-34781-8). pp 181-199. 2012. Fulltekst
2011
. Canonical Method Names for Java - Using Implementation Semantics to Identify Synonymous Verbs. In: Software Language Engineering - Third International Conference, SLE 2010. (ISBN 978-3-642-19439-9). pp 226-245. doi: 10.1007/978-3-642-19440-5_14. 2011. Fulltekst
2009
. The Java Programmer's Phrase Book. In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers. (ISBN 978-3-642-00433-9). pp 322-341. 2009.
. Debugging Method Names. In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference. (ISBN 978-3-642-03012-3). pp 294-317. 2009.
2007
. The Programmer's Lexicon, Volume I: The Verbs. In: Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France. (ISBN 0-7695-2880-5). pp 193-202. 2007.
2002
. Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. In: Simulation und Visualisierung 2002. (ISBN 1-56555-234-2). pp 147-159. 2002. Fulltekst
Academic lecture
2022
. Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information. HCII 2022: Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies; Online, 6/29/2022.
. Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions. HCII 2022: Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies; online, 6/26/2022 - 7/1/2022.
2001
. Introduksjon til typete funksjonelle språk og Haskell. Hovedfagsseminar i logikk, 3/29/2001.
1997
. On inductive synthesis of declarative programs. International Joint Conference on Artificial Intelligence; Nagoya, 8/23/1997 - 8/29/1997.
Lecture
2022
. Applying for innovation projects. NORA.startup Webinars #28: Innovation Project in the Industrial Sector (IPN); OsloMet, 2/11/2022.
2019
. Data-drevet autentisering for mobile tjenester. Sikkerhetsfestivalen 2019; Lillehammer, 8/26/2019 - 8/28/2019.
. Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence. DLM Forum Annual General Meeting; Bern, 5/21/2019 - 5/22/2019.
Poster
1997
. Inductive synthesis of recursive functional programs. ACM International Conference on Functional Programming; Amsterdam, 6/9/1997 - 6/11/1997.
Doctoral dissertation
2009
. Evolutionary Machine Learning: Neutrality, Diversity and Applications. Oslo: Unipub forlag Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (900). pp 114. 2009.
1999
. Synthesis of Recursive Functional Programs from Examples. NTNU - IDI, Tapir trykkeri. pp 118. 1999.
Report
2022
. Automatiserte prosesser innen regnskap, revisjon og finans. Norsk Regnesentral. NR-notat DART/01/22. pp 22. 2022.
. Automatisering av bærekraftsrevisjon. Norsk Regnesentral. NR-notat DART/26/22. pp 25. 2022.
2020
. Security & Privacy in Social Robots. Norsk Regnesentral. NR-notat DART/03/2020. pp 23. 2020.
2018
. Assuring authenticity in Piql Preservation Services. Norsk Regnesentral. NR-notat DART/02/2018. pp 56. 2018.
2016
. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
. State of the art: Universal Design of Ambient Hybrid Environments. Norsk Regnesentral. NR-notat DART/10/2016. pp 22. 2016.
. Deliverable D5.2: Wallet framework with TSM supporting security levels QAA1 to QAA4 with physical and/or SSE, tested and validated -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 8. 2016.
2015
. Deliverable D2.4: Test strategy and plan -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 10. 2015.
. Deliverable D2.7: Final Test Report -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 9. 2015.
. Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 29. 2015.
. Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 19. 2015.
. Deliverable D2.3: Evaluation Plan Against Chosen Security Standard -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 21. 2015.
. Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 36. 2015.
2014
. INPRED: Intelligent prediction for package transport. Norsk Regnesentral. NR-notat DART/14/2014. 2014.
. PCAS Project Deliverable 2.3: Secure Communication Protocols and Services. Norsk Regnesentral. pp 35. 2014.
. HighTrustWallet Deliverable D1.3: Test Scenarios. Norsk Regnesentral. 2014.
. HighTrustWallet Deliverable D1.2: Security Requirements. Norsk Regnesentral. pp 27. 2014.
. HighTrustWallet Deliverable D1.1: Project Handbook. Norsk Regnesentral. pp 12. 2014.
. PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture. INESC-ID. pp 59. 2014.
. PCAS Project Deliverable 1.1: PCAS Scenarios and Use Cases. AFCON. pp 95. 2014.
. PCAS Project Deliverable 2.2: Precise Architecture Model. Norsk Regnesentral. pp 82. 2014.
. PCAS Project Deliverable 2.1: PCAS High-level Design. AFCON. pp 58. 2014.
2012
. Random value transformers: Motivation and idea. Norsk Regnesentral. NR-notat DART/19/2012. pp 14. 2012.
2011
. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. Norsk Regnesentral. NR-notat DART/07/11. pp 15. 2011.
2010
. PETweb II deliverable D8: Case study — Privacy-relevant information flow in identity management systems. DART/06/10. pp 15. 2010. Fulltekst
2009
. Modelling of Biomedical Sensor Networks using the Creol Tools. Norsk Regnesentral. Report at the Norwegian Computing Center 1022. (ISBN 978-82-539-0532-7) pp 37. 2009. Fulltekst Fulltekst
. Resultatrapport for prosjekt 165763 - Reducing Software Entropy. DART/08/2009. pp 7. 2009. Fulltekst
2008
. Deliverable D6.2: Initial modelling with service interfaces. The Credo Consortium FP6 IST-33826. Deliverable D6.2. pp 36. 2008. Fulltekst
. Deliverable D6.1 - User Driven Requirements - Addendum. Deliverable D6.1 Addendum. pp 19. 2008.
2007
. Security assessment of the mBricks net protocol version 2.2. Norsk Regnesentral. NR-notat DART/08/07. pp 16. 2007.
2006
. Europlay pre-study. Norsk Regnesentral. NR-notat DART/05/06. pp 17. 2006.
. Pre-study: software solutions for scheduling. Norsk Regnesentral. NR-notat DART/01/06. 2006.
. Bruk av åpne standarder i offentlig forvaltning. 1010. pp 23. 2006.
2005
. Analysis of object-oriented programs: a survey. Norsk Regnesentral. NR-notat DART/11/05. pp 15. 2005. Fulltekst
. Performance evaluation of the Velocity Database Engine. DART/03/05. pp 18. 2005.
2004
. A functional reconstruction of anti-unification. Norsk Regnesentral. DART/04/04. pp 20. 2004. Fulltekst
2002
. MobileSLM pre-project - Development Report. Norsk Regnesentral. NR-notat DART/01/02. pp 37. 2002.
2001
. Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach. Norsk Regnesentral. NR-notat OMNI/07/01. pp 10. 2001.
. Rule-based form validation: Requirements. pp 21. 2001.
. Form validation mechanism: Design relevant standards and technology. pp 19. 2001.
2000
. Design and Implementation of the Generic Multimedia Server Platform. Norsk Regnesentral. NR-notat OMNI/04/00. pp 75. 2000.
. Mowgli - Mobile Work, Gadgets, Language and Infrastructure. 968. (ISBN 82-539-0474-6) pp 59. 2000. Fulltekst
Popular scientific lecture
2008
Popular scientific article
2002
. Multimedia-presentasjoner på mobile terminaler med lav båndbredde. Norsigd Info (ISSN 0803-8317). (1/2002) pp 5-12. 2002. Fulltekst
Programme management
2022
How to get to NR
Share on social media
Privacy policy