Beata Nachyla

According to our database, Beata Nachyla authored at least 5 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Some undecidable properties of SOS specifications.

Bartek Klin, Beata Nachyla

J. Log. Algebraic Methods Program., 2017

2015

Presenting Morphisms of Distributive Laws.

Bartek Klin, Beata Nachyla

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Distributive Laws and Decidable Properties of SOS Specifications.

Bartek Klin, Beata Nachyla

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

2013

Automatic Extraction of Profiles from Web Pages.

Piotr Andruszkiewicz, Beata Nachyla

Proceedings of the Intelligent Tools for Building a Scientific Information Platform, 2013

Creating Knowledge Base from Automatically Extracted Information.

Beata Nachyla

Proceedings of the Hybrid Artificial Intelligent Systems - 8th International Conference, 2013