Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Two-Variable Logic with Counting and Trees., and . ACM Trans. Comput. Log., 17 (4): 31 (2016)On the Complexity of Graded Modal Logics with Converse., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 642-658. Springer, (2019)Determination of the map of efficiency of the Jagiellonian Positron Emission Tomograph (J-PET) detector with the GATE package., , , , , , , , , and 20 other author(s). Bio-Algorithms and Med-Systems, 10 (2): 85-90 (2014)Two-variable Logic with Counting and a Linear Order., and . CSL, volume 41 of LIPIcs, page 631-647. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications., and . IJCAI, page 4746-4752. ijcai.org, (2019)Two-variable Logic with Counting and a Linear Order., and . Logical Methods in Computer Science, (2016)Calibration of photomultipliers gain used in the J-PET detector., , , , , , , , , and 20 other author(s). Bio-Algorithms and Med-Systems, 10 (1): 13-17 (2014)Simulations of γ quanta scattering in a single module of the J-PET detector., , , , , , , , , and 20 other author(s). Bio-Algorithms and Med-Systems, 10 (2): 71-77 (2014)Completing the Picture: Complexity of Graded Modal Logics with Converse., , and . Theory Pract. Log. Program., 21 (4): 493-520 (2021)Improvement of Baro Sensors Matrix for Altitude Estimation., , , , , , , and . Sensors, 22 (18): 7060 (2022)