The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Miika Hannula" ( http://dblp.L3S.de/Authors/Miika_Hannula )

URL (Homepage):  https://orcid.org/0000-0002-9637-6664  Author page on DBLP  Author page in RDF  Community of Miika Hannula in ASPL-2

Publication years (Num. hits)
2013-2015 (17) 2016-2018 (18) 2019 (4)
Publication types (Num. hits)
article(23) inproceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 40 publication records. Showing 39 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Miika Hannula, Lauri Hella Complexity Thresholds in Inclusion Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Miika Hannula Validity and Entailment in Modal and Propositional Dependence Logics. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2019 DBLP  BibTeX  RDF
1Miika Hannula, Lauri Hella Complexity Thresholds in Inclusion Logic. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miika Hannula Hierarchies in Inclusion Logic with Lax Semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Logics in Team Semantic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and dependence via multiteam semantics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Probabilistic team semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tania Roblot, Miika Hannula, Sebastian Link Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries. Search on Bibsonomy VLDB J. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Sebastian Link Automated Reasoning About Key Sets. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Sebastian Link On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. Search on Bibsonomy DASFAA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema Polyteam Semantics. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Probabilistic Team Semantics. Search on Bibsonomy FoIKS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema Polyteam Semantics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On the Interaction of Inclusion Dependencies with Independence Atoms. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Miika Hannula Validity and Entailment in Modal and Propositional Dependence Logics. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On the finite and general implication problems of independence atoms and keys. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miika Hannula The Entailment Problem in Modal and Propositional Dependence Logics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema On Quantified Propositional Logics and the Exponential Time Hierarchy. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen A finite axiomatization of conditional independence and inclusion dependencies. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and Dependence via Multiteam Semantics. Search on Bibsonomy FoIKS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miika Hannula Reasoning about embedded dependencies using inclusion dependencies. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Independence and Inclusion Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and Dependence via Multiteam Semantics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Miika Hannula Axiomatizing first-order consequences in independence logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen Hierarchies in independence and inclusion logic with strict semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula Reasoning About Embedded Dependencies Using Inclusion Dependencies. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula Hierarchies in Inclusion Logic with Lax Semantics. Search on Bibsonomy ICLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Independence and Inclusion Logic. Search on Bibsonomy MFCS (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen Hierarchies in independence and inclusion logic with strict semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Miika Hannula Hierarchies in inclusion logic with lax semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On Independence Atoms and Keys. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On Independence Atoms and Keys. Search on Bibsonomy CIKM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. Search on Bibsonomy FoIKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pietro Galliani, Miika Hannula, Juha Kontinen Hierarchies in independence logic Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Miika Hannula Axiomatizing first-order consequences in independence logic Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen A finite axiomatization of conditional independence and inclusion dependencies. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pietro Galliani, Miika Hannula, Juha Kontinen Hierarchies in independence logic. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #39 of 39 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license