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
O. Lysne
Heuristics for Completion in Automatic Proofs by Structural Induction
Nordic Journal of Computing
1 (1994): 135-156,.
Journal Article
1994
View
O. Lysne
Extending Bachmair's Method for Proof by Consistency to the Final Algebra
Information Processing Letters
51, no. 6 (1994): 303-310,.
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
Publication type
Journal articles
PhD theses
Year published
2018
1998
1997
1996
1994
1991
