TCS / Research / Publications / Research Reports (Series A)
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Helsinki University of Technology
Laboratory for Theoretical Computer Science
Research Reports (Series A)

Series editor: Professor Ilkka Niemelš
Editorial assistant: Mrs Ulla Kangasniemi

2007

108Henrik Petander. A network mobility management architecture for a heterogeneous network environment. Research Report A108, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. Doctoral dissertation. ISBN 978-951-22-9098-7.
PDF (707 kB)
Info
See lib.tkk.fi ...
107Matti Järvisalo. Impact of restricted branching on clause learning SAT solving. Research Report A107, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2007. ISBN 978-951-22-8907-3.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (2 MB)
GZipped PostScript (527 kB)
PDF (726 kB)
Info
See www.tcs.hut.fi ...

2006

106Emilia Oikarinen. Modular answer set programming. Research Report A106, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2006.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (561 kB)
PDF (681 kB)
Info
See www.tcs.hut.fi ...
105Misa Keinänen. Techniques for solving boolean equation systems. Research Report A105, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2006. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (436 kB)
PDF (693 kB)
Info
See lib.tkk.fi ...
104Heikki Tauriainen. Automata and linear temporal logic: Translations with transition-based acceptance. Research Report A104, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2006. Doctoral dissertation.
PostScript (4 MB)
GZipped PostScript (1 MB)
PDF (2 MB)
Info
See lib.tkk.fi ...
103Janne Lundberg. A wireless multicast delivery architecture for mobile terminals. Research Report A103, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2006. Doctoral dissertation.
PostScript (2 MB)
GZipped PostScript (549 kB)
PDF (914 kB)
Info
See lib.tkk.fi ...
102Satu Elisa Schaeffer. Algorithms for nonuniform networks. Research Report A102, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2006. Doctoral dissertation.
PostScript (26 MB)
GZipped PostScript (3 MB)
PDF (4 MB)
Info
See lib.tkk.fi ...
101Jori Dubrovin. Jumbala — an action language for UML state machines. Research Report A101, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, March 2006.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (809 kB)
GZipped PostScript (307 kB)
PDF (499 kB)
Info
See www.tcs.hut.fi ...
100Antti E. J. Hyvärinen. SATU: A system for distributed propositional satisfiability checking in computational grids. Research Report A100, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2006.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (2 MB)
GZipped PostScript (602 kB)
PDF (685 kB)
Info
See www.tcs.hut.fi ...

2005

99Antti Autere. Extensions and applications of the algorithm. Research Report A98, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. Doctoral dissertation.
PostScript (8 MB)
GZipped PostScript (857 kB)
PDF (1 MB)
Info
See lib.tkk.fi ...
98Misa Keinänen. Solving boolean equation systems. Research Report A99, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (716 kB)
GZipped PostScript (314 kB)
PDF (401 kB)
Info
See www.tcs.hut.fi ...
97Toni Jussila. On bounded model checking of asynchronous systems. Research Report A97, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2005. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (510 kB)
PDF (883 kB)
Info
See lib.tkk.fi ...
96Heikki Tauriainen. A note on the worst-case memory requirements of generalized nested depth-first search. Research Report A96, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2005.
PostScript (507 kB)
GZipped PostScript (236 kB)
PDF (191 kB)
Info
95Timo Latvala. Automata-theoretic and bounded model checking for linear temporal logic. Research Report A95, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (1 MB)
GZipped PostScript (454 kB)
PDF (560 kB)
Info
See lib.tkk.fi ...
94Petteri Kaski. Algorithms for classification of combinatorial objects. Research Report A94, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2005. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (796 kB)
GZipped PostScript (335 kB)
PDF (446 kB)
Info
See lib.tkk.fi ...

2004

