Technical Reports

2012

231Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, and Jonatan Ropponen. Model checking methodology for large systems, faults and asynchronous behaviour - SARANA 2011 work report. VTT Technology 12, VTT Technical Research Centre of Finland, Espoo, 2012.
Info
See www.vtt.fi ...

2011

230Cédric Lauradoux, Julien Ponge, and Andrea Röck. Online Entropy Estimation for Non-Binary Sources and Applications on iPhone. Rapport de recherche, Inria, June 2011.
Info
See hal.inria.fr ...
229Tapani Raiko, KyungHyun Cho, and Alexander Ilin. Derivations of the enhanced gradient for the Boltzmann machine. Technical Report TKK-ICS-R37, Aalto University, TKK Reports in Information and Computer Science, Espoo, Finland, 2011.
Info
228Tommi Vatanen, Mikael Kuusela, Eric Malmi, Tapani Raiko, Timo Aaltonen, and Yoshikazu Nagai. Fixed-background EM algorithm for semi-supervised anomaly detection. Technical report, Aalto University School of Science, 2011.
PDF (1 MB)
Info

2010

227Yoan Miche, Patrick Bas, and Amaury Lendasse. Using multiple re-embeddings for quantitative steganalysis and image reliability estimation. Technical Report TKK-ICS-R34, Aalto University School of Science and Technology, Aalto, Finland, June 2010.
Info
See lib.tkk.fi ...
226Kimmo Järvinen, Vladimir Kolesnikov, Ahmad-Reza Sadeghi, and Thomas Schneider. Garbled circuits for leakage-resilience: Hardware implementation and evaluation of one-time programs. Report 2010/276, Cryptology ePrint Archive, May 2010. Extended version of the paper appearing in CHES'10.
Info
See eprint.iacr.org ...
225Miki Sirola, Jaakko Talonen, Jukka Parviainen, and Golan Lampi. Decision support with data-analysis methods in a nuclear power plant. Technical Report TKK-ICS-R29, Aalto University, School of Science and Technology, Department of Information and Computer Science, Espoo, Finland, March 2010.
Info
224Jussi Lahtinen, Kim Björkman, Janne Valkonen, Juho Frits, and Ilkka Niemelä. Analysis of an emergency diesel generator control system by compositional model checking. VTT Working Papers 156, VTT Technical Research Centre of Finland, Espoo, 2010.
Info
See www.vtt.fi ...
223Jussi Lahtinen, Kim Björkman, Janne Valkonen, Juho Frits, and Ilkka Niemelä. Analysis of an emergency diesel generator control system by compositional model checking. VTT Working Papers 156, VTT Technical Research Centre of Finland, Espoo, 2010.
Info
See www.vtt.fi ...

2009

