Enumeration complexity of poor man’s propositional dependence logic

Meier, A. & Reinbold, C., 2018, Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings. Woltran, S. & Ferrarotti, F. (Hrsg.). 1. Aufl. Springer Verlag, S. 303-321 19 S. (Lecture Notes in Computer Science (LNCS); Band 10833)(Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Probabilistic team semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2018, Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Proceedings. Woltran, S. & Ferrarotti, F. (Hrsg.). Springer Verlag, S. 186-206 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10833 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Towards systematic and automatic handling of execution traces associated with scenario-based models

Greenyer, J., Gritzner, D., Harel, D. & Marron, A., 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (Hrsg.). S. 560-566 7 S.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Model checking and validity in propositional and modal inclusion logics

Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 1 Dez. 2017, 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. Larsen, K. G., Raskin, J.-F. & Bodlaender, H. L. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; Band 83).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

On the complexity of hard enumeration problems

Creignou, N., Kröll, M., Pichler, R., Skritek, S. & Vollmer, H., 16 Feb. 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer Verlag, S. 183-195 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10168 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits

Haak, A. & Vollmer, H., 6 Aug. 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (Hrsg.). Berlin: Springer Verlag, S. 234-248 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9803 LNCS).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Approximation and Dependence via Multiteam Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 4 März 2016, Foundations of Information and Knowledge Systems: 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings. Gyssens, M. & Simari, G. (Hrsg.). Cham, S. 271-291 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9616).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Backdoors for Linear Temporal Logic

Meier, A., Ordyniak, S., Sridharan, R. & Schindler, I., 2016, 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. Guo, J. & Hermelin, D. (Hrsg.). Band 63. S. 23:1-23:17 23. (Leibniz International Proceedings in Informatics, LIPIcs; Band 63).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Dependence Logic, Theory and Applications

Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2016, Dependence Logic: Theory and Applications. Cham, (Logics for Dependence and Independence).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Vorwort/Nachwort › Forschung

Descriptive complexity of #AC0 functions

Durand, A., Haak, A., Kontinen, J. & Vollmer, H., 2016, Computer Science Logic 2016, CSL 2016. Talbot, J.-M. & Regnier, L. (Hrsg.). (Leibniz International Proceedings in Informatics, LIPIcs; Band 62).

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Expressivity and Complexity of Dependence Logic

Durand, A., Kontinen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, S. 5-32

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review

Introduction

Abramsky, S., Kontinen, J., Väänänen, J. & Vollmer, H., 2016, Logics for Dependence and Independence. Cham, S. 1-3

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Beitrag in Buch/Sammelwerk › Forschung › Peer-Review