93Tuomo Pyhälä. Specification-based test selection in formal conformance testing. Research Report A93, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2004.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (936 kB)
GZipped PostScript (355 kB)
PDF (456 kB)
Info
See www.tcs.hut.fi ...
92Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. Research Report A92, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2004.
PostScript (1 MB)
GZipped PostScript (312 kB)
PDF (369 kB)
Info
91Mikko Särelä. Measuring the effects of mobility on reactive ad hoc routing protocols. Research Report A91, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2004.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (325 kB)
PDF (425 kB)
Info
See www.tcs.hut.fi ...
90Matti Järvisalo. Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking. Research Report A90, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, March 2004.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (781 kB)
GZipped PostScript (317 kB)
PDF (360 kB)
Info
See www.tcs.hut.fi ...
89Harri Haanpää and Patric R. J. Östergård. Sets in Abelian groups with distinct sums of pairs. Research Report A87, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004.
PostScript (421 kB)
GZipped PostScript (210 kB)
PDF (151 kB)
Info
88Harri Haanpää. Minimum sum and difference covers of Abelian groups. Research Report A88, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004.
PostScript (405 kB)
GZipped PostScript (204 kB)
PDF (138 kB)
Info
87Harri Haanpää. Constructing certain combinatorial structures by computational methods. Research Report A89, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2004. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (568 kB)
GZipped PostScript (267 kB)
PDF (272 kB)
Info
See lib.hut.fi ...

2003

86Heikki Tauriainen. On translating linear temporal logic into alternating and nondeterministic automata. Research Report A83, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Licentiate's thesis.
PostScript (2 MB)
GZipped PostScript (717 kB)
PDF (1 MB)
Info
85Johan Wallén. On the differential and linear properties of addition. Research Report A84, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Master's thesis.
PostScript (1 MB)
GZipped PostScript (402 kB)
PDF (493 kB)
Info
84Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Research Report A85, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (961 kB)
GZipped PostScript (350 kB)
PDF (472 kB)
Info
See www.tcs.hut.fi ...
83Tommi Syrjänen. Logic programming with cardinality constraints. Research Report A86, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (403 kB)
PDF (654 kB)
Info
See www.tcs.hut.fi ...
82Marko Mäkelä. Efficient computer-aided verification of parallel and distributed software systems. Research Report A81, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (966 kB)
GZipped PostScript (391 kB)
PDF (681 kB)
Info
See lib.hut.fi ...
81Tomi Janhunen. Translatability and intranslatability results for certain classes of logic programs. Research Report A82, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2003.
PostScript (1 MB)
GZipped PostScript (445 kB)
PDF (674 kB)
Info
80Tommi Junttila. On the symmetry reduction method for Petri nets and similar formalisms. Research Report A80, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2003. Doctoral dissertation.
PostScript (3 MB)
GZipped PostScript (1 MB)
PDF (1 MB)
Info
See lib.hut.fi ...
79Heikki Tauriainen. Nested emptiness search for generalized Büchi automata. Research Report A79, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2003.
PostScript (507 kB)
GZipped PostScript (239 kB)
PDF (226 kB)
Info
78Petteri Kaski. A census of Steiner triple systems and some related combinatorial objects. Research Report A78, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2003.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (879 kB)
GZipped PostScript (364 kB)
PDF (452 kB)
Info
See www.tcs.hut.fi ...
77Satu Virtanen. Properties of nonuniform random graph models. Research Report A77, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2003.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (2 MB)
GZipped PostScript (731 kB)
PDF (1 MB)
Info
See www.tcs.hut.fi ...

2002

76Timo Latvala. On model checking safety properties. Research Report A76, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2002.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (830 kB)
GZipped PostScript (349 kB)
PDF (471 kB)
Info
See www.tcs.hut.fi ...
75Tommi Junttila. New canonical representative marking algorithms for place/transition-nets. Research Report A75, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2002.
PostScript (1 MB)
GZipped PostScript (545 kB)
PDF (460 kB)
Info
74Sam Sandqvist. Aspects of modelling and simulation of genetic algorithms: A formal approach. Research Report A74, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, September 2002. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (589 kB)
PDF (1 MB)
Info
See lib.hut.fi ...
73Toni Jussila. Bounded model checking for verifying concurrent programs. Research Report A73, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2002.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (676 kB)
GZipped PostScript (300 kB)
PDF (388 kB)
Info
See www.tcs.hut.fi ...
72Tommi Junttila. Symmetry reduction algorithms for data symmetries. Research Report A72, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2002.
PostScript (2 MB)
GZipped PostScript (986 kB)
PDF (833 kB)
Info
71Keijo Heljanko. Combining symbolic and partial order methods for model checking 1-safe Petri nets. Research Report A71, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, February 2002. Doctoral dissertation.
NOTE: Papers available through URL below.
PostScript (724 kB)
GZipped PostScript (314 kB)
PDF (563 kB)
Info
See lib.hut.fi ...

