Concepedia

Sławomir Lasota

SL

23

Publications

604

Citations

13

H-Index

2002

Active since

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 engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexityFormal VerificationSemanticsSemantic WebDiscrete MathematicsLinguistics

Publications per year

2002–2019

23

Publications

23

Automata with Group Actions

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

Combinatorics On Word, Logical Automaton, Memory Automata +14

Alternating timed automata

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

Logical Automaton, Universality Problem, Engineering +11

Logical relations for monadic types

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

Computational Logic, Algebraic Logic, Logical Relation +10

Towards nominal computation

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

Engineering, Pushdown Automaton, Well-founded Semantics +16

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

Electrolyte Disorder, Oncology, Hyperthermia +15

Rows per page

1–5 of 23