Foto av Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022021

Research output per year

Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 111 Matematik

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer

Descriptive complexity of #P functions: A new perspective

Durand, A., Haak, A., Kontinen, J. & Vollmer, H., 2020, I : Journal of Computer and System Sciences.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Descriptive complexity of real computation and probabilistic independence logic

Hannula, M., Kontinen, J., Bussche, J. V. D. & Virtema, J., 2020, (!!Accepted/In press) Proceedigs of the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings

Herzig, A. (red.) & Kontinen, J. (red.), 2020, Springer. 333 s. (Lecture Notes in Computer Science)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Polyteam Semantics

Hannula, M., Kontinen, J. & Virtema, J., 2020, (!!Accepted/In press) I : Journal of Logic and Computation.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., sep 2019, I : Annals of Pure and Applied Logic. 170, 9, s. 975-992 18 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Projekter

Aktiviteter

Supervisor of the Master's thesis of Tuukka Ylönen.

Juha Kontinen (Handledare)
jan 2020maj 2020

Aktivitet: ExaminationstyperHandledning av annat kunskapsprov (pro gradu, licentiatavhandling)

Member of the doctoral thesis committee of Martin Lück

Juha Kontinen (Opponent)
9 jan 2020

Aktivitet: ExaminationstyperOpponent i doktorsavhandling

28th Nordic Congress of Mathematicians

Juha Kontinen (New classification)
jan 2020aug 2021

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

30 Years of Finite Model Theory in Finland

Juha Kontinen (Medlem i organisationskommitté)
jan 2020aug 2021

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Leibniz University Hannover, Hannover, Germany

Juha Kontinen (Besökande forskare)
7 jan 202010 jan 2020

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution