Det matematisk-naturvitenskapelige fakultet

Institutt for informatikk

Produksjonsdato : 2001-02-02
Katalogtype: Fullformat.

1
PublKat: B13 (Rapport utgitt på forlag)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Tittel:  Advances in Cryptology - EUROCRYPT'93. Workshop on the Theory and Appl
         ication of Cryptographic Techniques, May 23-27 1993, Lofthus, Norway:
         Proceedings
Red:     Helleseth, T.
ISBN:    3-540-57600-2
År:      1994
Volum:   765
Side(r): 465 s.
Utgiver: Springer Verlag
Språk:   eng
PublID:  r95004766
StatKat: f

2
PublKat: B13 (Rapport utgitt på forlag)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Tittel:  Norsk informatikkonferanse - NIK'94 (Molde, 14.-16. November 1994)
Red:     Haveraaen, M.
Red:     Jæger, B.
Red:     Bjorvand, S.
Red:     Karlsen, R.
Red:     Krogdahl, S.
Red:     Meldal, S.
ISBN:    82-519-1428-0
År:      1994
Side(r): 341 s.
Utgiver: Tapir
PublID:  r95004765
StatKat: f

3
PublKat: A03 (Artikkel i nordisk vitenskapelig tidsskrift (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Medforf: Heggernes, P.
         UiB-MatNat: Institutt for informatikk
Tittel:  Finding Minimum Height Elimination Trees for Interval Graphs in Polyno
         mial Time
Tidskr:  BIT
ISSN:    0901-246x
År:      1994
Volum:   34
Hefte:   4
Side(r): s. 484-509
Emneord: Sparse matrix computation, elimination trees, parallel computing, int
         erval graphs
Språk:   eng
PublID:  r95004572
StatKat: f

4
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Medforf: Heggernes, P.
         UiB-MatNat: Institutt for informatikk
Tittel:  Finding Minimum Height Elimination Trees for Interval Graphs in Polyno
         mial Time
Serie:   Report in Informatics
År:      1994
Hefte:   80
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004594
StatKat: f

5
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Medforf: Levcopoulos, C.
Medforf: Lingas, A.
Medforf: Storlind, R.
Tittel:  On 2-QBF satisfiability in parallel
År:      1994
Utgiver: Department of Computer Science, Lund Universitet, Sverige
Språk:   eng
PublID:  r95004598
StatKat: f

6
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
Tittel:  Optimal height elimination trees may need non-linear extra fill-in
Serie:   LU-CS-TR:94-128
År:      1994
Utgiver: Department of Computer Science, Lund Universitet, Sverige
Emneord: sparse matrix, elimination tree, chordal completion, fill, vertex
         elimination, parallel processing
SamNor:  Tilknyttet prosjekt: NFR 100421/410. Sammendrag: We show that there
         exist chordal graphs for which any elimination order corresponding to
         a minimum height elimination tree produces a non-linear amount of
         fill. The result implies that a conjecture by J. R. Gilbert regarding
         the amount of fill in minimum height elimination trees does not hold
         for arbitary graphs
Språk:   eng
PublID:  r95004597
StatKat: f

7
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Tittel:  Optimal height elimination trees may need non-linear extra fill-in
Tidskr:  Norsk informatikkonferanse - NIK'94
ISBN:    82-519-1428-0
År:      1994-11-14
Side(r): s. 297-303
Utgiver: Tapir
UtgSted: Molde
Konfer:  Norsk informatikkonferanse
Emneord: sparse matrix, elimination tree, chordal completion, fill, vertex eli
         mination, parallel processing
SamNor:  Tilknyttet prosjekt: NFR 100421/410. Sammendrag: We show that there e
         xist chordal graphs for which any elimination order corresponding to
         a minimum height elimination tree produces a non-linear amount of fil
         l. The result implies that a conjecture by J. R. Gilbert regarding th
         e amount of fill in minimum height elimination trees does not hold fo
         r arbitary graphs
Språk:   eng
PublID:  r95004600
StatKat: f

8
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Tittel:  Optimal height elimination trees may need non-linear extra fill-in
År:      1994-04
UtgSted: Lunds Universitet, Sverige
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004611
StatKat: f

9
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Medforf: Flåm, S. D.
         UiB-SV: Institutt for økonomi
Medforf: Villanger, K. P.
Tittel:  Selecting among scheduled projects
Tidskr:  Operations research letters
ISSN:    0167-6377
År:      1994
Språk:   eng
PublID:  r95004573
StatKat: f

10
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Medforf: Flåm, S. D.
         UiB-SV: Institutt for økonomi
Medforf: Villanger, K. P.
Tittel:  Selecting among scheduled projects
Serie:   Working Paper
År:      1994
Utgiver: UiB-MatNat: Institutt for økonomi
Språk:   eng
PublID:  r95004596
StatKat: f

11
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Tittel:  Selecting among scheduled projects
År:      1994-04
UtgSted: Lunds Universitet, Sverige
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004609
StatKat: f

12
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Aspvall, B.
         UiB-MatNat: Institutt for informatikk
Tittel:  Selecting among scheduled projects
År:      1994-04
UtgSted: Amsterdam, Nederland
Konfer:  8th Conference on Combinatorial Optimization
Språk:   eng
PublID:  r95004610
StatKat: f

13
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Computational Mathematics
År:      1994-10
UtgSted: Uganda Mathematical Society
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004615
StatKat: f

14
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Domain Decomposition
År:      1994-06
UtgSted: Utha, USA
Konfer:  SIAM Linear Algebra Meeting
Språk:   eng
PublID:  r95004617
StatKat: f

15
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Domain Decomposition Algorithms
År:      1994-03
UtgSted: Ticono, Sveits
Konfer:  Conference on Massively Parallel Scientific Computing
Språk:   eng
PublID:  r95004616
StatKat: f

16
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Domain Decomposition (Invitert foredrag)
År:      1994-06
UtgSted: Selbu
Konfer:  Nasjonalt møte på Selbu (NTH)
Språk:   eng
PublID:  r95004618
StatKat: f

17
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Medforf: Moe, R.
         UiB-MatNat: Institutt for informatikk
Tittel:  Domain Decomposition of the Pressure Equation
Serie:   Technical Report
År:      1994
Hefte:   pl-rm-9
Utgiver: UiB-MatNat: Institutt for informatikk, Para//ab
Språk:   eng
PublID:  r95004593
StatKat: f

18
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Domain Decomposition, Parallel Computing and Petroleum Engeneering
År:      1994-11
UtgSted: Ultrecht, Nederland
Konfer:  Parallel computing applications: a path towards the future
Språk:   eng
PublID:  r95004620
StatKat: f

19
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Large Scale Simulations using Parallel Computers
År:      1994-08
UtgSted: Stockholm, Sverige
Konfer:  SIMS '94
Språk:   eng
PublID:  r95004621
StatKat: f

20
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Medforf: Cook, J.
         UiB-MatNat: Institutt for informatikk
Medforf: Palmstrøm, S.
Tittel:  Para//ab Progress Report 1990-1993
ISBN:    82-91442-00-2
År:      1994
Side(r): 60 s.
Utgiver: UiB-MatNat: Institutt for Informatikk, Para//ab
Språk:   eng
PublID:  r95004750
StatKat: f

21
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Parallel Applications using Domain Decomposition
År:      1994-07
UtgSted: St. Girons, Frankrike
Konfer:  Sparse Linear Algebra Meeting
Språk:   eng
PublID:  r95004619
StatKat: f

22
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Parallel Computer Design
År:      1994-04
UtgSted: Universitetet i Uppsala
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004613
StatKat: f

23
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Parallel Computing
År:      1994-02
UtgSted: Universitetet i Oslo
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004612
StatKat: f

24
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Medforf: Coughran, W. M.
Tittel:  Parallel Domain Decomposition Applied to Coupled Transport Equations
Tidskr:  Proceedings from the 7th International Symposium on Domain
         Decomposition Methods 1993
År:      1994
Utgiver: American Mathematical Society
Konfer:  7th International Symposium on Domain Decomposition Methods 199
         3
Språk:   eng
PublID:  r95004602
StatKat: f

25
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Parallel Oil Reservoir Computations
År:      1994-04
UtgSted: University of Warsaw
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004614
StatKat: f

26
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Parallel Oil Reservoir Computations
År:      1994-04
UtgSted: Minneapolis, USA
Konfer:  The supercomputer institute and AHPCRC Workshop on Domain-Based
          parallelism and Problem Decomposition Methods in Computational
          Science and Engineering
Språk:   eng
PublID:  r95004622
StatKat: f

27
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P. E.
         UiB-MatNat: Institutt for informatikk
Medforf: Schreiber, R.
Tittel:  Unstructured Grids on SIMD Tours Machines
Tidskr:  Proceedings from the Scalable, High Performance Computing C
         onference 1994
År:      1994
Konfer:  The Scalable, High Performance Computing Conference 1994
Språk:   eng
PublID:  r95004601
StatKat: f

28
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Bjørstad, P.
         UiB-MatNat: Institutt for informatikk
Medforf: Kårstad, T.
Tittel:  Domain Decomposition, Parallel Computing and Petroleum Engeneering
Tidskr:  SIAM Book on Domain based parallelism
År:      1994
Språk:   eng
PublID:  r95004574
StatKat: f

29
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Børve, K.
Medforf: Herland, B. G.
         UiB-MatNat: Institutt for informatikk
Medforf: Jensen, V. R.
Medforf: Sørevik, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Benchmarking GAMESS on the Intel Paragon XP/S
Tidskr:  Proceedings of ESUG-94
År:      1994-07
UtgSted: Manchester, Storbritania
Konfer:  ESUG-94
Språk:   eng
PublID:  r95004603
StatKat: f

30
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Chen, X.
Medforf: Reed, I.
Medforf: Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Truong, T. K.
Tittel:  Algebraic decoding of binary cyclic codes: A polynomial point of view
Tidskr:  Contemporary mathematics (AMS series)
ISSN:    0271-4132
År:      1994
Volum:   168
Side(r): s. 15-21
Språk:   eng
PublID:  r95004575
StatKat: f

31
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Chen, X.
Medforf: Reed, I. S.
Medforf: Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Truong, T. K.
Tittel:  General Principles for the Algebraic Decoding of Cyclic Codes
Tidskr:  IEEE transactions on information theory
ISSN:    0018-9448
År:      1994
Volum:   40
Side(r): s. 1661-1663
Språk:   eng
PublID:  r95004577
StatKat: f

32
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Chen, X.
Medforf: Reed, I. S.
Medforf: Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Truong, T. K.
Tittel:  Use of Gröbner Bases to Decode Binary Cyclic Codes up to the True Min
         imum Distance
Tidskr:  IEEE transactions on information theory
ISSN:    0018-9448
År:      1994
Volum:   40
Side(r): s. 1654-1661
Språk:   eng
PublID:  r95004576
StatKat: f

33
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Cook, J.
         UiB-MatNat: Institutt for informatikk
Medforf: Enbody, R.
Medforf: Herland, B. G.
         UiB-MatNat: Institutt for informatikk
Tittel:  SUNMOS on the intel Paragon: Evaluation and Early Experience
Serie:   Technical Report
År:      1994
Hefte:   pl-jc-9
Utgiver: UiB-MatNat: Institutt for informatikk, Para//ab
Språk:   eng
PublID:  r95004592
StatKat: f

34
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    yras, V.
         Faculty of Mathematics, vilnius University, Lithyania
Medforf: Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Programming with Data Dependencies: a Comparison of Two Approaches
Tidskr:  Proceedings of the 6th Nordic Workshop on Programming Theor
         y (BRICS Notes Series NS-94-6)
Red:     Engberg, U. H.
Red:     Larsen, K. G.
Red:     Mosses, P. D.
År:      1994-10-17
Side(r): s. 112-126
UtgSted: Aarhus, Denmark
Konfer:  6th Nordic Workshop on Programming Theory
SamNor:  We present two methods for expressing computations based on recurrenc
         e relations and discuss their relative merits. One method, the struct
         ural blanks approach, is built on top of traditional programming lang
         uages like Fortran or Pascal. The other method, the constructive recu
         rsive approach, is based on recursive relations over graphs
Språk:   eng
PublID:  r95006575
StatKat: f

35
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Damberg, O.
Medforf: Storøy, S.
         UiB-MatNat: Institutt for informatikk
Medforf: Sørevik, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  A Data-Parallel Primal-Dual Algorithm for a Special Case of Linear Mul
         ti-Assignment Problem. Report LiTH-MAT-R-1994-15
År:      1994
Utgiver: Department of Mathematics, University of Linköping, Sweden
Språk:   eng
PublID:  r95004599
StatKat: f

36
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Encheva, S.
Medforf: Kløve, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Codes satisfying the chain condition
Tidskr:  IEEE transactions on information theory
ISSN:    0018-9448
År:      1994
Volum:   IT-40
Side(r): s. 175-180
Språk:   eng
PublID:  r95004578
StatKat: f

37
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Espelid, T. O.
         UiB-MatNat: Institutt for informatikk
Medforf: Genz, A.
Tittel:  DECUHR: An algorithm for automatic integration of singular functions o
         ver a hyperrectangular region
Tidskr:  Numerical algorithms
ISSN:    1017-1398
År:      1994
Volum:   8
Side(r): s. 201-220
Språk:   eng
PublID:  r95004581
StatKat: f

38
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Espelid, T. O.
         UiB-MatNat: Institutt for informatikk
Medforf: Overholt, K.
         UiB-MatNat: Institutt for informatikk
Tittel:  DQAINF: An algorithm for automatic integration of infinite oscillating
          tails
Tidskr:  Numerical algorithms
ISSN:    1017-1398
År:      1994
Volum:   8
Side(r): s. 83-101
Språk:   eng
PublID:  r95004580
StatKat: f

39
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Espelid, T. O.
         UiB-MatNat: Institutt for informatikk
Tittel:  On integrating vertex singularities using extrapolation
Tidskr:  BIT
ISSN:    0901-246x
År:      1994
Volum:   34
Side(r): s. 62-79
Språk:   eng
PublID:  r95004582
StatKat: f

40
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Fjelltveit, M.
         UiB-MatNat: Institutt for informatikk
Medforf: Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  On Viterbi decoding of high-rate convolutional codes
Tidskr:  Proceedings from 1994 IEEE International Symposium on Infor
         mation Theory
År:      1994-06
Side(r): s. 167
UtgSted: Trondheim
Konfer:  1994 IEEE International Symposium on Information Theory
Språk:   eng
PublID:  r95004604
StatKat: f

41
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Fjelltveit, M.
         UiB-MatNat: Institutt for informatikk
Medforf: Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  On Viterbi decoding of high-rate convolutional codes on partial-respon
         se channels
Tidskr:  Proceedings from EIDMA Winter Meeting on Coding Theory, Inf
         ormation and Cryptography
År:      1994
UtgSted: Nederland
Konfer:  EIDMA Winter meeting on Coding Theory, Information and Cryptogr
         aphy
Språk:   eng
PublID:  r95004605
StatKat: f

42
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Fredriksen, Ø. B.
         UiB-MatNat: Institutt for informatikk
Tittel:  Algebras with Structure
År:      1994-10
UtgSted: Århus, Danmark
Konfer:  6th Nordic Workshop on Programing Theory
Språk:   eng
PublID:  r95004608
StatKat: f

43
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Fredriksen, Ø. B.
         UiB-MatNat: Institutt for informatikk
Tittel:  From Sets with Structure to Algebras with Structure
Tidskr:  Proceedings of the 5th Nordic Workshop on Program Correctne
         ss. Reports on Computer Science & Mathematics, Ser B
Red:     Back, R. J. R.
Red:     Sere, K.
År:      1994
Utgiver: Åbo Akademi
Konfer:  5th Nordic Workshop on Program Correctness
Språk:   eng
PublID:  r95004606
StatKat: f

44
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Fredriksen, Ø. B.
         UiB-MatNat: Institutt for informatikk
Tittel:  From Sets with Structure to Algebras with Structure
År:      1994-05
UtgSted: Santa Margherita Ligure, Italia
Konfer:  10th ADT / 6th COMPASS Workshop
Språk:   eng
PublID:  r95004607
StatKat: f

45
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hallefjord, Å.
Medforf: Jørnsten, K.
Medforf: Storøy, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Traffic Equilibrium Paradoxes when Travel Demand is Elastic
Tidskr:  Asis-Pacific Journal of Operational Research
År:      1994
Volum:   11
Side(r): s. 41-50
Språk:   eng
PublID:  r95004583
StatKat: f

46
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hamada, N.
Medforf: Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  A characterization of some Temary Codes Meeting the Griesmer Bound
Tidskr:  Contemporary mathematics (AMS Series)
ISSN:    0271-4132
År:      1994
Volum:   168
Side(r): s. 139-150
Språk:   eng
PublID:  r95004584
StatKat: f

47
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hauge, E. R.
         UiB-MatNat: Institutt for informatikk
Tittel:  DeBruijn Sequences and Non-linear recursion
Serie:   Report in Informatics
År:      1994
Hefte:   99
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004595
StatKat: f

48
PublKat: C13 (Doktoravhandling)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hauge, Erik R.
         UiB, Institutt for informatikk
Tittel:  DeBruijn sequences and non-linear recursion.
År:      1994
Side(r): 1 b.
Utgiver: Department of Informatics, University of Bergen
UtgSted: Bergen
URL:     http://www.fou.uib.no/drgrad/1994/413001/
Språk:   eng
PublID:  r00018297
StatKat: a

49
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hauge, L. E. R.
         UiB-MatNat: Institutt for informatikk
Tittel:  Symetry properties on deBruijn-sequences
År:      1994-06
UtgSted: Trondheim
Konfer:  IEEE international Symposium on information Theory
Språk:   eng
PublID:  r95004623
StatKat: f

50
PublKat: C12 (Alminnelig tilgjengelig kompendium)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Abstract Data Types, Software Libraries and Software Life Cycles. Supp
         lement, I120 - Algoritmer, datastrukturer og programmering
År:      1994
Utgiver: UiB-MatNat: Institutt for Informatikk
Språk:   eng
PublID:  r95004753
StatKat: f

51
PublKat: C12 (Alminnelig tilgjengelig kompendium)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Array Algorithms with implicit tree structure. Supplement, I120Algorit
         mer, datastrukturer og programmering
År:      1994
Utgiver: UiB-MatNat: Institutt for Informatikk
Språk:   eng
PublID:  r95004752
StatKat: f

52
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  How to Program Parallel Machines without knowing it (An algebraic inte
         rpretation of Recursive Functions and its Applications to Parallel Pro
         gramming)
År:      1994
UtgSted: University College of Swansea, Wales
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004628
StatKat: f

53
PublKat: C12 (Alminnelig tilgjengelig kompendium)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Programvarekvalitet. Supplemet, I120 - Algoritmer, datastrukturer og p
         rogrammering
År:      1994
Utgiver: UiB-MatNat: Institutt for Informatikk
Språk:   nor
PublID:  r95004751
StatKat: f

54
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  SOPHUS - A C++ library, developed using algebraic techniques, for solv
         ing Partial Differential Equations
År:      1994-12
UtgSted: Centrum voor Wiskunde en informatica, Amsterdam, Nederland
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004626
StatKat: f

55
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  SOPHUS - A C++ library, developed using algebraic techniques, for solv
         ing Partial Differential Equations
År:      1994
UtgSted: University College of Swansea, Wales
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004627
StatKat: f

56
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Haveraaen, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  SOPHUS - A tool for solving partial differential equations
År:      1994-05
UtgSted: Santa Margherita Ligure, Italia
Konfer:  10th Workshop on Specification of Abstract Data Types/6th COMPA
         SS Workshop
Språk:   eng
PublID:  r95004624
StatKat: f

57
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helgesen, C.
         UiB-MatNat: Institutt for informatikk
Tittel:  Approximate Pattern Matching: Algorithms and Applications in Molecular
           Biology
Serie:   Report in Informatics
År:      1994
Hefte:   94
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004736
StatKat: f

58
PublKat: C13 (Doktoravhandling)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helgesen, Carsten
         UiB, Institutt for informatikk
Tittel:  Approximate pattern matching : algorithms and applications in
         molecular biology.
År:      1994
Side(r): 1 b.
Utgiver: Department of Informatics, University of Bergen
UtgSted: Bergen
URL:     http://www.fou.uib.no/drgrad/1994/413002/
Språk:   eng
PublID:  r00018298
StatKat: a

59
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Kumar, P. V.
Tittel:  Algebraic Decoding of the Goethals Code
Tidskr:  Proceedings of EIDMA Winter Meeting on Coding Theory, Infor
         mation and Cryptography
År:      1994-12
UtgSted: Veldhoven, Nederland
Konfer:  EIDMA Winter meeting on Coding Theory, Information and Cryptogr
         aphy
Språk:   eng
PublID:  r95004632
StatKat: f

60
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Kløve, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  Generalizations of the Griesmer bound. Error Control, Cryptography and
          Speech Compression
Tidskr:  Springer lecture notes on computer science
År:      1994
Volum:   829
Side(r): s. 41-52
Språk:   eng
PublID:  r95004585
StatKat: f

61
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Om ikkebinære koder, et gjennombrudd i kodeteori
År:      1994-10
UtgSted: Dombås
Konfer:  Seminar i kommunikasjon
Språk:   nor
PublID:  r95004637
StatKat: f

62
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Kumar, P. V.
Tittel:  The weight hierarchy of Kasami codes
Tidskr:  Proceedings of ISIT'94
År:      1994-06
Side(r): s. 308
UtgSted: Trondheim
Konfer:  ISIT'94
Språk:   eng
PublID:  r95004630
StatKat: f

63
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Kumar, P. V.
Tittel:  The weight hierarchy of semiprimitive codes
Tidskr:  Proceedings of 4th International Workshop on Algebraic and
         Combinatorial Coding Theory
År:      1994
UtgSted: Russland
Konfer:  4th International Workshop on Algebraic and Combinatorial Codin
         g Theory
Språk:   eng
PublID:  r95004631
StatKat: f

64
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hole, K. J.
         UiB-MatNat: Institutt for informatikk
Tittel:  A Stochastic Learning Algorithm for Feed-Forward Neural Networks of Ha
         rd-Limiting Units
Serie:   Report in Informatics
År:      1994
Hefte:   97
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004737
StatKat: f

65
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hole, K. J.
         UiB-MatNat: Institutt for informatikk
Medforf: Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  Convolutional Codes for precoded partial-response channels: A Review
Tidskr:  Proceedings of EIDMA Winter Meeting on Coding Theory, Infor
         mation and Cryptography
År:      1994-12
UtgSted: Veldhoven, Nederland
Konfer:  EIDMA Winter meeting on Coding Theory, Information and Cryptogr
         aphy
Språk:   eng
PublID:  r95004633
StatKat: f

66
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hole, K. J.
         UiB-MatNat: Institutt for informatikk
Medforf: Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  Improved Coding Techniques for Precoded Partial-Response Channels
Tidskr:  IEEE transactions on information theory
ISSN:    0018-9448
År:      1994
Side(r): s. 482-493
Språk:   eng
PublID:  r95004586
StatKat: f

67
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hole, K. J.
         UiB-MatNat: Institutt for informatikk
Tittel:  Koder for magnetisk lagring
År:      1994-10
UtgSted: Dombås
Konfer:  Seminar i kommunikasjon
Språk:   nor
PublID:  r95004638
StatKat: f

68
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hole, K. J.
         UiB-MatNat: Institutt for informatikk
Medforf: Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  Trellis Codes for precodes I-D partial-response channels: Further impr
         oved search techniques
Tidskr:  Proceedings of ISITA'94
År:      1994-11
UtgSted: Sydney, Australia
Konfer:  International Symposium on Information Theory and Its Applicati
         ons
Språk:   eng
PublID:  r95004639
StatKat: f

69
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Hossain, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Graph Coloring and the Estimation of the Jacobain Matrix
År:      1994-08
UtgSted: Berlin, Tyskland
Konfer:  International Conference on Operations Research
Språk:   eng
PublID:  r95004689
StatKat: f

70
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Jørnsten, K.
Medforf: Leisten, R.
Medforf: Storøy, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Gradient Schemes in Iterative Aggregation Procedures for Variable-Aggr
         egated LP-Problems
Tidskr:  Optimization
ISSN:    0323-3898
År:      1994
Volum:   30
Side(r): s. 251-268
Språk:   eng
PublID:  r95004588
StatKat: f

71
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kløve, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Codes for error detection
Tidskr:  Norsk informatikkonferanse - NIK'94
ISBN:    82-519-1428-0
År:      1994-11-14
Side(r): s. 239-246
Utgiver: Tapir
UtgSted: Molde
Konfer:  Norsk informatikkonferanse
Språk:   eng
PublID:  r95004648
StatKat: f

72
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kløve, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Linear codes for error detection on the local binomial channel
Tidskr:  Proceedings of EIDMA Winter Meeting on Coding Theory, Infor
         mation and Cryptography
År:      1994-12
UtgSted: Veldhoven, Nederland
Konfer:  EIDMA Winter meeting on Coding Theory, Information and Cryptogr
         aphy
Språk:   eng
PublID:  r95004634
StatKat: f

73
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kløve, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  On Massey's bound on the worst case probability of undetexted error
Tidskr:  Proceedings of 1994 IEEE International Symposium on Informa
         tion Theory
År:      1994-06
Side(r): s. 167
UtgSted: Trondheim
Konfer:  1994 IEEE International Symposium on Information Theory
Språk:   eng
PublID:  r95004641
StatKat: f

74
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kløve, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Reed-Muller codes for error detection
Tidskr:  Proceedings of 4th International Workshop on Algebraic and
         Combinatorial Coding Theory
År:      1994
Side(r): s. 108-111
UtgSted: Russland
Konfer:  4th International Workshop on Algebraic and Combinatorial Codin
         g Theory
Språk:   eng
PublID:  r95004642
StatKat: f

75
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kløve, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  The weight distribution of cosets
Tidskr:  IEEE transactions on information theory
ISSN:    0018-9448
År:      1994
Volum:   IT-40
Side(r): s. 911-913
Språk:   eng
PublID:  r95004587
StatKat: f

76
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kratochvil, J.
Medforf: Proskurowski, A.
Medforf: Telle, J. A.
         UiB-MatNat: Institutt for informatikk
Tittel:  Complexity of Graph Covering Problems
Tidskr:  Proceedings of Workshop on Graph-Theoretic Consepts in Comp
         uter Science
År:      1994-06
UtgSted: Herrsching, Tyskland
Konfer:  20th Workshop on Graph-Theoretic Concepts in Computer Science
Språk:   eng
PublID:  r95004669
StatKat: f

77
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Krauciukas, V.
Medforf: Walicki, M.
Tittel:  Reasoning and Rewriting with Set-Relations l: Ground Completeness
Serie:   Report in Informatics
År:      1994
Hefte:   92
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004738
StatKat: f

78
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kriauciukas, V.
Medforf: Walicki, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Reasoning and Rewriting with Set-Relations I: Ground Completeness
Tidskr:  CSL'94, Selected Papers (LNCS, vol. 933) (1995)
År:      1994
Side(r): s. 264-278
Utgiver: Springer Verlag
UtgSted: Kazimieiz, Polen
Konfer:  Computer Science Logic, CSL'94
Emneord: rewriting, set relations, resolution, nondeterminism
Språk:   eng
PublID:  r95008669
StatKat: f
LokalK:  D95

79
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kumar, P. V.
Medforf: Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Calderbank, A. R.
Tittel:  An upper bound for some exponential sums over Galois rings
Tidskr:  Proceedings of ISIT'94
År:      1994-06
Side(r): s. 70
UtgSted: Trondheim
Konfer:  ISIT'94
Språk:   eng
PublID:  r95004635
StatKat: f

80
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Kumar, P. V.
Medforf: Helleseth, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Calderbank, A. R.
Medforf: Hammons, A. R.
Tittel:  Large families of quaternary sequences with low correlation
Tidskr:  Proceedings of ISIT'94
År:      1994-06
Side(r): s. 71
UtgSted: Trondheim
Konfer:  ISIT'94
Språk:   eng
PublID:  r95004636
StatKat: f

81
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Langholm, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  Describing Seth with Sets: Remarks on the Use and Interpratation of Se
         t-valued Feature Structures
Tidskr:  Constraints, Language and Computation
Red:     Rupp,
Red:     Rosner,
Red:     Johnson,
År:      1994
Utgiver: Academic Press
Språk:   eng
PublID:  r95004670
StatKat: f

82
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Løkketangen, A.
         UiB-MatNat: Institutt for informatikk
Medforf: Jørnstad, A.
Medforf: Storøy, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Tabu Search within a Pivot and Complement Framework
Tidskr:  Int Trans Operational Research
År:      1994
Volum:   1
Side(r): s. 305-316
Språk:   eng
PublID:  r95004589
StatKat: f

83
PublKat: D03 (Foredrag/poster ved vit. konf. med publisert abstract (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Meldal, S.
         UiB-MatNat: Institutt for informatikk
Medforf: Walicki, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Nondeterministic operators in a standard framework
Tidskr:  Abstracts from the 10th ADT/6th COMPASS Workshop
År:      1994-05
UtgSted: Santa Margherita Ligure, Italia
Konfer:  10th Workshop on Specification of Abstract Data Types/6th COMPA
         SS Workshop
Språk:   eng
PublID:  r95004643
StatKat: f

84
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Meldal, S.
         UiB-MatNat: Institutt for informatikk
Medforf: Pliuskeviciene, A.
Medforf: Pliuskevicius, R.
Medforf: Walicki, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  On Specialization of derivations in axiomatic equality theories
Tidskr:  Proceedings of Symposium on Logical Foundations of Computer
          Science
År:      1994-06
UtgSted: St. Petersburg, Russland
Konfer:  Symposium on Logical Foundations of Computer Science
Språk:   eng
PublID:  r95004676
StatKat: f

85
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Meldal, S.
         UiB-MatNat: Institutt for informatikk
Medforf: Katiyar, D.
Medforf: Luckham, D.
Medforf: Mitchell, J.
Tittel:  Polymorphism and subtyping in interfaces
Tidskr:  Proceedings of Workshop on Interface Design Languages
Red:     Wing, J. M.
År:      1994-01
UtgSted: Carnegie-mellon University
Konfer:  ACM Workshop on Interface Design Languages
Språk:   eng
PublID:  r95004674
StatKat: f

86
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Meldal, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Polymorphism and Subtyping in a Concurrent, Object-Oriented Language
År:      1994-04
UtgSted: University of San Francisco, USA
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004690
StatKat: f

87
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Moe, R.
         UiB-MatNat: Institutt for informatikk
Tittel:  Parallel Algorithms in FRONTSIM
Serie:   Technical Report
År:      1994
Hefte:   pl-rm-9
Utgiver: UiB-MatNat: Institutt for informatikk, Para//ab
Språk:   eng
PublID:  r95004745
StatKat: f

88
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Moe, R.
         UiB-MatNat: Institutt for informatikk
Medforf: Teigland, R.
Tittel:  Parallel Linear Solvers in MUSIC. CMR-94-A20009
År:      1994
Språk:   eng
PublID:  r95004747
StatKat: f

89
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Moe, R.
         UiB-MatNat: Institutt for informatikk
Medforf: Teigland, R.
Tittel:  Parallelization of the MUSIC Code. CMR-94-A25015
År:      1994
Språk:   eng
PublID:  r95004746
StatKat: f

90
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Mughal, K. A.
         UiB-MatNat: Institutt for informatikk
Medforf: Reppy, J.
Medforf: Efremidis, S.
Tittel:  A Framework for Attribute Grammars in ML
Tidskr:  Proceedings of the Nordic Workshop on Programming Environme
         nts Research
År:      1994-06
UtgSted: Lund, Sverige
Konfer:  Nordic Workshop on Programming Environments Research
Språk:   eng
PublID:  r95004681
StatKat: f

91
PublKat: C12 (Alminnelig tilgjengelig kompendium)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Mughal, K. A.
         UiB-MatNat: Institutt for informatikk
Tittel:  Datamodelling i NIAM. Supplemet, I126 - Databaser og datamodellering
År:      1994
Utgiver: UiB-MatNat: Institutt for Informatikk
Språk:   nor
PublID:  r95004756
StatKat: f

92
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Mughal, K. A.
         UiB-MatNat: Institutt for informatikk
Medforf: Reppy, J.
Medforf: Søraas, L.
         UiB-MatNat: Institutt for informatikk
Tittel:  ML Code Generation for AML Specifications
Tidskr:  Proceedings of the Nordic Workshop on Programming Environme
         nts Research
År:      1994-06
UtgSted: Lund, Sverige
Konfer:  Nordic Workshop on Programming Environments Research
Språk:   eng
PublID:  r95004679
StatKat: f

93
PublKat: C12 (Alminnelig tilgjengelig kompendium)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Mughal, K. A.
         UiB-MatNat: Institutt for informatikk
Tittel:  Relational Database Management Systems. Supplemet, I126 - Databaser og
          datamodellering
År:      1994
Utgiver: UiB-MatNat: Institutt for Informatikk
Språk:   eng
PublID:  r95004755
StatKat: f

94
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Medforf: Arya, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  2D Prestack Migration on the MasPar MP-1
Serie:   Report in Informatics
År:      1994
Hefte:   93
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004739
StatKat: f

95
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Tittel:  An algebraic theory fro regular mappings on parallel computers
Serie:   Report in Informatics
År:      1994
Hefte:   102
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004742
StatKat: f

96
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Tittel:  Coordinate free Numerics
År:      1994-09
UtgSted: Trondheim
Konfer:  Jubileumskonferanse "Nørseth 50 år"
Språk:   eng
PublID:  r95004734
StatKat: f

97
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Tittel:  Coordinate Free Numerics, Part 1
Serie:   Report in Informatics
År:      1994
Hefte:   101
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004741
StatKat: f

98
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Medforf: Aarre, V.
         UiB-MatNat: Institutt for informatikk
Tittel:  Optimizing overloaded arithmetic operators in C++
Serie:   Report in Informatics
År:      1994
Hefte:   95
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004740
StatKat: f

99
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Tittel:  Routing K-file permutations on parallel computers
Tidskr:  Norsk informatikkonferanse - NIK'94
ISBN:    82-519-1428-0
År:      1994-11-14
Utgiver: Tapir
UtgSted: Molde
Konfer:  Norsk informatikkonferanse
Språk:   eng
PublID:  r95004645
StatKat: f

100
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Munthe-Kaas, H.
         UiB-MatNat: Institutt for informatikk
Tittel:  Routing K-file permutations on parallel computers
År:      1994-06
UtgSted: Selbu
Konfer:  Norsk Numerikkmøte
Språk:   eng
PublID:  r95004731
StatKat: f

101
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Pliuskevicius, R.
Tittel:  Saturated Calculus for a Rescticted First Order Continous Fix-point
         Linear Temporal Logic
Serie:   Report in Informatics
År:      1994
Hefte:   98
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004743
StatKat: f

102
PublKat: C15 (Hovedfagsoppgave)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Rahman, Talal
         UiB, Institutt for informatikk
Tittel:  GMRES and QMR for Boundary Integral Equations in Wave Body
         Interactions
År:      1994
Side(r): 97 s.
Utgiver: Univeristetet i Bergen, Institutt for informatikk
UtgSted: Bergen
Språk:   eng
PublID:  r01002265
StatKat: a

103
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Steihaug, T.
         UiB-MatNat: Institutt for informatikk
Tittel:  A truncated interior point method
År:      1994-08
UtgSted: USA
Konfer:  15th International Symposium on Mathenatical Programming
Språk:   eng
PublID:  r95004733
StatKat: f

104
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Steihaug, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Spildo, E.
Tittel:  Implementasjon av en trunkert indre punkt metode
År:      1994-06
UtgSted: Selbu
Konfer:  Norsk Numerikkmøte
Språk:   nor
PublID:  r95004732
StatKat: f

105
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Steihaug, T.
         UiB-MatNat: Institutt for informatikk
Medforf: Noreide, L.
Tittel:  To rank a Miss without to miss a Rank
Tidskr:  Norsk informatikkonferanse - NIK'94
ISBN:    82-519-1428-0
År:      1994-11-14
Side(r): s. 207-218
Utgiver: Tapir
UtgSted: Molde
Konfer:  Norsk informatikkonferanse
Språk:   eng
PublID:  r95004646
StatKat: f

106
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Storøy, S.
         UiB-MatNat: Institutt for informatikk
Medforf: Hallefjord, Å.
Medforf: Jørnsten, K.
Tittel:  Traffic Equilibrium Paradoxes when Travel Demand is Elastic
År:      1994-11-14
UtgSted: Molde
Konfer:  Norsk informatikkonferanse
Språk:   eng
PublID:  r95004647
StatKat: f

107
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Storøy, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Weights Improvement in Column Aggregation
Tidskr:  European journal of operational research
ISSN:    0377-2217
År:      1994
Volum:   73
Side(r): s. 510-516
Språk:   eng
PublID:  r95004590
StatKat: f

108
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Telle, J. A.
         UiB-MatNat: Institutt for informatikk
Tittel:  Complexity of Domination-type Problems in Graphs
Tidskr:  Computing
ISSN:    0144-3097
År:      1994
Volum:   1
Side(r): s. 157-171
Språk:   eng
PublID:  r95004591
StatKat: f

109
PublKat: C13 (Doktoravhandling)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Telle, J. A.
Tittel:  Vertex Partitioning Problems: Characterization, Complexity and Algorit
         hms on Partial K-trees. Dr.Scient. avhandling. University of Oregon, C
         IS-TR-18-94
År:      1994
Språk:   eng
PublID:  r95004758
StatKat: f

110
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Telle, J. A.
         UiB-MatNat: Institutt for informatikk
Tittel:  Vertex Partitioning Problems on Partial k-Trees
År:      1994-03
UtgSted: Florida, USA
Konfer:  25th South Eastern Conference on Combinatorics, Graph Theory an
         d Computing
Språk:   eng
PublID:  r95004699
StatKat: f

111
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Tvete, P. O.
         UiB-MatNat: Institutt for informatikk
Medforf: Meldal, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Causality Breakdown at Omega
Tidskr:  Proceedings of 5th Nordic Workshop on Program Correctness
År:      1994
Side(r): s. 194-203
UtgSted: Åbo Akademi
Konfer:  5th Nordic Workshop on Program Correctness
Språk:   eng
PublID:  r95004683
StatKat: f

112
PublKat: A11 (Artikkel i internasjonalt vitenskapelig tidsskrift med referee)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Vainikko, E.
         UiB-Med: De prekliniske institutter
Tittel:  Courant elements for the inverse problem in the filtration coefficient
          identification
Tidskr:  Lecture notes in pure and applied mathematics
ISSN:    0075-8469
År:      1994
Volum:   164
Side(r): s. 451-459
Språk:   eng
PublID:  r95004748
StatKat: f

113
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Vainikko, E.
         UiB-MatNat: Institutt for informatikk
Tittel:  Inverse problem of the filtration coefficient identification
År:      1994-08
UtgSted: Jutland, Danmark
Konfer:  Interdiciplinary inversion Summer School
Språk:   eng
PublID:  r95004735
StatKat: f

114
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Vermesan, A.
         UiB-MatNat: Institutt for informatikk
Medforf: Wergeland, T. H.
Tittel:  A formal approach to knowldege base refinement and verification
Tidskr:  Proceedings of ECIA'94 Workshop on Validation of Knowledge-
         Based Systems
År:      1994
UtgSted: Amsterdam, Nederland
Konfer:  ECIA'94 Workshop on Validation of Knowldege-Based Systems
Språk:   eng
PublID:  r95004687
StatKat: f

115
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Vermesan, A.
         UiB-MatNat: Institutt for informatikk
Medforf: Wergeland, T. H.
Tittel:  A formally bound methodology for deriving verifiable expert systems fr
         om specifications
Tidskr:  Proceedings of AAAI'94 Workshop on Validation of Knowledge-
         Based Systems
År:      1994
UtgSted: Seattle, USA
Konfer:  AAAI'94 Workshop on Validation of Knowldege-Based Systems
Språk:   eng
PublID:  r95004685
StatKat: f

116
PublKat: C12 (Alminnelig tilgjengelig kompendium)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Vermesan, A.
Medforf: Wergeland, T. H.
Tittel:  Expert System Verification and Validation: Issues and approaches.
         Foundation for Research in Economics and Business Administration
Serie:   Working paper
År:      1994
Hefte:   82
Språk:   eng
PublID:  r95004749
StatKat: f

117
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Walicki, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Implementation of Nondeterministic Data Types
År:      1994-12
UtgSted: Det Polske Vitenskapsakademi, Warzawa
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004692
StatKat: f

118
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Walicki, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Multialgebras and Logics for Nondeterminism
År:      1994
UtgSted: Ludwig-Maximilian Univerität, München, Tyskland
Konfer:  Gjesteforelesning
Språk:   eng
PublID:  r95004694
StatKat: f

119
PublKat: D03 (Foredrag/poster ved vit. konf. med publisert abstract (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Walicki, M.
         UiB-MatNat: Institutt for informatikk
Medforf: Meldal, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Multialgebras, Power Algebras and Complete Calculi of identities and i
         nclusions
Tidskr:  Abstracts from the 10th ADT/6th COMPASS Workshop
År:      1994-05
UtgSted: Santa Margherita Ligure, Italia
Konfer:  10th Workshop on Specification of Abstract Data Types/6th COMPA
         SS Workshop
Språk:   eng
PublID:  r95004644
StatKat: f

120
PublKat: D02 (Foredrag/poster ved vit. konf. med publisert artikkel (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Walicki, M.
         UiB-MatNat: Institutt for informatikk
Medforf: Meldal, S.
         UiB-MatNat: Institutt for informatikk
Tittel:  Multialgebras, Power Algebras and Complete Calculi of identities and i
         nclusions
Tidskr:  Recent Trends in Data Type Specification : 10th Workshop on
          Specification of Abstract Data Types joint with the 5th CO
         MPASS Workshop : Selected papers. LNCS 906 (1995)
Red:     Astesiano, E.
Red:     Reggio, G.
Red:     Tarlecki, A.
ISBN:    3-540-59132-x
År:      1994-05
Side(r): s. 453-468
Utgiver: Springer-Verlag, Berlin
UtgSted: Santa Margherita Ligure, Italia
Konfer:  10th Workshop on Specification of Abstract Data Types/6th COMPA
         SS Workshop
Emneord: Algebraic Specification, Nondeterninism, Multialgebras, Complete Reso
         ning Systems
Språk:   eng
PublID:  r95006770
StatKat: f
LokalK:  D95

121
PublKat: C11 (Rapport utgitt av institusjon, forening, o.a.)
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Walicki, M.
         UiB-MatNat: Institutt for informatikk
Tittel:  Singular and Plural Nondeterministic Parameters
Serie:   Report in Informatics
År:      1994
Hefte:   96
Utgiver: UiB-MatNat: Institutt for informatikk
Språk:   eng
PublID:  r95004744
StatKat: f

122
PublKat: D04 (Uspesifisert foredrag med eller uten publisering (t.o.m. 1998))
Instit:  Universitetet i Bergen, Det matematisk-naturvitenskapelige fakultet, Institutt for informatikk
Forf:    Ytrehus, Ø.
         UiB-MatNat: Institutt for informatikk
Tittel:  On Trellis Decoding
År:      1994-10
UtgSted: Dombås
Konfer:  Seminar i kommunikasjon
Språk:   eng
PublID:  r95004640
StatKat: f


<- forrigeinnholdneste ->