222Kimmo Järvinen, Vladimir Kolesnikov, Ahmad-Reza Sadeghi, and Thomas Schneider. Embedded SFE: Offloading server and network using hardware tokens. Report 2009/591, Cryptology ePrint Archive, December 2009. Extended version of the paper appearing in FC'10.
Info
See eprint.iacr.org ...
221Kari Kähkönen. Automated test generation for software components. Technical Report TKK-ICS-R26, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, December 2009.
Info
220Antti E. J. Hyvärinen, Tommi Junttila, and Ilkka Niemelä. Partitioning search spaces of a randomized search. Technical Report TKK-ICS-R22, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, November 2009.
Info
219Mika Göös and Pekka Orponen. Synthesizing minimal tile sets for patterned DNA self-assembly. Technical Report cs.DS/0911.2924, arXiv.org, November 2009.
Info
See arxiv.org ...
218Sami Hanhijärvi, Kai Puolamäki, and Gemma C. Garriga. Multiple hypothesis testing in pattern discovery. Technical Report TKK-ICS-R21, Helsinki University of Technology, Department of Information and Computer Science, November 2009.
Info
217Kalle J. Palomäki, Ulpu Remes, and Mikko Kurimo (Eds.). Studies on noise robust automatic speech recognition. Technical Report TKK-ICS-R19, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, September 2009.
Info
216Jori Dubrovin. Checking bounded reachability in asynchronous systems by symbolic event tracing. Technical Report TKK-ICS-R14, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, April 2009.
PDF (432 kB)
Info
215Elena Czeizler, Eugen Czeizler, Lila Kari, and Shinnosuke Seki. An extension of lyndon-schutzenberger's result to pseudoperiodic words. Technical Report TR-722, University of Western Ontario, London, Canada, 2009.
Info
214Andrzej Mizera, Elena Czeizler, Eugen Czeizler, Ion Petre, John E. Eriksson, and Ralph-Johan Back. Quantitative kinetic strategies for the in vitro assembly of intermediate filaments from tetrameric vimentin. Technical Report TUCS 963, Åbo Akademi, Dept. of Inf. Tech., Turku, Finland, 2009.
Info
213Kim Björkmann, Juho Frits, Janne Valkonen, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of a stepwise shutdown logic. VTT Working Papers 115, VTT Technical Research Centre of Finland, Espoo, 2009.
Info
See www.vtt.fi ...
212Kim Björkman, Juho Frits, Janne Valkonen, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of a stepwise shutdown logic. VTT Working Papers 115, VTT Technical Research Centre of Finland, Espoo, 2009.
Info
See www.vtt.fi ...
211Paula Järvinen, Kai Puolamäki, Pekka Siltanen, and Markus Ylikerälä. Visual analytics. Final report. VTT Working Papers 117, VTT Technical Research Centre of Finland, Espoo, Finland, 2009.
PDF (828 kB)
Info
See www.vtt.fi ...
210Matti Pöllä, Timo Honkela, and Teuvo Kohonen. Bibliography of self-organizing map (SOM) papers: 2002-2005 addendum. Technical report, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, 2009. Report TKK-ICS-R23.
Info
209Timo Honkela, Nina Janasik, Krista Lagus, Tiina Lindh-Knuutila, Mika Pantzar, and Juha Raitio. Modeling communities of experts – conceptual grounding of expertise. Technical Report TKK-ICS-R24, Helsinki University of Technology, 2009.
Info

2008

208Elia Liitiäinen, Francesco Corona, and Amaury Lendasse. A boundary corrected expansion of the moments of nearest neighbor distributions. Technical Report TKK-ICS-R9, Helsinki University of Technology, October 18 2008.
Info
207Pekka Orponen, Satu Elisa Schaeffer, and Vanesa Avalos Gaytán. Locally computable approximations for spectral clustering and absorption times of random walks. Technical Report cs.DM/0810.4061, arXiv.org, October 2008.
Info
See arxiv.org ...
206Matti Koskimies. Applying model checking to analysing safety instrumented systems. Research Report TKK-ICS-R5, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, June 2008.
NOTE: Reprint of Master's thesis
PostScript (11 MB)
GZipped PostScript (1 MB)
PDF (633 kB)
Info
205Jani Lampinen. Interface specification methods for software components. Research Report TKK-ICS-R4, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, June 2008.
NOTE: Reprint of Master's thesis
PostScript (961 kB)
GZipped PostScript (387 kB)
PDF (492 kB)
Info
204Jussi Lahtinen. Model checking timed safety instrumented systems. Research Report TKK-ICS-R3, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, June 2008.
NOTE: Reprint of Master's thesis
PostScript (855 kB)
GZipped PostScript (322 kB)
PDF (393 kB)
Info
203Yrjö Rauste, Anne Lönnqvist, Matthieu Molinier, Heikki Ahola, Jaan Praks, Teemu Tares, Jorma Laaksonen, Kirsi Karila, and Mika Karjalainen. NewSAR project, final report 1.7.2006–31.5.2008. Technical Report VTT-R-05074-08, VTT, June 2008.
Info
202Janne Valkonen, Ilkka Karanta, Matti Koskimies, Keijo Heljanko, Ilkka Niemelä, Dan Sheridan, and Robin E. Bloomfield. NPP safety automation systems analysis – State of the art. VTT Working Papers 94, VTT Technical Research Centre of Finland, Espoo, Finland, April 2008.
Info
See www.vtt.fi ...
201Janne Valkonen, Ville Petterson, Kim Björkman, Jan-Erik Holmberg, Matti Koskimies, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of an arc protection and an emergency cooling system – MODSAFE 2007 working report. VTT Working Papers 93, VTT Technical Research Centre of Finland, Espoo, Finland, February 2008.
Info
See www.vtt.fi ...
200Alexander Ilin and Tapani Raiko. Practical approaches to principal component analysis in the presence of missing values. Technical Report TKK-ICS-R6, Helsinki University of Technology, TKK reports in information and computer science, Espoo, Finland, 2008.
Info
199Harri Haanpää, editor. Annual report for the year 2007. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, 2008.
PDF (238 kB)
Info
198Janne Valkonen, Ville Pettersson, Kim Björkman, Jan-Erik Holmberg, Matti Koskimies, Keijo Heljanko, and Ilkka Niemelä. Model-based analysis of an arc protection and an emergency cooling system. VTT Working Papers 93, VTT Technical Research Centre of Finland, Espoo, 2008.
Info
See www.vtt.fi ...
197Janne Valkonen, Ilkka Karanta, Matti Koskimies, Keijo Heljanko, Ilkka Niemelä, Dan Sheridan, and Robing E. Bloomfield. NPP safety automation systems analysis: State of the art. VTT Working Papers 94, VTT Technical Research Centre of Finland, Espoo, 2008.
Info
See www.vtt.fi ...

