MFCS (1)

Keyphrases

Publications

2015

Benjamin Lucien Kaminski, Joost-Pieter Katoen
On the Hardness of Almost-Sure Termination. MFCS (1) (2015)
Zoltán Ésik
Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview. MFCS (1) (2015)
Joseph Boudou
Exponential-Size Model Property for PDL with Separating Parallel Composition. MFCS (1) (2015)
Andrzej Kisielewicz, Marek Szykula
Synchronizing Automata with Extremal Properties. MFCS (1) (2015)
Manfred Droste, Stefan Dück
Weighted Automata and Logics on Graphs. MFCS (1) (2015)
Daniel Krähmann, Jana Schubert, Christel Baier, Clemens Dubslaff
Ratio and Weight Quantiles. MFCS (1) (2015)
Bruno Durand, Andrei E. Romashchenko
Quasiperiodicity and Non-computability in Tilings. MFCS (1) (2015)
Mikhail V. Berlinkov, Marek Szykula
Algebraic Synchronization Criterion and Computing Reset Words. MFCS (1) (2015)
Julian Salamanca, Marcello M. Bonsangue, Jan J. M. M. Rutten
Equations and Coequations for Weighted Automata. MFCS (1) (2015)
Martin Kutrib
Reversible and Irreversible Computations of Deterministic Finite-State Devices. MFCS (1) (2015)
Markus Latte, Matthias Niewerth
Definability by Weakly Deterministic Regular Expressions with Counters is Decidable. MFCS (1) (2015)
Pawel Gawrychowski, Damian Straszak
Strong Inapproximability of the Shortest Reset Word. MFCS (1) (2015)
Sandra Kiefer, Pascal Schweitzer, Erkal Selman
Graphs Identified by Logics with Counting. MFCS (1) (2015)
Arno Pauly
Computability on the Countable Ordinals and the Hausdorff-Kuratowski Theorem (Extended Abstract). MFCS (1) (2015)
Anahí Gajardo, Nicolas Ollinger, Rodrigo Torres-Avilés
The Transitivity Problem of Turing Machines. MFCS (1) (2015)
Yishay Mansour
Robust Inference and Local Algorithms. MFCS (1) (2015)
Laure Daviaud, Charles Paperman
Classes of Languages Generated by the Kleene Star of a Word. MFCS (1) (2015)
Marius Dumitran, Florin Manea
Longest Gapped Repeats and Palindromes. MFCS (1) (2015)
Charles Grellois, Paul-André Melliès
Finitary Semantics of Linear Logic and Higher-Order Model-Checking. MFCS (1) (2015)
Victor Lagerkvist
Precise Upper and Lower Bounds for the Monotone Constraint Satisfaction Problem. MFCS (1) (2015)
Kévin Perrot, Eric Rémila
Emergence on Decreasing Sandpile Models. MFCS (1) (2015)
Giulio Iacobelli, Mirco Tribastone, Andrea Vandin
Differential Bisimulation for a Markovian Process Algebra. MFCS (1) (2015)
Lauri Hella, Antti Kuusisto, Arne Meier, Heribert Vollmer
Modal Inclusion Logic: Being Lax is Simpler than Being Strict. MFCS (1) (2015)
Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir
When Are Prime Formulae Characteristic? MFCS (1) (2015)
Jacopo Mauro, Gianluigi Zavattaro
On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. MFCS (1) (2015)
Samy Abbes, Jean Mairesse
Uniform Generation in Trace Monoids. MFCS (1) (2015)
Michaël Cadilhac, Andreas Krebs, Michael Ludwig, Charles Paperman
A Circuit Complexity Approach to Transductions. MFCS (1) (2015)
Guy Avni, Orna Kupferman
Stochastization of Weighted Automata. MFCS (1) (2015)
Catalin Dima, Bastien Maubert, Sophie Pinchinat
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. MFCS (1) (2015)
Valérie Berthé, Eda Cesaratto, Pablo Rotondo, Brigitte Vallée, Alfredo Viola
Recurrence Function on Sturmian Words: A Probabilistic Study. MFCS (1) (2015)
Stefano Crespi-Reghizzi, Violetta Lonati, Dino Mandrioli, Matteo Pradella
Locally Chain-Parsable Languages. MFCS (1) (2015)
Damien Regnault, Eric Rémila
Lost in Self-Stabilization. MFCS (1) (2015)
Paolo Boldi
Minimal and Monotone Minimal Perfect Hash Functions. MFCS (1) (2015)
Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski
Eliminating Recursion from Monadic Datalog Programs on Trees. MFCS (1) (2015)

volume 9234, 2015

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I MFCS (1) 9234 (2015)

2014

volume 8634, 2014

Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I MFCS (1) 8634 (2014)