• Suomi

Julkaisut 1977 2020

1977

On defining error recovery in context-free parsing

Sippu, S. & Soisalon-Soininen, E., 1977, Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finland July 18-22, 1977. Salomaa, A. & Steinby, M. (toim.). Berlin-Heidelberg-New York: Springer-Verlag, s. 492-503 12 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 52).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1979

On constructing LL(k) parsers: Extended abstract

Sippu, S. & Soisalon-Soininen, E., 1979, Automata, Languages and Programming: Sixth Colloquium, Graz, Austria, July 16-20, 1979. Maurer, H. A. (toim.). Berlin-Heidelberg-New York: Springer-Verlag, s. 585-595 11 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 71).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1980

A scheme for LR(k) parsing with error recovery: Part I: LR(k) parsing

Sippu, S. & Soisalon-Soininen, E., 1980, julkaisussa : International Journal of Computer Mathematics. 8, 1, s. 27 42 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

A scheme for LR(k) parsing with error recovery: Part II: error recovery

Sippu, S. & Soisalon-Soininen, E., 1980, julkaisussa : International Journal of Computer Mathematics. 8, 1, s. 107 119 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

A scheme for LR(k) parsing with error recovery: Part III: error correction

Sippu, S. & Soisalon-Soininen, E., 1980, julkaisussa : International Journal of Computer Mathematics. 8, 3, s. 189 206 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Characterizations of the LL(k) property: Extended abstract

Sippu, S. & Soisalon-Soininen, E., 1980, Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. de Bakker, J. W. & van Leeuwen, J. (toim.). Berlin-Heidelberg-New York: Springer-Verlag, s. 596-608 13 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 85).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1981

Automatisoitu ohjelmavirheiden käsittely: Tutkimustulokset myönteisiä

Sippu, S., 1981, julkaisussa : Tekniikka. 71, 6, s. 58, 60 2 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliYleistajuinen

On LALR(k) testing

Sippu, S. & Soisalon-Soininen, E., 1981, Automata, Languages and Programming: Eigth Colloquium, Acre (Akko), Israel, July 13-17, 1981. Even, S. & Kariv, O. (toim.). Berlin-Heidelberg-New York: Springer-Verlag, s. 208-217 10 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 115).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Syntax error handling in compilers

Sippu, S., 2 maaliskuuta 1981, Helsinki: University of Helsinki, Department of Computer Science. 91 Sivumäärä

Tutkimustuotos: OpinnäyteVäitöskirjaMonografia

1982

Derivational complexity of context-free grammars

Sippu, S., tammikuuta 1982, julkaisussa : Information and Computation. 53, 1-2, s. 52-65 14 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

On LL(k) parsing

Sippu, S. & Soisalon-Soininen, E., kesäkuuta 1982, julkaisussa : Information and Computation. 53, 3, s. 141-164 24 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Practical error recovery in LR parsing

Sippu, S. & Soisalon-Soininen, E., 1982, Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages: Papers Presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982. New York, NY: ACM, s. 177-184 8 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1983

A syntax-error-handling technique and its experimental analysis

Sippu, S. & Soisalon-Soininen, E., lokakuuta 1983, julkaisussa : ACM Transactions on Programming Languages and Systems. 5, 4, s. 656-679 24 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

On the complexity of LL(k) testing

Sippu, S. & Soisalon-Soininen, E., huhtikuuta 1983, julkaisussa : Journal of Computer and System Sciences. 26, 2, s. 244-268 23 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Revised report on the compiler writing system HLP78

Räihä, K-J., Saarinen, M., Sarjakoski, M., Sippu, S., Soisalon-Soininen, E. & Tienari, M., 11 tammikuuta 1983, Helsinki: University of Helsinki, Department of Computer Science. 132 Sivumäärä (Series of publications A; nro A-1983-1)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

The Complexity of LALR(k) Testing

Sippu, S., Soisalon-Soininen, E. & Ukkonen, E., huhtikuuta 1983, julkaisussa : Journal of the ACM. 30, 2, s. 259-270 12 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

1985

On the use of relational expressions in the design of efficient algorithms: Extended abstract

Sippu, S. & Soisalon-Soininen, E., 1985, Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Brauer, W. (toim.). Berlin Heidelberg-New York-Tokyo: Springer-Verlag, s. 456-464 9 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 194).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1986

PROTAN - an Estelle Environment for protocol verification. A status report.

Kutvonen, L. K., Tienari, M. J., Aaltonen, K., Keskinen, J. & Lehtinen, K., 1 elokuuta 1986, Technical report. University of Helsinki, Department of Computer Science,C-2004-62.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

