default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jonni Virtema
@inproceedings{DBLP:conf/aaai/HankalaHKV24,
author = {Teemu Hankala and
Miika Hannula and
Juha Kontinen and
Jonni Virtema},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Complexity of Neural Network Training and {ETR:} Extensions with Effectively
Continuous Functions},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {12278--12285},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i11.29118},
doi = {10.1609/AAAI.V38I11.29118},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HankalaHKV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BarberoV24,
author = {Fausto Barbero and
Jonni Virtema},
editor = {Aniello Murano and
Alexandra Silva},
title = {Expressivity Landscape for Logics with Probabilistic Interventionist
Counterfactuals},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.15},
doi = {10.4230/LIPICS.CSL.2024.15},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/BarberoV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/MahmoodVBN24,
author = {Yasir Mahmood and
Jonni Virtema and
Timon Barlag and
Axel{-}Cyrille Ngonga Ngomo},
editor = {Arne Meier and
Magdalena Ortiz},
title = {Computing Repairs Under Functional and Inclusion Dependencies via
Argumentation},
booktitle = {Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14589},
pages = {23--42},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56940-1\_2},
doi = {10.1007/978-3-031-56940-1\_2},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/MahmoodVBN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/KontinenSV24,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m and
Jonni Virtema},
editor = {Arne Meier and
Magdalena Ortiz},
title = {A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL},
booktitle = {Foundations of Information and Knowledge Systems - 13th International
Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14589},
pages = {275--286},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-56940-1\_15},
doi = {10.1007/978-3-031-56940-1\_15},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/KontinenSV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-17805,
author = {Timon Barlag and
Vivian Holzapfel and
Laura Strieker and
Jonni Virtema and
Heribert Vollmer},
title = {Graph Neural Networks and Arithmetic Circuits},
journal = {CoRR},
volume = {abs/2402.17805},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.17805},
doi = {10.48550/ARXIV.2402.17805},
eprinttype = {arXiv},
eprint = {2402.17805},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-17805.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-04833,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m and
Jonni Virtema},
title = {A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL},
journal = {CoRR},
volume = {abs/2406.04833},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.04833},
doi = {10.48550/ARXIV.2406.04833},
eprinttype = {arXiv},
eprint = {2406.04833},
timestamp = {Sat, 13 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-04833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KontinenVV0F24,
author = {Juha Kontinen and
Jonni Virtema and
Heribert Vollmer and
Fan Yang and
Nicolas Fr{\"{o}}hlich},
title = {Logics for Dependence and Independence: Expressivity and Complexity
(Dagstuhl Seminar 24111)},
journal = {Dagstuhl Reports},
volume = {14},
number = {3},
pages = {31--51},
year = {2024},
url = {https://doi.org/10.4230/DagRep.14.3.31},
doi = {10.4230/DAGREP.14.3.31},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/KontinenVV0F24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BarberoV23,
author = {Fausto Barbero and
Jonni Virtema},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist
Counterfactuals},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {649--664},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_44},
doi = {10.1007/978-3-031-43619-2\_44},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BarberoV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HannulaHKMMV23,
author = {Miika Hannula and
Minna Hirvonen and
Juha Kontinen and
Yasir Mahmood and
Arne Meier and
Jonni Virtema},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Logics with Probabilistic Team Semantics and the Boolean Negation},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {665--680},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_45},
doi = {10.1007/978-3-031-43619-2\_45},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HannulaHKMMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BarlagHKPV23,
author = {Timon Barlag and
Miika Hannula and
Juha Kontinen and
Nina Pardal and
Jonni Virtema},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Unified Foundations of Team Semantics via Semirings},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {75--85},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/8},
doi = {10.24963/KR.2023/8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BarlagHKPV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KontinenSV23,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m and
Jonni Virtema},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, August 28 to September 1, 2023, Bordeaux, France},
series = {LIPIcs},
volume = {272},
pages = {60:1--60:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.60},
doi = {10.4230/LIPICS.MFCS.2023.60},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KontinenSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/MahmoodV23,
author = {Yasir Mahmood and
Jonni Virtema},
editor = {Helle Hvid Hansen and
Andre Scedrov and
Ruy J. G. B. de Queiroz},
title = {Parameterized Complexity of Propositional Inclusion and Independence
Logic},
booktitle = {Logic, Language, Information, and Computation - 29th International
Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13923},
pages = {274--291},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39784-4\_17},
doi = {10.1007/978-3-031-39784-4\_17},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/MahmoodV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-07926,
author = {Timon Barlag and
Miika Hannula and
Juha Kontinen and
Nina Pardal and
Jonni Virtema},
title = {Unified Foundations of Team Semantics via Semirings},
journal = {CoRR},
volume = {abs/2303.07926},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.07926},
doi = {10.48550/ARXIV.2303.07926},
eprinttype = {arXiv},
eprint = {2303.07926},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-07926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-11993,
author = {Fausto Barbero and
Jonni Virtema},
title = {Expressivity Landscape for Logics with Probabilistic Interventionist
Counterfactuals},
journal = {CoRR},
volume = {abs/2303.11993},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.11993},
doi = {10.48550/ARXIV.2303.11993},
eprinttype = {arXiv},
eprint = {2303.11993},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-11993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-02964,
author = {Fausto Barbero and
Jonni Virtema},
title = {Strongly complete axiomatization for a logic with probabilistic interventionist
counterfactuals},
journal = {CoRR},
volume = {abs/2304.02964},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.02964},
doi = {10.48550/ARXIV.2304.02964},
eprinttype = {arXiv},
eprint = {2304.02964},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10915,
author = {Juha Kontinen and
Max Sandstr{\"{o}}m and
Jonni Virtema},
title = {Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity},
journal = {CoRR},
volume = {abs/2304.10915},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.10915},
doi = {10.48550/ARXIV.2304.10915},
eprinttype = {arXiv},
eprint = {2304.10915},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-10915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11833,
author = {Teemu Hankala and
Miika Hannula and
Juha Kontinen and
Jonni Virtema},
title = {Complexity of Neural Network Training and {ETR:} Extensions with Effectively
Continuous Functions},
journal = {CoRR},
volume = {abs/2305.11833},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11833},
doi = {10.48550/ARXIV.2305.11833},
eprinttype = {arXiv},
eprint = {2305.11833},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00420,
author = {Miika Hannula and
Minna Hirvonen and
Juha Kontinen and
Yasir Mahmood and
Arne Meier and
Jonni Virtema},
title = {Logics with probabilistic team semantics and the Boolean negation},
journal = {CoRR},
volume = {abs/2306.00420},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00420},
doi = {10.48550/ARXIV.2306.00420},
eprinttype = {arXiv},
eprint = {2306.00420},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-15516,
author = {Nina Pardal and
Jonni Virtema},
title = {A fine-grained framework for database repairs},
journal = {CoRR},
volume = {abs/2306.15516},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.15516},
doi = {10.48550/ARXIV.2306.15516},
eprinttype = {arXiv},
eprint = {2306.15516},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-15516.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-01973,
author = {Yasir Mahmood and
Jonni Virtema and
Timon Barlag and
Axel{-}Cyrille Ngonga Ngomo},
title = {Computing Repairs Under Functional and Inclusion Dependencies via
Argumentation},
journal = {CoRR},
volume = {abs/2312.01973},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.01973},
doi = {10.48550/ARXIV.2312.01973},
eprinttype = {arXiv},
eprint = {2312.01973},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-01973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/HannulaV22,
author = {Miika Hannula and
Jonni Virtema},
title = {Tractability frontiers in probabilistic team semantics and existential
second-order logic over the reals},
journal = {Ann. Pure Appl. Log.},
volume = {173},
number = {10},
pages = {103108},
year = {2022},
url = {https://doi.org/10.1016/j.apal.2022.103108},
doi = {10.1016/J.APAL.2022.103108},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/HannulaV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GutsfeldMOV22,
author = {Jens Oliver Gutsfeld and
Arne Meier and
Christoph Ohrem and
Jonni Virtema},
editor = {Christel Baier and
Dana Fisman},
title = {Temporal Team Semantics Revisited},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {44:1--44:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533360},
doi = {10.1145/3531130.3533360},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/GutsfeldMOV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FerrarottiGTBV21,
author = {Flavio Ferrarotti and
Sen{\'{e}}n Gonz{\'{a}}lez and
Jos{\'{e}} Maria Turull Torres and
Jan Van den Bussche and
Jonni Virtema},
title = {Descriptive complexity of deterministic polylogarithmic time and space},
journal = {J. Comput. Syst. Sci.},
volume = {119},
pages = {145--163},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2021.02.003},
doi = {10.1016/J.JCSS.2021.02.003},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/FerrarottiGTBV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/HannulaKLV21,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {On the Complexity of Horn and Krom Fragments of Second-Order Boolean
Logic},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {27:1--27:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.27},
doi = {10.4230/LIPICS.CSL.2021.27},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/HannulaKLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/VirtemaHFK021,
author = {Jonni Virtema and
Jana Hofmann and
Bernd Finkbeiner and
Juha Kontinen and
Fan Yang},
editor = {Mikolaj Bojanczyk and
Chandra Chekuri},
title = {Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity},
booktitle = {41st {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2021, December 15-17, 2021,
Virtual Conference},
series = {LIPIcs},
volume = {213},
pages = {52:1--52:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2021.52},
doi = {10.4230/LIPICS.FSTTCS.2021.52},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/VirtemaHFK021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HannulaV21,
author = {Miika Hannula and
Jonni Virtema},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Tractability Frontiers in Probabilistic Team Semantics and Existential
Second-Order Logic over the Reals},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {262--278},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_18},
doi = {10.1007/978-3-030-75775-5\_18},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HannulaV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-14887,
author = {Yasir Mahmood and
Jonni Virtema},
title = {Parameterised Complexity of Propositional Logic in Team Semantics},
journal = {CoRR},
volume = {abs/2105.14887},
year = {2021},
url = {https://arxiv.org/abs/2105.14887},
eprinttype = {arXiv},
eprint = {2105.14887},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14887.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12699,
author = {Jens Oliver Gutsfeld and
Arne Meier and
Christoph Ohrem and
Jonni Virtema},
title = {Temporal Team Semantics Revisited},
journal = {CoRR},
volume = {abs/2110.12699},
year = {2021},
url = {https://arxiv.org/abs/2110.12699},
eprinttype = {arXiv},
eprint = {2110.12699},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HannulaKV20,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
title = {Polyteam semantics},
journal = {J. Log. Comput.},
volume = {30},
number = {8},
pages = {1541--1566},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa048},
doi = {10.1093/LOGCOM/EXAA048},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HannulaKV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HannulaKBV20,
author = {Miika Hannula and
Juha Kontinen and
Jan Van den Bussche and
Jonni Virtema},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Descriptive complexity of real computation and probabilistic independence
logic},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {550--563},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394773},
doi = {10.1145/3373718.3394773},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/HannulaKBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00644,
author = {Miika Hannula and
Juha Kontinen and
Jan Van den Bussche and
Jonni Virtema},
title = {Descriptive complexity of real computation and probabilistic independence
logic},
journal = {CoRR},
volume = {abs/2003.00644},
year = {2020},
url = {https://arxiv.org/abs/2003.00644},
eprinttype = {arXiv},
eprint = {2003.00644},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00644.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-03867,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
title = {On the Complexity of Horn and Krom Fragments of Second-Order Boolean
Logic},
journal = {CoRR},
volume = {abs/2007.03867},
year = {2020},
url = {https://arxiv.org/abs/2007.03867},
eprinttype = {arXiv},
eprint = {2007.03867},
timestamp = {Mon, 20 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-03867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03311,
author = {Jonni Virtema and
Jana Hofmann and
Bernd Finkbeiner and
Juha Kontinen and
Fan Yang},
title = {Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity},
journal = {CoRR},
volume = {abs/2010.03311},
year = {2020},
url = {https://arxiv.org/abs/2010.03311},
eprinttype = {arXiv},
eprint = {2010.03311},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12830,
author = {Miika Hannula and
Jonni Virtema},
title = {Tractability frontiers in probabilistic team semantics and existential
second-order logic over the reals},
journal = {CoRR},
volume = {abs/2012.12830},
year = {2020},
url = {https://arxiv.org/abs/2012.12830},
eprinttype = {arXiv},
eprint = {2012.12830},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/SanoV19,
author = {Katsuhiko Sano and
Jonni Virtema},
title = {Characterising modal definability of team-based logics via the universal
modality},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {9},
pages = {1100--1127},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.04.009},
doi = {10.1016/J.APAL.2019.04.009},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/SanoV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HellaKMV19,
author = {Lauri Hella and
Antti Kuusisto and
Arne Meier and
Jonni Virtema},
title = {Model checking and validity in propositional and modal inclusion logics},
journal = {J. Log. Comput.},
volume = {29},
number = {5},
pages = {605--630},
year = {2019},
url = {https://doi.org/10.1093/logcom/exz008},
doi = {10.1093/LOGCOM/EXZ008},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/HellaKMV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HannulaHKKV19,
author = {Miika Hannula and
{\AA}sa Hirvonen and
Juha Kontinen and
Vadim Kulikov and
Jonni Virtema},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Facets of Distribution Identities in Probabilistic Team Semantics},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {304--320},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_20},
doi = {10.1007/978-3-030-19570-0\_20},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/HannulaHKKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/SurinxBV19,
author = {Dimitri Surinx and
Jan Van den Bussche and
Jonni Virtema},
editor = {Klaus{-}Dieter Schewe and
Neeraj Kumar Singh},
title = {Fully Generic Queries: Open Problems and Some Partial Answers},
booktitle = {Model and Data Engineering - 9th International Conference, {MEDI}
2019, Toulouse, France, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11815},
pages = {20--31},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32065-2\_2},
doi = {10.1007/978-3-030-32065-2\_2},
timestamp = {Thu, 10 Nov 2022 09:00:14 +0100},
biburl = {https://dblp.org/rec/conf/medi/SurinxBV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/FerrarottiGTBV19,
author = {Flavio Ferrarotti and
Sen{\'{e}}n Gonz{\'{a}}lez and
Jos{\'{e}} Maria Turull Torres and
Jan Van den Bussche and
Jonni Virtema},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Descriptive Complexity of Deterministic Polylogarithmic Time},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {208--222},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_13},
doi = {10.1007/978-3-662-59533-6\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/FerrarottiGTBV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-03413,
author = {Flavio Ferrarotti and
Sen{\'{e}}n Gonz{\'{a}}lez and
Jos{\'{e}} Maria Turull Torres and
Jan Van den Bussche and
Jonni Virtema},
title = {Descriptive Complexity of Deterministic Polylogarithmic Time},
journal = {CoRR},
volume = {abs/1903.03413},
year = {2019},
url = {http://arxiv.org/abs/1903.03413},
eprinttype = {arXiv},
eprint = {1903.03413},
timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-03413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/DurandHKMV18,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
title = {Approximation and dependence via multiteam semantics},
journal = {Ann. Math. Artif. Intell.},
volume = {83},
number = {3-4},
pages = {297--320},
year = {2018},
url = {https://doi.org/10.1007/s10472-017-9568-4},
doi = {10.1007/S10472-017-9568-4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/DurandHKMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/HannulaKVV18,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
title = {Complexity of Propositional Logics in Team Semantic},
journal = {{ACM} Trans. Comput. Log.},
volume = {19},
number = {1},
pages = {2:1--2:14},
year = {2018},
url = {https://doi.org/10.1145/3157054},
doi = {10.1145/3157054},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/HannulaKVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FerrarottiBV18,
author = {Flavio Ferrarotti and
Jan Van den Bussche and
Jonni Virtema},
editor = {Dan R. Ghica and
Achim Jung},
title = {Expressivity Within Second-Order Transitive-Closure Logic},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.22},
doi = {10.4230/LIPICS.CSL.2018.22},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FerrarottiBV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/0001HKMV18,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
editor = {Flavio Ferrarotti and
Stefan Woltran},
title = {Probabilistic Team Semantics},
booktitle = {Foundations of Information and Knowledge Systems - 10th International
Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10833},
pages = {186--206},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-90050-6\_11},
doi = {10.1007/978-3-319-90050-6\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foiks/0001HKMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/HannulaKV18,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Polyteam Semantics},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {190--210},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_12},
doi = {10.1007/978-3-319-72056-2\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/HannulaKV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KrebsMV018,
author = {Andreas Krebs and
Arne Meier and
Jonni Virtema and
Martin Zimmermann},
editor = {Igor Potapov and
Paul G. Spirakis and
James Worrell},
title = {Team Semantics for the Specification and Verification of Hyperproperties},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
series = {LIPIcs},
volume = {117},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.10},
doi = {10.4230/LIPICS.MFCS.2018.10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KrebsMV018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-02180,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
title = {Probabilistic team semantics},
journal = {CoRR},
volume = {abs/1803.02180},
year = {2018},
url = {http://arxiv.org/abs/1803.02180},
eprinttype = {arXiv},
eprint = {1803.02180},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-02180.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-05926,
author = {Flavio Ferrarotti and
Jan Van den Bussche and
Jonni Virtema},
title = {Expressivity within second-order transitive-closure logic},
journal = {CoRR},
volume = {abs/1804.05926},
year = {2018},
url = {http://arxiv.org/abs/1804.05926},
eprinttype = {arXiv},
eprint = {1804.05926},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-05926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-05873,
author = {Miika Hannula and
{\AA}sa Hirvonen and
Juha Kontinen and
Vadim Kulikov and
Jonni Virtema},
title = {Facets of Distribution Identities in Probabilistic Team Semantics},
journal = {CoRR},
volume = {abs/1812.05873},
year = {2018},
url = {http://arxiv.org/abs/1812.05873},
eprinttype = {arXiv},
eprint = {1812.05873},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-05873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Virtema17,
author = {Jonni Virtema},
title = {Complexity of validity for propositional dependence logics},
journal = {Inf. Comput.},
volume = {253},
pages = {224--236},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.07.008},
doi = {10.1016/J.IC.2016.07.008},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Virtema17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EbbingHLV17,
author = {Johannes Ebbing and
Lauri Hella and
Peter Lohmann and
Jonni Virtema},
title = {Boolean dependence logic and partially-ordered connectives},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {103--125},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.03.009},
doi = {10.1016/J.JCSS.2017.03.009},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/EbbingHLV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HellaKMV17,
author = {Lauri Hella and
Antti Kuusisto and
Arne Meier and
Jonni Virtema},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Model Checking and Validity in Propositional and Modal Inclusion Logics},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {32:1--32:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.32},
doi = {10.4230/LIPICS.MFCS.2017.32},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HellaKMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HannulaKV17,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema},
title = {Polyteam Semantics},
journal = {CoRR},
volume = {abs/1704.02158},
year = {2017},
url = {http://arxiv.org/abs/1704.02158},
eprinttype = {arXiv},
eprint = {1704.02158},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HannulaKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-08510,
author = {Andreas Krebs and
Arne Meier and
Jonni Virtema and
Martin Zimmermann},
title = {Team Semantics for the Specification and Verification of Hyperproperties},
journal = {CoRR},
volume = {abs/1709.08510},
year = {2017},
url = {http://arxiv.org/abs/1709.08510},
eprinttype = {arXiv},
eprint = {1709.08510},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-08510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/0001HKMV16,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
editor = {Marc Gyssens and
Guillermo Ricardo Simari},
title = {Approximation and Dependence via Multiteam Semantics},
booktitle = {Foundations of Information and Knowledge Systems - 9th International
Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9616},
pages = {271--291},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30024-5\_15},
doi = {10.1007/978-3-319-30024-5\_15},
timestamp = {Sat, 09 Apr 2022 12:42:08 +0200},
biburl = {https://dblp.org/rec/conf/foiks/0001HKMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KontinenKV16,
author = {Juha Kontinen and
Antti Kuusisto and
Jonni Virtema},
editor = {Piotr Faliszewski and
Anca Muscholl and
Rolf Niedermeier},
title = {Decidability of Predicate Logics with Team Semantics},
booktitle = {41st International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland},
series = {LIPIcs},
volume = {58},
pages = {60:1--60:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2016.60},
doi = {10.4230/LIPICS.MFCS.2016.60},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KontinenKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SanoV16,
author = {Katsuhiko Sano and
Jonni Virtema},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {Characterizing Relative Frame Definability in Team Semantics via the
Universal Modality},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {392--409},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_24},
doi = {10.1007/978-3-662-52921-8\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/SanoV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HannulaKLV16,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On Quantified Propositional Logics and the Exponential Time Hierarchy},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {198--212},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.14},
doi = {10.4204/EPTCS.226.14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HannulaKLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HellaKMV16,
author = {Lauri Hella and
Antti Kuusisto and
Arne Meier and
Jonni Virtema},
title = {Model Checking and Validity in Propositional and Modal Inclusion Logics},
journal = {CoRR},
volume = {abs/1609.06951},
year = {2016},
url = {http://arxiv.org/abs/1609.06951},
eprinttype = {arXiv},
eprint = {1609.06951},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HellaKMV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HellaJKLLLSV15,
author = {Lauri Hella and
Matti J{\"{a}}rvisalo and
Antti Kuusisto and
Juhana Laurinharju and
Tuomo Lempi{\"{a}}inen and
Kerkko Luosto and
Jukka Suomela and
Jonni Virtema},
title = {Weak models of distributed computing, with connections to modal logic},
journal = {Distributed Comput.},
volume = {28},
number = {1},
pages = {31--53},
year = {2015},
url = {https://doi.org/10.1007/s00446-013-0202-3},
doi = {10.1007/S00446-013-0202-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/HellaJKLLLSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/SanoV15,
author = {Katsuhiko Sano and
Jonni Virtema},
editor = {Stephan Kreutzer},
title = {Axiomatizing Propositional Dependence Logics},
booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
September 7-10, 2015, Berlin, Germany},
series = {LIPIcs},
volume = {41},
pages = {292--307},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CSL.2015.292},
doi = {10.4230/LIPICS.CSL.2015.292},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/SanoV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HannulaKVV15,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Complexity of Propositional Independence and Inclusion Logic},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {269--280},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_21},
doi = {10.1007/978-3-662-48057-1\_21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HannulaKVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/KrebsMV15,
author = {Andreas Krebs and
Arne Meier and
Jonni Virtema},
editor = {Fabio Grandi and
Martin Lange and
Alessio Lomuscio},
title = {A Team Based Variant of {CTL}},
booktitle = {22nd International Symposium on Temporal Representation and Reasoning,
{TIME} 2015, Kassel, Germany, September 23-25, 2015},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/TIME.2015.11},
doi = {10.1109/TIME.2015.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/KrebsMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/SanoV15,
author = {Katsuhiko Sano and
Jonni Virtema},
editor = {Valeria de Paiva and
Ruy J. G. B. de Queiroz and
Lawrence S. Moss and
Daniel Leivant and
Anjolina Grisi de Oliveira},
title = {Characterizing Frame Definability in Team Semantics via the Universal
Modality},
booktitle = {Logic, Language, Information, and Computation - 22nd International
Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9160},
pages = {140--155},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47709-0\_11},
doi = {10.1007/978-3-662-47709-0\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/SanoV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1502-07884,
author = {Katsuhiko Sano and
Jonni Virtema},
title = {Characterising Modal Definability of Team-Based Logics via the Universal
Modality},
journal = {CoRR},
volume = {abs/1502.07884},
year = {2015},
url = {http://arxiv.org/abs/1502.07884},
eprinttype = {arXiv},
eprint = {1502.07884},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1502-07884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HannulaKVV15,
author = {Miika Hannula and
Juha Kontinen and
Jonni Virtema and
Heribert Vollmer},
title = {Complexity of Propositional Independence and Inclusion Logic},
journal = {CoRR},
volume = {abs/1504.06135},
year = {2015},
url = {http://arxiv.org/abs/1504.06135},
eprinttype = {arXiv},
eprint = {1504.06135},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HannulaKVV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KrebsMV15,
author = {Andreas Krebs and
Arne Meier and
Jonni Virtema},
title = {Parallel Computational Tree Logic},
journal = {CoRR},
volume = {abs/1505.01964},
year = {2015},
url = {http://arxiv.org/abs/1505.01964},
eprinttype = {arXiv},
eprint = {1505.01964},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KrebsMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001HKMV15,
author = {Arnaud Durand and
Miika Hannula and
Juha Kontinen and
Arne Meier and
Jonni Virtema},
title = {Approximation and Dependence via Multiteam Semantics},
journal = {CoRR},
volume = {abs/1510.09040},
year = {2015},
url = {http://arxiv.org/abs/1510.09040},
eprinttype = {arXiv},
eprint = {1510.09040},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001HKMV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KontinenKLV14,
author = {Juha Kontinen and
Antti Kuusisto and
Peter Lohmann and
Jonni Virtema},
title = {Complexity of two-variable dependence logic and IF-logic},
journal = {Inf. Comput.},
volume = {239},
pages = {237--253},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.08.004},
doi = {10.1016/J.IC.2014.08.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KontinenKLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/HellaLSV14,
author = {Lauri Hella and
Kerkko Luosto and
Katsuhiko Sano and
Jonni Virtema},
editor = {Rajeev Gor{\'{e}} and
Barteld P. Kooi and
Agi Kurucz},
title = {The Expressive Power of Modal Dependence Logic},
booktitle = {Advances in Modal Logic 10, invited and contributed papers from the
tenth conference on "Advances in Modal Logic," held in Groningen,
The Netherlands, August 5-8, 2014},
pages = {294--312},
publisher = {College Publications},
year = {2014},
url = {http://www.aiml.net/volumes/volume10/Hella-Luosto-Sano-Virtema.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/HellaLSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Virtema14,
author = {Jonni Virtema},
editor = {Adriano Peron and
Carla Piazza},
title = {Complexity of validity for propositional dependence logics},
booktitle = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
pages = {18--31},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161.5},
doi = {10.4204/EPTCS.161.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/Virtema14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HellaLSV14,
author = {Lauri Hella and
Kerkko Luosto and
Katsuhiko Sano and
Jonni Virtema},
title = {The Expressive Power of Modal Dependence Logic},
journal = {CoRR},
volume = {abs/1406.6266},
year = {2014},
url = {http://arxiv.org/abs/1406.6266},
eprinttype = {arXiv},
eprint = {1406.6266},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HellaLSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EbbingHLV14,
author = {Johannes Ebbing and
Lauri Hella and
Peter Lohmann and
Jonni Virtema},
title = {Boolean Dependence Logic and Partially-Ordered Connectives},
journal = {CoRR},
volume = {abs/1406.7132},
year = {2014},
url = {http://arxiv.org/abs/1406.7132},
eprinttype = {arXiv},
eprint = {1406.7132},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/EbbingHLV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KontinenKV14,
author = {Juha Kontinen and
Antti Kuusisto and
Jonni Virtema},
title = {Decidable Fragments of Logics Based on Team Semantics},
journal = {CoRR},
volume = {abs/1410.5037},
year = {2014},
url = {http://arxiv.org/abs/1410.5037},
eprinttype = {arXiv},
eprint = {1410.5037},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KontinenKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SanoV14,
author = {Katsuhiko Sano and
Jonni Virtema},
title = {Axiomatizing Propositional Dependence Logics},
journal = {CoRR},
volume = {abs/1410.5038},
year = {2014},
url = {http://arxiv.org/abs/1410.5038},
eprinttype = {arXiv},
eprint = {1410.5038},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SanoV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuusistoMV13,
author = {Antti Kuusisto and
Jeremy Meyers and
Jonni Virtema},
title = {Undecidable First-Order Theories of Affine Geometries},
journal = {Log. Methods Comput. Sci.},
volume = {9},
number = {4},
year = {2013},
url = {https://doi.org/10.2168/LMCS-9(4:26)2013},
doi = {10.2168/LMCS-9(4:26)2013},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuusistoMV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EbbingHLV13,
author = {Johannes Ebbing and
Lauri Hella and
Peter Lohmann and
Jonni Virtema},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Boolean Dependence Logic and Partially-Ordered Connectives},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {111--125},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_12},
doi = {10.1007/978-3-642-39992-3\_12},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/EbbingHLV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/EbbingHMMVV13,
author = {Johannes Ebbing and
Lauri Hella and
Arne Meier and
Julian{-}Steffen M{\"{u}}ller and
Jonni Virtema and
Heribert Vollmer},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Extended Modal Dependence Logic},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {126--137},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_13},
doi = {10.1007/978-3-642-39992-3\_13},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/EbbingHMMVV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KuusistoMV12,
author = {Antti Kuusisto and
Jeremy Meyers and
Jonni Virtema},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {Undecidable First-Order Theories of Affine Geometries},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {470--484},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.470},
doi = {10.4230/LIPICS.CSL.2012.470},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KuusistoMV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HellaJKLLLSV12,
author = {Lauri Hella and
Matti J{\"{a}}rvisalo and
Antti Kuusisto and
Juhana Laurinharju and
Tuomo Lempi{\"{a}}inen and
Kerkko Luosto and
Jukka Suomela and
Jonni Virtema},
editor = {Darek Kowalski and
Alessandro Panconesi},
title = {Weak models of distributed computing, with connections to modal logic},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
Funchal, Madeira, Portugal, July 16-18, 2012},
pages = {185--194},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2332432.2332466},
doi = {10.1145/2332432.2332466},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/HellaJKLLLSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2051,
author = {Lauri Hella and
Matti J{\"{a}}rvisalo and
Antti Kuusisto and
Juhana Laurinharju and
Tuomo Lempi{\"{a}}inen and
Kerkko Luosto and
Jukka Suomela and
Jonni Virtema},
title = {Weak Models of Distributed Computing, with Connections to Modal Logic},
journal = {CoRR},
volume = {abs/1205.2051},
year = {2012},
url = {http://arxiv.org/abs/1205.2051},
eprinttype = {arXiv},
eprint = {1205.2051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-2051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-4930,
author = {Antti Kuusisto and
Jeremy Meyers and
Jonni Virtema},
title = {Undecidable First-Order Theories of Affine Geometries},
journal = {CoRR},
volume = {abs/1208.4930},
year = {2012},
url = {http://arxiv.org/abs/1208.4930},
eprinttype = {arXiv},
eprint = {1208.4930},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KontinenKLV11,
author = {Juha Kontinen and
Antti Kuusisto and
Peter Lohmann and
Jonni Virtema},
title = {Complexity of Two-Variable Dependence Logic and IF-Logic},
booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada},
pages = {289--298},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/LICS.2011.14},
doi = {10.1109/LICS.2011.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/KontinenKLV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3148,
author = {Juha Kontinen and
Antti Kuusisto and
Peter Lohmann and
Jonni Virtema},
title = {Complexity of two-variable Dependence Logic and IF-Logic},
journal = {CoRR},
volume = {abs/1104.3148},
year = {2011},
url = {http://arxiv.org/abs/1104.3148},
eprinttype = {arXiv},
eprint = {1104.3148},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1104-3148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-21 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
