Proof by Consistency in Constructive Systems with Final Algebra Semantics. - Olav Lysne (ALP, 1992)

The Equational Part of Proofs by Structural Induction. - Olav Lysne (BIT, 1993)

On the Connection between Narrowing and Proof by Consistency. - Olav Lysne (CADE, 1994)

Extending Bachmair's Method for Proof by Consistency to the Final Algebra. - Olav Lysne (Inf. Process. Lett., 1994)

Heuristics for Completion in Automatic Proofs by Structural Induction. - Olav Lysne (Nord. J. Comput., 1994)

A Termination Ordering for Higher Order Rewrite System. - Olav Lysne; Javier Piris (RTA, 1995)

Order-Sorted Termination: The Unsorted Way. - Peter Csaba Ölveczky; Olav Lysne (ALP, 1996)

Higher-Order Proof by Consistency. - Henrik Linnestad; Christian Prehofer; Olav Lysne (FSTTCS, 1996)

Scalable Non-Blocking Networks with Fixed Size Routers. - Tor Skeie; Olav Lysne; Geir Horn (PDPTA, 1997)

Verifying a Distributed List System: A Case History. - Stein Krogdahl; Olav Lysne (Formal Aspects Comput., 1997)

Towards a generic analytical model of wormhole routing networks. - Olav Lysne (Microprocess. Microsystems, 1998)

One-fault tolerance arid beyond in wormhole routed meshes. - Olav Lysne; Tor Skeie; Thomas Waadeland (Microprocess. Microsystems, 1998)

Deadlock Avoidance for Switches Based on Wormhole Networks. - Olav Lysne (ICPP, 1999)

Deadlock Avoidance for Wormhole Based Switches. - Ingebjørg Theiss; Olav Lysne (Euro-Par, 2000)

Fast Dynamic Reconfiguration in Irregular Networks. - Olav Lysne; José Duato (ICPP, 2000)

Supporting Distributed Processing of Time-Based Media Streams. - Viktor S. Wold Eide; Frank Eliassen; Olav Lysne (DOA, 2001)

Real-Time Processing of Media Streams: A Case for Event-Based Interaction. - Viktor S. Wold Eide; Frank Eliassen; Olav Lysne; Ole-Christoffer Granmo (ICDCS Workshops, 2002)

Scalable Independent Multi-level Distribution in Multimedia Content Analysis. - Viktor S. Wold Eide; Frank Eliassen; Ole-Christoffer Granmo; Olav Lysne (IDMS/PROMS, 2002)

Layered Shortest Path (LASH) Routing in Irregular System Area Networks. - Tor Skeie; Olav Lysne; Ingebjørg Theiss (IPDPS, 2002)

On Verification of Parallel Message-Passing Processes. - Stein Krogdahl; Olav Lysne (Formal Aspects Comput., 2002)

Topic Introduction. - José Duato; Olav Lysne; Timothy Mark Pinkston; Hermann Hellwagner (Euro-Par, 2003)

Admission Control for DiffServ Based Quality of Service in Cut-Through Networks. - Sven-Arne Reinemo; Frank Olaf Sem-Jacobsen; Tor Skeie; Olav Lysne (HiPC, 2003)

FROOTS - Fault Handling in Up*/Down* Routed Networks with Multiple Roots. - Ingebjørg Theiss; Olav Lysne (HiPC, 2003)

A Methodology for Developing Dynamic Network Reconfiguration Processes. - Olav Lysne; Timothy Mark Pinkston; José Duato (ICPP, 2003)

A Criterion for Cost Optimal Construction of Irregular Networks. - Geir Horn; Olav Lysne; Tor Skeie (IPDPS, 2003)

Supporting timeliness and accuracy in distributed real-time content-based video analysis. - Viktor S. Wold Eide; Frank Eliassen; Ole-Christoffer Granmo; Olav Lysne (ACM Multimedia, 2003)