The design of the language processor generator HLP84

Koskimies, K., Nurmi, O., Paakki, J. & Sippu, S., marraskuuta 1986, Helsinki: University of Helsinki, Department of Computer Science. 56 Sivumäärä (Series of publications A; nro A-1986-4)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

1987

Efficient evaluation for a subset of recursive queries

Grahne, G., Sippu, S. & Soisalon-Soininen, E., 1987, Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems: March 23-25, 1987, San Diego, California. New York, NY: ACM, s. 284-293 10 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

1988

An optimization strategy for recursive queries in logic databases

Sippu, S. & Soisalon-Soininen, E., 1988, Proceedings of the Fourth International Conference on Data Engineering: February 1-5, 1988, Los Angeles Airport Hilton and Towers, Los Angeles, California, USA. Washington, D.C.: IEEE Computer Society, s. 470-477 8 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Generalized transitive closure for relational queries

Sippu, S. & Soisalon-Soininen, E., 1988, Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems: March 21-23, 1988, Austin, Texas. New York, NY: ACM, s. 325-332 8 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Parsing Theory: Volume I: Languages and Parsing

Julkaisun otsikon käännös: Jäsennysteoria: Osa I: kielet ja jäsentäminenSippu, S. & Soisalon-Soininen, E., 1988, Berlin-Heidelberg-New York: Springer-Verlag. 228 Sivumäärä (EATCS Monographs on Theoretical Computer Science; nro Volume 15)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

PROTAN88 - A software tool for verifying communication protocols specified with an extended state transition model. M.Tienari, K.Aaltonen, J.Eloranta, J.Keskinen, K.Lehtinen, L.Summanen, K.Tarpila, and I.Turunen

Kutvonen, L. K. & Tienari, M. J., 1988, Department of Computer Science, University of Helsinki, 1988.: Report A-1988-5, .

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

The design of a language processor generator

Koskimies, K., Nurmi, O., Paakki, J. & Sippu, S., 1988, julkaisussa : Software: Practice & Experience. 18, 2, s. 107–135 29 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

1989

On the computational complexity of analyzing Hopfield nets

Floreen, P. & Orponen, P., 1989, julkaisussa : Complex Systems. 1989, 3, s. 577-587 10 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto
1990

Dempster's rule of combination is #P-complete

Orponen, P., 1990, julkaisussa : Artificial Intelligence. 44, s. 245-253 8 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Efficient implementation of loops in bottom-up evaluation of logic queries

Kuittinen, J., Nurmi, O., Sippu, S. & Soisalon-Soininen, E., 1990, Proceedings of the 6th International Conference on Very Large Data Bases: August 13-16, 1990, Brisbane, Australia. McLeod, D., Sacks-Davis, R. & Schek, H-J. (toim.). Palo Alto, CA: Morgan Kaufmann Publishers, s. 372-379 8 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Multiple SIP strategies and bottom-up adorning in logic query optimization

Sippu, S. & Soisalon-Soininen, E., 1990, ICDT'90, Third International Conference on Database Theory: Paris, France, December 12-14, 1990, Proceedings. Abiteboul, S. & Kanellakis, P. C. (toim.). Berlin-Heidelberg-New York: Springer-Verlag, s. 485-498 14 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 470).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

On the sample complexity of finding good search strategies

Orponen, P. & Greiner, R., 1990, COLT '90 : Proceedings of the third annual workshop on Computational learning theory . Rochester, New York: Morgan Kaufmann publishers, Vuosikerta 1990. s. 352-358 6 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Parsing Theory: Volume II: LR(k) and LL(k) Parsing

Julkaisun otsikon käännös: Jäsennysteoria: Osa II: LR(k)- ja LL(k)-jäsentäminenSippu, S. & Soisalon-Soininen, E., 1990, Berlin-Heidelberg-New York: Springer-Verlag. 426 Sivumäärä (EATCS Monographs on Theoretical Computer Science; nro Volume 20)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

1991

Efficient evaluation for a subset of recursive queries

Grahne, G., Sippu, S. & Soisalon-Soininen, E., huhtikuuta 1991, julkaisussa : Journal of Logic Programming. 10, 3-4, s. 301-332 32 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

1992

High Level Integration of Rule-Based and Procedural Programming through Unification of Frames and Classes

Toivonen, H., huhtikuuta 1992, Proceedings of the Fifth Florida Artificial Intelligence Research Symposium (FLAIRS-92). Ft. Lauderdale, Florida: Florida AI Research Society, s. 129-133 5 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Integrating Symbolic Reasoning with Neurally Represented Background Knowledge

