R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-17 : Recursively defined domains and their induction principles

Del 83-1 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-1 : Integral equation methods of non-homogeneous elastodynamic diffraction

Svend Berntsen

Del 83-2 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-2 : Polarization properties of the axial mode helix antenna

R.G. Vaughan

Del 83-5 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-5 : Finite dimensional Korovkin spaces in lₚ-spaces

Eggert Briem

Del 83-6 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-6 : The concatenated structure of cyclic and Abelian codes

Jørn Møller Jensen (f. 1954)

Del 83-7 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-7 : Addition af trekanter

Ernest J. Eckert

Del 83-8 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-8 : Modelling and monitoring the production process of Human Placental Lactogen (HPL)

Mogens Christensen (f. 1943)

Del 83-9 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-9 : Videnskabsteori og sandsynlighedsbegreber

Ole Skovsmose

Del 83-10 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-10 : Satellite-TV-receiver : english summary

J. Bach Andersen

Del 83-11 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 83-11 : Hørestyrke og genevirkning af infralyd

Bjarne Kirk (f. 1954)

Del 84-1 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-1 : An application of graph theory in geographical data processing

Erik Stubkjær

Del 84-02 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-02 : On cycle covers

C. Hoede

Del 84-3 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-3 : Error-correcting capabilities of concatenated codes with MDS outer codes on memoryless channels with maximum-likelihood decoding

C. Thommesen

Del 84-4 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-4 : Geokodning af arealbaseret information

Erik Stubkjær

Del 84-5 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-5 : Physiological and psychological effects of infrasound on humans

Henrik Møller (f. 1951)

Del 84-6 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-6 : Loudness of pure tones at low infrasonic frequencies

Henrik Møller (f. 1951)

Del 84-7 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-7 : Equal annoyance contours for infrasonic frequencies

Jente Andresen (f. 1944)

Del 84-8 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-8 : Mixed interaction models

Nanny Wermuth

Del 84-9 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-9 : Mazurkiewicz traces semantics for communicating sequential processes

Ryszard Janicki

Del 84-10 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-10 : Intra- and extracellular potential fields of active fiber with elliptical cross section

Günther Johannsen

Del 84-11 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-11 : Groups of triangles

Ernest J. Eckert

Del 84-12 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-12 : Statistical manifolds

Steffen L. Lauritzen (f. 1947)

Del 84-13 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-13 : Overgangen fra folkeskole til gymnasium : 1. delrapport fra projektet "Gymnasieforløbsundersøgelsen"

Finn V. Jensen (f. 1945)

Del 84-14 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-14 : Reference-based data model

Romuald Kepa

Del 84-15 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-15 : Mathematical education versus critical education

Ole Skovsmose

Del 84-16 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-16 : A formal semantics for concurrent systems with a priority relation

Ryszard Janicki

Del 84-17 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-17 : Recursively defined domains and their induction principles

Finn V. Jensen (f. 1945)

Del 84-18 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 84-18 : A theorem on the languages generated by vectors of coroutines

Ryszard Janicki

Del 85-1 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-1 : Hoare-like proof systems for run-time analysis of programs

Hanne Riis Nielson

Del 85-2 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-2 : Completing partial latin squares

Lars Døvling Andersen

Del 85-3 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-3 : Tensor products generalize the relational data flow analysis method

Flemming Nielson

Del 85-4 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-4 : A hoare-like proof system for total correctness of nested recursive procedures

Hanne Riis Nielson

Del 85-5 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-5 : Abstract interpretation of denotational definitions : (a survey)

Flemming Nielson

Del 85-6 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-6 : Concurrent and maximally concurrent evolution of non-sequential systems : (revised version)

Ryszard Janicki

Del 85-7 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-7 : An estimate of the contributions of lenght and force feedback to the regulation of soleus muscle stiffness in the premammilary cat

Steen Andreassen (f. 1949)

Del 85-8 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-8 : Line source models for active fibers

Günther Johannsen

Del 85-9 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-9 : Expected forms of data flow analyses

Flemming Nielson

Del 85-10 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-10 : Talestyret kommunikationsterminal : statusrapport

Thomas Balle

Del 85-11 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-11 : Test of hypotheses in decomposable mixed interaction models

Steffen L. Lauritzen (f. 1947)

Del 85-12 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-12 : Trace semantics for communicating sequential processes

Ryszard Janicki

Del 85-13 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-13 : Pragmatic aspects of two-level denotational meta-languages

Flemming Nielson

Del 85-14 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-14 : Modelling the production process of human placental lactogen (HPL)

Mogens Christensen (f. 1943)

Del 85-15 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-15 : Hamilton circuits with many colours in properly edge-coloured complete graphs

Lars Døvling Andersen

85/16 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85/16 : The classification of near hexagons with lines of size three

A.E. Brouwer

Del 85-17 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-17 : Linievalg og grenvalg i gymnasiet : 2. delrapport fra projektet "Gymnasieforløbsundersøgelsen"

Finn V. Jensen (f. 1945)

Del 85-18 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-18 : Taleteknologi : studie- og kongresrejse i USA og Canada marts/april 1985

Thomas Balle

Del 85-19 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 85-19 : On reorienting graphs by pushing down maximal vertices

Oliver Pretzel

86/1 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 86/1 : A formal semantics for concurrent systems with a priority relation

Ryszard Janicki

86/2 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 86/2 : Triangulated graphs with marked vertices

Hanns-Georg Leimer

86/3 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 86/3 : Fixedpoint semantics of recursive coroutine vectors

Eugeniusz Eberbach

86/4 - R / Aalborg Universitetscenter, Institut for Elektroniske Systemer. 86/4 : Digital fasemodulation : (2-PSK, 4-PSK, 2-4PSK, 8-PSK)

Johan Brøndum