Ei valokuvaa Lauri Hella

Lauri Hella

1989 …2023

Tutkimustuotoksia vuodessa

Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.
Suodatin
Konferenssiartikkeli

Hakutulokset

  • 2023

    Descriptive Complexity for Distributed Computing with Circuits

    Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., elok. 2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (toim.). 9. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 272).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
  • The Expressive Power of CSP-Quantifiers

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

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
  • 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. (toim.). Springer, s. 125-138 14 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13359).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    Tiedosto
    1 Lataukset (Pure)
  • 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). Vuosikerta 326. s. 82–96 15 Sivumäärä (Electronic proceedings in theoretical computer science).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    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. (toim.). Springer Verlag, Vuosikerta 11541 LNCS. s. 301-322 (Lecture Notes in Computer Science; Vuosikerta 11541 LNCS, nro 11541).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    2 Sitaatiot (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. (toim.). Berlin: Springer, s. 14-30 (Lecture Notes in Computer Science; nro 10388).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    2 Sitaatiot (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. (toim.). Dagstuhl, 32. (Leibniz international proceedings in informatics; nro 83).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    7 Sitaatiot (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. (toim.). 14. (Leibniz international proceedings in informatics; nro Vol. 62).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    1 Sitaatiot (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. (toim.). s. 401-419

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    5 Sitaatiot (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. (toim.). Berlin Heidelberg, s. 281-292 (Lecture Notes in Computer Science; nro 9234).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    13 Sitaatiot (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. (toim.). Vuosikerta 193. s. 129–143 15 Sivumäärä

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    Open access
    11 Sitaatiot (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. (toim.). s. 274-293

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    10 Sitaatiot (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. (toim.). s. 294-312

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    27 Sitaatiot (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. (toim.). Berlin: Springer, s. 111–125 (Lecture Notes in Computer Science; nro 8071).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

  • 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. (toim.). Berlin: Springer, s. 126-137 (Lecture Notes in Computer Science; nro 8071).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    32 Sitaatiot (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. (toim.). Saarbrücken/Wadern, s. 281-295 (LIPIcs; nro 23).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    42 Sitaatiot (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. s. 185-194 (ACM Symposium on Principles of Distributed Computing).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    9 Sitaatiot (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. (toim.). Roskilde, s. 103-117 (Computer science research report; nro 128).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

  • 2006

    Complete problems for higher order logics

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

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    1 Sitaatiot (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. s. 157-167

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    2 Sitaatiot (Scopus)
  • 1999

    Logics with aggregate operators

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

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    12 Sitaatiot (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. s. 28-43

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    1 Sitaatiot (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). s. 624-635 (Lecture Notes in Computer Science; nro 944).

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    10 Sitaatiot (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. s. 40-49

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    9 Sitaatiot (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. s. 20-29

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    10 Sitaatiot (Scopus)
  • 1992

    Logical hierarchies in PTIME

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

    Tutkimustuotos: KonferenssiartikkeliScientificvertaisarvioitu

    19 Sitaatiot (Scopus)