Olav Lysne Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÅshild Grønstad Solheim, Olav Lysne, Tor Skeie: RecTOR: A New and Efficient Method for Dynamic Network Reconfiguration. Euro-Par 2009: 1052-1064
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÅshild Grønstad Solheim, Olav Lysne, Aurelio Bermúdez, Rafael Casado, Thomas Sødring, Tor Skeie, Antonio Robles-Gómez: Efficient and deadlock-free reconfiguration for source routed networks. IPDPS 2009: 1-8
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne: Multiple routing configurations for fast IP network recovery. IEEE/ACM Trans. Netw. 17(2): 473-486 (2009)
2008
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJose Flich, Samuel Rodrigo, José Duato, Thomas Sødring, Åshild Grønstad Solheim, Tor Skeie, Olav Lysne: On the Potential of NoC Virtualization for Multicore Chips. CISIS 2008: 801-807
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Olaf Sem-Jacobsen, Olav Lysne: Fault tolerance with shortest paths in regular and irregular networks. IPDPS 2008: 1-11
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHåkon Kvale Stensland, Olav Lysne, Roy Nordstrøm, Hugo Kohmann: Making an SCI fabric dynamically fault tolerant. IPDPS 2008: 1-8
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, Sven-Arne Reinemo, Tor Skeie, Åshild Grønstad Solheim, Thomas Sødring, Lars Paul Huse, Bjørn Dag Johnsen: Interconnection Networks: Architectural Challenges for Utility Computing Data Centers. IEEE Computer 41(9): 62-69 (2008)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, José Miguel Montañana, Jose Flich, José Duato, Timothy Mark Pinkston, Tor Skeie: An Efficient and Deadlock-Free Network Reconfiguration Protocol. IEEE Trans. Computers 57(6): 762-779 (2008)
2007
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÅshild Grønstad Solheim, Olav Lysne, Thomas Sødring, Tor Skeie, Jakob Aleksander Libak: Routing-Contained Virtualization Based on Up*/Down* Forwarding. HiPC 2007: 500-513
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAudun Fosselie Hansen, Olav Lysne, Tarik Cicic, Stein Gjessing: Fast Proactive Recovery from Concurrent Failures. ICC 2007: 115-122
2006
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGaspar Mora, Jose Flich, José Duato, Pedro López, Elvira Baydal, Olav Lysne: Towards an efficient switch architecture for high-radix switches. ANCS 2006: 11-20
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé A. Gregorio, Bettina Schnor, Angelos Bilas, Olav Lysne: Topic 13: Routing and Communication in Interconnection Networks. Euro-Par 2006: 851
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Olaf Sem-Jacobsen, Tor Skeie, Olav Lysne, José Duato: Dynamic Fault Tolerance with Misrouting in Fat Trees. ICPP 2006: 33-44
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne: Fast IP Network Recovery Using Multiple Routing Configurations. INFOCOM 2006
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Olaf Sem-Jacobsen, Olav Lysne, Tor Skeie: Combining Source Routing and Dynamic Fault Tolerance. SBAC-PAD 2006: 151-158
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Petrini, Olav Lysne, Ron Brightwell: Guest Editors' Introduction: High-Performance Interconnects. IEEE Micro 26(3): 7-9 (2006)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Engracia Gómez, Nils Agne Nordbotten, Jose Flich, Pedro López, Antonio Robles, José Duato, Tor Skeie, Olav Lysne: A Routing Methodology for Achieving Fault Tolerance in Direct Networks. IEEE Trans. Computers 55(4): 400-415 (2006)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, Tor Skeie, Sven-Arne Reinemo, Ingebjørg Theiss: Layered Routing in Irregular Networks. IEEE Trans. Parallel Distrib. Syst. 17(1): 51-65 (2006)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngebjørg Theiss, Olav Lysne: FRoots: A Fault Tolerant and Topology-Flexible Routing Technique. IEEE Trans. Parallel Distrib. Syst. 17(10): 1136-1150 (2006)
2005
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAudun Fosselie Hansen, Amund Kvalbein, Tarik Cicic, Stein Gjessing, Olav Lysne: Resilient Routing Layers for Recovery in Packet Networks. DSN 2005: 238-247
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilio Luque, Cruz Izu, Olav Lysne, José Legatheaux Martins: Topic 13 Routing and Communication in Interconnection Networks. Euro-Par 2005: 973-973
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTarik Cicic, Audun Fosselie Hansen, Stein Gjessing, Olav Lysne: Applicability of Resilient Routing Layers for k-Fault Network Recovery. ICN (2) 2005: 173-183
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Olaf Sem-Jacobsen, Tor Skeie, Olav Lysne, Ola Tørudbakken, Eivind Rongved, Bjøm Johnsen: Siamese-Twin: A Dynamically Fault-Tolerant Fat-Tree. IPDPS 2005
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmund Kvalbein, Audun Fosselie Hansen, Tarik Cicic, Stein Gjessing, Olav Lysne: Fast Recovery from Link Failures Using Resilient Routing Layers. ISCC 2005: 554-560
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTor Skeie, Frank Olaf Sem-Jacobsen, Olav Lysne: A Dynamic Fault-tolerant Routing Algorithm for Fat-trees. PDPTA 2005: 318-324
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Duato, Olav Lysne, Ruoming Pang, Timothy Mark Pinkston: Part I: A Theory for Deadlock-Free Dynamic Network Reconfiguration. IEEE Trans. Parallel Distrib. Syst. 16(5): 412-427 (2005)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, Timothy Mark Pinkston, José Duato: Part II: A Methodology for Developing Deadlock-Free Dynamic Network Reconfiguration Processes. IEEE Trans. Parallel Distrib. Syst. 16(5): 428-443 (2005)
2004
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Duato, Fabrizio Petrini, Olav Lysne, Angelos Bilas: Topic 14: Routing and Communication in Interconnection Networks. Euro-Par 2004: 832
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Engracia Gómez, José Duato, Jose Flich, Pedro López, Antonio Robles, Nils Agne Nordbotten, Tor Skeie, Olav Lysne: A New Adaptive Fault-Tolerant Routing Methodology for Direct Networks. HiPC 2004: 462-473
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, José Miguel Montañana, Timothy Mark Pinkston, José Duato, Tor Skeie, Jose Flich: Simple Deadlock-Free Dynamic Network Reconfiguration. HiPC 2004: 504-515
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTor Skeie, Olav Lysne, Jose Flich, Pedro López, Antonio Robles, José Duato: LASH-TOR: A Generic Transition-Oriented Routing Algorithm. ICPADS 2004: 595-604
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Engracia Gómez, Jose Flich, Pedro López, Antonio Robles, José Duato, Nils Agne Nordbotten, Olav Lysne, Tor Skeie: An Effective Fault-Tolerant Routing Methodology for Direct Networks. ICPP 2004: 222-231
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngebjørg Theiss, Olav Lysne: LORE - Local Reconfiguration for Fault Management in Irregular Interconnects. IPDPS 2004
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Agne Nordbotten, María Engracia Gómez, Jose Flich, Pedro López, Antonio Robles, Tor Skeie, Olav Lysne, José Duato: A Fully Adaptive Fault-Tolerant Routing Methodology Based on Intermediate Nodes. NPC 2004: 341-356
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeir Horn, Olav Lysne, Tor Skeie: The Existence of a Network of Fixed-Sized Switches that Satisfies Any Communication Needs. PDPTA 2004: 1056-1062
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Olaf Sem-Jacobsen, Sven-Arne Reinemo, Tor Skeie, Olav Lysne: Achieving Flow Level QoS in Cut-Through Networks Through Admission Control and DiffServ. PDPTA 2004: 1084-1090
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaría Engracia Gómez, José Duato, Jose Flich, Pedro López, Antonio Robles, Nils Agne Nordbotten, Olav Lysne, Tor Skeie: An Efficient Fault-Tolerant Routing Methodology for Meshes and Tori. Computer Architecture Letters 3: (2004)
2003
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor S. Wold Eide, Frank Eliassen, Ole-Christoffer Granmo, Olav Lysne: Supporting timeliness and accuracy in distributed real-time content-based video analysis. ACM Multimedia 2003: 21-32
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Duato, Olav Lysne, Timothy Mark Pinkston, Hermann Hellwagner: Topic Introduction. Euro-Par 2003: 929
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngebjørg Theiss, Olav Lysne: FROOTS - Fault Handling in Up*/Down* Routed Networks with Multiple Roots. HiPC 2003: 106-117
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven-Arne Reinemo, Frank Olaf Sem-Jacobsen, Tor Skeie, Olav Lysne: Admission Control for DiffServ Based Quality of Service in Cut-Through Networks. HiPC 2003: 118-129
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, Timothy Mark Pinkston, José Duato: A Methodology for Developing Dynamic Network Reconfiguration Processes. ICPP 2003: 77-86
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeir Horn, Olav Lysne, Tor Skeie: A Criterion for Cost Optimal Construction of Irregular Networks. IPDPS 2003: 197
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven-Arne Reinemo, Tor Skeie, Olav Lysne: Applying the DiffServ Model on Cut-Through Networks. PDPTA 2003: 1089-1098
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOle-Christoffer Granmo, Frank Eliassen, Olav Lysne, Viktor S. Wold Eide: Techniques for Parallel Execution of the Particle Filter. SCIA 2003: 983-990
2002
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor S. Wold Eide, Frank Eliassen, Olav Lysne, Ole-Christoffer Granmo: Real-Time Processing of Media Streams: A Case for Event-Based Interaction. ICDCS Workshops 2002: 555-562
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor S. Wold Eide, Frank Eliassen, Ole-Christoffer Granmo, Olav Lysne: Scalable Independent Multi-level Distribution in Multimedia Content Analysis. IDMS/PROMS 2002: 37-48
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTor Skeie, Olav Lysne, Ingebjørg Theiss: Layered Shortest Path (LASH) Routing in Irregular System Area Networks. IPDPS 2002
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStein Krogdahl, Olav Lysne: On Verification of Parallel Message-Passing Processes. Formal Asp. Comput. 13(6): 471-492 (2002)
2001
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor S. Wold Eide, Frank Eliassen, Olav Lysne: Supporting Distributed Processing of Time-Based Media Streams. DOA 2001: 281-288
2000
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIngebjørg Theiss, Olav Lysne: Deadlock Avoidance for Wormhole Based Switches. Euro-Par 2000: 890-899
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, José Duato: Fast Dynamic Reconfiguration in Irregular Networks. ICPP 2000: 449-
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne: Deadlock Avoidance for Switches Based on Wormhole Networks. ICPP 1999: 68-74
1997
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTor Skeie, Olav Lysne, Geir Horn: Scalable Non-Blocking Networks with Fixed Size Routers. PDPTA 1997: 1308-1314
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStein Krogdahl, Olav Lysne: Verifying a Distributed List System: A Case History. Formal Asp. Comput. 9(1): 98-118 (1997)
1996
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Csaba Ölveczky, Olav Lysne: Order-Sorted Termination: The Unsorted Way. ALP 1996: 92-106
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenrik Linnestad, Christian Prehofer, Olav Lysne: Higher-Order Proof by Consistency. FSTTCS 1996: 274-285
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne, Javier Piris: A Termination Ordering for Higher Order Rewrite System. RTA 1995: 26-40
1994
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne: On the Connection between Narrowing and Proof by Consistency. CADE 1994: 133-147
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne: Extending Bachmair's Method for Proof by Consistency to the Final Algebra. Inf. Process. Lett. 51(6): 303-310 (1994)
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne: Heuristics for Completion in Automatic Proofs by Structural Induction. Nord. J. Comput. 1(1): 135-156 (1994)
1993
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne: The Equational Part of Proofs by Structural Induction. BIT 33(4): 596-618 (1993)
1992
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlav Lysne: Proof by Consistency in Constructive Systems with Final Algebra Semantics. ALP 1992: 276-290