Applying the DiffServ Model on Cut-Through Networks. - Sven-Arne Reinemo; Tor Skeie; Olav Lysne (PDPTA, 2003)

Techniques for Parallel Execution of the Particle Filter. - Ole-Christoffer Granmo; Frank Eliassen; Olav Lysne; Viktor S. Wold Eide (SCIA, 2003)

Topic 14: Routing and Communication in Interconnection Networks. - José Duato; Fabrizio Petrini; Olav Lysne; Angelos Bilas (Euro-Par, 2004)

A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks. - María Engracia Gómez; José Duato; José Flich; Pedro López 001; Antonio Robles; Nils Agne Nordbotten; Tor Skeie; Olav Lysne (HiPC, 2004)

Simple Deadlock-Free Dynamic Network Reconfiguration. - Olav Lysne; José Miguel Montañana; Timothy Mark Pinkston; José Duato; Tor Skeie; José Flich (HiPC, 2004)

LASH-TOR: A Generic Transition-Oriented Routing Algorithm. - Tor Skeie; Olav Lysne; José Flich; Pedro López 001; Antonio Robles; José Duato (ICPADS, 2004)

An Effective Fault-Tolerant Routing Methodology for Direct Networks. - María Engracia Gómez; José Flich; Pedro López 001; Antonio Robles; José Duato; Nils Agne Nordbotten; Olav Lysne; Tor Skeie (ICPP, 2004)

LORE - Local Reconfiguration for Fault Management in Irregular Interconnects. - Ingebjørg Theiss; Olav Lysne (IPDPS, 2004)

A Fully Adaptive Fault-Tolerant Routing Methodology Based on Intermediate Nodes. - Nils Agne Nordbotten; María Engracia Gómez; José Flich; Pedro López 001; Antonio Robles; Tor Skeie; Olav Lysne; José Duato (NPC, 2004)

The Existence of a Network of Fixed-Sized Switches that Satisfies Any Communication Needs. - Geir Horn; Olav Lysne; Tor Skeie (PDPTA, 2004)

Achieving Flow Level QoS in Cut-Through Networks Through Admission Control and DiffServ. - Frank Olaf Sem-Jacobsen; Sven-Arne Reinemo; Tor Skeie; Olav Lysne (PDPTA, 2004)

An Efficient Fault-Tolerant Routing Methodology for Meshes and Tori. - María Engracia Gómez; José Duato; José Flich; Pedro López 001; Antonio Robles; Nils Agne Nordbotten; Olav Lysne; Tor Skeie (IEEE Comput. Archit. Lett., 2004)

Resilient Routing Layers for Recovery in Packet Networks. - Audun Fosselie Hansen; Amund Kvalbein; Tarik Cicic; Stein Gjessing; Olav Lysne (DSN, 2005)

Topic 13 Routing and Communication in Interconnection Networks. - Emilio Luque; Cruz Izu; Olav Lysne; José Legatheaux Martins (Euro-Par, 2005)

Applicability of Resilient Routing Layers for k-Fault Network Recovery. - Tarik Cicic; Audun Fosselie Hansen; Stein Gjessing; Olav Lysne (ICN (2), 2005)

Siamese-Twin: A Dynamically Fault-Tolerant Fat-Tree. - Frank Olaf Sem-Jacobsen; Tor Skeie; Olav Lysne; Ola Tørudbakken; Eivind Rongved; Bjøm Johnsen (IPDPS, 2005)

Fast Recovery from Link Failures Using Resilient Routing Layers. - Amund Kvalbein; Audun Fosselie Hansen; Tarik Cicic; Stein Gjessing; Olav Lysne (ISCC, 2005)

A Dynamic Fault-tolerant Routing Algorithm for Fat-trees. - Tor Skeie; Frank Olaf Sem-Jacobsen; Olav Lysne (PDPTA, 2005)

