Olav Lysne

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Higher-order proof by consistency	2024-07-05	Paper
A termination ordering for higher order rewrite systems Rewriting Techniques and Applications	2022-12-09	Paper
On the connection between narrowing and proof by consistency Automated Deduction — CADE-12	2020-01-21	Paper
An Efficient and Deadlock-Free Network Reconfiguration Protocol IEEE Transactions on Computers	2017-11-10	Paper
Dynamic Fault Tolerance in Fat Trees IEEE Transactions on Computers	2017-07-27	Paper
Order-sorted termination: the unsorted way Algebraic and Logic Programming	2017-01-19	Paper
scientific article; zbMATH DE number 2044131 (Why is no real title available?)	2004-02-17	Paper
scientific article; zbMATH DE number 1979445 (Why is no real title available?)	2003-09-14	Paper
On verification of parallel message-passing processes Formal Aspects of Computing	2002-12-01	Paper
scientific article; zbMATH DE number 720184 (Why is no real title available?)	2000-07-04	Paper
scientific article; zbMATH DE number 1300969 (Why is no real title available?)	1999-07-29	Paper
Verifying a distributed list system: A case history Formal Aspects of Computing	1997-05-28	Paper
Extending Bachmair's method for proof by consistency to the final algebra Information Processing Letters	1995-10-18	Paper
The equational part of proofs by structural induction BIT	1994-03-22	Paper

Research outcomes over time

This page was built for person: Olav Lysne