Marta Zofia Kwiatkowska (Q11760)
Jump to navigation
Jump to search
British computer scientist
- Marta Zofia. Kwiatkowska
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Marta Zofia Kwiatkowska |
British computer scientist |
|
Statements
Marta Kwiatkowska (Polish)
0 references
1 reference
1 reference
26 February 1957
0 references
1 reference
1 reference
1 reference
0000-0001-9022-7599.xml
2 June 2020
10 November 2023
8 December 2016
1 reference
2016
8 December 2016
For contributions to the theory and practice of probabilistic verification (English)
2018
for her contribution to the theoretical and practical development of stochastic and quantitative model checking (English)
2019
16 April 2019
1 reference
1 reference
20 April 2023
Identifiers
1 reference
1 reference
1 reference
1144744
0 references
1 reference
1 reference
Sitelinks
Wikipedia(6 entries)
- dewiki Marta Kwiatkowska
- enwiki Marta Kwiatkowska
- frwiki Marta Kwiatkowska
- igwiki Marta Kwiatkowska
- mgwiki Marta Kwiatkowska
- plwiki Marta Kwiatkowska