Lauri Hella

2024

Quantifiers Closed Under Partial Polymorphisms

Dawar, A. & Hella, L., helmik. 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 23. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 288).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access

Tiedosto

10 Lataukset (Pure)

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.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 9. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 272).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access

Tiedosto

1 Sitaatiot (Scopus)

10 Lataukset (Pure)

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.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 25. (Leibniz International Proceedings in Informatics; Vuosikerta 252).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access

Tiedosto

2 Sitaatiot (Scopus)

9 Lataukset (Pure)

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access

Tiedosto

1 Sitaatiot (Scopus)

10 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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access

1 Sitaatiot (Scopus)

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

4 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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

3 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: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 32. (Leibniz international proceedings in informatics; nro 83).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

8 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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 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.). COLLEGE PUBLICATIONS, s. 401-419

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

9 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: Springer-Verlag, s. 281-292 (Lecture Notes in Computer Science; nro 9234).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Open access

17 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.). COLLEGE PUBLICATIONS, s. 274-293

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

18 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.). COLLEGE PUBLICATIONS, s. 294-312

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

35 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. 111125 (Lecture Notes in Computer Science; nro 8071).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

1 Sitaatiot (Scopus)

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

33 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: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 281-295 (LIPIcs; nro 23).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

64 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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

13 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: Roskilde University, s. 103-117 (Computer science research report; nro 128).

Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

17 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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

10 Sitaatiot (Scopus)

1994