Part I: A Theory for Deadlock-Free Dynamic Network Reconfiguration. - José Duato; Olav Lysne; Ruoming Pang; Timothy Mark Pinkston (IEEE Trans. Parallel Distributed Syst., 2005)

Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes. - Olav Lysne; Timothy Mark Pinkston; José Duato (IEEE Trans. Parallel Distributed Syst., 2005)

Towards an efficient switch architecture for high-radix switches. - Gaspar Mora; José Flich; José Duato; Pedro López 001; Elvira Baydal; Olav Lysne (ANCS, 2006)

Topic 13: Routing and Communication in Interconnection Networks. - José A. Gregorio; Bettina Schnor; Angelos Bilas; Olav Lysne (Euro-Par, 2006)

Dynamic Fault Tolerance with Misrouting in Fat Trees. - Frank Olaf Sem-Jacobsen; Tor Skeie; Olav Lysne; José Duato (ICPP, 2006)

Fast IP Network Recovery Using Multiple Routing Configurations. - Amund Kvalbein; Audun Fosselie Hansen; Tarik Cicic; Stein Gjessing; Olav Lysne (INFOCOM, 2006)

Combining Source Routing and Dynamic Fault Tolerance. - Frank Olaf Sem-Jacobsen; Olav Lysne; Tor Skeie (SBAC-PAD, 2006)

An overview of QoS capabilities in infiniband, advanced switching interconnect, and ethernet. - Sven-Arne Reinemo; Tor Skeie; Thomas Sødring; Olav Lysne; O. Trudbakken (IEEE Commun. Mag., 2006)

Routing for the asi fabric manager. - Åshild Grønstad Solheim; Olav Lysne; Tor Skeie; Thomas Sødring; Ingebjørg Theiss (IEEE Commun. Mag., 2006)

Guest Editors' Introduction: High-Performance Interconnects. - Fabrizio Petrini; Olav Lysne; Ron Brightwell (IEEE Micro, 2006)

A Routing Methodology for Achieving Fault Tolerance in Direct Networks. - María Engracia Gómez; Nils Agne Nordbotten; José Flich; Pedro López 001; Antonio Robles; José Duato; Tor Skeie; Olav Lysne (IEEE Trans. Computers, 2006)

Layered Routing in Irregular Networks. - Olav Lysne; Tor Skeie; Sven-Arne Reinemo; Ingebjørg Theiss (IEEE Trans. Parallel Distributed Syst., 2006)

FRoots: A Fault Tolerant and Topology-Flexible Routing Technique. - Ingebjørg Theiss; Olav Lysne (IEEE Trans. Parallel Distributed Syst., 2006)

Routing-Contained Virtualization Based on Up*/Down* Forwarding. - Åshild Grønstad Solheim; Olav Lysne; Thomas Sødring; Tor Skeie; Jakob Aleksander Libak (HiPC, 2007)

Fast Proactive Recovery from Concurrent Failures. - Audun Fosselie Hansen; Olav Lysne; Tarik Cicic; Stein Gjessing (ICC, 2007)

How can multi-topology routing be used for intradomain traffic engineering? - Amund Kvalbein; Olav Lysne (INM@SIGCOMM, 2007)

Fault tolerance with shortest paths in regular and irregular networks. - Frank Olaf Sem-Jacobsen; Olav Lysne (IPDPS, 2008)

Making an SCI fabric dynamically fault tolerant. - Håkon Kvale Stensland; Olav Lysne; Roy Nordstrøm; Hugo Kohmann (IPDPS, 2008)

Interconnection Networks: Architectural Challenges for Utility Computing Data Centers. - Olav Lysne; Sven-Arne Reinemo; Tor Skeie; Åshild Grønstad Solheim; Thomas Sødring; Lars Paul Huse; Bjørn Dag Johnsen (Computer, 2008)

On the Potential of NoC Virtualization for Multicore Chips. - José Flich; Samuel Rodrigo; José Duato; Thomas Sødring; Åshild Grønstad Solheim; Tor Skeie; Olav Lysne (Scalable Comput. Pract. Exp., 2008)

