No photo of Lauri Hella

Lauri Hella

1989 …2023

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2023

    The Expressive Power of CSP-Quantifiers

    Hella, L., 1 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. Klin, B. & Pimentel, E. (eds.). 25. (Leibniz International Proceedings in Informatics; vol. 252).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • 2022

    Defining Long Words Succinctly in FO and MSO

    Hella, L. & Vilander, M., 2022, Revolutions and Revelations in Computability: 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11–15, 2022, Proceedings. Berger, U., Franklin, J. N. Y., Manea, F. & Pauly, A. (eds.). Springer, p. 125-138 14 p. (Lecture Notes in Computer Science; vol. 13359).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    File
  • 2020

    Bounded game-theoretic semantics for modal mu-calculus and some variants

    Hella, L., Kuusisto, A. & Rönnholm, R., 2020, Electronic Proceedings in Theoretical Computer Science: Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2020). Vol. 326. p. 82–96 15 p. (Electronic proceedings in theoretical computer science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
  • 2019

    Complexity Thresholds in Inclusion Logic

    Hannula, M. & Hella, L., 2019, Logic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. de Queiroz, R. (ed.). Springer Verlag, Vol. 11541 LNCS. p. 301-322 (Lecture Notes in Computer Science; vol. 11541 LNCS, no. 11541).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 2017

    Independence-friendly logic without henkin quantification

    Barbero, F., Hella, L. & Rönnholm, R., 2017, Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin: Springer, p. 14-30 (Lecture Notes in Computer Science; no. 10388).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • Model Checking and Validity in Propositional and Modal Inclusion Logics

    Hella, L., Kuusisto, A., Meier, A. & Jonni, V., 2017, Unknown. Larsen, K. G., Bodlaender, H. L. & Raskin, J-F. (eds.). Dagstuhl, 32. (Leibniz international proceedings in informatics; no. 83).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    7 Citations (Scopus)
  • 2016

    Dependence Logic vs. Constraint Satisfaction

    Hella, L. & Kolaitis, P., 2016, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). Talbot, J-M. & Regnier, L. (eds.). 14. (Leibniz international proceedings in informatics; no. Vol. 62).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • The succinctness of first-order logic over modal logic via a formula size game

    Hella, L. & Vilander, M., 2016, Advances in Modal Logic (AiML 11). Beklemishev, L., Demri, S. & Mate, A. (eds.). p. 401-419

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
  • 2015

    Modal inclusion logic: being lax is simpler than being strict

    Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 2015, Mathematical Foundations of Computer Science 2015 : 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Italiano, G., Pighizzini, G. & Donald, S. (eds.). Berlin Heidelberg, p. 281-292 (Lecture Notes in Computer Science; no. 9234).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    13 Citations (Scopus)
  • The expressive power of modal logic with inclusion atoms

    Hella, L. & Stumpf, J., 2015, Electronic Proceedings in Theoretical Computer Science: Proceedings of Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015). Esparza, J. & Tronci, E. (eds.). Vol. 193. p. 129–143 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Open Access
    11 Citations (Scopus)
  • 2014

    One-dimensional Fragment of First-order Logic

    Hella, L. & Kuusisto, A., 2014, Advances in Modal Logic 10. Gore, R., Kooi, B. & Kurucz, A. (eds.). p. 274-293

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    10 Citations (Scopus)
  • The Expressive Power of Modal Dependence Logic

    Hella, L., Luosto, K., Sano, K., Virtema, J. & Jonni, V., 2014, Advances in Modal Logic 10. Gore, R., Kool, B. & Kurucz, A. (eds.). p. 294-312

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    27 Citations (Scopus)
  • 2013

    Boolean dependence logic and partially-ordered connectives

    Ebbing, J., Hella, L., Lohmann, P. & Jonni, V., 2013, Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. de Queiroz, R. (ed.). Berlin: Springer, p. 111–125 (Lecture Notes in Computer Science; no. 8071).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • Extended modal dependence logic EMDL

    Ebbing, J., Hella, L., Meier, A., Müller, J-S., Jonni, V. & Vollmer, H., 2013, Logic, Language, Information and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. de Queiroz, R. (ed.). Berlin: Springer, p. 126-137 (Lecture Notes in Computer Science; no. 8071).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    32 Citations (Scopus)
  • Inclusion logic and fixed point logic

    Galliani, P. & Hella, L., 2013, Computer Science Logic 2013: 22nd Annual Conference of the EACSL, CSL’13. Ronchi Della Rocca, S. (ed.). Saarbrücken/Wadern, p. 281-295 (LIPIcs; no. 23).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    42 Citations (Scopus)
  • 2012

    Weak models of distributed computing, with connections to modal logic

    Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Jonni, V., 2012, Proceedings of the 2012 ACM symposium on Principles of distributed computing. p. 185-194 (ACM Symposium on Principles of Distributed Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
  • 2009

    Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

    Hella, L. & Kuusisto, A., 2009, Preliminary proceedings of the 6th Workshop on Methods for Modalities. Bolander, T. & Torben, B. (eds.). Roskilde, p. 103-117 (Computer science research report; no. 128).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  • 2006

    Complete problems for higher order logics

    Hella, L. & Turull-Torres, J., 2006, Proceedings of the 20th International Workshop, CSL2006. Zoltán, É. (ed.). Berlin Heidelberg: Springer, p. 380-394 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • 2000

    Approximate pattern matching is expressible in transitive closure logic

    Lemström, K. & Hella, L., 2000, Proceedings of 15th Annual IEEE Symposium on Logic in Computer Science. p. 157-167

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    2 Citations (Scopus)
  • 1999

    Logics with aggregate operators

    Hella, L., Libkin, L., Nurmonen, J. & Wong, L., 1999, Unknown. p. 35-44 (Proceedings of the 14th IEEE Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    12 Citations (Scopus)
  • 1998

    Ordering finite variable types with generalized quantifiers

    Dawar, A., Hella, L. & Anil, S., 1998, Proceedings of 13th Annual IEEE Symposium on Logic in Computer Science. p. 28-43

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • 1995

    Implicit definability and infinitary logic in finite model theory

    Dawar, A., Hella, L. & Kolaitis, P., 1995, Proceedings of 22th International Colloquium on Automata, Languages, and Programming (ICALP95). p. 624-635 (Lecture Notes in Computer Science; no. 944).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    10 Citations (Scopus)
  • 1994

    How to define a linear order on finite models

    Hella, L., Kolaitis, P. & Luosto, K., 1994, Proceedings of Ninth Annual IEEE Symposium on Logic in Computer Science. p. 40-49

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
  • The expressive power of finitely many generalized quantifiers

    Dawar, A. & Hella, L., 1994, Proceedings of Ninth Annual IEEE Symposium on Logic in Computer Science. p. 20-29

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    10 Citations (Scopus)
  • 1992

    Logical hierarchies in PTIME

    Hella, L., 1992, Proceedings of Seventh Annual IEEE Symposium on Logic in Computer Science. p. 360-368

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    19 Citations (Scopus)