Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Primary tabs
View
(active tab)
VCard
Olav Lysne
Professor
Director at Simula Metropolitan
Organisation:
Administration and Management
Email:
olavly@simula.no
Most recent publications
S. Krogdahl
and
O. Lysne
Verifying a Distributed List System: a Case History
Formal Aspects of Computing
9 (1997): 98-118,.
Journal Article
1997
View
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Journal Article
1993
View
News
16 July 2022
New book in the SpringerBriefs series: Smittestopp − A Case Study on Digital Contact Tracing
1 of 16
next
Simula in the media
11 April 2016
Simula@Bergen skal utdanne ein ny generasjon med kryptologar
Korleis kan ein sikre seg mot farar ein enno ikkje veit om? Forskarane og studentane på det nye senteret Simula@ Bergen har éit hovudmål: Å trygge våre framtidige data. - Tenk deg at du skal bygge eit hus. Då treng du gode byggesteinar.
:
Simula
På Høyden
1 of 2
next
Find publication
Status
Published
Publication type
Journal articles
Proceedings, refereed
(1)
PhD theses
(1)
Technical reports
(4)
Year published
2018
1998
(2)
1997
1994
(2)
1993
1991
Export 2 results:
BibTeX
Leave this field blank
1997
Journal articles
S. Krogdahl
and
O. Lysne
Verifying a Distributed List System: a Case History
Formal Aspects of Computing
9 (1997): 98-118,.
Status: Published
1993
Journal articles
O. Lysne
The Equational Part of Proofs by Structural Induction
BIT
33 (1993): 596-618,.
Status: Published