2007

196Henrik 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 ...
195Maarit Hietalahti, Mikko Särelä, Antti Tuominen, and Pekka Orponen. Security topics and mobility management in hierarchical ad hoc networks (Samoyed): Final report. Technical Report B22, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.
Info
194Jori Dubrovin and Tommi Junttila. Symbolic model checking of hierarchical UML state machines. Technical Report B23, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.
PostScript (879 kB)
GZipped PostScript (449 kB)
PDF (223 kB)
Info
193Jori Dubrovin, Tommi Junttila, and Keijo Heljanko. Symbolic step encodings for object based communicating state machines. Technical Report B24, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.
PostScript (984 kB)
GZipped PostScript (462 kB)
PDF (265 kB)
Info
192Vesa Ojala. A slicer for UML state machines. Technical Report B25, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.
PostScript (830 kB)
GZipped PostScript (265 kB)
PDF (307 kB)
Info
191Mikko Alava, John Ardelius, Erik Aurell, Petteri Kaski, Supriya Krishnamurthy, Pekka Orponen, and Sakari Seitz. Circumspect descent prevails in solving random constraint satisfaction problems. Technical Report 0711.4902, arXiv.org, November 2007.
Info
See arxiv.org ...
190Matti 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 ...
189Harri Haanpää, editor. Annual report for the year 2006. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, 2007.
PostScript (827 kB)
GZipped PostScript (269 kB)
PDF (256 kB)
Info
188Lasse Lindqvist, Timo Honkela, and Mika Pantzar. Visualizing practice theory through a simulation model. Technical Report E9, Helsinki University of Technology, 2007.
Info
See www.cis.hut.fi ...

2006

187Emilia 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 ...
186Misa 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 ...
185Harri Haanpää, editor. Annual report for the year 2005. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, October 2006.
PostScript (865 kB)
GZipped PostScript (268 kB)
PDF (306 kB)
Info
184Heikki 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 ...
183Janne 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 ...
182Satu 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 ...
181Jori 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 ...
180Antti 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 ...
179Eugen Czeizler and Jarkko Kari. A tight linear bound on the synchronization delay of bijective automata. Technical Report TUCS 760, University of Turku, Dept. of Mathematics, TUCS, Turku, Finland, 2006.
Info
178Tapani Raiko, Harri Valpola, Markus Harva, and Juha Karhunen. Building blocks for variational Bayesian learning of latent variable models. Technical Report E4, Helsinki University of Technology, Publications in Computer and Information Science, Espoo, Finland, 2006. Available at http://www.cis.hut.fi/Publications/.
Info

2005

