TCS / Research / Publications / 1997
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Publications in 1997

28Tuomas 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 ...
27Kari J. Nurmela. Constructing Spherical Codes by Global Optimization Methods. Doctoral dissertation, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1997.
PostScript (782 kB)
GZipped PostScript (123 kB)
Info
26Patrik 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 ...
25Ilkka Niemelä and P. Simons. Smodels – an implementation of the stable model and well-founded semantics for normal logic programs. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pages 420–429, Dagstuhl, Germany, July 1997. Springer-Verlag.
Info
24C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: Towards a disjunctive logic programming system. In Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pages 341–352, Dagstuhl, Germany, July 1997. Springer-Verlag.
Info
23Tomi Janhunen. Separating disbeliefs from beliefs in autoepistemic reasoning. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR'97, pages 132–151, Dagstuhl, Germany, July 1997. Springer-Verlag. LNAI 1265.
Info
See dx.doi.org ...
22Keijo 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 ...
21Tuomas 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
20Johan 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
19Markus 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 ...
18Tero 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 ...
17Karsten 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
16Kari 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
15S. Brass, J. Dix, Ilkka Niemelä, and T.C. Przymusinski. Comparison and efficient computation of the static and the disjunctive WFS. In Proceedings of the Third Dutch-German Workshop on Nonmonotonic Reasoning, pages 37–42, Max Planck Institute for Computer Science, Saarbrücken, Germany, February 1997.
Info
14Antti Huima. Security flaws in popular security software: Lessons learned from problems in SSH-1.2.17 and older. In Proc. NORDSEC '97, 1997.
Info
13Antti Huima and Tuomas Aura. Using a multimodal logic to express conflicting interests in security protocols. In Proc. DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. Proceedings were published in electronic form (CD) only.
Info
12Eero 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 ...
11Patrik Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
10Eero Lassila. Towards Optimizing Code Generation by Domain-Sensitive Macro Expansion. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
9Tuomas Aura. On the Structure of Delegation Networks. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
8Keijo Heljanko. Model checking the branching time temporal logic CTL. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
7Tero Jyrinki. Dynamical analysis of SDL programs with predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Electrical and Communications Engineering, 1997.
Info
See www.tcs.hut.fi ...
6Markus Malmqvist. Methodology of dynamical analysis of SDL programs using predicate/transition nets. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1997.
Info
See www.tcs.hut.fi ...
5Kimmo Varpaaniemi, Keijo Heljanko, and Johan Lilius. PROD 3.2 — an advanced tool for efficient reachability analysis. In Orna Grumberg, editor, Computer Aided Verification: 9th International Conference, CAV'97, Haifa, Israel, June 22–25, 1997, Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 472–475. Springer-Verlag, Berlin, Germany, 1997.
Errata 
Info
4Eero Lassila. A functional macro expansion system for optimizing code generation: Gaining context-sensitivity without losing confluence. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, page 315. ACM Press, 1997.
Info
3C. 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
2C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A research project on disjunctive logic programming. AI Communications, 10(3,4):151–165, 1997.
Info
1C. Aravindan, J. Dix, and Ilkka Niemelä. DisLoP: A research project on disjunctive logic programming. Computational Logic, 3(2), 1997.
Info

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