| Roland Olsson (HiØstfold): |
Evolutionary inductive inference of functional
programs |
| Roger Klausen & Jan Komorowski (IDT, NTH): |
Synthesis via induction, deduction, and
abduction |
| Lars Kristiansen (Ifi, UiO): |
On some classes of subrecursive functions |
| Reidar Conradi (NTH) & Jacky Estublier (LGI, Genoble): |
The major software process categories: taxonomy and
technology assessment |
| Stein Ryan (Ifi, UiO): |
Experiments with information content as a complexity
measure |
| Magne Jørgensen (TF, Kjeller): |
Predicition of software maintenance effort |
| Dag Sjøberg (Ifi, UiO): |
Software constraint models ― a means to improve
maintainability and consistency |
| Jens-Otto Larsen (IDT, NTH), Frank Eliassen, Randi Karlsen
& Weihai Yu (UiTø): |
Application of partition serializability in software
engineering databases |
| Rone Hjelsvold & Roger Midtstraum (IDT, NTH): |
Digital video archives |
| Hans Munthe-Kaas (Ifi, UiB): |
Routing K-tile permutations on parallel
computers |
| Fredrik Manne (Norsk Hydro): |
Seismisk modellering på arbeidsstasjoner i
nettverk |
| Roar Skålin (IMF, NTH) & Ivar Lie (FFI): |
Parallel implementation of a limited area atmospheric
model. A study of different programming paradigms |
| Kjell-Arne Fransplass & Asbjørn Thomassen (Ifi, AVH): |
A validation of GOMS through a usability evaluation of
Windows and Finder |
| Kai A Olsen, Jorun K Bjerkeset & Karianne Mauland
(HiMolde): |
Interpretation of article header data, using a standard
OCR system |
| Lasse Natvig (IDT, NTH): |
Why computational science and engineering should be of
interest to computer scientists |
| Trond Steihaug & Lars Nordeide (Ifi, UiB): |
To rank a Miss without to miss a rank |
| Åsa Hallefjord, Knut Jørnstein & Sverre Storøy (Ifi, UiB): |
Traffic equilibrium paradoxes when travel demand is
elastic |
| Hallvard Trætteberg (Sintef informatikk): |
KITS ― knowledgebased and intelligent traffic control
system |
| Torleiv Kløve (Ifi, UiB): |
Codes for error detection |
| Svein Mossige (Mat, UiB): |
On the extremal basis problem for k=4 in the postage
stamp problem |
| Ahmed Guessom & Torulf Mollestad (IDT, NTH): |
A knowledge-based approach to goal recognition |
| Ellen Munthe-Kaas (Ifi, UiO): |
Formal specification and verification of asynchronous
coherent message-passing systems: report from a major test
case |
| Vladmimir Oleshchuk (HiAgder): |
On boundedness for waiting-free priority networks of
communicating finite-state machines |
| Bengt Aspval (Ifi, UiB): |
Optimal height elimination trees may need non-linear
extra fill-in |
| Eric Monteiro, Ole Hanseth & Mona-Lise Pedersen (NR): |
Participatory standardization and social shaping of
information infrastructure |
| Arild Jansen (HiFinnmark): |
Rural development through diffusion of new
technology |
| Beni Ruef & Bjørn Jæger (HiMolde): |
Using World-Wide Web for a conference information
system: a case study |
