Slawomir Lasota

Slawomir Lasota

Uniwersytet Warszawski

H-index: 21

Europe-Poland

About Slawomir Lasota

Slawomir Lasota, With an exceptional h-index of 21 and a recent h-index of 14 (since 2020), a distinguished researcher at Uniwersytet Warszawski, specializes in the field of automata theory, concurrency theory, program verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Equivariant ideals of polynomials

New Lower Bounds for Reachability in Vector Addition Systems

Ground truth based comparison of saliency maps algorithms

Orbit-finite linear programming

Solvability of orbit-finite systems of linear equations

Determinisability of register and timed automata

LIPIcs, Volume 243, CONCUR 2022, Complete Volume

Proceedings of the 33rd International Conference on Concurrency Theory (CONCUR 2022)

Slawomir Lasota Information

University

Position

prof. of computer science

Citations(all)

1797

Citations(since 2020)

715

Cited By

1679

hIndex(all)

21

hIndex(since 2020)

14

i10Index(all)

46

i10Index(since 2020)

22

Email

University Profile Page

Uniwersytet Warszawski

Google Scholar

View Google Scholar Profile

Slawomir Lasota Skills & Research Interests

automata theory

concurrency theory

program verification

Top articles of Slawomir Lasota

Title

Journal

Author(s)

Publication Date

Equivariant ideals of polynomials

arXiv preprint arXiv:2402.17604

Arka Ghosh

Sławomir Lasota

2024/2/27

New Lower Bounds for Reachability in Vector Addition Systems

arXiv preprint arXiv:2310.09008

Wojciech Czerwiński

Ismaël Jecker

Sławomir Lasota

Jérôme Leroux

Łukasz Orlikowski

2023/10/13

Ground truth based comparison of saliency maps algorithms

Scientific Reports

Karolina Szczepankiewicz

Adam Popowicz

Kamil Charkiewicz

Katarzyna Nałęcz-Charkiewicz

Michał Szczepankiewicz

...

2023/10/6

Orbit-finite linear programming

Arka Ghosh

Piotr Hofman

Sławomir Lasota

2023/6/26

Solvability of orbit-finite systems of linear equations

Arka Ghosh

Piotr Hofman

Slawomir Lasota

2022/8/2

Determinisability of register and timed automata

Logical Methods in Computer Science

Lorenzo Clemente

Sławomir Lasota

Radosław Piórkowski

2022/5/10

LIPIcs, Volume 243, CONCUR 2022, Complete Volume

Bartek Klin

Sławomir Lasota

Anca Muscholl

2022

Proceedings of the 33rd International Conference on Concurrency Theory (CONCUR 2022)

Maria Florina Balcan

Kilian Q Weinberger

2016/6/19

33rd International Conference on Concurrency Theory

Bartek Klin

Sławomir Lasota

Anca Muscholl

2022/9

Parikh images of register automata

Sławomir Lasota

Mohnish Pattathurajan

2021

Reachability relations of timed pushdown automata

Journal of Computer and System Sciences

Lorenzo Clemente

Sławomir Lasota

2021/5/1

Improved lower bounds for reachability in vector addition systems

Wojciech Czerwiński

Sławomir Lasota

Łukasz Orlikowski

2021

A lower bound for the coverability problem in acyclic pushdown VAS

Information Processing Letters

Matthias Englert

Piotr Hofman

Sławomir Lasota

Ranko Lazić

Jérôme Leroux

...

2021/4/1

Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages.

Bartek Klin

Slawomir Lasota

Szymon Torunczyk

2021/3/22

Preface of the Special issue of Selected Papers from the International Conference on Application and Theory of Petri Nets and Concurrency 2019

FUNDAMENTA INFORMATICAE

S Donatelli

S Haar

S Lasota

2021

Parikh’s theorem for infinite alphabets

Piotr Hofman

Marta Juzepczuk

Sławomir Lasota

Mohnish Pattathurajan

2021/6/29

Application and Theory of Petri Nets and Concurrency 2019: Special Issue of Selected Papers

Wil van der Aalst

Eike Best

2017/5/23

Improved Ackermannian lower bound for the Petri nets reachability problem

arXiv preprint arXiv:2105.08551

Sławomir Lasota

2021/5/18

Fibroblast to myofibroblast transition is enhanced in asthma-derived fibroblasts in comparison to fibroblasts derived from non-asthmatic patients in 3D in vitro cultures due to …

Acta Biochimica Polonica

Dawid Wnuk

Sławomir Lasota

Milena Paw

Zbigniew Madeja

Marta Michalik

2020/11/27

Charakterystyka reakcji mysich embrionalnych fibroblastów na pole elektryczne o fizjologicznym natężeniu

Sławomir Lasota

2020/7/26

See List of Professors in Slawomir Lasota University(Uniwersytet Warszawski)