SearchBrowse

close this section of the libraryftp://saturn.hut.fi (76)
open this document and view contentsftp://saturn.hut.fi/pub/papers/mikko/Mikko-Zaragoza.ps.Z, 19931223
Symbolic, Symmetry, and Stubborn Set Searches Mikko Tiusanen Helsinki University of Technology Otakaari 1A, SF 02150 Espoo, FINLAND November 11, 1993
open this document and view contentsftp://saturn.hut.fi/pub/reports/A16.ps.Z, 19940308
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 16; March 1991 ISBN 951{22{0828-8 ON THE COMPOSITIONALITY
open this document and view contentsftp://saturn.hut.fi/pub/papers/invariants.ps.Z, 19940308
On Invariants and Substitution Systems (Preliminary Report; Work in Progress) Johan Lilius Digital Systems Laboratory Helsinki University of Technology SF-02150 ESPOO Email: Johan.Lilius@hut.fi 8 March 1994
open this document and view contentsftp://saturn.hut.fi/pub/reports/A23.ps.Z, 19940308
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 23; June 1993 ISBN 951{22{1639{6 A SHEAF SEMANTICS FOR PETRI
open this document and view contentsftp://saturn.hut.fi/pub/reports/A22.ps.Z, 19940405
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 22; March 1993 ISBN 951{22{1480{6 NEW UPPER BOUNDS FOR
open this document and view contentsftp://saturn.hut.fi/pub/reports/A25.ps.Z, 19940405
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 25; September 1993 ISBN 951>=22>=1696>=5 CONSTRUCTION
open this document and view contentsftp://saturn.hut.fi/pub/reports/A18.ps.Z, 19940405
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 18; December 1991 ISBN 951>=22>=0928>=4 CONSTRUCTIONS OF
open this document and view contentsftp://saturn.hut.fi/pub/reports/A29.ps.Z, 19940412
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 29; March 1994 ISBN 951-22-2028-8 THE MODELLING AND
open this document and view contentsftp://saturn.hut.fi/pub/reports/A26.ps.Z, 19940415
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 26; October 1993 ISBN 951{22{1775{9 EFFICIENT DETECTION OF
open this document and view contentsftp://saturn.hut.fi/pub/papers/kvapn94.ps.Z, 19940415
On Combining the Stubborn Set Method with the Sleep Set Method Kimmo Varpaaniemi Helsinki University of Technology, Digital Systems Laboratory Otakaari 1, SF-02150 Espoo, Finland Kimmo.Varpaaniemi@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/reports/B12.ps.Z, 19940505
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series B: Technical Reports ISSN 0783>=540X No. 12; April 1994 ISBN 951>=22>=2126>=8 ON COMPUTING
open this document and view contentsftp://saturn.hut.fi/pub/reports/annual93.ps.Z, 19940523
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY Faculty of Information Technology Department of Computer Science DIGITAL SYSTEMS LABORATORY Annual Report May 1994 ISBN
open this document and view contentsftp://saturn.hut.fi/pub/papers/jelia94.ps.Z, 19940824
Prioritized Autoepistemic Logic Jussi Rintanen Helsinki University of Technology Department of Computer Science Otakaari 1, 02150 ESPOO, Finland
open this document and view contentsftp://saturn.hut.fi/pub/reports/A30.ps.Z, 19940909
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 30; September 1994 ISBN 951>=22>=2283>=3 ON THE FOLDING
open this document and view contentsftp://saturn.hut.fi/pub/reports/A14.ps.Z, 19940916
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 14; September 1990 ISBN 951>=22>=0386>=3 A COMPARATIVE
open this document and view contentsftp://saturn.hut.fi/pub/papers/jancl94.ps.Z, 19941014
On the Impact of Stratiocation on the Complexity of Nonmonotonic Reasoning Ilkka Niemel Jussi Rintanen Helsinki University of Technology Department of Computer Science Otakaari 1, FIN>=02150 ESPOO, Finland
open this document and view contentsftp://saturn.hut.fi/pub/papers/kvacsp94.ps.Z, 19941113
The Sleep Set Method Revisited Kimmo Varpaaniemi Helsinki University of Technology, Digital Systems Laboratory Otakaari 1, FIN-02150 Espoo, Finland Kimmo.Varpaaniemi@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/reports/A28.ps.Z, 19941130
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 28; December 1993 ISBN 951-22-1915-8 PRIORITIES AND
open this document and view contentsftp://saturn.hut.fi/pub/papers/kr92.ps.Z, 19941130
On the Impact of Stratiocation on the Complexity of Nonmonotonic Reasoning Ilkka Niemel Department of Computer Science Helsinki University of Technology Otakaari 1, SF>=02150 ESPOO, Finland Jussi Rintanen Department of Computer Science Helsinki University of Technology Otakaari 1, SF>=02150 ESPOO,
open this document and view contentsftp://saturn.hut.fi/pub/reports/A27.ps.Z, 19941201
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 27; November 1993 ISBN 951-22-1857-7 CONSTRUCTING
open this document and view contentsftp://saturn.hut.fi/pub/reports/B10.ps.Z, 19941201
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series B: Technical Reports ISSN 0783{540X No. 10; January 1993 ISBN 951{22{1382{6 CONSTRUCTING COVERING
open this document and view contentsftp://saturn.hut.fi/pub/papers/cover.ps.Z, 19941201
Upper Bounds for Covering Designs by Simulated Annealing Kari J. Nurmela and Patric R. J. sterg rd Digital Systems Laboratory Helsinki University of Technology SF>=02150 ESPOO, FINLAND
open this document and view contentsftp://saturn.hut.fi/pub/reports/A20.ps.Z, 19941202
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 20; November 1992 ISBN 951-22-1300-1 STRATIFICATION AND
open this document and view contentsftp://saturn.hut.fi/pub/papers/kgc93.ps, 19941202
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning Tomi Janhunen and Ilkka Niemel Helsinki University of Technology, Department of Computer Science, Digital Systems Laboratory, Otakaari 1, 02150 Espoo, Finland Email: fTomi.Janhunen,Ilkka.Niemelag@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/reports/A21.ps.Z, 19941202
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 21; February 1993 ISBN 951-22-1407-5 WEAKENED NEGATIVE
open this document and view contentsftp://saturn.hut.fi/pub/reports/A24.ps.Z, 19941202
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 SF{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 24; August 1993 ISBN 951{22{1689{2 AUTOEPISTEMIC LOGIC AS A
open this document and view contentsftp://saturn.hut.fi/pub/reports/A31.ps.Z, 19941216
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 31; December 1994 ISBN 951-22-2396-1 INVESTIGATIONS ON
open this document and view contentsftp://saturn.hut.fi/pub/reports/A32.ps.Z, 19950214
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 32; February 1995 ISBN 951-22-2443-7 CONSTRUCTING
open this document and view contentsftp://saturn.hut.fi/pub/reports/A33.ps.Z, 19950320
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 33; March 1995 ISBN 951>=22>=2522-0 ON THE STRUCTURE OF
open this document and view contentsftp://saturn.hut.fi/pub/papers/nie-kr94.ps.Z, 19950421
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning Ilkka Niemel Department of Computer Science Helsinki University of Technology Otakaari 1, FIN>=02150 Espoo, Finland Ilkka.Niemela@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/papers/nie-ijcai95.ps.Z, 19950421
Towards EOEcient Default Reasoning Ilkka Niemel Department of Computer Science Helsinki University of Technology Otakaari 1, FIN>=02150 Espoo, Finland Ilkka.Niemela@hut.fi
open this document and view contentsftp://saturn.hut.fi/pub/papers/ns95.ps.Z, 19950421
Evaluating an Algorithm for Default Reasoning Ilkka Niemel and Patrik Simons Department of Computer Science Helsinki University of Technology Otakaari 1, FIN>=02150 Espoo, Finland Email: fIlkka.Niemela,Patrik.Simonsg@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/papers/ijcai95.ps.Z, 19950421
On Speciocity in Default Logic Jussi Rintanen Department of Computer Science Helsinki University of Technology Otakaari 1, 02150 ESPOO Finland
open this document and view contentsftp://saturn.hut.fi/pub/reports/A34.ps.Z, 19950518
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 34; March 1995 ISBN 951{22{2538{7 PrT-NET BASED ANALYSIS OF
open this document and view contentsftp://saturn.hut.fi/pub/reports/annual94.ps.Z, 19950519
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY Faculty of Information Technology Department of Computer Science DIGITAL SYSTEMS LABORATORY Annual Report May 1995 ANNUAL REPORT
open this document and view contentsftp://saturn.hut.fi/pub/papers/ddlp95.ps, 19950628
Cautious Models for General Logic Programs Tomi Janhunen , Digital Systems Laboratory, Helsinki University of Technology, Otakaari 1, FIN-02150 Espoo, FINLAND. Email: Tomi.Janhunen@hut.o May 24, 1995
open this document and view contentsftp://saturn.hut.fi/pub/reports/B11errata.ps.Z, 19950804
B 11 is out of date. Use B 13 instead. See http://saturn.hut.o/pub/reports/B13abstract.html.
open this document and view contentsftp://saturn.hut.fi/pub/reports/B11.ps.Z, 19950804
B 11 is out of date. Use B 13 instead. See http://saturn.hut.o/pub/reports/B13abstract.html.
open this document and view contentsftp://saturn.hut.fi/pub/reports/B13.ps.Z, 19950804
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series B: Technical Reports ISSN 0783>=540X No. 13; August 1995 ISBN 951>=22>=2707>=X PROD REFERENCE
open this document and view contentsftp://saturn.hut.fi/pub/reports/B14.ps.Z, 19950907
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series B: Technical Reports ISSN 0783>=540X No. 14; September 1995 ISBN 951>=22>=2756>=8 MODELLING THE
open this document and view contentsftp://saturn.hut.fi/pub/reports/A35.ps.Z, 19951002
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 35; September 1995 ISBN 951{22{2752{5 EFFICIENT
open this document and view contentsftp://saturn.hut.fi/pub/papers/local.ps.Z, 19951229
12 Applications in code design Iiro S. Honkala Department of Mathematics University of Turku, 20500 Turku 50, Finland Patric R. J. sterg rd Department of Computer Science Helsinki University of Technology 02150 Espoo, Finland 1 INTRODUCTION In information theory one wishes to ond fast and reliable
open this document and view contentsftp://saturn.hut.fi/pub/papers/square.ps.Z, 19960108
Packing up to 50 Equal Circles in a Square Kari J. Nurmela and Patric R. J. sterg rd Department of Computer Science Helsinki University of Technology FIN>=02150 Espoo, FINLAND Kari.Nurmela@hut.o, Patric.Ostergard@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/reports/A36.ps.Z, 19960207
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 36; December 1995 ISBN 951-22-2917-X A HIGH-LEVEL NET
open this document and view contentsftp://saturn.hut.fi/pub/papers/ns96-long.ps.gz, 19960207
Efficient Implementation of the Well-founded and Stable Model Semantics Ilkka Niemel a and Patrik Simonsy
open this document and view contentsftp://saturn.hut.fi/pub/papers/pool.ps.Z, 19960306
The Football Pool Problem Patric R. J. sterg rd Department of Computer Science Helsinki University of Technology FIN>=02150 Espoo, FINLAND E-mail: Patric.Ostergard@hut.fi Dedicated to Professor R. G. Stanton on the occasion of his 70th birthday.
open this document and view contentsftp://saturn.hut.fi/pub/papers/tabu.ps.Z, 19960306
Constructing Covering Codes by Tabu Search Patric R. J. Osterg ard Department of Computer Science, Helsinki University of Technology, Otakaari 1, FIN{02150 Espoo, Finland
open this document and view contentsftp://saturn.hut.fi/pub/papers/jicslp96.ps.gz, 19960531
Efficient Implementation of the Well- founded and Stable Model Seman- tics Ilkka Niemel a Department of Computer Science University of Koblenz Rheinau 1, D-56075 Koblenz, Germany ini@informatik.uni-koblenz.de Patrik Simons Department of Computer Science Helsinki University of Technology Otakaari 1,
open this document and view contentsftp://saturn.hut.fi/pub/reports/A37.ps.Z, 19960605
open this document and view contentsftp://saturn.hut.fi/pub/papers/kvapn94e.ps.Z, 19960809
Kimmo Varpaaniemi: On Combining the Stubborn Set Method with the Sleep Set Method. Robert Valette (Ed.), Proceedings of the 15th International Conference on Application and Theory of Petri Nets, Zaragoza, June 1994. Lecture Notes in Computer Science 815, Springer-Verlag, Berlin 1994, pp. 548{567. Errata
open this document and view contentsftp://saturn.hut.fi/pub/papers/kvacsp94e.ps.Z, 19960809
Kimmo Varpaaniemi: The Sleep Set Method Revisited. Ludwig Czaja, Hans-Dieter Burkhard, Peter H. Starke (Eds.), Proceedings of the 3rd International Workshop on Concurrency, Specification & Programming, Berlin, October 1994. Humboldt Universit at zu Berlin, Institut f ur Informatik, Informatik-Bericht
open this document and view contentsftp://saturn.hut.fi/pub/reports/B12errata.ps.Z, 19960809
Kimmo Varpaaniemi: On Computing Symmetries and Stubborn Sets Helsinki University of Technology Digital Sytems Laboratory Report B 12 (April 1994) Errata Page 4, line 22: The expression t 2 f(M) should be replaced by the expression t 2 f(M 00): Page 11, lines 2, 9, and 13: The expression :M
open this document and view contentsftp://saturn.hut.fi/pub/papers/color.ps.Z, 19960827
A Coloring Problem in Hamming Spaces Patric R. J. sterg rd Department of Mathematics, University of Turku, FIN>=20500 Turku, Finland 1 Proposed running head: Coloring in Hamming spaces Please send proofs to: Patric sterg rd Department of Mathematics and Computing Science Eindhoven University of
open this document and view contentsftp://saturn.hut.fi/pub/papers/binter.ps.Z, 19960827
A New Table of Binary/Ternary Mixed Covering Codes Patric R. J. sterg rd Department of Computer Science Helsinki University of Technology 02150 Espoo, Finland Heikki O. H m l inen Lehtotie 28 41120 Puuppola, Finland
open this document and view contentsftp://saturn.hut.fi/pub/papers/qary.ps.Z, 19960828
New Constructions for q-ary Covering Codes Patric R. J. sterg rd Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands
open this document and view contentsftp://saturn.hut.fi/pub/papers/tab.ps.Z, 19960904
New Upper Bounds for Binary Covering Codes Patric R. J. sterg rd Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands Markku K. Kaikkonen Halkosuontie 65 C 5 00660 Helsinki, Finland
open this document and view contentsftp://saturn.hut.fi/pub/reports/A38.ps.Z, 19960916
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 38; August 1996 ISBN 951>=22>=3212>=X TIME PROCESSES OF
open this document and view contentsftp://saturn.hut.fi/pub/papers/ecai96.ps, 19960927
Representing Autoepistemic Introspection in Terms of Default Rules Tomi Janhunen1
open this document and view contentsftp://saturn.hut.fi/pub/papers/kviscisxi.ps.Z, 19961114
Finding Small Stubborn Sets Automatically Kimmo Varpaaniemi Helsinki University of Technology, Digital Systems Laboratory Otakaari 1, FIN-02150 Espoo, Finland E-mail: Kimmo.Varpaaniemi@hut.fi
open this document and view contentsftp://saturn.hut.fi/pub/reports/A41.ps.Z, 19961204
Helsinki University of Technology Department of Computer Science and Engineering Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 41; December 1996 ISBN 951-22-3369-X
open this document and view contentsftp://saturn.hut.fi/pub/reports/A39.ps.Z, 19961205
HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 39; August 1996 ISBN 951-22-3227-8 HOW TO CALCULATE SYMBOLICALLY SIPHONS AND TRAPS FOR SOME ALGEBRAIC PETRI NETS Karsten Schmidt Digital Systems Laboratory Department of Computer Science Helsinki
open this document and view contentsftp://saturn.hut.fi/pub/reports/A43.ps.Z, 19970414
Helsinki University of Technology Department of Computer Science and Engineering Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 43; April 1997 ISBN 951-22-3451-3
open this document and view contentsftp://saturn.hut.fi/pub/papers/greedy.ps.Z, 19970519
Greedy and Heuristic Algorithms for Codes and Colorings Tuvi Etzion , Member, IEEE and Patric R. J. sterg rdy, Member, IEEE
open this document and view contentsftp://saturn.hut.fi/pub/papers/lpnmr97-sd.ps.gz, 19970523
Smodels >= an implementation of the stable model and well-founded semantics for normal logic programs Ilkka Niemel and Patrik Simons Helsinki University of Technology Dept. of Computer Science and Engineering Digital Systems Laboratory P.O. 1100, FIN-02015 HUT, Finland
open this document and view contentsftp://saturn.hut.fi/pub/reports/A45.ps.Z, 19970618
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 45; May 1997 ISBN 951>=22>=3603>=6 MODEL CHECKING THE
open this document and view contentsftp://saturn.hut.fi/pub/reports/A46.ps.Z, 19970708
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 P.O.Box 1100, FIN>=02015 HUT, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 46; May 1997 ISBN 951>=22>=3607>=9 STATELESS
open this document and view contentsftp://saturn.hut.fi/pub/papers/optsq.ps.Z, 19970715
Optimal Packings of Equal Circles in a Square Kari J. Nurmela Department of Computer Science and Engineering Helsinki University of Technology P.O. Box 1100, FIN>=02015 HUT, Finland Kari.Nurmela@hut.o Patric R. J. sterg rd Department of Mathematics and Computing Science Eindhoven University of
open this document and view contentsftp://saturn.hut.fi/pub/reports/A26errata.ps.Z, 19970718
Kimmo Varpaaniemi: Efficient Detection of Deadlocks in Petri Nets Helsinki University of Technology Digital Sytems Laboratory Report A 26 (October 1993) Errata Page 16, line 2: The expression t 2 f(M) should be replaced by the expression t 2 f(M 00): Page 21, the last but three line: 8t 2 Ts 8t0 2 T n
open this document and view contentsftp://saturn.hut.fi/pub/reports/B15.ps.Z, 19970825
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory Otaniemi, Otakaari 1 FIN>=02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series B: Technical Reports ISSN 0783>=540X No. 15; March 1996 ISBN 951>=22>=2993>=5 ReFlEx AN
open this document and view contentsftp://saturn.hut.fi/pub/reports/A42.ps.Z, 19970825
Helsinki University of Technology Department of Computer Science and Engineering Digital Systems Laboratory Otaniemi, Otakaari 1 FIN{02150 ESPOO, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783{5396 No. 42; January 1997 ISBN 951{22{3439{4 TOWARDS
open this document and view contentsftp://saturn.hut.fi/pub/reports/A47.ps.gz, 19970829
Helsinki University of Technology Department of Computer Science Digital Systems Laboratory P.O.Box 1100 FIN>=02015 HUT, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 47; August 1997 ISBN 951>=22>=3712>=1 TOWARDS CONSTRAINT
open this document and view contentsftp://saturn.hut.fi/pub/papers/lpnmr97.ps.gz, 19971013
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning Tomi Janhunen Helsinki University of Technology, Digital Systems Laboratory, P.O.Box 1100, FIN-02015 HUT, Finland E-mail: Tomi.Janhunen@hut.o
open this document and view contentsftp://saturn.hut.fi/pub/reports/B13changes.ps.Z, 19971219
Differences between PROD Reference Manual and the latest version of PROD Windows-PROD There is no supported MS-DOS version of PROD any more. Instead, PROD can now be run in Windows (3.1, 3.11, '95, NT). The Windows version is more reliable than the past MS-DOS versions. In principle, any analysis task
open this document and view contentsftp://saturn.hut.fi/pub/reports/B13errata.ps.Z, 19971219
Kimmo Varpaaniemi, Jaakko Halme, Kari Hiekkanen, and Tino Pyssysalo: PROD Reference Manual Helsinki University of Technology Digital Sytems Laboratory Report B 13 (August 1995) Errata Page 8: The description of the transition syntax looks as if a transition could have at most one gate. The truth is that
open this document and view contentsftp://saturn.hut.fi/pub/papers/tp1.ps.Z, 19980128
New coverings of t-sets with (t + 1)-sets Kari J. Nurmela and Patric R. J. sterg rd Department of Computer Science and Engineering Helsinki University of Technology P.O. Box 1100, 02015 HUT, Finland
open this document and view contentsftp://saturn.hut.fi/pub/reports/A48.ps.gz, 19980223
Helsinki University of Technology Department of Computer Science and Engineering Digital Systems Laboratory Otaniemi, Otakaari 1 P.O.Box 1100, FIN>=02015 HUT, FINLAND HELSINKI UNIVERSITY OF TECHNOLOGY DIGITAL SYSTEMS LABORATORY Series A: Research Reports ISSN 0783>=5396 No. 48; December 1997 ISBN