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
O. Lysne
,
T. Skeie
and
T. Waadeland
One-Fault Tolerance and Beyond in Wormhole Routed Meshes
Microprocessors and Microsystems
21, no. 7-8 (1998): 471-481,.
Journal Article
1998
View
O. Lysne
Towards an Analytical Model of Wormhole Routing Networks
Microprocessors and Microsystems
21, no. 7-8 (1998): 491-498,.
Journal Article
1998
View
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
Heuristics for Completion in Automatic Proofs by Structural Induction
Nordic Journal of Computing
1 (1994): 135-156,.
Journal Article
1994
View
News
29 October 2019
Minister of Digitalisation Nikolai Astrup visited Simula
prev
3 of 16
next
Find publication
Status
Published
Departments
Communication Systems
(4)
Publication type
Journal articles
Proceedings, refereed
(21)
PhD theses
(1)
Technical reports
(9)
Talks, contributed
(8)
Public outreach
(2)
Year published
1998
(2)
1997
(1)
1994
(2)
1993
(1)