177Antti 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 ...
176Misa 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 ...
175Sven Laur and Kaisa Nyberg. Efficient mutual data authentication using manually authenticated strings. Report 2005/424, Cryptology ePrint Archive, November 2005.
Info
See eprint.iacr.org ...
174Toni 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 ...
173Heikki 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
172Timo 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 ...
171Kimmo Varpaaniemi, editor. Annual report for the year 2004. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, July 2005.
PostScript (634 kB)
GZipped PostScript (217 kB)
PDF (383 kB)
Info
170Petteri 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 ...
169Jiří Šíma and Satu Elisa Schaeffer. On the np-completeness of some graph cluster measures. Technical Report cs.CC/0506100, arXiv.org e-Print archive, http://arxiv.org/, June 2005.
Info
168Elena Czeizler and Eugen Czeizler. On the power of parallel communicating watson-crick automata systems. Technical Report TUCS 722, University of Turku, Dept. of Mathematics, TUCS, Turku, Finland, 2005.
Info
167Petri Kährä, Jaakko Hollmén, Satu Karling, Jaakko Kujala, Petri Kuosmanen, and Janne Lindqvist. Opinnäytetyön ohjaus teknillisessä korkeakoulussa. Technical Report 28/2005, Metrology Research Institute, Helsinki University of Technology, 2005.
Info
166Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Planning as satisfiability: Parallel plans and algorithms for plan search. Technical Report 216, Institute of Computer Science, University of Freiburg, Freiburg, Germany, 2005.
Info
See users.ics.tkk.fi ...
165Mathias Creutz and Krista Lagus. Unsupervised morpheme segmentation and morphology induction from text corpora using Morfessor 1.0. Technical Report A81, Publications in Computer and Information Science, Helsinki University of Technology, 2005. http://www.cis.hut.fi/projects/morpho/.
Info
164Timo Honkela, Kevin Hynnä, Krista Lagus, and Jaakko Särelä. Adaptive and statistical approaches in conceptual modeling. Technical Report A75, Helsinki University of Technology, 2005.
Info

2004

163Annikka Aalto. Automatic translation of SDL into high level Petri nets. Technical Report B21, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2004.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (3 MB)
GZipped PostScript (488 kB)
PDF (782 kB)
Info
See www.tcs.hut.fi ...
162Keijo Heljanko and Alin Stefanescu. Complexity results for checking distributed implementability. Technical Report 05/2004, Institute of Formal Methods in Computer Science, University of Stuttgart, Stuttgart, Germany, October 2004.
Info
See users.ics.tkk.fi ...
161Tuomo 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 ...
160Timo 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
159Harri Haanpää, editor. Annual report for the year 2003. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, June 2004.
PostScript (475 kB)
GZipped PostScript (227 kB)
PDF (245 kB)
Info
158Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive bess. CS-Report 04-13, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, Netherlands, June 2004.
Info
157Jan Friso Groote and Misa Keinänen. A sub-quadratic algorithm for conjunctive and disjunctive bess. CS-Report 04-13, Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, Eindhoven, Netherlands, June 2004.
Info
156Pekka Orponen and Satu Elisa Schaeffer. Efficient algorithms for sampling and clustering of large nonuniform networks. Technical Report cond-mat/0406048, arXiv.org, June 2004.
Info
See arxiv.org ...
155Pekka Orponen and Satu Elisa Schaeffer. Efficient algorithms for sampling and clustering of large nonuniform networks. Technical Report cond-mat/0406048, arXiv.org e-Print archive, http://arxiv.org/, June 2004.
Info
154Mikko 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 ...
153Matti 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 ...
152Harri 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
151Harri 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
150Harri 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 ...
149Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability. Technical Report 198, Institute of Computer Science at Freiburg University, 2004.
Info
See www.informatik.uni-freiburg.de ...

2003

148Heikki 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
147Johan 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
146Emilia 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 ...
145Tommi 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 ...
144Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003.
Info
143Jan Friso Groote and Misa Keinänen. Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Amsterdam, Netherlands, December 2003.
Info
142Timo Honkela and Juha Winter. Simulating language learning in community of agents using self-organizing maps. Computer and Information Science Report A71, Helsinki University of Technology, Helsinki, Finland, December 2003.
Info
See www.cis.hut.fi ...
141Marko 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 ...
140Tomi 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
139Tommi 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 ...
138Heikki 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
137Petteri 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 ...
136Kimmo Varpaaniemi, editor. Annual report for the year 2002. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, June 2003.
PostScript (659 kB)
GZipped PostScript (276 kB)
PDF (387 kB)
Info
135Janne Sinkkonen, Janne Nikkilä, Leo Lahti, and Samuel Kaski. Associative clustering by maximizing a Bayes factor. Publications in Computer and Information Science A68, Helsinki University of Technology, Espoo, Finland, June 2003.
Info
134Satu 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 ...
133J. Särelä and R. Vigário. A bayesian approach to overlearning in ICA: a comparison study. Technical Report A70, Helsinki University of Technology, Publications in Computer and Information Science, 2003.
Info
132Jarkko Salojärvi, Kai Puolamäki, and Samuel Kaski. Relevance feedback from eye movements for proactive information retrieval. Publications in Computer and Information Science A73, Helsinki University of Technology, Espoo, Finland, 2003.
Info