2001

70Petteri Kaski. Isomorph-free exhaustive generation of combinatorial designs. Research Report A70, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2001.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (406 kB)
PDF (716 kB)
Info
See www.tcs.hut.fi ...
69Marko Mäkelä. A reachability analyser for algebraic system nets. Research Report A69, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2001.
PostScript (1 MB)
GZipped PostScript (471 kB)
PDF (867 kB)
Info
68Javier Esparza and Keijo Heljanko. Implementing LTL model checking with net unfoldings. Research Report A68, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, March 2001.
PostScript (666 kB)
GZipped PostScript (270 kB)
PDF (457 kB)
Info
67Timo Latvala. Model checking linear temporal logic properties of Petri nets with fairness constraints. Research Report A67, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, January 2001.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (694 kB)
GZipped PostScript (297 kB)
PDF (548 kB)
Info
See www.tcs.hut.fi ...

2000

66Heikki Tauriainen. Automated testing of Büchi automata translators for linear temporal logic. Research Report A66, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2000.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (498 kB)
PDF (1 MB)
Info
See www.tcs.hut.fi ...
65Tuomas Aura. Authorization and availability - aspects of open network security. Research Report A64, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2000. Doctoral dissertation.
PostScript (466 kB)
GZipped PostScript (211 kB)
Info
64Harri Haanpää. Computational methods for Ramsey numbers. Research Report A65, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2000.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (682 kB)
GZipped PostScript (277 kB)
Info
See www.tcs.hut.fi ...
63Nisse Husberg, Tomi Janhunen, and Ilkka Niemelä (Eds.). Leksa notes in computer science. Research Report A63, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, October 2000.
Info
62Kari J. Nurmela and Patric R. J. Östergård. Covering a square with up to 30 equal circles. Research Report A62, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2000.
PostScript (511 kB)
GZipped PostScript (176 kB)
Info
61Patrik Simons. Extending and implementing the stable model semantics. Research Report A58, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000. Doctoral dissertation.
PostScript (2 MB)
GZipped PostScript (710 kB)
Info
60Tommi Junttila. Computational complexity of the place/transition-net symmetry reduction method. Research Report A59, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000.
PostScript (646 kB)
GZipped PostScript (239 kB)
Info
59Javier Esparza and Keijo Heljanko. A new unfolding approach to LTL model checking. Research Report A60, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000.
PostScript (781 kB)
GZipped PostScript (257 kB)
Info
58Tuomas Aura and Carl Ellison. Privacy and accountability in certificate systems. Research Report A61, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2000.
PostScript (369 kB)
GZipped PostScript (175 kB)
Info

1999

57Tommi Syrjänen. A rule-based formal model for software configuration. Research Report A55, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (664 kB)
GZipped PostScript (270 kB)
Info
See www.tcs.hut.fi ...
56Keijo Heljanko. Deadlock and reachability checking with finite complete prefixes. Research Report A56, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (912 kB)
GZipped PostScript (337 kB)
Info
See www.tcs.hut.fi ...
55Tommi Junttila. Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis. Research Report A57, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, Espoo, Finland, December 1999.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (534 kB)
Info
See www.tcs.hut.fi ...
54Antti Huima. Analysis of cryptographic protocols via symbolic state space enumeration. Research Report A54, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 1999.
Info
See www.tcs.hut.fi ...

1998

53Kimmo Varpaaniemi. On the stubborn set method in reduced state space generation. Research Report A51, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, May 1998. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (348 kB)
PDF (848 kB)
Info
52Ilkka Niemelä and Torsten Schaub (Eds.). Proceedings of the workshop on computational aspects of nonmonotonic reasoning. Research Report A52, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1998.
PostScript (499 kB)
GZipped PostScript (90 kB)
Info
51Tomi Janhunen. Non-monotonic systems: A framework for analyzing semantics and structural properties of NMR. Research Report A49, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1998. Doctoral dissertation.
PostScript (2 MB)
GZipped PostScript (863 kB)
Info
50Ilkka Niemelä (Ed.). Proceedings of the HeCSE workshop on emerging technologies in distributed systems. Research Report A50, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1998.
PostScript (493 kB)
GZipped PostScript (81 kB)
Info
49Stefan Rönn. Semantics of semaphores. Research Report A53, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, 1998.
PostScript (151 kB)
GZipped PostScript (60 kB)
Info