Myllymäki, P., Orponen, P. & Silander, T., 1992, Proceedings of the Finnish AI Conference. Suomen Tekoälyseura, Vuosikerta 2. s. 231-240 9 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

Open access
Tiedosto

NEULA: a hybrid neural-symbolic expert system shell

Floreen, P., Myllymäki, P., Orponen, P. & Tirri, H., 1992, julkaisussa : Tietojenkäsittelytiede. 1992, 3, s. 11-18 7 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinen

Open access
Tiedosto

Random Strings Make Hard Instances

Buhrman, H. & Orponen, P., 1992, Proceedings of IEEE 9th Annual Conference on Structure in Complexity Theory. IEEE, s. 217-222 5 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

TOWARDS UNDERSTANDING THE PATHOPHYSIOLOGY OF CHRONIC REJECTION

HAYRY, P., MENNANDER, A., YILMAZ, S., USTINOV, J., RAISANEN, A., MIETTINEN, A., LAUTENSCHLAGER, T., LEMSTROM, K., BRUGGEMAN, CA. & PAAVONEN, T., syyskuuta 1992, julkaisussa : The Clinical Investigator. 70, 9, s. 780-790 11 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuKatsausartikkeliTieteellinenvertaisarvioitu

1993

Attraction Radii in Binary Hopfield Nets are Hard to Compute

Floreen, P. & Orponen, P., syyskuuta 1993, julkaisussa : Neural Computation. 5 , 5, s. 812-821 9 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Avoiding redundant computations in evaluating linear queries

Sippu, S. & Soisalon-Soininen, E., 1994, ADC'94, Proceedings of the 5th Australasian Database Conference: Christchurch, New Zealand, 17-18 January 1994. Sacks-Davis, R. (toim.). Singapore: Global Publications Service, s. 124-135 12 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

BROADENING THE USER ENVIRONMENT WITH IMPLICIT TRADING

KUTVONEN, L. & KUTVONEN, P., 1994, Unknown host publication. DeMeer, J., Mahr, B. & Storp, S. (toim.). s. 157-168 12 Sivumäärä (IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS; Vuosikerta 20).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Comparison of the Dryad trading system to ODP Trading function draft

Kutvonen, L., 1994, julkaisussa : Raportti - Helsingin yliopisto. Tietojenkäsittelyopin laitos. C.

Tutkimustuotos: ArtikkelijulkaisuKonferenssiartikkeliTieteellinenvertaisarvioitu

Complexity issues in discrete Hopfield networks

Floreen, P. B. J. & Orponen, P., 1994, Helsinki: University of Helsinki, Department of Computer Science. 54 Sivumäärä (Series of publications / University of Helsinki, Department of Computer Science. A;)

Tutkimustuotos: Kirja/raporttiKirjaTieteellinenvertaisarvioitu

Complexity Issues in Discrete Hopfield Networks

Floreen, P. & Orponen, P., 1994, Helsinki: Department of Computer Science, University of Helsinki, 54 Sivumäärä (Report A).

Tutkimustuotos: TyöpaperiAmmatillinen

Open access
Tiedosto

Computational complexity of neural networks: A survey

Orponen, P., 1994, julkaisussa : Nordic Journal of Computing. 1994 , 1, s. 94-110 16 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Costs and benefits of Pilarcos federation middleware

Kutvonen, L., 1994, Department of Computer Science, University of Helsinki. Technical report C2003-14..

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

Efficient Algorithms for Discovering Association Rules

Mannila, H., Toivonen, H. & Verkamo, A. I., heinäkuuta 1994, Knowledge Discovery in Databases, Papers from the 1994 AAAI Workshop (KDD'94). Fayyad, U. M. & Uthurusamy, R. (toim.). Seattle, Washington, USA: AAAI Press, s. 181-192 12 Sivumäärä

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Federation transparency in ODP Trading function

Kutvonen, L., 1994, julkaisussa : Raportti - Helsingin yliopisto. Tietojenkäsittelyopin laitos. C.

Tutkimustuotos: ArtikkelijulkaisuKonferenssiartikkeliTieteellinen

Finding interesting rules from large sets of discovered association rules

Klemettinen, M., Mannila, H., Ronkainen, P., Toivonen, H. & Verkamo, A. I., 1994, Proceedings of the Third International Conference on Information and Knowledge Management. Adam, N. R., Bhargava, B. K. & Yesha, Y. (toim.). s. 401-407

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access

Instance Complexity

Orponen, P., Ko, K-I., Schöning, U. & Watanabe, O., tammikuuta 1994, julkaisussa : Journal of the ACM. 41, 1, s. 96-121 25 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto