2009 |
|
186 | Kimmo 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. |
|
|
185 | Kari 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. |
|
|
184 | Antti 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. |
|
|
183 | María Naya-Plasencia, Andrea Röck, Jean-Philippe Aumasson, Yann Laigle-Chapuy, Gaëtan Leurent, Willi Meier, and Thomas Peyrin. Cryptanalysis of ESSENCE. Report 2009/302, Cryptology ePrint Archive, September 2009. |
|
|
182 | Jori 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. |
|
|
181 | Kim 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. |
|
|
180 | Kim 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. |
|
2008 |
|
179 | Pekka 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. |
|
|
178 | Matti 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. |
|
|
177 | Jani 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. |
|
|
176 | Jussi 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. |
|
|
175 | Janne 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. |
|
|
174 | Janne 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. |
|
|
173 | Harri 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. |
|
|
172 | Janne 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. |
|
|
171 | Janne 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. |
|
2007 |
|
170 | Henrik 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. |
|
|
169 | Maarit 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. |
|
|
168 | Jori 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. |
|
|
167 | Jori 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. |
|
|
166 | Vesa Ojala. A slicer for UML state machines. Technical Report B25, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007. |
|
|
165 | Mikko 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. |
|
|
164 | Matti 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. |
|
|
163 | Harri 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. |
|
2006 |
|
162 | Emilia Oikarinen. Modular answer set programming. Research Report A106, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2006. |
|
|
161 | Misa 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. |
|
|
160 | Harri 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. |
|
|
159 | Heikki 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. |
|
|
158 | Janne 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. |
|
|
157 | Satu Elisa Schaeffer. Algorithms for nonuniform networks. Research Report A102, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, April 2006. Doctoral dissertation. |
|
|
156 | Jori 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. |
|
|
155 | Antti 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. |
|
2005 |
|
154 | Antti 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. |
|
|
153 | Misa Keinänen. Solving boolean equation systems. Research Report A99, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, November 2005. |
|
|
152 | Sven Laur and Kaisa Nyberg. Efficient mutual data authentication using manually authenticated strings. Report 2005/424, Cryptology ePrint Archive, November 2005. |
|
|
151 | Toni 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. |
|
|
150 | Heikki 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. |
|
|
149 | Timo 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. |
|
|
148 | Kimmo 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. |
|
|
147 | Petteri 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. |
|
|
146 | Jiří Ší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. |
|
|
145 | Jussi 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. |
|
2004 |
|
144 | Annikka 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. |
|
|
143 | Keijo Heljanko and Alin Ştefănescu. Complexity results for checking distributed implementability. Technical Report 05/2004, Institute of Formal Methods in Computer Science, University of Stuttgart, Stuttgart, Germany, October 2004. |
|
|
142 | Tuomo 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. |
|
|
141 | Timo 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. |
|
|
140 | Harri 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. |
|
|
139 | Jan 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. |
|
|
138 | Pekka Orponen and Satu Elisa Schaeffer. Efficient algorithms for sampling and clustering of large nonuniform networks. Technical Report cond-mat/0406048, arXiv.org, June 2004. |
|
|
137 | Pekka 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. |
|
|
136 | Mikko 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. |
|
|
135 | Matti 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. |
|
|
134 | Harri 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. |
|
|
133 | Harri 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. |
|
|
132 | Harri 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. |
|
|
131 | Jussi Rintanen, Keijo Heljanko, and Ilkka Niemelä. Parallel encodings of classical planning as satisfiability. Technical Report 198, Institute of Computer Science at Freiburg University, 2004. |
|
2003 |
|
130 | Heikki 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. |
|
|
129 | Johan 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. |
|
|
128 | Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Research Report A85, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. |
|
|
127 | Tommi Syrjänen. Logic programming with cardinality constraints. Research Report A86, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2003. |
|
|
126 | Jan 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. |
|
|
125 | Marko 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. |
|
|
124 | Tomi 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. |
|
|
123 | Tommi 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. |
|
|
122 | Heikki 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. |
|
|
121 | Petteri 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. |
|
|
120 | Kimmo 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. |
|
|
119 | Satu Virtanen. Properties of nonuniform random graph models. Research Report A77, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2003. |
|
2002 |
|
118 | Timo Latvala. On model checking safety properties. Research Report A76, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2002. |
|
|
117 | Tommi 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. |
|
|
116 | Sam 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. |
|
|
115 | Toni 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. |
|
|
114 | Catharina Candolin and Hannu Kari. Context aware management architecture. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress. |
|
|
113 | Janne Lundberg. Unidirectional link support for mldv2. Technical report, Internet Engineering Task Force, June 2002. Internet Draft, work in progress. |
|
|
112 | Tommi Junttila. Symmetry reduction algorithms for data symmetries. Research Report A72, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, May 2002. |
|
|
111 | Kimmo 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. |
|
|
110 | Keijo 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. |
|
2001 |
|
109 | Petteri Kaski. Isomorph-free exhaustive generation of combinatorial designs. Research Report A70, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2001. |
|
|
108 | Kimmo 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. |
|
|
107 | Marko 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. |
|
|
106 | Eero 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. |
|
|
105 | Keijo 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. |
|
|
104 | Javier 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. |
|
|
103 | Pekka Nikander, Janne Lundberg, Catharina Candolin, and Tuomas Aura. Homeless mobile ipv6. Technical report, Internet Engineering Task Force, February 2001. Internet Draft, work in progress. |
|
|
102 | Timo 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. |
|
2000 |
|
101 | Heikki 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. |
|
|
100 | Tuomas 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. |
|
|
99 | Harri 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. |
|
|
98 | Nisse 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. |
|
|
97 | Kari 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. |
|
|
96 | Patrik 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. |
|
|
95 | Tommi 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. |
|
|
94 | Javier 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. |
|
|
93 | Tuomas 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. |
|
|
92 | Timo 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. |
|
1999 |
|
91 | Tommi 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. |
|
|
90 | Keijo 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. |
|
|
89 | Tommi 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. |
|
|
88 | Antti 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. |
|
1998 |
|
87 | Marko 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. |
|
|
86 | Tommi 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. |
|
|
85 | Jü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/. |
|
|
84 | Kimmo 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. |
|
|
83 | Ilkka 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. |
|
|
82 | Tomi 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. |
|
|
81 | Ilkka 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. |
|
|
80 | Stefan Rönn. Semantics of semaphores. Research Report A53, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, 1998. |
|
|
79 | Timo 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. |
|
1997 |
|
78 | Tuomas 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. |
|
|
77 | Patrik 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. |
|
|
76 | Keijo Heljanko. Model checking the branching time temporal logic CTL. Research Report A45, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1997. |
|
|
75 | Tuomas Aura. Stateless connections. Research Report A46, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1997. |
|
|
74 | Johan 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. |
|
|
73 | Markus 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. |
|
|
72 | Tero Jyrinki. Dynamical analysis of SDL programs using predicate/transition nets. Technical Report B17, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, April 1997. |
|
|
71 | Karsten Schmidt. Applying reduction rules to algebraic Petri nets. Research Report A44, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, March 1997. |
|
|
70 | Kari 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. |
|
|
69 | Eero 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. |
|
|
68 | C. 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/. |
|
1996 |
|
67 | Jussi 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. |
|
|
66 | Tino 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. |
|
|
65 | Tuomas Aura. Time processes of time Petri nets. Research Report A38, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1996. |
|
|
64 | Karsten 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. |
|
|
63 | Johan 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. |
|
|
62 | Tino 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. |
|
|
61 | Eero 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. |
|
|
60 | Ilkka 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/. |
|
|
59 | Ilkka 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/. |
|
|
58 | Ilkka 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/. |
|
|
57 | P. 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/. |
|
|
56 | S. 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/. |
|
|
55 | Ilkka 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/. |
|
1995 |
|
54 | Tino 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. |
|
|
53 | Patrik 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. |
|
|
52 | Tuomas 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. |
|
|
51 | Kimmo 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. |
|
|
50 | Ilkka 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. |
|
|
49 | Johan 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. |
|
|
48 | Jari 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. |
|
|
47 | Kari 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. |
|
1994 |
|
46 | Tomi 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. |
|
|
45 | Johan Lilius. On the folding of algebraic nets. Research Report A30, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1994. |
|
|
44 | Ilkka 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. |
|
|
43 | Kimmo Varpaaniemi. On computing symmetries and stubborn sets. Technical Report B12, Helsinki University of Technology, Digital Systems Labora tory, Espoo, Finland, April 1994. |
|
|
42 | Tino 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. |
|
1993 |
|
41 | Jussi 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. |
|
|
40 | Kari J. Nurmela. Constructing combinatorial designs by local search. Research Report A27, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1993. |
|
|
39 | Kimmo Varpaaniemi. Efficient detection of deadlocks in Petri nets. Research Report A26, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1993. |
|
|
38 | Patric 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. |
|
|
37 | Ilkka 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. |
|
|
36 | Johan Lilius. A sheaf semantics for Petri nets. Research Report A23, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1993. |
|
|
35 | Peter 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. |
|
|
34 | Patric 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. |
|
|
33 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Research Report A21, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1993. |
|
|
32 | Tomi Janhunen. Weakened negative introspection in autoepistemic reasoning. Series A: Research reports 21, Helsinki University of Technology, Digital Systems Laboratory, February 1993. Master's Thesis. |
|
|
31 | Kari 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. |
|
1992 |
|
30 | Nisse 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. |
|
|
29 | Jussi Rintanen. Stratification and tractability in nonmonotonic reasoning. Research Report A20, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1992. |
|
1991 |
|
28 | Kari 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. |
|
|
27 | Patric 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. |
|
|
26 | Abbas 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. |
|
|
25 | Johan 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. |
|
1990 |
|
24 | Marko 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. |
|
|
23 | Johan Lilius. On the notion of dialectical nets. Technical Report B9, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1990. |
|
|
22 | Andrea 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. |
|
1989 |
|
21 | Victor Varshavsky. Circuits insensitive to delays in transistors and wires. Technical Report B7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1989. |
|
|
20 | Johan Lilius. Dialectical nets: A categorical approach to net theory. Technical Report B8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1989. |
|
|
19 | Mikko Tiusanen. A survey of fault-tolerant clock synchronization. Research Report A11, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1989. |
|
|
18 | Kaj Johansson. Modelling solutions for agreement problems. Research Report A12, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1989. |
|
|
17 | Nisse Husberg. A category of distributed transition systems. Research Report A10, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1989. |
|
1988 |
|
16 | Tapio 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. |
|
|
15 | Marko 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. |
|
|
14 | Kaj Johansson. Modelling message protocols for the byzantine generals problem. Research Report A8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1988. |
|
|
13 | Petri Krohn and Marko Rauhamaa. Reduction transformations of PrT-nets. Research Report A7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1988. |
|
|
12 | Abbas 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. |
|
|
11 | Nisse Husberg. Petri nets in algebraic theories – a category theory approach. Technical Report B5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1988. |
|
|
10 | Victor 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. |
|
|
9 | Esa 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. |
|
|
8 | Heikki Tuominen. Logic in Petri net analysis. Research Report A5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988. |
|
|
7 | Mikko 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. |
|
1987 |
|
6 | Ilkka 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. |
|
|
5 | Mikko Tiusanen. Specification of a net description language compiler. Research Report A4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1987. |
|
|
4 | Esa 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. |
|
|
3 | Viktor I. Varshavsky. Hardware support of parallel asynchronous processes. Research Report A2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, September 1987. |
|
|
2 | Tapio 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. |
|
1986 |
|
1 | Ilkka Niemelä. A survey of nonmonotonic logic (in Finnish). Internal report A22, Helsinki University of Technology, Digital Systems Laboratory, Espoo, 1986. |
|
