887 citations
- Polish Academy of SciencesPL60 papers
- Warsaw University of TechnologyPL22 papers
- University of WrocławPL17 papers
- Jagiellonian UniversityPL13 papers
- AGH University of KrakowPL11 papers
- Dalhousie UniversityCA10 papers
- University of WarsawPL9 papers
- University of Silesia in KatowicePL7 papers
- Uniwersytet Komisji Edukacji Narodowej w KrakowiePL7 papers
- Linköping UniversitySE5 papers
- Silesian University of TechnologyPL5 papers
- Charité - Universitätsmedizin BerlinDE3 papers
11 papers · 1 filter
Complexity of Road Coloring with Prescribed Reset Words
Vojtěch Vorel, Adam Roman
By the Road Coloring Theorem (Trahtman, 2008), the edges of any aperiodic directed multigraph with a constant out-degree can be colored such that the resulting automaton admits a r…
Correctness and completeness of logic programs
Włodzimierz Drabent
We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method wh…
Neighborhood Selection and Rules Identification for Cellular Automata: A Rough Sets Approach
Bartlomiej Placzek
In this paper a method is proposed which uses data mining techniques based on rough sets theory to select neighborhood and determine update rule for cellular automata (CA). Accordi…
Communication-aware algorithms for target tracking in wireless sensor networks
Bartlomiej Placzek
This paper introduces algorithms for target tracking in wireless sensor networks (WSNs) that enable reduction of data communication cost. The objective of the considered problem is…
Infinite Networks, Halting and Local Algorithms
Antti Kuusisto
The immediate past has witnessed an increased amount of interest in local algorithms, i.e., constant time distributed algorithms. In a recent survey of the topic (Suomela, ACM Comp…
Distributive Laws and Decidable Properties of SOS Specifications
Bartek Klin, Beata Nachyła
Some formats of well-behaved operational specifications, correspond to natural transformations of certain types (for example, GSOS and coGSOS laws). These transformations have a co…