<DT>
Report A14
<DD> Marko Rauhamaa,
<a href = "http://saturn.hut.fi/pub/reports/A14abstract.html">
<i>A Comparative Study of the Methods for Efficient Reachability
  Analysis</i></a>,
September 1990.

<DT>
Report A16
<DD> Johan Lilius,
<a href = "http://saturn.hut.fi/pub/reports/A16abstract.html">
<i>On the Compositionality and Analysis of Algebraic High-Level Nets</i></a>,
October 1991.

<DT>
Report A18
<DD> Patric R. J. Östergård,
<a href = "http://saturn.hut.fi/pub/reports/A18abstract.html">
<i>Constructions of Mixed Covering Codes</i></a>,
December 1991.

<DT>
Report A20
<DD> Jussi Rintanen,
<a href = "http://saturn.hut.fi/pub/reports/A20abstract.html">
<i>Stratification and Tractability in Nonmonotonic Reasoning</i></a>,
November 1992.

<DT>
Report A21
<DD> Tomi Janhunen,
<a href = "http://saturn.hut.fi/pub/reports/A21abstract.html">
<i>Weakened Negative Introspection in Autoepistemic Reasoning</i></a>,
February 1993.

<DT>
Report A22
<DD> Patric R. J. Östergård and Heikki O. Hämäläinen,
<a href = "http://saturn.hut.fi/pub/reports/A22abstract.html">
<i>New Upper Bounds for Binary/Ternary Mixed Covering Codes</i></a>,
March 1993.

<DT>
Report A23
<DD> Johan Lilius,
<a href = "http://saturn.hut.fi/pub/reports/A23abstract.html">
<i>A Sheaf Semantics for Petri Nets</i></a>,
June 1993.

<DT>
Report A24
<DD> Ilkka Niemelä,
<a href = "http://saturn.hut.fi/pub/reports/A24abstract.html">
<i>Autoepistemic Logic as a Unified Basis for Nonmonotonic Reasoning</i></a>,
August 1994.

<DT>
Report A25
<DD> Patric R. J. Östergård,
<a href = "http://saturn.hut.fi/pub/reports/A25abstract.html">
<i>Construction Methods for Covering Codes</i></a>,
September 1993.

<DT>
Report A26
<DD> Kimmo Varpaaniemi,
<a href = "http://saturn.hut.fi/pub/reports/A26abstract.html">
<i>Efficient Detection of Deadlocks in Petri Nets</i></a>,
October 1993.

<DT>
Report A27
<DD> Kari J. Nurmela,
<a href = "http://saturn.hut.fi/pub/reports/A27abstract.html">
<i>Constructing Combinatorial Designs by Local Search</i></a>,
November 1993.

<DT>
Report A28
<DD> Jussi Rintanen,
<a href = "http://saturn.hut.fi/pub/reports/A28abstract.html">
<i>Priorities and Nonmonotonic Reasoning</i></a>,
December 1993.

<DT>
Report A29
<DD> Tino Pyssysalo,
<a href = "http://saturn.hut.fi/pub/reports/A29abstract.html">
<i>The Modelling and Analysis of a High Speed Data Bus with
  Predicate/Transition Nets</i></a>,
March 1994.

<DT>
Report A30
<DD> Johan Lilius,
<a href = "http://saturn.hut.fi/pub/reports/A30abstract.html">
<i>On the folding of Algebraic Nets</i></a>,
August 1994.

<DT>
Report A31
<DD> Tomi Janhunen,
<a href = "http://saturn.hut.fi/pub/reports/A31abstract.html">
<i>Investigations on Cautious Autoepistemic Reasoning</i></a>,
December 1994.

<DT>
Report A32
<DD> Kari J. Nurmela,
<a href = "http://saturn.hut.fi/pub/reports/A32abstract.html">
<i>Constructing Spherical Codes by Global Optimization Methods</i></a>,
February 1995.

<DT>
Report A33
<DD> Johan Lilius,
<a href = "http://saturn.hut.fi/pub/reports/A33abstract.html">
<i>On the Structure of High-level Nets</i></a>,
March 1995.

<DT>
Report A34
<DD> Jari Juopperi,
<a href = "http://saturn.hut.fi/pub/reports/A34abstract.html">
<i>PrT-net Based Analysis of Information Flow Security Nets</i></a>,
March 1995.

<DT>
Report B10
<DD> Kari J. Nurmela and Patric R. J. Östergård,
<a href = "http://saturn.hut.fi/pub/reports/B10abstract.html">
<i>Constructing Covering Designs by Simulated Annealing</i></a>,
January 1993.

<DT>
Report B11
<DD> Peter Grönberg, Mikko Tiusanen, and Kimmo Varpaaniemi,
<a href = "http://saturn.hut.fi/pub/reports/B11abstract.html">
<i>PROD - A Pr/T-Net Reachability Analysis Tool</i></a>,
June 1993.

<DT>
Report B12
<DD> Kimmo Varpaaniemi,
<a href = "http://saturn.hut.fi/pub/reports/B12abstract.html">
<i>On Computing Symmetries and Stubborn Sets</i></a>,
April 1994.

