Concepedia

Ann Lillieström

AL

2

Publications

85

Citations

2

H-Index

2011

Active since

Affiliations

Chalmers University of Technology(Current)

Ann Lillieström is an author at Chalmers University of Technology specializing in verification, automated reasoning, and formal methods.

ORCID

Top concepts

Publications per year

2011–2021

2

Publications

2

Data-driven models for predicting microbial water quality in the drinking water source using E. coli monitoring and hydrometeorological data

Ekaterina Sokolova, Oscar Ivarsson, Ann Lillieström et al. · The Science of The Total Environment · 2021 · 72 citations · Full text

Automated Inference of Finite Unsatisfiability

Koen Claessen, Ann Lillieström · Journal of Automated Reasoning · 2011 · 13 citations

, , +7

Rows per page

1–2 of 2