2002

131Timo 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 ...
130Tommi 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
129Sam 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 ...
128Toni 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 ...
127Catharina Candolin and Hannu Kari. Context aware management architecture. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
126Janne Lundberg. Unidirectional link support for mldv2. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
125Catharina Candolin and Hannu Kari. Context aware management architecture. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
124Janne Lundberg. Unidirectional link support for mldv2. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress.
Info
123Kristian Kersting, Tapani Raiko, Stefan Kramer, and Luc De Raedt. Towards discovering structural signatures of protein folds based on logical hidden markov models. Technical Report 175, Institute for Computer Science, University of Freiburg, Germany, June 2002.
Info
122Tommi 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
121Kimmo Varpaaniemi, editor. Annual report for the year 2001. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, April 2002.
PostScript (603 kB)
GZipped PostScript (256 kB)
PDF (353 kB)
Info
120Keijo 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 ...
119Eugen Czeizler. Self-activating p systems. Technical Report TUCS 482, University of Turku, Dept. of Mathematics, TUCS, Turku, Finland, 2002.
Info
118Jaana Laiho, Kimmo Raivio, Pasi Lehtimäki, Kimmo Hätönen, and Olli Simula. Advanced analysis methods for 3G cellular networks. Technical Report A65, Helsinki University of Technology, Laboratory of Computer and Information Science, 2002.
Info

2001

117Petteri 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 ...
116Kimmo Varpaaniemi, editor. Annual report for the year 2000. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, July 2001.
PostScript (623 kB)
GZipped PostScript (249 kB)
PDF (353 kB)
Info
115Marko 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
114Eero Lassila. A tree expansion formalism for generative string rewriting. Technical Report B20, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, June 2001.
PostScript (3 MB)
GZipped PostScript (1 MB)
PDF (656 kB)
Info
113Keijo Heljanko, Victor Khomenko, and Maciej Koutny. Parallelisation of the Petri net unfolding algorithm. Technical Report CS-TR-733, Department of Computer Science, University of Newcastle upon Tyne, Newcastle, United Kindom, June 2001.
Info
See www.cs.ncl.ac.uk ...
112Javier 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
111Pekka Nikander, Janne Lundberg, Catharina Candolin, and Tuomas Aura. Homeless mobile ipv6. Technical report, Internet Engineering Task Force, February 2001. Internet Draft, work in progress.
Info
110Pekka Nikander, Janne Lundberg, Catharina Candolin, and Tuomas Aura. Homeless mobile ipv6. Technical report, Internet Engineering Task Force, February 2001. Internet Draft, work in progress.
Info
109Timo 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

108Heikki 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 ...
107Tuomas 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
106Harri 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 ...
105Samuel Kaski. Convergence of a stochastic semisupervised clustering algorithm. Technical Report A62, Helsinki University of Technology, Publications in Computer and Information Science, Espoo, Finland, November 2000.
Info
104Nisse 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
103Kari 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
102Patrik 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
101Tommi 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
100Javier 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
99Tuomas 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
98Timo Soininen, Ilkka Niemelä, Juha Tiihonen, and Reijo Sulonen. Unified configuration knowledge representation using weight constraint rules. Technical Report TKO-B149, Helsinki University of Technology, Laboratory of Information Processing Science, Helsinki, Finland, 2000.
Info

1999

97Tommi 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 ...
96Keijo 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 ...
95Tommi 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 ...
94Antti 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

