Concepedia

Sławomir Lasota

SL

Statistics

Publications

23

Citations

609

H-Index

13

Active since

2002

Affiliations

University of Warsaw(Current)

Centre National de la Recherche Scientifique

University of Warmia and Mazury in Olsztyn

Institut national de recherche en sciences et technologies du numérique

Carl von Ossietzky Universität Oldenburg

Sławomir Lasota is an author at University of Warsaw specializing in computer science, computing, and theory of computation.

Publications per year

2002–2019

23

Publications

23

Automata with Group Actions

Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota · 2011 · 85 citations

Computing, Computer Science, Mathematics +14

Alternating timed automata

Sławomir Lasota, Igor Walukiewicz · ACM Transactions on Computational Logic · 2008 · 77 citations · Full text

Computing, Computer Science, Mathematics +17

Logical relations for monadic types

Jean Goubault-Larrecq, Sławomir Lasota, David Nowak · Mathematical Structures in Computer Science · 2008 · 45 citations · Full text

Humanities, Computer Science, Mathematics +14

Towards nominal computation

Mikołaj Bojańczyk, Laurent Braud, Bartek Klin et al. · ACM SIGPLAN Notices · 2012 · 40 citations

Computing, Computer Science, Programming Languages +13

Modelling the efficacy of hyperthermia treatment

Mikołaj Rybiński, Zuzanna Szymańska, Sławomir Lasota et al. · Repository for Publications and Research Data (ETH Zurich) · 2013 · 38 citations · Full text

Medicine, Oncology, Pharmacology +13

1–5 of 23