Coauthor Index

1Elvira Baydal [53]
2Aurelio Bermúdez [62]
3Angelos Bilas [36] [52]
4Ron Brightwell [48]
5Rafael Casado [62]
6Tarik Cicic [40] [42] [44] [50] [54] [61]
7José Duato [12] [22] [25] [27] [30] [32] [33] [34] [35] [36] [37] [38] [47] [51] [53] [56] [60]
8Viktor S. Wold Eide [14] [17] [18] [19] [26]
9Frank Eliassen [14] [17] [18] [19] [26]
10Jose Flich [27] [30] [32] [33] [34] [35] [47] [53] [56] [60]
11Stein Gjessing [40] [42] [44] [50] [54] [61]
12María Engracia Gómez (María Engracia Gómez Requena) [27] [30] [32] [35] [47]
13Ole-Christoffer Granmo [17] [18] [19] [26]
14José-Ángel Gregorio (José A. Gregorio) [52]
15Audun Fosselie Hansen [40] [42] [44] [50] [54] [61]
16Hermann Hellwagner [25]
17Geir Horn [10] [21] [29]
18Lars Paul Huse [57]
19Cruz Izu [43]
20Bjøm Johnsen [41]
21Bjørn Dag Johnsen [57]
22Hugo Kohmann [58]
23Stein Krogdahl [9] [15]
24Amund Kvalbein [40] [44] [50] [61]
25Jakob Aleksander Libak [55]
26Henrik Linnestad [7]
27Pedro López (Pedro Juan López Rodríguez) [27] [30] [32] [33] [35] [47] [53]
28Emilio Luque [43]
29José Legatheaux Martins [43]
30José Miguel Montañana [34] [56]
31Gaspar Mora [53]
32Nils Agne Nordbotten [27] [30] [32] [35] [47]
33Roy Nordstrøm [58]
34Peter Csaba Ölveczky [8]
35Ruoming Pang [38]
36Fabrizio Petrini [36] [48]
37Timothy Mark Pinkston [22] [25] [34] [37] [38] [56]
38Javier Piris [6]
39Christian Prehofer [7]
40Sven-Arne Reinemo [20] [23] [28] [46] [57]
41Antonio Robles [27] [30] [32] [33] [35] [47]
42Antonio Robles-Gómez [62]
43Samuel Rodrigo [60]
44Eivind Rongved [41]
45Bettina Schnor [52]
46Frank Olaf Sem-Jacobsen [23] [28] [39] [41] [49] [51] [59]
47Tor Skeie [10] [16] [20] [21] [23] [27] [28] [29] [30] [32] [33] [34] [35] [39] [41] [46] [47] [49] [51] [55] [56] [57] [60] [62] [63]
48Thomas Sødring (Tom Sødring) [55] [57] [60] [62]
49Åshild Grønstad Solheim [55] [57] [60] [62] [63]
50Håkon Kvale Stensland [58]
51Ingebjørg Theiss [13] [16] [24] [31] [45] [46]
52Ola Tørudbakken [41]

Colors in the list of coauthors

Copyright © Mon Nov 23 18:13:59 2009 by Michael Ley (ley@uni-trier.de)