93Marko Mäkelä, Jani Lahtinen, and Leo Ojala. Performance analysis of a traffic control system using stochastic Petri nets. Technical Report B19, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, December 1998.
PostScript (267 kB)
GZipped PostScript (111 kB)
Info
92Tommi Syrjänen. Implementation of local grounding for logic programs with stable model semantics. Technical Report B18, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1998.
PostScript (508 kB)
GZipped PostScript (157 kB)
Info
91Jürgen Dix, Ulrich Furbach, and Ilkka Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Fachbericht Informatik 20–98, Universität Koblenz-Landau, August 1998. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
90Kimmo 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
89Ilkka 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
88Tomi 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
87Ilkka 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
86Jari Kangas and Samuel Kaski. 3043 works that have been based on the self-organizing map (SOM) method developed by Kohonen. Technical Report A49, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, February 1998.
Info
85Stefan 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
84Timo Soininen and Ilkka Niemelä. Formalizing configuration knowledge using rules with choices. Technical Report TKO-B142, Helsinki University of Technology, Laboratory of Information Processing Science, 1998. Presented at the Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning, May 31, 1998, Trento, Italy.
Info

1997

83Tuomas 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 ...
82Jaakko Hollmén. Novelty filter for fraud detection in mobile communications networks. Technical Report A48, Helsinki University of Technology, Laboratory of Computer and Information Science, October 1997.
Info
See www.cis.hut.fi ...
81Patrik 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 ...
80Keijo 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 ...
79Tuomas 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
78Johan Lilius, editor. Annual report for the year 1996. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1997.
PostScript (206 kB)
GZipped PostScript (80 kB)
Info
77Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Technical Report B16, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (1 MB)
GZipped PostScript (218 kB)
Info
See www.tcs.hut.fi ...
76Tero Jyrinki. Dynamical analysis of SDL programs using predicate/transition nets. Technical Report B17, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997.
NOTE: Reprint of Master's thesis; see URL below.
PostScript (972 kB)
GZipped PostScript (228 kB)
Info
See www.tcs.hut.fi ...
75Karsten 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
74Kari 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
73Eero 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 ...
72C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A Research Project on Disjunctive Logic Programming. Fachberichte Informatik 1–97, Universität Koblenz-Landau, 1997. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info

1996

71Jussi 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
70Tino 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
69Tuomas 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 ...
68Karsten 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
67Johan Lilius, editor. Annual report for the year 1995. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, August 1996.
PostScript (123 kB)
GZipped PostScript (48 kB)
Info
66Tino 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 ...
65Eero Lassila. ReFlEx — an experimental tool for special-purpose processor code generation. Technical Report B15, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, March 1996.
PostScript (893 kB)
GZipped PostScript (186 kB)
Info
64Ilkka Niemelä. A tableau calculus for minimal model reasoning. Fachbericht Informatik 5–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
63Ilkka Niemelä. Implementing circumscription using a tableau method. Fachbericht Informatik 6–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
62Ilkka Niemelä and P. Simons. Efficient implementation of the well-founded and stable model semantics. Fachbericht Informatik 7–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
61P. Baumgartner, U. Furbach, and Ilkka Niemelä. Hyper tableaux. Fachbericht Informatik 8–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
60S. Brass, J. Dix, Ilkka Niemelä, and T.C. Przymusinski. A comparison of STATIC semantics with D-WFS. Fachbericht Informatik 2–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
59Ilkka Niemelä (Ed.). Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems. Fachbericht Informatik 18–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.
Info
58Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Newsgroup exploration with WEBSOM method and browsing interface. Technical Report A32, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1996.
Info
57Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Newsgroup exploration with WEBSOM method and browsing interface. Technical Report A32, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1996.
Info
56Timo Honkela, Samuel Kaski, Krista Lagus, and Teuvo Kohonen. Newsgroup exploration with WEBSOM method and browsing interface. Technical Report A32, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1996.
Info

1995

55Tino 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
54Patrik 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 ...
53Tuomas Aura. Modelling the Needham-Schröder authentication protocol with high level Petri nets. Technical Report B14, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, September 1995.
PostScript (325 kB)
GZipped PostScript (117 kB)
Info
52Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo. PROD reference manual. Technical Report B13, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, August 1995.
PostScript (417 kB)
GZipped PostScript (115 kB)
PDF (499 kB)
Errata 
Info
See www.tcs.hut.fi ...
51Ilkka Niemelä, editor. Annual report for the year 1994. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1995.
PostScript (193 kB)
GZipped PostScript (52 kB)
Info
50Johan 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
49Jari 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 ...
48Kari 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 ...
47Samuel Kaski and Teuvo Kohonen. Structures of welfare and poverty in the world discovered by the self-organizing map. Technical Report A24, Helsinki University of Technology, Laboratory of Computer and Information Science, Espoo, Finland, 1995.
Info