An Efficient and Deadlock-Free Network Reconfiguration Protocol. - Olav Lysne; José Miguel Montañana; José Flich; José Duato; Timothy Mark Pinkston; Tor Skeie (IEEE Trans. Computers, 2008)

Network Reconfiguration in High-Performance Interconnection Networks. - Rafael Casado; Aurelio Bermúdez; Antonio Robles-Gómez; Olav Lysne; Tor Skeie; Åshild Grønstad Solheim; Thomas Sødring (Autonomic Computing and Networking, 2009)

RecTOR: A New and Efficient Method for Dynamic Network Reconfiguration. - Åshild Grønstad Solheim; Olav Lysne; Tor Skeie (Euro-Par, 2009)

A framework for routing and resource allocation in network virtualization. - Åshild Grønstad Solheim; Olav Lysne; Tor Skeie; Thomas Sødring; Sven-Arne Reinemo (HiPC, 2009)

Efficient and deadlock-free reconfiguration for source routed networks. - Åshild Grønstad Solheim; Olav Lysne; Aurelio Bermúdez; Rafael Casado; Thomas Sødring; Tor Skeie; Antonio Robles-Gómez (IPDPS, 2009)

Relaxed multiple routing configurations: IP fast reroute for single and correlated failures. - Tarik Cicic; Audun Fosselie Hansen; Amund Kvalbein; Matthias Hartmann; Rüdiger Martin; Michael Menth; Stein Gjessing; Olav Lysne (IEEE Trans. Netw. Serv. Manag., 2009)

Multiple routing configurations for fast IP network recovery. - Amund Kvalbein; Audun Fosselie Hansen; Tarik Cicic; Stein Gjessing; Olav Lysne (IEEE/ACM Trans. Netw., 2009)

Networks and Distributed Systems - Why, What, How and What's Next. - Carsten Griwodz; Olav Lysne (Simula Research Laboratory, 2010)

The Hamming Experience. - Hans Petter Langtangen; Olav Lysne (Simula Research Laboratory, 2010)

Introduction to Basic Research. - Olav Lysne (Simula Research Laboratory, 2010)

Simula - The Language. - Olav Lysne; Are Magnus Bruaset (Simula Research Laboratory, 2010)

Scalable Interconnection Networks. - Olav Lysne; Tor Skeie; Sven-Arne Reinemo; Frank Olaf Sem-Jacobsen; Nils Agne Nordbotten (Simula Research Laboratory, 2010)

Host Side Dynamic Reconfiguration with InfiniBand. - Wei Lin Guay; Sven-Arne Reinemo; Olav Lysne; Tor Skeie; Bjørn Dag Johnsen; Line Holen (CLUSTER, 2010)

First experiences with congestion control in InfiniBand hardware. - Ernst Gunnar Gran; Magne Eimot; Sven-Arne Reinemo; Tor Skeie; Olav Lysne; Lars Paul Huse; Gilad Shainer (IPDPS, 2010)

On the Relation between Congestion Control, Switch Arbitration and Fairness. - Ernst Gunnar Gran; Eitan Zahavi; Sven-Arne Reinemo; Tor Skeie; Gilad Shainer; Olav Lysne (CCGRID, 2011)

Combining Congested-Flow Isolation and Injection Throttling in HPC Interconnection Networks. - Jesús Escudero-Sahuquillo; Ernst Gunnar Gran; Pedro Javier García; José Flich; Tor Skeie; Olav Lysne; Francisco J. Quiles 001; José Duato (ICPP, 2011)

vFtree - A Fat-Tree Routing Algorithm Using Virtual Lanes to Alleviate Congestion. - Wei Lin Guay; Bartosz Bogdanski; Sven-Arne Reinemo; Olav Lysne; Tor Skeie (IPDPS, 2011)

