Improved Bounds for the Excluded-Minor Approximation of Treedepth von Czerwiński, Wojciech, Nadara, Wojciech, Pilipczuk, Marcin

Volltext

The Reachability Problem for Petri Nets Is Not Elementary von Czerwiński, Wojciech, Lasota, Sławomir, Lazić, Ranko, Leroux, JÉrôme, Mazowiecki, Filip

Volltext

Deciding definability by deterministic regular expressions von Czerwiński, Wojciech, David, Claire, Losemann, Katja, Martens, Wim

Volltext

Regular Separability of One Counter Automata von Wojciech Czerwiński, Sławomir Lasota

Volltext

Minimization of Tree Patterns von CzerwiŃski, Wojciech, Martens, Wim, Niewerth, Matthias, Parys, Paweł

Volltext

Thermal properties of new composites based on nanoclay, polyethylene and polypropylene von Olewnik, Ewa, Garman, Krzysztof, Czerwiński, Wojciech

Volltext

Efficient Separability of Regular Languages by Subsequences and Suffixes von Czerwiński, Wojciech, Martens, Wim, Masopust, Tomáš

Volltext

Shortest paths in one-counter systems von Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk, Michael Wehar

Volltext

Techniques for Unambiguous Systems: Invited Presentation at the 13th International Symposium on Games, Automata, Logics and Formal Verification von Czerwiński, Wojciech

Volltext

Reasoning about integrity constraints for tree-structured data von Czerwiński, Wojciech, David, Claire, Murlak, Filip, Parys, Paweł

Volltext

Thermal properties of nanocomposites based on polyethylene and n-heptaquinolinum modified montmorillonite von Olewnik, Ewa, Garman, Krzysztof, Piechota, Grzegorz, Czerwiński, Wojciech

Volltext

A Characterization for Decidable Separability by Piecewise Testable Languages von Czerwinski, Wojciech, Martens, Wim, Rooijen, Lorijn, Zeitoun, Marc, Zetzsche, Georg

Volltext

Synthesis and structural study of copolymers of l-lactic acid and bis(2-hydroxyethyl terephthalate) von Olewnik, Ewa, Czerwiński, Wojciech, Nowaczyk, Jacek, Sepulchre, Marie-Odile, Tessier, Martine, Salhi, Slim, Fradet, Alain

Volltext

Thermal and utility properties of amide clay modifying agents von Garman, Krzysztof, Olewnik, Ewa, Czerwiński, Wojciech

Volltext

A Note on Decidable Separability by Piecewise Testable Languages von Czerwiński, Wojciech, Martens, Wim, van Rooijen, Lorijn, Zeitoun, Marc

Volltext

Reachability Problem for Weak Multi-Pushdown Automata von Czerwiński, Wojciech, Hofman, Piotr, Lasota, SŁawomir

Volltext

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes von Czerwiński, Wojciech, Hofman, Piotr, Lasota, Sławomir

Volltext

Partially-commutative context-free languages von Czerwiński, Wojciech, Lasota, Sławomir

Volltext

Ozonization of electronic conducting polymers: II. Degradation or doping von Nowaczyk, Jacek, Czerwiński, Wojciech, Olewnik, Ewa

Volltext

Partially-commutative context-free processes: Expressibility and tractability von Czerwiński, Wojciech, Fröschle, Sibylle, Lasota, Sławomir

Volltext