FCT B

30 papers

YearTitle / Authors
2015A Note on Decidable Separability by Piecewise Testable Languages.
Wojciech Czerwinski, Wim Martens, Lorijn van Rooijen, Marc Zeitoun
2015Alternation Hierarchies of First Order Logic with Regular Predicates.
Luc Dartois, Charles Paperman
2015Block Representation of Reversible Causal Graph Dynamics.
Pablo Arrighi, Simon Martiel, Simon Perdrix
2015Complexity of Suffix-Free Regular Languages.
Janusz A. Brzozowski, Marek Szykula
2015Conjunctive Visibly-Pushdown Path Queries.
Martin Lange, Étienne Lozes
2015Constructive Relationships Between Algebraic Thickness and Normality.
Joan Boyar, Magnus Gausdal Find
2015Depth, Highness and DNR Degrees.
Philippe Moser, Frank Stephan
2015Derandomized Construction of Combinatorial Batch Codes.
Srimanta Bhattacharya
2015Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
Adrian Kosowski, Igor Walukiewicz
2015Incremental Complexity of a Bi-objective Hypergraph Transversal Problem.
Ricardo Andrade, Etienne Birmelé, Arnaud Mary, Thomas Picchetti, Marie-France Sagot
2015Interprocedural Reachability for Flat Integer Programs.
Pierre Ganty, Radu Iosif
2015Longest α-Gapped Repeat and Palindrome.
Pawel Gawrychowski, Florin Manea
2015Minimal Disconnected Cuts in Planar Graphs.
Marcin Kaminski, Daniël Paulusma, Anthony Stewart, Dimitrios M. Thilikos
2015Multidimensional Binary Vector Assignment Problem: Standard, Structural and Above Guarantee Parameterizations.
Marin Bougeret, Guillerme Duvillié, Rodolphe Giroudeau, Rémi Watrigant
2015Nearest Fixed Points and Concurrent Priority Games.
Bruno Karelovic, Wieslaw Zielonka
2015On Equivalences, Metrics, and Polynomial Time.
Alberto Cappai, Ugo Dal Lago
2015On the Enumeration of Permutominoes.
Ana Paula Tomás
2015On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS.
Antonín Kucera
2015On the Expressive Power of Read-Once Determinants.
N. R. Aravind, Pushkar S. Joglekar
2015On the Mathematics of Data Centre Network Topologies.
Iain A. Stewart
2015On the Power of Color Refinement.
Vikraman Arvind, Johannes Köbler, Gaurav Rattan, Oleg Verbitsky
2015On the Structure of Solution-Graphs for Boolean Formulas.
Patrick Scharpfenecker
2015Pairs Covered by a Sequence of Sets.
Peter Damaschke
2015Privacy in Elections: k-Anonymizing Preference Orders.
Nimrod Talmon
2015Reasoning with Global Assumptions in Arithmetic Modal Logics.
Clemens Kupke, Dirk Pattinson, Lutz Schröder
2015Recurring Comparison Faults: Sorting and Finding the Minimum.
Barbara Geissmann, Matús Mihalák, Peter Widmayer
2015Stabbing Segments with Rectilinear Objects.
Mercè Claverol, Delia Garijo, Matias Korman, Carlos Seara, Rodrigo I. Silveira
2015Towards Better Inapproximability Bounds for TSP: A Challenge of Global Dependencies.
Marek Karpinski
2015β-skeletons for a Set of Line Segments in R
Miroslaw Kowaluk, Gabriela Majewska
2015ϵ-Almost Selectors and Their Applications.
Annalisa De Bonis, Ugo Vaccaro