Efficient and Contention-Free Virtualisation of Fat-Trees. - Frank Olaf Sem-Jacobsen; Åshild Grønstad Solheim; Olav Lysne; Tor Skeie; Thomas Sødring (IPDPS Workshops, 2011)

Dynamic Fault Tolerance in Fat Trees. - Frank Olaf Sem-Jacobsen; Tor Skeie; Olav Lysne; José Duato (IEEE Trans. Computers, 2011)

Networks, Direct. - Olav Lysne; Frank Olaf Sem-Jacobsen (Encyclopedia of Parallel Computing, 2011)

Networks, Multistage. - Olav Lysne; Frank Olaf Sem-Jacobsen (Encyclopedia of Parallel Computing, 2011)

Topology Agnostic Dynamic Quick Reconfiguration for Large-Scale Interconnection Networks. - Frank Olaf Sem-Jacobsen; Olav Lysne (CCGRID, 2012)

A theory and methodology for combining data centre networks. - Frank Olaf Sem-Jacobsen; Ralph Lorentzen; Olav Lysne (HiPC, 2012)

Exploring the Scope of the InfiniBand Congestion Control Mechanism. - Ernst Gunnar Gran; Sven-Arne Reinemo; Olav Lysne; Tor Skeie; Eitan Zahavi; Gilad Shainer (IPDPS, 2012)

Permutation Routing for Increased Robustness in IP Networks. - Hung Quoc Vo; Olav Lysne; Amund Kvalbein (Networking (1), 2012)

A Survey and Evaluation of Topology-Agnostic Deterministic Routing Algorithms. - José Flich; Tor Skeie; Andres Mejia; Olav Lysne; Pedro López 001; Antonio Robles; José Duato; Michihiro Koibuchi; Tomas Rokicki; José Carlos Sancho (IEEE Trans. Parallel Distributed Syst., 2012)

Topic 13: High-Performance Networks and Communication - (Introduction). - Olav Lysne; Torsten Hoefler; Pedro López 001; Davide Bertozzi (Euro-Par, 2013)

Increased robustness with interface based permutation routing. - Hung Quoc Vo; Olav Lysne; Amund Kvalbein (ICC, 2013)

Routing with joker links for maximized robustness. - Hung Quoc Vo; Olav Lysne; Amund Kvalbein (Networking, 2013)

A new proposal to deal with congestion in InfiniBand-based fat-trees. - Jesús Escudero-Sahuquillo; Pedro Javier García; Francisco J. Quiles 001; Sven-Arne Reinemo; Tor Skeie; Olav Lysne; José Duato (J. Parallel Distributed Comput., 2014)

Early experiences with live migration of SR-IOV enabled InfiniBand. - Wei Lin Guay; Sven-Arne Reinemo; Bjørn Dag Johnsen; Chien-Hua Yen; Tor Skeie; Olav Lysne; Ola Tørudbakken (J. Parallel Distributed Comput., 2015)

Efficient and Cost-Effective Hybrid Congestion Control for HPC Interconnection Networks. - Jesús Escudero-Sahuquillo; Ernst Gunnar Gran; Pedro Javier García; José Flich; Tor Skeie; Olav Lysne; Francisco J. Quiles 001; José Duato (IEEE Trans. Parallel Distributed Syst., 2015)

Vendor Malware: Detection Limits and Mitigation. - Olav Lysne; Kjell Jørgen Hole; Christian Otterstad; Øyvind Ytrehus; Raymond Aarseth; Jorgen Tellnes (Computer, 2016)

The Huawei and Snowden Questions - Can Electronic Equipment from Untrusted Vendors be Verified? Can an Untrusted Vendor Build Trust into Electronic Equipment? - Olav Lysne (Springer, 2018)

On the Accuracy of Country-Level IP Geolocation. - Ioana Livadariu; Thomas Dreibholz; Anas Saeed Al-Selwi; Haakon Bryhni; Olav Lysne; Steinar Bjørnstad; Ahmed Elmokashfi (ANRW, 2020)