1997

48Tuomas Aura. On the structure of delegation networks. Research Report A48, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1997.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (865 kB)
GZipped PostScript (190 kB)
Info
See www.tcs.hut.fi ...
47Patrik Simons. Towards constraint satisfaction through logic programs and the stable model semantics. Research Report A47, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1997.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (764 kB)
GZipped PostScript (174 kB)
Info
See www.tcs.hut.fi ...
46Keijo Heljanko. Model checking the branching time temporal logic CTL. Research Report A45, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1997.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (219 kB)
Info
See www.tcs.hut.fi ...
45Tuomas Aura. Stateless connections. Research Report A46, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1997.
PostScript (254 kB)
GZipped PostScript (94 kB)
Info
44Karsten Schmidt. Applying reduction rules to algebraic Petri nets. Research Report A44, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1997.
PostScript (489 kB)
GZipped PostScript (167 kB)
Info
43Kari J. Nurmela. Minimum-energy point charge configurations on a circular disk. Research Report A43, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1997.
PostScript (1 MB)
GZipped PostScript (200 kB)
Info
42Eero Lassila. Towards optimizing code generation by domain-sensitive macro expansion. Research Report A42, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, January 1997.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (721 kB)
GZipped PostScript (238 kB)
Info
See www.tcs.hut.fi ...

1996

41Jussi Rintanen. Lexicographic ordering as a basis of priorities in default reasoning. Research Report A41, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1996. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (460 kB)
Info
40Tino Pyssysalo, Leo Ojala, and Olli-Matti Penttinen. Performance analysis of a video on demand systems using stochastic Petri nets, a case study. Research Report A40, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1996.
Info
39Tuomas Aura. Time processes of time Petri nets. Research Report A38, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1996.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (531 kB)
GZipped PostScript (175 kB)
Info
See www.tcs.hut.fi ...
38Karsten Schmidt. How to calculate symbolically siphons and traps for some algebraic Petri nets. Research Report A39, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1996.
PostScript (391 kB)
GZipped PostScript (129 kB)
Info
37Tino Pyssysalo. An induction theorem for ring protocols of processes described with predicate/transition nets. Research Report A37, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, April 1996.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (310 kB)
Info
See www.tcs.hut.fi ...

1995

36Tino Pyssysalo and Leo Ojala. A high-level net model of a video on demand system. Research Report A36, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1995.
PostScript (843 kB)
GZipped PostScript (153 kB)
Info
35Patrik Simons. Efficient implementation of the stable model semantics for normal logic programs. Research Report A35, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1995.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (551 kB)
GZipped PostScript (177 kB)
Info
See www.tcs.hut.fi ...
34Johan Lilius. On the structure of high-level nets. Research Report A33, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1995. Doctoral dissertation.
PostScript (984 kB)
GZipped PostScript (281 kB)
Info
33Jari Juopperi. PrT-net based analysis of information flow security nets. Research Report A34, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, March 1995.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (951 kB)
Info
See www.tcs.hut.fi ...
32Kari J. Nurmela. Constructing spherical codes by global optimization methods. Research Report A32, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, February 1995.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (386 kB)
Info
See www.tcs.hut.fi ...

1994

31Tomi Janhunen. Investigations on cautious autoepistemic reasoning. Research Report A31, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1994.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (727 kB)
GZipped PostScript (203 kB)
Info
See www.tcs.hut.fi ...
30Johan Lilius. On the folding of algebraic nets. Research Report A30, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1994.
PostScript (342 kB)
GZipped PostScript (93 kB)
Info
29Tino Pyssysalo. The modelling and analysis of a high speed data bus with predicate/transition nets. Research Report A29, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1994.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (618 kB)
GZipped PostScript (159 kB)
Info
See www.tcs.hut.fi ...

1993