1994

46Tomi 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 ...
45Johan 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
44Ilkka Niemelä, editor. Annual report for the year 1993. Technical report, Teknillinen korkeakoulu, Tietojenkäsittelyteorian laboratorio (Helsinki University of Technology, Laboratory for Theoretical Computer Science), Espoo, Finland, May 1994.
PostScript (205 kB)
GZipped PostScript (55 kB)
Info
43Kimmo Varpaaniemi. On computing symmetries and stubborn sets. Technical Report B12, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, April 1994.
PostScript (238 kB)
GZipped PostScript (65 kB)
PDF (247 kB)
Errata 
Info
42Tino 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

41Jussi 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 ...
40Kari 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 ...
39Kimmo 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 ...
38Patric 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
37Ilkka 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
36Johan 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
35Peter Grönberg, Mikko Tiusanen, and Kimmo Varpaaniemi. PROD – a PrT–net reachability analysis tool. Technical Report B11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993.
PostScript (336 kB)
GZipped PostScript (89 kB)
PDF (347 kB)
Errata 
Info
34Patric 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
33Tomi 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 ...
32Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Series A: Research reports 21, Helsinki University of Technology, Digital Systems Laboratory, February 1993. Master's Thesis.
Info
See www.tcs.hut.fi ...
31Kari J. Nurmela and Patric R. J. Östergård. Constructing covering designs by simulated annealing. Technical Report B10, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, January 1993.
PostScript (319 kB)
GZipped PostScript (88 kB)
Info

1992

30Nisse 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
29Jussi 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

28Kari 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 ...
27Patric 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 ...
26Abbas 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
25Johan 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

24Marko 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 ...
23Johan Lilius. On the notion of dialectical nets. Technical Report B9, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1990.
Info
22Andrea 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

21Victor Varshavsky. Circuits insensitive to delays in transistors and wires. Technical Report B7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1989.
Info
20Johan Lilius. Dialectical nets: A categorical approach to net theory. Technical Report B8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1989.
Info
19Mikko Tiusanen. A survey of fault-tolerant clock synchronization. Research Report A11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1989.
Info
18Kaj Johansson. Modelling solutions for agreement problems. Research Report A12, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1989.
Info
17Nisse Husberg. A category of distributed transition systems. Research Report A10, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1989.
Info

1988

16Tapio 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
15Marko Rauhamaa. Design and implementation of a reduction tool for PrT-nets. Technical Report B6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988.
Info
14Kaj Johansson. Modelling message protocols for the byzantine generals problem. Research Report A8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1988.
Info
13Petri Krohn and Marko Rauhamaa. Reduction transformations of PrT-nets. Research Report A7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1988.
Info
12Abbas 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
11Nisse Husberg. Petri nets in algebraic theories – a category theory approach. Technical Report B5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1988.
Info
10Victor Varshavsky and Mikko Tiusanen. Hardware support of concurrent process interaction and synchronization: On the principle of autocorrect implementation. Technical Report B4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1988.
Info
9Esa Kettunen, Esa Montonen, and Timo Tuuliniemi. An interactive PrT-net tool for verification of SDL-specifications. Technical Report B3, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1988.
Info
8Heikki Tuominen. Logic in Petri net analysis. Research Report A5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988.
Info
7Mikko Tiusanen. Some unsolved problems in modelling self-timed circuits using Petri nets. Technical Report B2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988.
Info

1987

6Ilkka Niemelä and Heikki Tuominen. Helsinki logic machine: a system for logical expertise. Technical Report B1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1987.
Info
5Mikko Tiusanen. Specification of a net description language compiler. Research Report A4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1987.
Info
4Esa 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
3Viktor I. Varshavsky. Hardware support of parallel asynchronous processes. Research Report A2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1987.
Info
2Tapio 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

1986

1Ilkka Niemelä. A survey of nonmonotonic logic (in Finnish). Internal report A22, Helsinki University of Technology, Digital Systems Laboratory, Espoo, 1986.
Info