Primary tabs

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

22 October 2019
People
Ioana Livadariu has defended her PhD

Ioana Livadariu successfully defended her PhD

Find publication

Status

Departments

Publication type

Year published