Katedra Podstaw Informatyki - lista publikacji

A Note on Two-Colorability of Nonuniform Hypergraphs, International Colloquium on Automata Languages and Programming [ICALP] vol. 107 (Leibniz International Proceedings in Informatics) (2018), 46:1-46:13

Lossless Compression of Binary Trees With Correlated Vertex Names, IEEE Transactions on Information Theory vol. 64 (9) (2018), 6070-6080

Accidental exploration through value predictors, Schedae Informaticae vol. 27 (2018),

Common tangents of two disjoint polygons in linear time and constant workspace, ACM Transactions on Algorithms vol. 15 (2018), 12:1-21

On the Complexity of the Standard Translation of Lambda Calculus into Combinatory Logic, Reports on Mathematical Logic vol. 53 (2018), 19-42

Combinatorics of explicit substitutions vol. PPDP '18 (2018), "Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming", Association for Computing Machinery (ACM)

Counting Environments and Closures vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Sparse Kneser graphs are Hamiltonian, (2018), "Proceedings of 50th Annual ACM SIGACT Symposium on the Theory of Computing (STOC’18)", Association for Computing Machinery (ACM)

Foreword to the Special Issue on Parallel and Distributed Computing based on The Functional Programming Paradigm, Concurrency Computation Practice and Experience (2018), 4

Defective 3-Paintability of Planar Graphs, Electronic Journal of Combinatorics vol. 25 (2) (2018), 20

Dimension and cut vertices: an application of Ramsey theory, (2018), "Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham", Cambridge University Press

Deferred On-Line Bipartite Matching, Electronic Journal of Combinatorics vol. 25 (2) (2018), P2.24

Every Plane Graph is Facially-Non-Repetitively C-choosable, Electronic Journal of Combinatorics vol. 25 (1) (2018), 13

Polynomial tuning of multiparametric combinatorial samplers, (2018), "2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)", Society for Industrial and Applied Mathematics (SIAM)

Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers, Theory and Practice of Logic Programming vol. 18(1) (2018), 97-119

The Partial Visibility Representation Extension Problem, Algorithmica vol. 80 (8) (2018), 2286-2323