28Jussi Rintanen. Priorities and nonmonotonic reasoning. Research Report A28, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1993.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (754 kB)
GZipped PostScript (219 kB)
Info
See www.tcs.hut.fi ...
27Kari J. Nurmela. Constructing combinatorial designs by local search. Research Report A27, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1993.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (649 kB)
GZipped PostScript (167 kB)
Info
See www.tcs.hut.fi ...
26Kimmo Varpaaniemi. Efficient detection of deadlocks in Petri nets. Research Report A26, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1993.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (624 kB)
GZipped PostScript (164 kB)
PDF (546 kB)
Errata 
Info
See www.tcs.hut.fi ...
25Patric R. J. Östergård. Construction methods for covering codes. Research Report A25, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, September 1993. Doctoral dissertation.
PostScript (324 kB)
GZipped PostScript (89 kB)
Info
24Ilkka Niemelä. Autoepistemic logic as a unified basis for nonmonotonic reasoning. Research Report A24, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1993. Doctoral dissertation.
PostScript (1 MB)
GZipped PostScript (337 kB)
Info
23Johan Lilius. A sheaf semantics for Petri nets. Research Report A23, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993.
PostScript (204 kB)
GZipped PostScript (54 kB)
Info
22Patric R. J. Östergård and Heikki O. Hämäläinen. New upper bounds for binary/ternary mixed covering codes. Research Report A22, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1993.
PostScript (361 kB)
GZipped PostScript (99 kB)
Info
21Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Research Report A21, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1993.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (694 kB)
GZipped PostScript (197 kB)
Info
See www.tcs.hut.fi ...

1992

20Nisse Husberg. High level distributed transition systems in categories. Research Report A19, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1992. Doctoral dissertation.
Info
19Jussi Rintanen. Stratification and tractability in nonmonotonic reasoning. Research Report A20, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1992.
PostScript (575 kB)
GZipped PostScript (161 kB)
Info

1991

18Kari Bjorn. A failure model of a distributed transaction processing system. Research Report A17, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1991.
Info
See www.tcs.hut.fi ...
17Patric R. J. Östergård. Constructions of mixed covering codes. Research Report A18, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, December 1991.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (442 kB)
GZipped PostScript (123 kB)
Info
See www.tcs.hut.fi ...
16Abbas Moslemie. Automated interpretation of S-invariants of predicate/transition nets: An application of non-classical logics. Research Report A15, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1991.
Info
15Johan Lilius. On the compositionality and analysis of algebraic high-level nets. Research Report A16, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1991.
PostScript (536 kB)
GZipped PostScript (150 kB)
Info

1990

14Marko Rauhamaa. A comparative study of the methods for efficient reachability analysis. Research Report A14, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1990.
NOTE: Reprint of Licentiate's thesis; see URL below.
PostScript (743 kB)
GZipped PostScript (143 kB)
Info
See www.tcs.hut.fi ...
13Andrea Maggiolo-Schettini and Josef Winkowski. A generalization of predicate/transition nets. Research Report A13, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1990.
Info

1989

12Mikko Tiusanen. A survey of fault-tolerant clock synchronization. Research Report A11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1989.
Info
11Kaj Johansson. Modelling solutions for agreement problems. Research Report A12, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1989.
Info
10Nisse Husberg. A category of distributed transition systems. Research Report A10, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1989.
Info

1988

9Tapio Halkola, Kaj Johansson, and Leo Ojala. Net theoretical methods in modelling byzantine consensus protocols in agreement problems. Research Report A9, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988.
Info
8Kaj Johansson. Modelling message protocols for the byzantine generals problem. Research Report A8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1988.
Info
7Petri Krohn and Marko Rauhamaa. Reduction transformations of PrT-nets. Research Report A7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1988.
Info
6Abbas Moslemie. Towards automatic interpretation of S-invariants of predicate/transition nets. Research Report A6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1988.
Info
5Heikki Tuominen. Logic in Petri net analysis. Research Report A5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988.
Info

1987

4Mikko Tiusanen. Specification of a net description language compiler. Research Report A4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1987.
Info
3Esa Montonen, Leo Ojala, and Timo Tuuliniemi. A PrT-net representation of graph grammars. Research Report A3, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1987.
Info
2Viktor I. Varshavsky. Hardware support of parallel asynchronous processes. Research Report A2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1987.
Info
1Tapio Halkola, Kaj Johansson, and Leo Ojala. Modelling orel message solution protocols for agreement problems in fault-tolerant distributed systems using predicate/transition nets. Research Report A1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1987.
Info

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.